https://svn/svn/oln/prototypes/proto-1.0
Index: ChangeLog
from Nicolas Widynski <nicolas.widynski(a)lrde.epita.fr>
Add GPL to trunk.
* COPYING: Modify FDL to Gnu General Public License.
COPYING | 721 +++++++++++++++++++++++++++++-----------------------------------
1 file changed, 332 insertions(+), 389 deletions(-)
Index: COPYING
--- COPYING (revision 444)
+++ COPYING (working copy)
@@ -1,397 +1,340 @@
-GNU Free Documentation License
- Version 1.2, November 2002
+ GNU GENERAL PUBLIC LICENSE
+ Version 2, June 1991
-
- Copyright (C) 2000,2001,2002,2006 Free Software Foundation, Inc.
+ Copyright (C) 1989, 1991, 2006 Free Software Foundation, Inc.
51 Franklin St, Fifth Floor, Boston, MA 02110-1301 USA
Everyone is permitted to copy and distribute verbatim copies
of this license document, but changing it is not allowed.
+ Preamble
-0. PREAMBLE
-
-The purpose of this License is to make a manual, textbook, or other
-functional and useful document "free" in the sense of freedom: to
-assure everyone the effective freedom to copy and redistribute it,
-with or without modifying it, either commercially or noncommercially.
-Secondarily, this License preserves for the author and publisher a way
-to get credit for their work, while not being considered responsible
-for modifications made by others.
-
-This License is a kind of "copyleft", which means that derivative
-works of the document must themselves be free in the same sense. It
-complements the GNU General Public License, which is a copyleft
-license designed for free software.
-
-We have designed this License in order to use it for manuals for free
-software, because free software needs free documentation: a free
-program should come with manuals providing the same freedoms that the
-software does. But this License is not limited to software manuals;
-it can be used for any textual work, regardless of subject matter or
-whether it is published as a printed book. We recommend this License
-principally for works whose purpose is instruction or reference.
-
-
-1. APPLICABILITY AND DEFINITIONS
-
-This License applies to any manual or other work, in any medium, that
-contains a notice placed by the copyright holder saying it can be
-distributed under the terms of this License. Such a notice grants a
-world-wide, royalty-free license, unlimited in duration, to use that
-work under the conditions stated herein. The "Document", below,
-refers to any such manual or work. Any member of the public is a
-licensee, and is addressed as "you". You accept the license if you
-copy, modify or distribute the work in a way requiring permission
-under copyright law.
-
-A "Modified Version" of the Document means any work containing the
-Document or a portion of it, either copied verbatim, or with
-modifications and/or translated into another language.
-
-A "Secondary Section" is a named appendix or a front-matter section of
-the Document that deals exclusively with the relationship of the
-publishers or authors of the Document to the Document's overall subject
-(or to related matters) and contains nothing that could fall directly
-within that overall subject. (Thus, if the Document is in part a
-textbook of mathematics, a Secondary Section may not explain any
-mathematics.) The relationship could be a matter of historical
-connection with the subject or with related matters, or of legal,
-commercial, philosophical, ethical or political position regarding
-them.
-
-The "Invariant Sections" are certain Secondary Sections whose titles
-are designated, as being those of Invariant Sections, in the notice
-that says that the Document is released under this License. If a
-section does not fit the above definition of Secondary then it is not
-allowed to be designated as Invariant. The Document may contain zero
-Invariant Sections. If the Document does not identify any Invariant
-Sections then there are none.
-
-The "Cover Texts" are certain short passages of text that are listed,
-as Front-Cover Texts or Back-Cover Texts, in the notice that says that
-the Document is released under this License. A Front-Cover Text may
-be at most 5 words, and a Back-Cover Text may be at most 25 words.
-
-A "Transparent" copy of the Document means a machine-readable copy,
-represented in a format whose specification is available to the
-general public, that is suitable for revising the document
-straightforwardly with generic text editors or (for images composed of
-pixels) generic paint programs or (for drawings) some widely available
-drawing editor, and that is suitable for input to text formatters or
-for automatic translation to a variety of formats suitable for input
-to text formatters. A copy made in an otherwise Transparent file
-format whose markup, or absence of markup, has been arranged to thwart
-or discourage subsequent modification by readers is not Transparent.
-An image format is not Transparent if used for any substantial amount
-of text. A copy that is not "Transparent" is called "Opaque".
-
-Examples of suitable formats for Transparent copies include plain
-ASCII without markup, Texinfo input format, LaTeX input format, SGML
-or XML using a publicly available DTD, and standard-conforming simple
-HTML, PostScript or PDF designed for human modification. Examples of
-transparent image formats include PNG, XCF and JPG. Opaque formats
-include proprietary formats that can be read and edited only by
-proprietary word processors, SGML or XML for which the DTD and/or
-processing tools are not generally available, and the
-machine-generated HTML, PostScript or PDF produced by some word
-processors for output purposes only.
-
-The "Title Page" means, for a printed book, the title page itself,
-plus such following pages as are needed to hold, legibly, the material
-this License requires to appear in the title page. For works in
-formats which do not have any title page as such, "Title Page" means
-the text near the most prominent appearance of the work's title,
-preceding the beginning of the body of the text.
-
-A section "Entitled XYZ" means a named subunit of the Document whose
-title either is precisely XYZ or contains XYZ in parentheses following
-text that translates XYZ in another language. (Here XYZ stands for a
-specific section name mentioned below, such as "Acknowledgements",
-"Dedications", "Endorsements", or "History".) To "Preserve the Title"
-of such a section when you modify the Document means that it remains a
-section "Entitled XYZ" according to this definition.
-
-The Document may include Warranty Disclaimers next to the notice which
-states that this License applies to the Document. These Warranty
-Disclaimers are considered to be included by reference in this
-License, but only as regards disclaiming warranties: any other
-implication that these Warranty Disclaimers may have is void and has
-no effect on the meaning of this License.
-
-
-2. VERBATIM COPYING
-
-You may copy and distribute the Document in any medium, either
-commercially or noncommercially, provided that this License, the
-copyright notices, and the license notice saying this License applies
-to the Document are reproduced in all copies, and that you add no other
-conditions whatsoever to those of this License. You may not use
-technical measures to obstruct or control the reading or further
-copying of the copies you make or distribute. However, you may accept
-compensation in exchange for copies. If you distribute a large enough
-number of copies you must also follow the conditions in section 3.
-
-You may also lend copies, under the same conditions stated above, and
-you may publicly display copies.
-
-
-3. COPYING IN QUANTITY
-
-If you publish printed copies (or copies in media that commonly have
-printed covers) of the Document, numbering more than 100, and the
-Document's license notice requires Cover Texts, you must enclose the
-copies in covers that carry, clearly and legibly, all these Cover
-Texts: Front-Cover Texts on the front cover, and Back-Cover Texts on
-the back cover. Both covers must also clearly and legibly identify
-you as the publisher of these copies. The front cover must present
-the full title with all words of the title equally prominent and
-visible. You may add other material on the covers in addition.
-Copying with changes limited to the covers, as long as they preserve
-the title of the Document and satisfy these conditions, can be treated
-as verbatim copying in other respects.
-
-If the required texts for either cover are too voluminous to fit
-legibly, you should put the first ones listed (as many as fit
-reasonably) on the actual cover, and continue the rest onto adjacent
-pages.
-
-If you publish or distribute Opaque copies of the Document numbering
-more than 100, you must either include a machine-readable Transparent
-copy along with each Opaque copy, or state in or with each Opaque copy
-a computer-network location from which the general network-using
-public has access to download using public-standard network protocols
-a complete Transparent copy of the Document, free of added material.
-If you use the latter option, you must take reasonably prudent steps,
-when you begin distribution of Opaque copies in quantity, to ensure
-that this Transparent copy will remain thus accessible at the stated
-location until at least one year after the last time you distribute an
-Opaque copy (directly or through your agents or retailers) of that
-edition to the public.
-
-It is requested, but not required, that you contact the authors of the
-Document well before redistributing any large number of copies, to give
-them a chance to provide you with an updated version of the Document.
-
-
-4. MODIFICATIONS
-
-You may copy and distribute a Modified Version of the Document under
-the conditions of sections 2 and 3 above, provided that you release
-the Modified Version under precisely this License, with the Modified
-Version filling the role of the Document, thus licensing distribution
-and modification of the Modified Version to whoever possesses a copy
-of it. In addition, you must do these things in the Modified Version:
-
-A. Use in the Title Page (and on the covers, if any) a title distinct
- from that of the Document, and from those of previous versions
- (which should, if there were any, be listed in the History section
- of the Document). You may use the same title as a previous version
- if the original publisher of that version gives permission.
-B. List on the Title Page, as authors, one or more persons or entities
- responsible for authorship of the modifications in the Modified
- Version, together with at least five of the principal authors of the
- Document (all of its principal authors, if it has fewer than five),
- unless they release you from this requirement.
-C. State on the Title page the name of the publisher of the
- Modified Version, as the publisher.
-D. Preserve all the copyright notices of the Document.
-E. Add an appropriate copyright notice for your modifications
- adjacent to the other copyright notices.
-F. Include, immediately after the copyright notices, a license notice
- giving the public permission to use the Modified Version under the
- terms of this License, in the form shown in the Addendum below.
-G. Preserve in that license notice the full lists of Invariant Sections
- and required Cover Texts given in the Document's license notice.
-H. Include an unaltered copy of this License.
-I. Preserve the section Entitled "History", Preserve its Title, and add
- to it an item stating at least the title, year, new authors, and
- publisher of the Modified Version as given on the Title Page. If
- there is no section Entitled "History" in the Document, create one
- stating the title, year, authors, and publisher of the Document as
- given on its Title Page, then add an item describing the Modified
- Version as stated in the previous sentence.
-J. Preserve the network location, if any, given in the Document for
- public access to a Transparent copy of the Document, and likewise
- the network locations given in the Document for previous versions
- it was based on. These may be placed in the "History" section.
- You may omit a network location for a work that was published at
- least four years before the Document itself, or if the original
- publisher of the version it refers to gives permission.
-K. For any section Entitled "Acknowledgements" or "Dedications",
- Preserve the Title of the section, and preserve in the section all
- the substance and tone of each of the contributor acknowledgements
- and/or dedications given therein.
-L. Preserve all the Invariant Sections of the Document,
- unaltered in their text and in their titles. Section numbers
- or the equivalent are not considered part of the section titles.
-M. Delete any section Entitled "Endorsements". Such a section
- may not be included in the Modified Version.
-N. Do not retitle any existing section to be Entitled "Endorsements"
- or to conflict in title with any Invariant Section.
-O. Preserve any Warranty Disclaimers.
-
-If the Modified Version includes new front-matter sections or
-appendices that qualify as Secondary Sections and contain no material
-copied from the Document, you may at your option designate some or all
-of these sections as invariant. To do this, add their titles to the
-list of Invariant Sections in the Modified Version's license notice.
-These titles must be distinct from any other section titles.
-
-You may add a section Entitled "Endorsements", provided it contains
-nothing but endorsements of your Modified Version by various
-parties--for example, statements of peer review or that the text has
-been approved by an organization as the authoritative definition of a
-standard.
-
-You may add a passage of up to five words as a Front-Cover Text, and a
-passage of up to 25 words as a Back-Cover Text, to the end of the list
-of Cover Texts in the Modified Version. Only one passage of
-Front-Cover Text and one of Back-Cover Text may be added by (or
-through arrangements made by) any one entity. If the Document already
-includes a cover text for the same cover, previously added by you or
-by arrangement made by the same entity you are acting on behalf of,
-you may not add another; but you may replace the old one, on explicit
-permission from the previous publisher that added the old one.
-
-The author(s) and publisher(s) of the Document do not by this License
-give permission to use their names for publicity for or to assert or
-imply endorsement of any Modified Version.
-
-
-5. COMBINING DOCUMENTS
-
-You may combine the Document with other documents released under this
-License, under the terms defined in section 4 above for modified
-versions, provided that you include in the combination all of the
-Invariant Sections of all of the original documents, unmodified, and
-list them all as Invariant Sections of your combined work in its
-license notice, and that you preserve all their Warranty Disclaimers.
-
-The combined work need only contain one copy of this License, and
-multiple identical Invariant Sections may be replaced with a single
-copy. If there are multiple Invariant Sections with the same name but
-different contents, make the title of each such section unique by
-adding at the end of it, in parentheses, the name of the original
-author or publisher of that section if known, or else a unique number.
-Make the same adjustment to the section titles in the list of
-Invariant Sections in the license notice of the combined work.
-
-In the combination, you must combine any sections Entitled "History"
-in the various original documents, forming one section Entitled
-"History"; likewise combine any sections Entitled "Acknowledgements",
-and any sections Entitled "Dedications". You must delete all sections
-Entitled "Endorsements".
-
-
-6. COLLECTIONS OF DOCUMENTS
-
-You may make a collection consisting of the Document and other documents
-released under this License, and replace the individual copies of this
-License in the various documents with a single copy that is included in
-the collection, provided that you follow the rules of this License for
-verbatim copying of each of the documents in all other respects.
-
-You may extract a single document from such a collection, and distribute
-it individually under this License, provided you insert a copy of this
-License into the extracted document, and follow this License in all
-other respects regarding verbatim copying of that document.
-
-
-7. AGGREGATION WITH INDEPENDENT WORKS
-
-A compilation of the Document or its derivatives with other separate
-and independent documents or works, in or on a volume of a storage or
-distribution medium, is called an "aggregate" if the copyright
-resulting from the compilation is not used to limit the legal rights
-of the compilation's users beyond what the individual works permit.
-When the Document is included in an aggregate, this License does not
-apply to the other works in the aggregate which are not themselves
-derivative works of the Document.
-
-If the Cover Text requirement of section 3 is applicable to these
-copies of the Document, then if the Document is less than one half of
-the entire aggregate, the Document's Cover Texts may be placed on
-covers that bracket the Document within the aggregate, or the
-electronic equivalent of covers if the Document is in electronic form.
-Otherwise they must appear on printed covers that bracket the whole
-aggregate.
-
-
-8. TRANSLATION
-
-Translation is considered a kind of modification, so you may
-distribute translations of the Document under the terms of section 4.
-Replacing Invariant Sections with translations requires special
-permission from their copyright holders, but you may include
-translations of some or all Invariant Sections in addition to the
-original versions of these Invariant Sections. You may include a
-translation of this License, and all the license notices in the
-Document, and any Warranty Disclaimers, provided that you also include
-the original English version of this License and the original versions
-of those notices and disclaimers. In case of a disagreement between
-the translation and the original version of this License or a notice
-or disclaimer, the original version will prevail.
-
-If a section in the Document is Entitled "Acknowledgements",
-"Dedications", or "History", the requirement (section 4) to Preserve
-its Title (section 1) will typically require changing the actual
-title.
-
-
-9. TERMINATION
-
-You may not copy, modify, sublicense, or distribute the Document except
-as expressly provided for under this License. Any other attempt to
-copy, modify, sublicense or distribute the Document is void, and will
-automatically terminate your rights under this License. However,
-parties who have received copies, or rights, from you under this
-License will not have their licenses terminated so long as such
+ The licenses for most software are designed to take away your
+freedom to share and change it. By contrast, the GNU General Public
+License is intended to guarantee your freedom to share and change free
+software--to make sure the software is free for all its users. This
+General Public License applies to most of the Free Software
+Foundation's software and to any other program whose authors commit to
+using it. (Some other Free Software Foundation software is covered by
+the GNU Library General Public License instead.) You can apply it to
+your programs, too.
+
+ When we speak of free software, we are referring to freedom, not
+price. Our General Public Licenses are designed to make sure that you
+have the freedom to distribute copies of free software (and charge for
+this service if you wish), that you receive source code or can get it
+if you want it, that you can change the software or use pieces of it
+in new free programs; and that you know you can do these things.
+
+ To protect your rights, we need to make restrictions that forbid
+anyone to deny you these rights or to ask you to surrender the rights.
+These restrictions translate to certain responsibilities for you if you
+distribute copies of the software, or if you modify it.
+
+ For example, if you distribute copies of such a program, whether
+gratis or for a fee, you must give the recipients all the rights that
+you have. You must make sure that they, too, receive or can get the
+source code. And you must show them these terms so they know their
+rights.
+
+ We protect your rights with two steps: (1) copyright the software, and
+(2) offer you this license which gives you legal permission to copy,
+distribute and/or modify the software.
+
+ Also, for each author's protection and ours, we want to make certain
+that everyone understands that there is no warranty for this free
+software. If the software is modified by someone else and passed on, we
+want its recipients to know that what they have is not the original, so
+that any problems introduced by others will not reflect on the original
+authors' reputations.
+
+ Finally, any free program is threatened constantly by software
+patents. We wish to avoid the danger that redistributors of a free
+program will individually obtain patent licenses, in effect making the
+program proprietary. To prevent this, we have made it clear that any
+patent must be licensed for everyone's free use or not licensed at all.
+
+ The precise terms and conditions for copying, distribution and
+modification follow.
+
+ GNU GENERAL PUBLIC LICENSE
+ TERMS AND CONDITIONS FOR COPYING, DISTRIBUTION AND MODIFICATION
+
+ 0. This License applies to any program or other work which contains
+a notice placed by the copyright holder saying it may be distributed
+under the terms of this General Public License. The "Program", below,
+refers to any such program or work, and a "work based on the Program"
+means either the Program or any derivative work under copyright law:
+that is to say, a work containing the Program or a portion of it,
+either verbatim or with modifications and/or translated into another
+language. (Hereinafter, translation is included without limitation in
+the term "modification".) Each licensee is addressed as "you".
+
+Activities other than copying, distribution and modification are not
+covered by this License; they are outside its scope. The act of
+running the Program is not restricted, and the output from the Program
+is covered only if its contents constitute a work based on the
+Program (independent of having been made by running the Program).
+Whether that is true depends on what the Program does.
+
+ 1. You may copy and distribute verbatim copies of the Program's
+source code as you receive it, in any medium, provided that you
+conspicuously and appropriately publish on each copy an appropriate
+copyright notice and disclaimer of warranty; keep intact all the
+notices that refer to this License and to the absence of any warranty;
+and give any other recipients of the Program a copy of this License
+along with the Program.
+
+You may charge a fee for the physical act of transferring a copy, and
+you may at your option offer warranty protection in exchange for a fee.
+
+ 2. You may modify your copy or copies of the Program or any portion
+of it, thus forming a work based on the Program, and copy and
+distribute such modifications or work under the terms of Section 1
+above, provided that you also meet all of these conditions:
+
+ a) You must cause the modified files to carry prominent notices
+ stating that you changed the files and the date of any change.
+
+ b) You must cause any work that you distribute or publish, that in
+ whole or in part contains or is derived from the Program or any
+ part thereof, to be licensed as a whole at no charge to all third
+ parties under the terms of this License.
+
+ c) If the modified program normally reads commands interactively
+ when run, you must cause it, when started running for such
+ interactive use in the most ordinary way, to print or display an
+ announcement including an appropriate copyright notice and a
+ notice that there is no warranty (or else, saying that you provide
+ a warranty) and that users may redistribute the program under
+ these conditions, and telling the user how to view a copy of this
+ License. (Exception: if the Program itself is interactive but
+ does not normally print such an announcement, your work based on
+ the Program is not required to print an announcement.)
+
+These requirements apply to the modified work as a whole. If
+identifiable sections of that work are not derived from the Program,
+and can be reasonably considered independent and separate works in
+themselves, then this License, and its terms, do not apply to those
+sections when you distribute them as separate works. But when you
+distribute the same sections as part of a whole which is a work based
+on the Program, the distribution of the whole must be on the terms of
+this License, whose permissions for other licensees extend to the
+entire whole, and thus to each and every part regardless of who wrote it.
+
+Thus, it is not the intent of this section to claim rights or contest
+your rights to work written entirely by you; rather, the intent is to
+exercise the right to control the distribution of derivative or
+collective works based on the Program.
+
+In addition, mere aggregation of another work not based on the Program
+with the Program (or with a work based on the Program) on a volume of
+a storage or distribution medium does not bring the other work under
+the scope of this License.
+
+ 3. You may copy and distribute the Program (or a work based on it,
+under Section 2) in object code or executable form under the terms of
+Sections 1 and 2 above provided that you also do one of the following:
+
+ a) Accompany it with the complete corresponding machine-readable
+ source code, which must be distributed under the terms of Sections
+ 1 and 2 above on a medium customarily used for software interchange; or,
+
+ b) Accompany it with a written offer, valid for at least three
+ years, to give any third party, for a charge no more than your
+ cost of physically performing source distribution, a complete
+ machine-readable copy of the corresponding source code, to be
+ distributed under the terms of Sections 1 and 2 above on a medium
+ customarily used for software interchange; or,
+
+ c) Accompany it with the information you received as to the offer
+ to distribute corresponding source code. (This alternative is
+ allowed only for noncommercial distribution and only if you
+ received the program in object code or executable form with such
+ an offer, in accord with Subsection b above.)
+
+The source code for a work means the preferred form of the work for
+making modifications to it. For an executable work, complete source
+code means all the source code for all modules it contains, plus any
+associated interface definition files, plus the scripts used to
+control compilation and installation of the executable. However, as a
+special exception, the source code distributed need not include
+anything that is normally distributed (in either source or binary
+form) with the major components (compiler, kernel, and so on) of the
+operating system on which the executable runs, unless that component
+itself accompanies the executable.
+
+If distribution of executable or object code is made by offering
+access to copy from a designated place, then offering equivalent
+access to copy the source code from the same place counts as
+distribution of the source code, even though third parties are not
+compelled to copy the source along with the object code.
+
+ 4. You may not copy, modify, sublicense, or distribute the Program
+except as expressly provided under this License. Any attempt
+otherwise to copy, modify, sublicense or distribute the Program is
+void, and will automatically terminate your rights under this License.
+However, parties who have received copies, or rights, from you under
+this License will not have their licenses terminated so long as such
parties remain in full compliance.
-
-10. FUTURE REVISIONS OF THIS LICENSE
-
-The Free Software Foundation may publish new, revised versions
-of the GNU Free Documentation License from time to time. Such new
-versions will be similar in spirit to the present version, but may
-differ in detail to address new problems or concerns. See
-http://www.gnu.org/copyleft/.
-
-Each version of the License is given a distinguishing version number.
-If the Document specifies that a particular numbered version of this
-License "or any later version" applies to it, you have the option of
-following the terms and conditions either of that specified version or
-of any later version that has been published (not as a draft) by the
-Free Software Foundation. If the Document does not specify a version
-number of this License, you may choose any version ever published (not
-as a draft) by the Free Software Foundation.
-
-
-ADDENDUM: How to use this License for your documents
-
-To use this License in a document you have written, include a copy of
-the License in the document and put the following copyright and
-license notices just after the title page:
-
- Copyright (c) YEAR YOUR NAME.
- Permission is granted to copy, distribute and/or modify this document
- under the terms of the GNU Free Documentation License, Version 1.2
- or any later version published by the Free Software Foundation;
- with no Invariant Sections, no Front-Cover Texts, and no Back-Cover Texts.
- A copy of the license is included in the section entitled "GNU
- Free Documentation License".
-
-If you have Invariant Sections, Front-Cover Texts and Back-Cover Texts,
-replace the "with...Texts." line with this:
-
- with the Invariant Sections being LIST THEIR TITLES, with the
- Front-Cover Texts being LIST, and with the Back-Cover Texts being LIST.
-
-If you have Invariant Sections without Cover Texts, or some other
-combination of the three, merge those two alternatives to suit the
-situation.
-
-If your document contains nontrivial examples of program code, we
-recommend releasing these examples in parallel under your choice of
-free software license, such as the GNU General Public License,
-to permit their use in free software.
\ No newline at end of file
+ 5. You are not required to accept this License, since you have not
+signed it. However, nothing else grants you permission to modify or
+distribute the Program or its derivative works. These actions are
+prohibited by law if you do not accept this License. Therefore, by
+modifying or distributing the Program (or any work based on the
+Program), you indicate your acceptance of this License to do so, and
+all its terms and conditions for copying, distributing or modifying
+the Program or works based on it.
+
+ 6. Each time you redistribute the Program (or any work based on the
+Program), the recipient automatically receives a license from the
+original licensor to copy, distribute or modify the Program subject to
+these terms and conditions. You may not impose any further
+restrictions on the recipients' exercise of the rights granted herein.
+You are not responsible for enforcing compliance by third parties to
+this License.
+
+ 7. If, as a consequence of a court judgment or allegation of patent
+infringement or for any other reason (not limited to patent issues),
+conditions are imposed on you (whether by court order, agreement or
+otherwise) that contradict the conditions of this License, they do not
+excuse you from the conditions of this License. If you cannot
+distribute so as to satisfy simultaneously your obligations under this
+License and any other pertinent obligations, then as a consequence you
+may not distribute the Program at all. For example, if a patent
+license would not permit royalty-free redistribution of the Program by
+all those who receive copies directly or indirectly through you, then
+the only way you could satisfy both it and this License would be to
+refrain entirely from distribution of the Program.
+
+If any portion of this section is held invalid or unenforceable under
+any particular circumstance, the balance of the section is intended to
+apply and the section as a whole is intended to apply in other
+circumstances.
+
+It is not the purpose of this section to induce you to infringe any
+patents or other property right claims or to contest validity of any
+such claims; this section has the sole purpose of protecting the
+integrity of the free software distribution system, which is
+implemented by public license practices. Many people have made
+generous contributions to the wide range of software distributed
+through that system in reliance on consistent application of that
+system; it is up to the author/donor to decide if he or she is willing
+to distribute software through any other system and a licensee cannot
+impose that choice.
+
+This section is intended to make thoroughly clear what is believed to
+be a consequence of the rest of this License.
+
+ 8. If the distribution and/or use of the Program is restricted in
+certain countries either by patents or by copyrighted interfaces, the
+original copyright holder who places the Program under this License
+may add an explicit geographical distribution limitation excluding
+those countries, so that distribution is permitted only in or among
+countries not thus excluded. In such case, this License incorporates
+the limitation as if written in the body of this License.
+
+ 9. The Free Software Foundation may publish revised and/or new versions
+of the General Public License from time to time. Such new versions will
+be similar in spirit to the present version, but may differ in detail to
+address new problems or concerns.
+
+Each version is given a distinguishing version number. If the Program
+specifies a version number of this License which applies to it and "any
+later version", you have the option of following the terms and conditions
+either of that version or of any later version published by the Free
+Software Foundation. If the Program does not specify a version number of
+this License, you may choose any version ever published by the Free Software
+Foundation.
+
+ 10. If you wish to incorporate parts of the Program into other free
+programs whose distribution conditions are different, write to the author
+to ask for permission. For software which is copyrighted by the Free
+Software Foundation, write to the Free Software Foundation; we sometimes
+make exceptions for this. Our decision will be guided by the two goals
+of preserving the free status of all derivatives of our free software and
+of promoting the sharing and reuse of software generally.
+
+ NO WARRANTY
+
+ 11. BECAUSE THE PROGRAM IS LICENSED FREE OF CHARGE, THERE IS NO WARRANTY
+FOR THE PROGRAM, TO THE EXTENT PERMITTED BY APPLICABLE LAW. EXCEPT WHEN
+OTHERWISE STATED IN WRITING THE COPYRIGHT HOLDERS AND/OR OTHER PARTIES
+PROVIDE THE PROGRAM "AS IS" WITHOUT WARRANTY OF ANY KIND, EITHER EXPRESSED
+OR IMPLIED, INCLUDING, BUT NOT LIMITED TO, THE IMPLIED WARRANTIES OF
+MERCHANTABILITY AND FITNESS FOR A PARTICULAR PURPOSE. THE ENTIRE RISK AS
+TO THE QUALITY AND PERFORMANCE OF THE PROGRAM IS WITH YOU. SHOULD THE
+PROGRAM PROVE DEFECTIVE, YOU ASSUME THE COST OF ALL NECESSARY SERVICING,
+REPAIR OR CORRECTION.
+
+ 12. IN NO EVENT UNLESS REQUIRED BY APPLICABLE LAW OR AGREED TO IN WRITING
+WILL ANY COPYRIGHT HOLDER, OR ANY OTHER PARTY WHO MAY MODIFY AND/OR
+REDISTRIBUTE THE PROGRAM AS PERMITTED ABOVE, BE LIABLE TO YOU FOR DAMAGES,
+INCLUDING ANY GENERAL, SPECIAL, INCIDENTAL OR CONSEQUENTIAL DAMAGES ARISING
+OUT OF THE USE OR INABILITY TO USE THE PROGRAM (INCLUDING BUT NOT LIMITED
+TO LOSS OF DATA OR DATA BEING RENDERED INACCURATE OR LOSSES SUSTAINED BY
+YOU OR THIRD PARTIES OR A FAILURE OF THE PROGRAM TO OPERATE WITH ANY OTHER
+PROGRAMS), EVEN IF SUCH HOLDER OR OTHER PARTY HAS BEEN ADVISED OF THE
+POSSIBILITY OF SUCH DAMAGES.
+
+ END OF TERMS AND CONDITIONS
+
+ How to Apply These Terms to Your New Programs
+
+ If you develop a new program, and you want it to be of the greatest
+possible use to the public, the best way to achieve this is to make it
+free software which everyone can redistribute and change under these terms.
+
+ To do so, attach the following notices to the program. It is safest
+to attach them to the start of each source file to most effectively
+convey the exclusion of warranty; and each file should have at least
+the "copyright" line and a pointer to where the full notice is found.
+
+ <one line to give the program's name and a brief idea of what it does.>
+ Copyright (C) <year> <name of author>
+
+ This program is free software; you can redistribute it and/or modify
+ it under the terms of the GNU General Public License as published by
+ the Free Software Foundation; either version 2 of the License, or
+ (at your option) any later version.
+
+ This program is distributed in the hope that it will be useful,
+ but WITHOUT ANY WARRANTY; without even the implied warranty of
+ MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
+ GNU General Public License for more details.
+
+ You should have received a copy of the GNU General Public License
+ along with this program; if not, write to the Free Software
+ Foundation, Inc., 51 Franklin St, Fifth Floor, Boston, MA 02110-1301 USA
+
+
+Also add information on how to contact you by electronic and paper mail.
+
+If the program is interactive, make it output a short notice like this
+when it starts in an interactive mode:
+
+ Gnomovision version 69, Copyright (C) year name of author
+ Gnomovision comes with ABSOLUTELY NO WARRANTY; for details type `show w'.
+ This is free software, and you are welcome to redistribute it
+ under certain conditions; type `show c' for details.
+
+The hypothetical commands `show w' and `show c' should show the appropriate
+parts of the General Public License. Of course, the commands you use may
+be called something other than `show w' and `show c'; they could even be
+mouse-clicks or menu items--whatever suits your program.
+
+You should also get your employer (if you work as a programmer) or your
+school, if any, to sign a "copyright disclaimer" for the program, if
+necessary. Here is a sample; alter the names:
+
+ Yoyodyne, Inc., hereby disclaims all copyright interest in the program
+ `Gnomovision' (which makes passes at compilers) written by James Hacker.
+
+ <signature of Ty Coon>, 1 April 1989
+ Ty Coon, President of Vice
+
+This General Public License does not permit incorporating your program into
+proprietary programs. If your program is a subroutine library, you may
+consider it more useful to permit linking proprietary applications with the
+library. If this is what you want to do, use the GNU Library General
+Public License instead of this License.
https://svn.lrde.epita.fr/svn/oln/trunk/extended
Index: ChangeLog
from Thierry Geraud <theo(a)lrde.epita.fr>
Separate xtd function expressions from meta functions. .
The design has changed: now an nary_fun_expr is not a subclass of
meta_nary_fun. Both fun_nary_expr and meta_nary_fun inherit from
open_nary_fun, which contains the shared part of nary_fun_expr
and meta_nary_fun. Precisely, it provides the operator() that accepts
different input: values or function expressions.
* xtd/res.hh: Update.
* xtd/cast.hh: Update.
* xtd/math/trigo.hh: Update.
* xtd/math/arith.hh: Update.
* xtd/math/id.hh: Update.
* xtd/mexpr.hh: Update.
* xtd/args.hh: Update.
* xtd/literal.hh: Update.
* xtd/ops_expr.hh: Update.
* xtd/abstract/open_nary_fun.hh: New.
* xtd/abstract/plain_nary_fun.hh: New.
* xtd/abstract/fun_expr.hh: Update.
* xtd/abstract/meta_nary_fun.hh: New.
* xtd/abstract/fun.hh: Update.
* xtd/abstract/open_fun.hh: New.
* xtd/abstract/plain_fun.hh: Update.
* xtd/abstract/meta_fun.hh: Update.
* xtd/abstract/fun_nary_expr.hh: New.
* xtd/mfun.hh: Update.
* xtd/TODO: New.
* xtd/arg.hh: Update.
* xtd/case.hh: Remove.
* xtd/bind.hh: New.
* xtd/internal: New.
* xtd/internal/mlc.hh: New.
* tests/id.cc: Update.
* tests/bind.cc: Update.
* tests/lit.cc: Update.
tests/bind.cc | 4
tests/id.cc | 1
tests/lit.cc | 1
xtd/TODO | 5
xtd/abstract/fun.hh | 25 +--
xtd/abstract/fun_expr.hh | 247 -----------------------------
xtd/abstract/fun_nary_expr.hh | 234 ++++++++++++++++++++++++++++
xtd/abstract/meta_fun.hh | 292 -----------------------------------
xtd/abstract/meta_nary_fun.hh | 143 +++++++++++++++++
xtd/abstract/open_fun.hh | 71 ++++++++
xtd/abstract/open_nary_fun.hh | 340 +++++++++++++++++++++++++++++++++++++++++
xtd/abstract/plain_fun.hh | 196 -----------------------
xtd/abstract/plain_nary_fun.hh | 266 ++++++++++++++++++++++++++++++++
xtd/arg.hh | 9 -
xtd/args.hh | 57 ++++++
xtd/bind.hh | 105 ++++++++++++
xtd/cast.hh | 14 -
xtd/internal/mlc.hh | 54 ++++++
xtd/literal.hh | 81 ---------
xtd/math/arith.hh | 2
xtd/math/id.hh | 2
xtd/math/trigo.hh | 6
xtd/mexpr.hh | 115 ++++++-------
xtd/mfun.hh | 6
xtd/ops_expr.hh | 2
xtd/res.hh | 48 ++---
26 files changed, 1381 insertions(+), 945 deletions(-)
Index: xtd/res.hh
--- xtd/res.hh (revision 441)
+++ xtd/res.hh (working copy)
@@ -28,19 +28,12 @@
#ifndef EXTENDED_RES_HH
# define EXTENDED_RES_HH
-# include <mlc/flags.hh>
-# include <mlc/bool.hh> // FIXME: should be assert.hh
-# include <mlc/if.hh>
-# include <mlc/is_a.hh>
-# include <mlc/comma.hh>
-# include <mlc/cmp.hh>
-# include <mlc/ret.hh>
+# include <xtd/internal/mlc.hh>
-# include <xtd/abstract/nary_fun.hh>
-
-// forward declarations ...............................
+/// Forward declarations.
+/// \{
namespace xtd
{
@@ -49,32 +42,27 @@
{
template <typename E>
- class meta_fun_;
+ class open_fun_;
- template <unsigned n, typename E>
- class meta_nary_fun_;
+ template <typename E>
+ class meta_fun_;
template <typename E>
class fun_expr_;
- } // end of namespace xtd::abstract
+ template <unsigned n>
+ class nary_fun_;
- template <typename F,
- typename Expr>
- struct m1expr;
+ class args;
- template <typename F,
- typename Expr1, typename Expr2>
- struct m2expr;
+ } // end of namespace xtd::abstract
- template <typename F,
- typename Expr1, typename Expr2, typename Expr3>
- struct m3expr;
+ template <typename A1, typename A2, typename A3>
+ struct args_;
} // end of namespace xtd
-
-// end of forward declarations ........................
+/// \}
@@ -160,7 +148,7 @@
// FIXME: doc...
- // for meta_fun that are *not* fun_expr
+ // for meta_fun
// ------------------------------------
@@ -264,7 +252,7 @@
- // for meta_fun that *are* fun_expr
+ // for fun_expr
// ------------------------------------
template <typename F,
@@ -295,7 +283,11 @@
typename A1 = mlc::none,
typename A2 = mlc::none,
typename A3 = mlc::none>
- struct get_res_ : public mlc::if_< mlc_is_a(F, xtd::abstract::fun_expr_),
+ struct get_res_
+
+ // FIXME: add assertion "F is an xtd::abstract::open_fun_"
+
+ : public mlc::if_< mlc_is_a(F, xtd::abstract::fun_expr_),
get_expr_res_<F, xtd::args_<A1, A2, A3> >,
do_get_res_<F, A1, A2, A3> >::ret
{};
Index: xtd/cast.hh
--- xtd/cast.hh (revision 441)
+++ xtd/cast.hh (working copy)
@@ -28,10 +28,8 @@
#ifndef EXTENDED_CAST_HH
# define EXTENDED_CAST_HH
-# include <mlc/pair.hh>
-
-# include <xtd/abstract/plain_fun.hh>
-# include <xtd/abstract/meta_fun.hh>
+# include <xtd/abstract/plain_nary_fun.hh>
+# include <xtd/abstract/meta_nary_fun.hh>
# include <xtd/mexpr.hh>
@@ -105,16 +103,16 @@
*/
template <typename Dest, typename A>
- typename xtd::case_< xtd::tag::meta_1ary_fun_operator,
+ typename xtd::case_< xtd::tag::fun_operator_1,
mlc::pair_< meta_cast_<Dest>,
A >
>::ret::res
cast_(const A& a)
{
- typedef typename xtd::case_< xtd::tag::meta_1ary_fun_operator,
+ typedef typename xtd::case_< xtd::tag::fun_operator_1,
mlc::pair_< meta_cast_<Dest>, A> >::ret case_t;
- static const meta_cast_<Dest> the_;
- return case_t::impl(&the_, a);
+ static const meta_cast_<Dest> target;
+ return case_t::impl(target, a);
}
Index: xtd/math/trigo.hh
--- xtd/math/trigo.hh (revision 441)
+++ xtd/math/trigo.hh (working copy)
@@ -30,11 +30,7 @@
# include <cmath>
-# include <mlc/assert.hh>
-# include <mlc/logic.hh>
-# include <mlc/cmp.hh>
-
-# include <xtd/abstract/plain_fun.hh>
+# include <xtd/abstract/plain_nary_fun.hh>
# include <xtd/mfun.hh>
Index: xtd/math/arith.hh
--- xtd/math/arith.hh (revision 441)
+++ xtd/math/arith.hh (working copy)
@@ -29,7 +29,7 @@
# define EXTENDED_MATH_ARITH_HH
# include <xtd/builtin/traits.hh>
-# include <xtd/abstract/plain_fun.hh>
+# include <xtd/abstract/plain_nary_fun.hh>
# include <xtd/mfun.hh>
Index: xtd/math/id.hh
--- xtd/math/id.hh (revision 441)
+++ xtd/math/id.hh (working copy)
@@ -28,7 +28,7 @@
#ifndef EXTENDED_MATH_ID_HH
# define EXTENDED_MATH_ID_HH
-# include <xtd/abstract/plain_fun.hh>
+# include <xtd/abstract/plain_nary_fun.hh>
# include <xtd/mfun.hh>
Index: xtd/mexpr.hh
--- xtd/mexpr.hh (revision 441)
+++ xtd/mexpr.hh (working copy)
@@ -28,16 +28,8 @@
#ifndef EXTENDED_MEXPR_HH
# define EXTENDED_MEXPR_HH
-# include <mlc/case.hh>
-# include <mlc/assert.hh>
-# include <mlc/logic.hh>
-# include <mlc/is_a.hh>
-
-# include <xtd/abstract/nary_fun.hh>
-# include <xtd/abstract/fun_expr.hh>
-# include <xtd/args.hh>
-# include <xtd/res.hh>
-# include <xtd/literal.hh>
+# include <xtd/abstract/meta_nary_fun.hh>
+# include <xtd/abstract/fun_nary_expr.hh>
@@ -57,6 +49,9 @@
struct MIXED_ARGUMENTS_IN_CALLING_A_TERNARY_META_FUNCTION__EXPR3;
struct FIXME;
+ struct FIXME1;
+ struct FIXME2;
+ struct FIXME3;
} // end of namespace xtd::ERROR
@@ -98,10 +93,10 @@
: private mlc::assert_< mlc_is_a(F, abstract::nary_fun_<0>),
ERROR::FIXME >,
- private mlc::assert_< mlc_is_a(F, abstract::meta_fun_),
- ERROR::FIXME >,
+ private mlc::assert_< mlc_is_a(F, abstract::open_fun_),
+ ERROR::FIXME2 >,
- public abstract::nary_fun_expr_< 0, m0expr_<F> >
+ public abstract::fun_nary_expr_< 0, m0expr_<F> >
{
const F f;
@@ -109,11 +104,9 @@
f()
{}
- m0expr_(const F& f) :
- f(f)
+ m0expr_(const abstract::open_nary_fun_<0, F>& f) :
+ f(f.exact_())
{
- mlc::assert_< mlc_is_a(F, abstract::nary_fun_<0>),
- ERROR::FIXME >::check();
}
template <typename Args>
@@ -162,13 +155,13 @@
: private mlc::assert_< mlc_is_a(F, abstract::nary_fun_<1>),
ERROR::FIXME >,
- private mlc::assert_< mlc_is_a(F, abstract::meta_fun_),
- ERROR::FIXME >,
+ private mlc::assert_< mlc_is_a(F, abstract::open_fun_),
+ ERROR::FIXME2 >,
private mlc::assert_< mlc_is_a(Expr, abstract::fun_expr_),
xtd::ERROR::FIXME >,
- public abstract::nary_fun_expr_< xtd_nargs(Expr),
+ public abstract::fun_nary_expr_< xtd_nargs(Expr),
m1expr_<F, Expr> >
{
typedef m1expr_<F, Expr> self;
@@ -183,16 +176,14 @@
m1expr_(const abstract::fun_expr_<Expr>& expr) :
f(),
- expr(exact_of(expr))
+ expr(expr.exact())
{}
- m1expr_(const F& f, // FIXME: constraint?
+ m1expr_(const abstract::open_nary_fun_<1, F>& f,
const abstract::fun_expr_<Expr>& expr) :
- f(f),
- expr(exact_of(expr))
+ f(f.exact_()),
+ expr(expr.exact())
{
- mlc::assert_< mlc_is_a(F, abstract::nary_fun_<1>),
- ERROR::FIXME >::check();
}
template <typename Args>
@@ -244,16 +235,16 @@
struct m2expr_
: private mlc::assert_< mlc_is_a(F, abstract::nary_fun_<2>),
- ERROR::FIXME >,
+ ERROR::FIXME1 >,
- private mlc::assert_< mlc_is_a(F, abstract::meta_fun_),
- ERROR::FIXME >,
+ private mlc::assert_< mlc_is_a(F, abstract::open_fun_),
+ ERROR::FIXME2 >,
private mlc::assert_< mlc::and_< mlc_is_a(Expr1, abstract::fun_expr_),
mlc_is_a(Expr2, abstract::fun_expr_) >,
- xtd::ERROR::FIXME >,
+ xtd::ERROR::FIXME3 >,
- public abstract::nary_fun_expr_< xtd_nargs(mlc_comma_2(m2expr_<F, Expr1, Expr2>)),
+ public abstract::fun_nary_expr_< xtd_nargs(mlc_comma_2(m2expr_<F, Expr1, Expr2>)),
m2expr_<F, Expr1, Expr2> >
{
typedef m2expr_<F, Expr1, Expr2> self;
@@ -271,19 +262,17 @@
m2expr_(const abstract::fun_expr_<Expr1>& expr1,
const abstract::fun_expr_<Expr2>& expr2) :
f(),
- expr1(exact_of(expr1)),
- expr2(exact_of(expr2))
+ expr1(expr1.exact()),
+ expr2(expr2.exact())
{}
- m2expr_(const F& f,
+ m2expr_(const abstract::open_nary_fun_<2, F>& f,
const abstract::fun_expr_<Expr1>& expr1,
const abstract::fun_expr_<Expr2>& expr2) :
- f(f),
- expr1(exact_of(expr1)),
- expr2(exact_of(expr2))
+ f(f.exact_()),
+ expr1(expr1.exact()),
+ expr2(expr2.exact())
{
- mlc::assert_< mlc_is_a(F, abstract::nary_fun_<2>),
- ERROR::FIXME >::check();
}
template <typename Args>
@@ -338,15 +327,15 @@
: private mlc::assert_< mlc_is_a(F, abstract::nary_fun_<3>),
ERROR::FIXME >,
- private mlc::assert_< mlc_is_a(F, abstract::meta_fun_),
- ERROR::FIXME >,
+ private mlc::assert_< mlc_is_a(F, abstract::open_fun_),
+ ERROR::FIXME2 >,
private mlc::assert_< mlc::and_list_< mlc_is_a(Expr1, abstract::fun_expr_),
mlc_is_a(Expr2, abstract::fun_expr_),
mlc_is_a(Expr3, abstract::fun_expr_) >,
xtd::ERROR::FIXME >,
- public abstract::nary_fun_expr_< xtd_nargs(mlc_comma_3(m3expr_<F, Expr1, Expr2, Expr3>)),
+ public abstract::fun_nary_expr_< xtd_nargs(mlc_comma_3(m3expr_<F, Expr1, Expr2, Expr3>)),
m3expr_<F, Expr1, Expr2, Expr3> >
{
typedef m3expr_<F, Expr1, Expr2, Expr3> self;
@@ -367,22 +356,20 @@
const abstract::fun_expr_<Expr2>& expr2,
const abstract::fun_expr_<Expr3>& expr3) :
f(),
- expr1(exact_of(expr1)),
- expr2(exact_of(expr2)),
- expr3(exact_of(expr3))
+ expr1(expr1.exact()),
+ expr2(expr2.exact()),
+ expr3(expr3.exact())
{}
- m3expr_(const F& f,
+ m3expr_(const abstract::open_nary_fun_<3, F>& f,
const abstract::fun_expr_<Expr1>& expr1,
const abstract::fun_expr_<Expr2>& expr2,
const abstract::fun_expr_<Expr3>& expr3) :
- f(f),
- expr1(exact_of(expr1)),
- expr2(exact_of(expr2)),
- expr3(exact_of(expr3))
+ f(f.exact_()),
+ expr1(expr1.exact()),
+ expr2(expr2.exact()),
+ expr3(expr3.exact())
{
- mlc::assert_< mlc_is_a(F, abstract::nary_fun_<3>),
- ERROR::FIXME >::check();
}
template <typename Args>
@@ -396,32 +383,32 @@
- // meta_nary_fun_<1, F>::operator()(abstract::fun_expr_<Expr>& expr) const
+ // open_nary_fun_<1, F>::operator()(abstract::fun_expr_<Expr>& expr) const
template <typename F, typename Expr>
- struct case_< tag::meta_1ary_fun_operator,
+ struct case_< tag::fun_operator_1,
mlc::pair_<F, Expr>,
1 >
: public mlc::where_< mlc_is_a(Expr, abstract::fun_expr_) >
{
typedef m1expr_<F, Expr> res;
- static res impl(const abstract::meta_nary_fun_<1, F>* this_,
+ static res impl(const abstract::open_nary_fun_<1, F>& target,
const abstract::fun_expr_<Expr>& expr)
{
- res tmp(exact_of(*this_), expr);
+ res tmp(target, expr);
return tmp;
}
};
- // meta_nary_fun_<2, F>::operator()(const fun_expr_<Expr1>& expr1,
+ // open_nary_fun_<2, F>::operator()(const fun_expr_<Expr1>& expr1,
// const fun_expr_<Expr2>& expr2) const
template <typename F, typename Expr1, typename Expr2>
- struct case_< tag::meta_2ary_fun_operator,
+ struct case_< tag::fun_operator_2,
mlc::valist_<F, Expr1, Expr2>,
1 >
: public mlc::where_< mlc::or_< mlc_is_a(Expr1, abstract::fun_expr_),
@@ -437,11 +424,11 @@
{
typedef m2expr_<F, Expr1, Expr2> res;
- static res impl(const abstract::meta_nary_fun_<2, F>* this_,
+ static res impl(const abstract::open_nary_fun_<2, F>& target,
const abstract::fun_expr_<Expr1>& expr1,
const abstract::fun_expr_<Expr2>& expr2)
{
- res tmp(exact_of(*this_), expr1, expr2);
+ res tmp(target, expr1, expr2);
return tmp;
}
@@ -449,12 +436,12 @@
- // meta_nary_fun_<3, F>::operator()(const fun_expr_<Expr1>& expr1,
+ // open_nary_fun_<3, F>::operator()(const fun_expr_<Expr1>& expr1,
// const fun_expr_<Expr2>& expr2,
// const fun_expr_<Expr3>& expr3) const
template <typename F, typename Expr1, typename Expr2, typename Expr3>
- struct case_< tag::meta_3ary_fun_operator,
+ struct case_< tag::fun_operator_3,
mlc::valist_<F, Expr1, Expr2, Expr3>,
1 >
: public mlc::where_< mlc::or_list_< mlc_is_a(Expr1, abstract::fun_expr_),
@@ -481,12 +468,12 @@
{
typedef m3expr_<F, Expr1, Expr2, Expr3> res;
- static res impl(const abstract::meta_nary_fun_<3, F>* this_,
+ static res impl(const abstract::open_nary_fun_<3, F>& target,
const abstract::fun_expr_<Expr1>& expr1,
const abstract::fun_expr_<Expr2>& expr2,
const abstract::fun_expr_<Expr3>& expr3)
{
- res tmp(exact_of(*this_), expr1, expr2, expr3);
+ res tmp(target, expr1, expr2, expr3);
return tmp;
}
};
Index: xtd/args.hh
--- xtd/args.hh (revision 441)
+++ xtd/args.hh (working copy)
@@ -28,9 +28,13 @@
#ifndef EXTENDED_ARGS_HH
# define EXTENDED_ARGS_HH
-# include <mlc/flags.hh>
-# include <mlc/assert.hh>
-# include <mlc/is_a.hh>
+# include <xtd/internal/mlc.hh>
+
+
+
+// FIXME: doc
+
+# define xtd_nargs(F) xtd::internal::get_nargs_<F>::ret
@@ -60,6 +64,7 @@
+
/*! \class xtd::args_<A1, ..>
**
** FIXME: to pack arguments
@@ -158,6 +163,52 @@
}
+
+
+
+
+ namespace ERROR
+ {
+
+ struct SPECIALIZATION_OF_xtd_nargs_IS_FOR_xtd_fun_expr_ONLY;
+ struct SPECIALIZATION_OF_xtd_nargs_NOT_FOUND_FOR_AN_xtd_fun_expr;
+
+ } // end of namespace xtd::ERROR
+
+
+
+ /*! \class xtd::nargs_<F>
+ **
+ ** FIXME: doc
+ */
+
+ template <typename F>
+ struct nargs_ : public mlc::undefined
+ {
+ };
+
+
+ namespace internal
+ {
+
+ template <typename F>
+ struct get_nargs_
+
+ : // private mlc::assert_< mlc_is_a(F, xtd::abstract::fun_expr_),
+ // xtd::ERROR::SPECIALIZATION_OF_xtd_nargs_IS_FOR_xtd_fun_expr_ONLY >,
+ // FIXME: the static assertion above does *not* compile...
+
+ private mlc::assert_< mlc_is_not_a(xtd::nargs_<F>, mlc::undefined),
+ xtd::ERROR::SPECIALIZATION_OF_xtd_nargs_NOT_FOUND_FOR_AN_xtd_fun_expr >
+ {
+ static const unsigned ret = xtd::nargs_<F>::ret;
+ };
+
+ } // end of xtd::internal
+
+
+
+
} // end of namespace xtd
Index: xtd/literal.hh
--- xtd/literal.hh (revision 441)
+++ xtd/literal.hh (working copy)
@@ -28,12 +28,9 @@
#ifndef EXTENDED_LITERAL_HH
# define EXTENDED_LITERAL_HH
-# include <mlc/assert.hh>
-# include <mlc/is_a.hh>
-
-# include <xtd/abstract/plain_fun.hh>
-# include <xtd/abstract/meta_fun.hh>
-# include <xtd/abstract/fun_expr.hh>
+# include <xtd/abstract/plain_nary_fun.hh>
+# include <xtd/abstract/meta_nary_fun.hh>
+# include <xtd/abstract/fun_nary_expr.hh>
@@ -139,7 +136,7 @@
: private mlc::assert_< mlc_is_not_a(T, abstract::fun_),
xtd::ERROR::FIXME >,
- public abstract::nary_fun_expr_< 0, literal_expr_<T> >
+ public abstract::fun_nary_expr_< 0, literal_expr_<T> >
{
const T value;
@@ -168,75 +165,5 @@
} // end of namespace xtd
-# include <xtd/mexpr.hh>
-# include <xtd/arg.hh>
-
-
-namespace xtd
-{
-
- namespace abstract
- {
-
- // nary_fun_expr_< 2, E >::bind_i
-
- template <typename E>
- template <typename T>
- m2expr_< E, literal_expr_<T>, arg_<2> >
- nary_fun_expr_< 2, E >::bind_1(const T& value) const
- {
- typedef m2expr_< E, literal_expr_<T>, arg_<2> > ret;
- ret tmp(exact_of(this), lit(value), arg_<2>());
- return tmp;
- }
-
- template <typename E>
- template <typename T>
- m2expr_< E, arg_<1>, literal_expr_<T> >
- nary_fun_expr_< 2, E >::bind_2(const T& value) const
- {
- typedef m2expr_< E, arg_<1>, literal_expr_<T> > ret;
- ret tmp(exact_of(this), arg_<1>(), lit(value));
- return tmp;
- }
-
-
- // nary_fun_expr_< 3, E >::bind_i
-
- template <typename E>
- template <typename T>
- m3expr_< E, literal_expr_<T>, arg_<2>, arg_<3> >
- nary_fun_expr_< 3, E >::bind_1(const T& value) const
- {
- typedef m3expr_< E, literal_expr_<T>, arg_<2>, arg_<3> > ret;
- ret tmp(exact_of(this), lit(value), arg_<2>(), arg_<3>());
- return tmp;
- }
-
- template <typename E>
- template <typename T>
- m3expr_< E, arg_<1>, literal_expr_<T>, arg_<3> >
- nary_fun_expr_< 3, E >::bind_2(const T& value) const
- {
- typedef m3expr_< E, arg_<1>, literal_expr_<T>, arg_<3> > ret;
- ret tmp(exact_of(this), arg_<1>(), lit(value), arg_<3>());
- return tmp;
- }
-
- template <typename E>
- template <typename T>
- m3expr_< E, arg_<1>, arg_<2>, literal_expr_<T> >
- nary_fun_expr_< 3, E >::bind_3(const T& value) const
- {
- typedef m3expr_< E, arg_<1>, arg_<2>, literal_expr_<T> > ret;
- ret tmp(exact_of(this), arg_<1>(), arg_<2>(), lit(value));
- return tmp;
- }
-
- } // end of namespace xtd::abstract
-
-} // end of namespace xtd
-
-
#endif // ! EXTENDED_LITERAL_HH
Index: xtd/ops_expr.hh
--- xtd/ops_expr.hh (revision 441)
+++ xtd/ops_expr.hh (working copy)
@@ -28,8 +28,6 @@
#ifndef EXTENDED_OPS_EXPR_HH
# define EXTENDED_OPS_EXPR_HH
-# include <mlc/case.hh>
-
# include <xtd/abstract/fun_expr.hh>
# include <xtd/mexpr.hh>
# include <xtd/math/arith.hh>
Index: xtd/abstract/open_nary_fun.hh
--- xtd/abstract/open_nary_fun.hh (revision 0)
+++ xtd/abstract/open_nary_fun.hh (revision 0)
@@ -0,0 +1,340 @@
+// Copyright (C) 2002, 2005, 2006 EPITA Research and Development Laboratory
+//
+// This file is part of the Olena Library. This library is free
+// software; you can redistribute it and/or modify it under the terms
+// of the GNU General Public License version 2 as published by the
+// Free Software Foundation.
+//
+// This library is distributed in the hope that it will be useful,
+// but WITHOUT ANY WARRANTY; without even the implied warranty of
+// MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU
+// General Public License for more details.
+//
+// You should have received a copy of the GNU General Public License
+// along with this library; see the file COPYING. If not, write to
+// the Free Software Foundation, 59 Temple Place - Suite 330, Boston,
+// MA 02111-1307, USA.
+//
+// As a special exception, you may use this file as part of a free
+// software library without restriction. Specifically, if other files
+// instantiate templates or use macros or inline functions from this
+// file, or you compile this file and link it with other files to
+// produce an executable, this file does not by itself cause the
+// resulting executable to be covered by the GNU General Public
+// License. This exception does not however invalidate any other
+// reasons why the executable file might be covered by the GNU General
+// Public License.
+
+#ifndef EXTENDED_ABSTRACT_OPEN_NARY_FUN_HH
+# define EXTENDED_ABSTRACT_OPEN_NARY_FUN_HH
+
+# include <xtd/abstract/open_fun.hh>
+# include <xtd/abstract/nary_fun.hh>
+# include <xtd/res.hh>
+
+
+
+
+// macros
+
+namespace xtd
+{
+
+
+ namespace ERROR
+ {
+ struct ARG_SHOULD_NOT_BE_A_PLAIN_FUN;
+ struct ARG1_SHOULD_NOT_BE_A_PLAIN_FUN;
+ struct ARG2_SHOULD_NOT_BE_A_PLAIN_FUN;
+ struct ARG3_SHOULD_NOT_BE_A_PLAIN_FUN;
+
+ struct ARG_SHOULD_NOT_BE_A_META_FUN;
+ struct ARG1_SHOULD_NOT_BE_A_META_FUN;
+ struct ARG2_SHOULD_NOT_BE_A_META_FUN;
+ struct ARG3_SHOULD_NOT_BE_A_META_FUN;
+
+ }// end of namespace xtd
+
+
+
+ // FIXME: document case stuff...
+
+ namespace tag
+ {
+
+ struct fun_operator_1;
+ struct fun_operator_2;
+ struct fun_operator_3;
+
+ } // end of namespace xtd::tag
+
+
+ // open_nary_fun_<1, E>::operator()(const A& a) const
+
+ template <typename E, typename A>
+ struct default_case_ < tag::fun_operator_1,
+ mlc::pair_<E, A> >
+ {
+ typedef xtd_res_1(E, A) res;
+
+ static res impl(const E& target,
+ const A& a)
+ {
+ return target.impl_calc(a);
+ }
+ };
+
+
+ // open_nary_fun_<2, E>::operator()(const A1& a1, const A2& a2) const
+
+ template <typename E, typename A1, typename A2>
+ struct default_case_ < tag::fun_operator_2,
+ mlc::valist_<E, A1, A2> >
+ {
+ typedef xtd_res_2(E, A1, A2) res;
+
+ static res impl(const E& target,
+ const A1& a1, const A2& a2)
+ {
+ return target.impl_calc(a1, a2);
+ }
+ };
+
+
+ // open_nary_fun_<3, E>::operator()(const A1& a1, const A2& a2, const A3& a3) const
+
+ template <typename E, typename A1, typename A2, typename A3>
+ struct default_case_ < tag::fun_operator_3,
+ mlc::valist_<E, A1, A2, A3> >
+ {
+ typedef xtd_res_3(E, A1, A2, A3) res;
+
+ static res impl(const E& target,
+ const A1& a1, const A2& a2, const A3& a3)
+ {
+ return target.impl_calc(a1, a2, a3);
+ }
+ };
+
+
+} // end of namespace xtd
+
+
+
+
+namespace xtd
+{
+
+ namespace abstract
+ {
+
+ /// Forward declarations.
+ /// \{
+
+ template <typename E> class plain_fun_;
+
+ template <typename E> class meta_fun_;
+
+ /// \}
+
+
+
+ /*! \class xtd::abstract::open_nary_fun_<n, E>
+ **
+ ** FIXME: doc
+ **
+ ** Parameter n is the number of arguments with n being 1, 2, or 3.
+ ** Parameter E is the exact type of the function.
+ */
+
+ template <unsigned n, typename E>
+ class open_nary_fun_;
+
+
+
+ /*! \class xtd::abstract::open_nary_fun_<0, E>
+ **
+ ** FIXME: doc
+ ** This class is defined as a specialization.
+ **
+ ** Parameter E is the exact type of the function.
+ */
+
+ template <typename E>
+ class open_nary_fun_< 0, E >
+
+ : public open_fun_<E>,
+ public nary_fun_<0>
+ {
+ public:
+
+ /*
+ ** This member is not templated so its behavior at compile-time
+ ** is different than open_nary_fun_<n,E>::operator() where n >
+ ** 0. Here the return type should be known before the hierarchy
+ ** classes are fully compiled thus static assertions in the
+ ** macro xtd_res_0 do *not* work. An alternate macro is thus
+ ** in use.
+ */
+
+ xtd_internal_res_0(E)
+ operator()() const
+ {
+ return this->exact_().impl_calc();
+ }
+
+ protected:
+ open_nary_fun_() {}
+ };
+
+
+
+ /*! \class xtd::abstract::open_nary_fun_<1, E>
+ **
+ ** FIXME: doc
+ ** This class is defined as a specialization.
+ **
+ ** Parameter E is the exact type of the function.
+ */
+
+ template <typename E>
+ class open_nary_fun_< 1, E >
+
+ : public open_fun_<E>,
+ public nary_fun_<1>
+ {
+ public:
+
+ template <typename A>
+ struct case_
+
+ : private mlc::assert_< mlc_is_not_a(A, xtd::abstract::plain_fun_),
+ xtd::ERROR::ARG_SHOULD_NOT_BE_A_PLAIN_FUN >,
+
+ private mlc::assert_< mlc_is_not_a(A, xtd::abstract::meta_fun_),
+ xtd::ERROR::ARG_SHOULD_NOT_BE_A_META_FUN >,
+
+ public xtd::case_< xtd::tag::fun_operator_1,
+ mlc::pair_<E, A> >::ret
+ {};
+
+ template <typename A>
+ typename case_<A>::res
+ operator()(const A& a) const
+ {
+ return case_<A>::impl(this->exact_(), a);
+ }
+
+ protected:
+ open_nary_fun_() {}
+ };
+
+
+
+ /*! \class xtd::abstract::operator_<2, E>
+ **
+ ** Abstract base class for meta functions taking two arguments.
+ ** This class is defined as a specialization.
+ **
+ ** Parameter E is the exact type of the function.
+ */
+
+ template <typename E>
+ class open_nary_fun_< 2, E >
+
+ : public open_fun_<E>,
+ public nary_fun_<2>
+ {
+ public:
+
+ template <typename A1, typename A2>
+ struct case_
+
+ : private mlc::assert_< mlc_is_not_a(A1, xtd::abstract::plain_fun_),
+ xtd::ERROR::ARG1_SHOULD_NOT_BE_A_PLAIN_FUN >,
+
+ private mlc::assert_< mlc_is_not_a(A1, xtd::abstract::meta_fun_),
+ xtd::ERROR::ARG1_SHOULD_NOT_BE_A_META_FUN >,
+
+ private mlc::assert_< mlc_is_not_a(A2, xtd::abstract::plain_fun_),
+ xtd::ERROR::ARG2_SHOULD_NOT_BE_A_PLAIN_FUN >,
+
+ private mlc::assert_< mlc_is_not_a(A2, xtd::abstract::meta_fun_),
+ xtd::ERROR::ARG2_SHOULD_NOT_BE_A_META_FUN >,
+
+ public xtd::case_< xtd::tag::fun_operator_2,
+ mlc::valist_<E, A1, A2> >::ret
+ {};
+
+ template <typename A1, typename A2>
+ typename case_<A1, A2>::res
+ operator()(const A1& a1, const A2& a2) const
+ {
+ return case_<A1, A2>::impl(this->exact_(), a1, a2);
+ }
+
+ protected:
+ open_nary_fun_() {}
+ };
+
+
+ /*! \class xtd::abstract::open_nary_fun_<3, E>
+ **
+ ** Abstract base class for meta functions taking three arguments.
+ ** This class is defined as a specialization.
+ **
+ ** Parameter E is the exact type of the function.
+ */
+
+ template <typename E>
+ class open_nary_fun_< 3, E >
+
+ : public open_fun_<E>,
+ public nary_fun_<3>
+ {
+ public:
+
+ template <typename A1, typename A2, typename A3>
+ struct case_
+
+ : private mlc::assert_< mlc_is_not_a(A1, xtd::abstract::plain_fun_),
+ xtd::ERROR::ARG1_SHOULD_NOT_BE_A_PLAIN_FUN >,
+
+ private mlc::assert_< mlc_is_not_a(A1, xtd::abstract::meta_fun_),
+ xtd::ERROR::ARG1_SHOULD_NOT_BE_A_META_FUN >,
+
+ private mlc::assert_< mlc_is_not_a(A2, xtd::abstract::plain_fun_),
+ xtd::ERROR::ARG2_SHOULD_NOT_BE_A_PLAIN_FUN >,
+
+ private mlc::assert_< mlc_is_not_a(A2, xtd::abstract::meta_fun_),
+ xtd::ERROR::ARG2_SHOULD_NOT_BE_A_META_FUN >,
+
+ private mlc::assert_< mlc_is_not_a(A3, xtd::abstract::plain_fun_),
+ xtd::ERROR::ARG3_SHOULD_NOT_BE_A_PLAIN_FUN >,
+
+ private mlc::assert_< mlc_is_not_a(A3, xtd::abstract::meta_fun_),
+ xtd::ERROR::ARG3_SHOULD_NOT_BE_A_META_FUN >,
+
+ public xtd::case_< xtd::tag::fun_operator_3,
+ mlc::valist_<E, A1, A2, A3> >::ret
+ {};
+
+ template <typename A1, typename A2, typename A3>
+ typename case_<A1, A2, A3>::res
+ operator()(const A1& a1, const A2& a2, const A3& a3) const
+ {
+ return case_<A1, A2, A3>::impl(this->exact_(), a1, a2, a3);
+ }
+
+ protected:
+ open_nary_fun_() {}
+ };
+
+
+ } // end of namespace xtd::abstract
+
+} // end of namespace xtd
+
+
+
+#endif // ! EXTENDED_ABSTRACT_OPEN_NARY_FUN_HH
Index: xtd/abstract/plain_nary_fun.hh
--- xtd/abstract/plain_nary_fun.hh (revision 0)
+++ xtd/abstract/plain_nary_fun.hh (revision 0)
@@ -0,0 +1,266 @@
+// Copyright (C) 2002, 2005, 2006 EPITA Research and Development Laboratory
+//
+// This file is part of the Olena Library. This library is free
+// software; you can redistribute it and/or modify it under the terms
+// of the GNU General Public License version 2 as published by the
+// Free Software Foundation.
+//
+// This library is distributed in the hope that it will be useful,
+// but WITHOUT ANY WARRANTY; without even the implied warranty of
+// MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU
+// General Public License for more details.
+//
+// You should have received a copy of the GNU General Public License
+// along with this library; see the file COPYING. If not, write to
+// the Free Software Foundation, 59 Temple Place - Suite 330, Boston,
+// MA 02111-1307, USA.
+//
+// As a special exception, you may use this file as part of a free
+// software library without restriction. Specifically, if other files
+// instantiate templates or use macros or inline functions from this
+// file, or you compile this file and link it with other files to
+// produce an executable, this file does not by itself cause the
+// resulting executable to be covered by the GNU General Public
+// License. This exception does not however invalidate any other
+// reasons why the executable file might be covered by the GNU General
+// Public License.
+
+#ifndef EXTENDED_ABSTRACT_PLAIN_NARY_FUN_HH
+# define EXTENDED_ABSTRACT_PLAIN_NARY_FUN_HH
+
+# include <xtd/abstract/plain_fun.hh>
+# include <xtd/abstract/nary_fun.hh>
+
+
+// macros
+
+# define xtd_arg(F) typename xtd::typedef_::arg_type::from_<xtd::fun_traits_<F> >::ret
+# define xtd_arg1(F) typename xtd::typedef_::arg1_type::from_<xtd::fun_traits_<F> >::ret
+# define xtd_arg2(F) typename xtd::typedef_::arg2_type::from_<xtd::fun_traits_<F> >::ret
+# define xtd_arg3(F) typename xtd::typedef_::arg3_type::from_<xtd::fun_traits_<F> >::ret
+
+
+
+
+namespace xtd
+{
+
+ namespace ERROR
+ {
+ struct xtd_fun_traits_SHOULD_DEFINE_arg_type_FOR_AN_xtd_plain_nary_fun_WITH_n_BEING_1;
+
+ struct xtd_fun_traits_SHOULD_DEFINE_arg1_type_FOR_AN_xtd_plain_nary_fun_WITH_n_BEING_2;
+ struct xtd_fun_traits_SHOULD_DEFINE_arg2_type_FOR_AN_xtd_plain_nary_fun_WITH_n_BEING_2;
+
+ struct xtd_fun_traits_SHOULD_DEFINE_arg1_type_FOR_AN_xtd_plain_nary_fun_WITH_n_BEING_3;
+ struct xtd_fun_traits_SHOULD_DEFINE_arg2_type_FOR_AN_xtd_plain_nary_fun_WITH_n_BEING_3;
+ struct xtd_fun_traits_SHOULD_DEFINE_arg3_type_FOR_AN_xtd_plain_nary_fun_WITH_n_BEING_3;
+
+ struct AN_xtd_plain_function_DOES_NOT_ACCEPT_AN_xtd_function_AS_ARGUMENT;
+
+ // FIXME: add error messages corresponding to definitions without sense
+ // FIXME: such as having arg2 when the plain function is unary
+
+ } // end of namespace xtd::ERROR
+
+
+
+ mlc_decl_typedef(arg_type);
+ mlc_decl_typedef(arg1_type);
+ mlc_decl_typedef(arg2_type);
+ mlc_decl_typedef(arg3_type);
+
+
+ namespace abstract
+ {
+
+ /*! \class xtd::abstract::plain_nary_fun_<n, E>
+ **
+ ** Abstract base class for plain functions with an explicit number
+ ** of arguments.
+ **
+ ** Parameter n is the number of arguments with n being 0, 1, 2, or
+ ** 3.
+ **
+ ** Parameter E is the exact type of the function.
+ */
+
+ template <unsigned n, typename E>
+ class plain_nary_fun_;
+
+
+
+ /*! \class xtd::abstract::plain_nary_fun_<0, E>
+ **
+ ** Abstract base class for plain functions taking no argument.
+ ** This class is defined as a specialization.
+ **
+ ** Parameter E is the exact type of the function.
+ */
+
+ template <typename E>
+ class plain_nary_fun_< 0, E >
+
+ : public plain_fun_<E>,
+ public nary_fun_<0>
+
+ // FIXME: add many assertions in this class and the following ones
+ // FIXME: for instance, eq_< xtd_arg(E), mlc::not_found >, etc.
+ {
+ public:
+
+ xtd_res(E) operator()() const
+ {
+ return this->exact().impl_op();
+ }
+
+ protected:
+ plain_nary_fun_() {}
+ };
+
+
+
+ /*! \class xtd::abstract::plain_nary_fun_<1, E>
+ **
+ ** Abstract base class for plain functions taking one argument.
+ ** This class is defined as a specialization.
+ **
+ ** Parameter E is the exact type of the function.
+ */
+
+ template <typename E>
+ class plain_nary_fun_< 1, E >
+
+ : public plain_fun_<E>,
+ public nary_fun_<1>,
+
+ private mlc::assert_< mlc::neq_<xtd_arg(E), mlc::not_found>,
+ xtd::ERROR::xtd_fun_traits_SHOULD_DEFINE_arg_type_FOR_AN_xtd_plain_nary_fun_WITH_n_BEING_1 >
+ {
+ public:
+
+ xtd_res(E) operator()(const xtd_arg(E)& arg) const
+ {
+ return this->exact().impl_op(arg);
+ }
+
+ template <typename A>
+ xtd_res(E) operator()(const A& arg) const
+ {
+ mlc::assert_< mlc_is_not_a(A, abstract::fun_),
+ xtd::ERROR::AN_xtd_plain_function_DOES_NOT_ACCEPT_AN_xtd_function_AS_ARGUMENT >::check();
+ // FIXME: check that conversion is ok
+ return this->exact().impl_op(arg);
+ }
+
+ protected:
+ plain_nary_fun_() {}
+ };
+
+
+
+ /*! \class xtd::abstract::plain_nary_fun_<2, E>
+ **
+ ** Abstract base class for plain functions taking two arguments.
+ ** This class is defined as a specialization.
+ **
+ ** Parameter E is the exact type of the function.
+ */
+
+ template <typename E>
+ class plain_nary_fun_< 2, E >
+
+ : public plain_fun_<E>,
+ public nary_fun_<2>,
+
+ private mlc::assert_< mlc::neq_<xtd_arg1(E), mlc::not_found>,
+ xtd::ERROR::xtd_fun_traits_SHOULD_DEFINE_arg1_type_FOR_AN_xtd_plain_nary_fun_WITH_n_BEING_2 >,
+
+ private mlc::assert_< mlc::neq_<xtd_arg2(E), mlc::not_found>,
+ xtd::ERROR::xtd_fun_traits_SHOULD_DEFINE_arg2_type_FOR_AN_xtd_plain_nary_fun_WITH_n_BEING_2 >
+ {
+ public:
+
+ xtd_res(E) operator()(const xtd_arg1(E)& arg1,
+ const xtd_arg2(E)& arg2) const
+ {
+ return this->exact().impl_op(arg1, arg2);
+ }
+
+ template <typename A1, typename A2>
+ xtd_res(E) operator()(const A1& arg1, const A2& arg2) const
+ {
+ // FIXME: be more specific in the assertions below (and also in the other classes)
+ mlc::assert_< mlc_is_not_a(A1, abstract::fun_),
+ xtd::ERROR::AN_xtd_plain_function_DOES_NOT_ACCEPT_AN_xtd_function_AS_ARGUMENT >::check();
+ mlc::assert_< mlc_is_not_a(A2, abstract::fun_),
+ xtd::ERROR::AN_xtd_plain_function_DOES_NOT_ACCEPT_AN_xtd_function_AS_ARGUMENT >::check();
+ // FIXME: check that conversions below are ok
+ return this->exact().impl_op(arg1, arg2);
+ }
+
+ protected:
+ plain_nary_fun_() {}
+ };
+
+
+
+ /*! \class xtd::abstract::plain_nary_fun_<3, E>
+ **
+ ** Abstract base class for plain functions taking three arguments.
+ ** This class is defined as a specialization.
+ **
+ ** Parameter E is the exact type of the function.
+ */
+
+ template <typename E>
+ class plain_nary_fun_< 3, E >
+
+ : public plain_fun_<E>,
+ public nary_fun_<3>,
+
+ private mlc::assert_< mlc::neq_<xtd_arg1(E), mlc::not_found>,
+ xtd::ERROR::xtd_fun_traits_SHOULD_DEFINE_arg1_type_FOR_AN_xtd_plain_nary_fun_WITH_n_BEING_3 >,
+
+ private mlc::assert_< mlc::neq_<xtd_arg2(E), mlc::not_found>,
+ xtd::ERROR::xtd_fun_traits_SHOULD_DEFINE_arg2_type_FOR_AN_xtd_plain_nary_fun_WITH_n_BEING_3 >,
+
+ private mlc::assert_< mlc::neq_<xtd_arg3(E), mlc::not_found>,
+ xtd::ERROR::xtd_fun_traits_SHOULD_DEFINE_arg3_type_FOR_AN_xtd_plain_nary_fun_WITH_n_BEING_3 >
+ {
+ public:
+
+ xtd_res(E) operator()(const xtd_arg1(E)& arg1,
+ const xtd_arg2(E)& arg2,
+ const xtd_arg3(E)& arg3) const
+ {
+ return this->exact().impl_op(arg1, arg2, arg3);
+ }
+
+ template <typename A1, typename A2, typename A3>
+ xtd_res(E) operator()(const A1& arg1,
+ const A2& arg2,
+ const A3& arg3) const
+ {
+ mlc::assert_< mlc_is_not_a(A1, abstract::fun_),
+ xtd::ERROR::AN_xtd_plain_function_DOES_NOT_ACCEPT_AN_xtd_function_AS_ARGUMENT >::check();
+ mlc::assert_< mlc_is_not_a(A2, abstract::fun_),
+ xtd::ERROR::AN_xtd_plain_function_DOES_NOT_ACCEPT_AN_xtd_function_AS_ARGUMENT >::check();
+ mlc::assert_< mlc_is_not_a(A3, abstract::fun_),
+ xtd::ERROR::AN_xtd_plain_function_DOES_NOT_ACCEPT_AN_xtd_function_AS_ARGUMENT >::check();
+ // FIXME: check that conversions below are ok
+ return this->exact().impl_op(arg1, arg2, arg3);
+ }
+
+ protected:
+ plain_nary_fun_() {}
+ };
+
+
+ } // end of namespace xtd::abstract
+
+} // end of namespace xtd
+
+
+
+#endif // ! EXTENDED_ABSTRACT_PLAIN_NARY_FUN_HH
Index: xtd/abstract/fun_expr.hh
--- xtd/abstract/fun_expr.hh (revision 441)
+++ xtd/abstract/fun_expr.hh (working copy)
@@ -28,20 +28,9 @@
#ifndef EXTENDED_ABSTRACT_FUN_EXPR_HH
# define EXTENDED_ABSTRACT_FUN_EXPR_HH
-# include <mlc/flags.hh>
-# include <mlc/bool.hh>
-# include <mlc/is_a.hh>
-# include <mlc/comma.hh>
-
-# include <xtd/args.hh>
+# include <xtd/abstract/fun.hh>
# include <xtd/res.hh>
-# include <xtd/abstract/meta_fun.hh>
-
-
-
-// FIXME: doc
-
-# define xtd_nargs(F) xtd::internal::get_nargs_<F>::ret
+# include <xtd/args.hh>
@@ -53,267 +42,45 @@
{
struct INTERNAL_ILL_FORMED_CALL_TO_xtd_fun_expr_eval;
- struct SPECIALIZATION_OF_xtd_nargs_IS_FOR_xtd_fun_expr_ONLY;
- struct SPECIALIZATION_OF_xtd_nargs_NOT_FOUND_FOR_AN_xtd_fun_expr;
} // end of namespace xtd::ERROR
-
- /// Forward declarations.
- /// \{
-
namespace abstract
{
- template <typename E> class fun_expr_;
- }
-
- template <typename F, typename Expr1, typename Expr2>
- struct m2expr_;
-
- template <typename F, typename Expr1, typename Expr2, typename Expr3>
- struct m3expr_;
-
- template <typename T>
- struct literal_expr_;
-
- template <unsigned i>
- struct arg_;
-
- /// \}
-
-
-
- /*! \class xtd::nargs_<F>
- **
- ** FIXME: doc
- ** FIXME: and add a mechanism so that the type of F is checked
- ** FIXME: Cf. get_res0_ in xtd/abstract/meta_fun.hh
- */
-
- template <typename F>
- struct nargs_ : public mlc::undefined
- {
- };
-
-
- namespace internal
- {
-
- template <typename F>
- struct get_nargs_
-
- : // private mlc::assert_< mlc_is_a(F, xtd::abstract::fun_expr_),
- // xtd::ERROR::SPECIALIZATION_OF_xtd_nargs_IS_FOR_xtd_fun_expr_ONLY >,
- // FIXME: the static assertion above does *not* compile...
-
- private mlc::assert_< mlc_is_not_a(xtd::nargs_<F>, mlc::undefined),
- xtd::ERROR::SPECIALIZATION_OF_xtd_nargs_NOT_FOUND_FOR_AN_xtd_fun_expr >
- {
- static const unsigned ret = xtd::nargs_<F>::ret;
- };
- } // end of xtd::internal
-
-
-
- namespace abstract
- {
/*! \class xtd::abstract::fun_expr_<E>
**
** Abstract base class for function expressions. Parameter E is
** the exact type of the function expression.
- **
- ** Design note: this class does not derive from xtd::abstract::any
- ** to avoid diamond inheritance since fun_expr classes are also
- ** meta_fun classes.
*/
template <typename E>
class fun_expr_
- // FIXME: at that point, we should verify that nargs_<E> is user-defined...
-
: public fun_<E>
{
public:
template <typename Args>
xtd_expr_res(E, Args)
- eval(const Args& as) const
+ eval(const Args& arglist) const
{
mlc::assert_< mlc_is_a(Args, xtd::abstract::args),
xtd::ERROR::INTERNAL_ILL_FORMED_CALL_TO_xtd_fun_expr_eval >::check();
- return exact_of(this)->impl_eval(as);
+ return this->exact().impl_eval(arglist);
}
- protected:
- fun_expr_() {}
- };
-
-
-
-
-
-
- /*! \class xtd::abstract::nary_fun_expr_<n, E>
- **
- ** Abstract base class for function expressions with an explicit
- ** number of arguments.
- **
- ** Parameter n is the number of arguments with n being 0, 1, 2, or
- ** 3.
- **
- ** Parameter E is the exact type of the function.
- */
-
- template <unsigned n, typename E>
- class nary_fun_expr_;
-
-
-
- /*! \class xtd::abstract::nary_fun_expr_<0, E>
- **
- ** Abstract base class for function expressions taking no
- ** argument.
- **
- ** Parameter E is the exact type of the function.
- */
-
- template <typename E>
- class nary_fun_expr_< 0, E >
-
- : public fun_expr_<E>,
- public meta_nary_fun_<0, E>
+ unsigned nargs() const
{
- public:
-
- // the return type here is not xtd_res_0(E)
- // the explanations are given with meta_nary_fun_<0, E>::operator()()
- // in file xtd/abstract/meta_fun.hh
-
- xtd_internal_res_0(E)
- impl_calc() const
- {
- return this->eval(mk_args());
- }
-
- // no bind_i method here
-
- protected:
- nary_fun_expr_() {}
- };
-
-
-
- /*! \class xtd::abstract::nary_fun_expr_<1, E>
- **
- ** Abstract base class for function expressions taking one
- ** argument.
- **
- ** Parameter E is the exact type of the function.
- */
-
- template <typename E>
- class nary_fun_expr_< 1, E >
-
- : public fun_expr_<E>,
- public meta_nary_fun_<1, E>
- {
- public:
-
- template <typename A>
- xtd_res_1(E, A)
- impl_calc(const A& a) const
- {
- return this->eval(mk_args(a));
- }
-
- // no bind_i method here
-
- protected:
- nary_fun_expr_() {}
- };
-
-
-
- /*! \class xtd::abstract::nary_fun_expr_<2, E>
- **
- ** Abstract base class for function expressions taking two
- ** arguments.
- **
- ** Parameter E is the exact type of the function.
- */
-
- template <typename E>
- class nary_fun_expr_< 2, E >
-
- : public fun_expr_<E>,
- public meta_nary_fun_<2, E>
- {
- public:
-
- template <typename A1, typename A2>
- xtd_res_2(E, A1, A2)
- impl_calc(const A1& a1, const A2& a2) const
- {
- return this->eval(mk_args(a1, a2));
- }
-
- template <typename T>
- m2expr_< E, literal_expr_<T>, arg_<2> >
- bind_1(const T& value) const;
-
- template <typename T>
- m2expr_< E, arg_<1>, literal_expr_<T> >
- bind_2(const T& value) const;
-
- protected:
- nary_fun_expr_() {}
- };
-
-
-
- /*! \class xtd::abstract::nary_fun_expr_<3, E>
- **
- ** Abstract base class for function expressions taking three
- ** arguments.
- **
- ** Parameter E is the exact type of the function.
- */
-
- template <typename E>
- class nary_fun_expr_< 3, E >
-
- : public fun_expr_<E>,
- public meta_nary_fun_<3, E>
- {
- public:
-
- template <typename A1, typename A2, typename A3>
- xtd_res_3(E, A1, A2, A3)
- impl_calc(const A1& a1, const A2& a2, const A3& a3) const
- {
- return this->eval(mk_args(a1, a2, a3));
+ return xtd_nargs(E);
}
- template <typename T>
- m3expr_< E, literal_expr_<T>, arg_<2>, arg_<3> >
- bind_1(const T& value) const;
-
- template <typename T>
- m3expr_< E, arg_<1>, literal_expr_<T>, arg_<3> >
- bind_2(const T& value) const;
-
- template <typename T>
- m3expr_< E, arg_<1>, arg_<2>, literal_expr_<T> >
- bind_3(const T& value) const;
-
protected:
- nary_fun_expr_() {}
+ fun_expr_() {}
};
Index: xtd/abstract/meta_nary_fun.hh
--- xtd/abstract/meta_nary_fun.hh (revision 0)
+++ xtd/abstract/meta_nary_fun.hh (revision 0)
@@ -0,0 +1,143 @@
+// Copyright (C) 2002, 2005, 2006 EPITA Research and Development Laboratory
+//
+// This file is part of the Olena Library. This library is free
+// software; you can redistribute it and/or modify it under the terms
+// of the GNU General Public License version 2 as published by the
+// Free Software Foundation.
+//
+// This library is distributed in the hope that it will be useful,
+// but WITHOUT ANY WARRANTY; without even the implied warranty of
+// MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU
+// General Public License for more details.
+//
+// You should have received a copy of the GNU General Public License
+// along with this library; see the file COPYING. If not, write to
+// the Free Software Foundation, 59 Temple Place - Suite 330, Boston,
+// MA 02111-1307, USA.
+//
+// As a special exception, you may use this file as part of a free
+// software library without restriction. Specifically, if other files
+// instantiate templates or use macros or inline functions from this
+// file, or you compile this file and link it with other files to
+// produce an executable, this file does not by itself cause the
+// resulting executable to be covered by the GNU General Public
+// License. This exception does not however invalidate any other
+// reasons why the executable file might be covered by the GNU General
+// Public License.
+
+#ifndef EXTENDED_ABSTRACT_META_NARY_FUN_HH
+# define EXTENDED_ABSTRACT_META_NARY_FUN_HH
+
+# include <xtd/abstract/meta_fun.hh>
+# include <xtd/abstract/open_nary_fun.hh>
+
+
+
+namespace xtd
+{
+
+ namespace abstract
+ {
+
+
+ /*! \class xtd::abstract::meta_nary_fun_<n, E>
+ **
+ ** Abstract base class for meta functions with an explicit number
+ ** of arguments.
+ **
+ ** Parameter n is the number of arguments with n being 1, 2, or 3.
+ **
+ ** Parameter E is the exact type of the function.
+ */
+
+ template <unsigned n, typename E>
+ class meta_nary_fun_;
+
+
+
+ /*! \class xtd::abstract::meta_nary_fun_<0, E>
+ **
+ ** Abstract base class for meta functions taking no argument.
+ ** This class is defined as a specialization.
+ **
+ ** Parameter E is the exact type of the function.
+ */
+
+ template <typename E>
+ class meta_nary_fun_< 0, E >
+
+ : public meta_fun_<E>,
+ public open_nary_fun_<0, E>
+ {
+ protected:
+ meta_nary_fun_() {}
+ };
+
+
+
+ /*! \class xtd::abstract::meta_nary_fun_<1, E>
+ **
+ ** Abstract base class for meta functions taking one argument.
+ ** This class is defined as a specialization.
+ **
+ ** Parameter E is the exact type of the function.
+ */
+
+ template <typename E>
+ class meta_nary_fun_< 1, E >
+
+ : public meta_fun_<E>,
+ public open_nary_fun_<1, E>
+ {
+ protected:
+ meta_nary_fun_() {}
+ };
+
+
+
+ /*! \class xtd::abstract::meta_nary_fun_<2, E>
+ **
+ ** Abstract base class for meta functions taking two arguments.
+ ** This class is defined as a specialization.
+ **
+ ** Parameter E is the exact type of the function.
+ */
+
+ template <typename E>
+ class meta_nary_fun_< 2, E >
+
+ : public meta_fun_<E>,
+ public open_nary_fun_<2, E>
+ {
+ protected:
+ meta_nary_fun_() {}
+ };
+
+
+
+ /*! \class xtd::abstract::meta_nary_fun_<3, E>
+ **
+ ** Abstract base class for meta functions taking three arguments.
+ ** This class is defined as a specialization.
+ **
+ ** Parameter E is the exact type of the function.
+ */
+
+ template <typename E>
+ class meta_nary_fun_< 3, E >
+
+ : public meta_fun_<E>,
+ public open_nary_fun_<3, E>
+ {
+ protected:
+ meta_nary_fun_() {}
+ };
+
+
+ } // end of namespace xtd::abstract
+
+} // end of namespace xtd
+
+
+
+#endif // ! EXTENDED_ABSTRACT_META_NARY_FUN_HH
Index: xtd/abstract/fun.hh
--- xtd/abstract/fun.hh (revision 441)
+++ xtd/abstract/fun.hh (working copy)
@@ -28,6 +28,8 @@
#ifndef EXTENDED_ABSTRACT_FUN_HH
# define EXTENDED_ABSTRACT_FUN_HH
+# include <xtd/internal/mlc.hh>
+
namespace xtd
{
@@ -44,6 +46,13 @@
template <typename E>
class fun_
{
+ public:
+
+ const E& exact() const
+ {
+ return *(const E*)(const void*)(this);
+ }
+
protected:
fun_() {}
};
@@ -52,22 +61,6 @@
} // end of namespace xtd::abstract
-
- // FIXME: doc
-
- template <typename E>
- const E* exact_of(const abstract::fun_<E>* f)
- {
- return (const E*)(const void*)(f);
- }
-
- template <typename E>
- const E& exact_of(const abstract::fun_<E>& f)
- {
- return *(const E*)(const void*)(&f);
- }
-
-
} // end of namespace xtd
Index: xtd/abstract/open_fun.hh
--- xtd/abstract/open_fun.hh (revision 0)
+++ xtd/abstract/open_fun.hh (revision 0)
@@ -0,0 +1,71 @@
+// Copyright (C) 2002, 2005, 2006 EPITA Research and Development Laboratory
+//
+// This file is part of the Olena Library. This library is free
+// software; you can redistribute it and/or modify it under the terms
+// of the GNU General Public License version 2 as published by the
+// Free Software Foundation.
+//
+// This library is distributed in the hope that it will be useful,
+// but WITHOUT ANY WARRANTY; without even the implied warranty of
+// MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU
+// General Public License for more details.
+//
+// You should have received a copy of the GNU General Public License
+// along with this library; see the file COPYING. If not, write to
+// the Free Software Foundation, 59 Temple Place - Suite 330, Boston,
+// MA 02111-1307, USA.
+//
+// As a special exception, you may use this file as part of a free
+// software library without restriction. Specifically, if other files
+// instantiate templates or use macros or inline functions from this
+// file, or you compile this file and link it with other files to
+// produce an executable, this file does not by itself cause the
+// resulting executable to be covered by the GNU General Public
+// License. This exception does not however invalidate any other
+// reasons why the executable file might be covered by the GNU General
+// Public License.
+
+#ifndef EXTENDED_ABSTRACT_OPEN_FUN_HH
+# define EXTENDED_ABSTRACT_OPEN_FUN_HH
+
+# include <xtd/internal/mlc.hh>
+
+
+namespace xtd
+{
+
+ namespace abstract
+ {
+
+ /*! \class xtd::abstract::open_fun_<E>
+ **
+ ** FIXME: doc
+ **
+ ** Parameter n is the number of arguments with n being 1, 2, or 3.
+ ** Parameter E is the exact type of the function.
+ */
+
+ template <typename E>
+ class open_fun_
+ {
+ protected:
+
+ open_fun_()
+ {}
+
+ public:
+
+ const E& exact_() const
+ {
+ return *(const E*)(const void*)(this);
+ }
+ };
+
+
+ } // end of namespace xtd::abstract
+
+} // end of namespace xtd
+
+
+
+#endif // ! EXTENDED_ABSTRACT_OPEN_FUN_HH
Index: xtd/abstract/plain_fun.hh
--- xtd/abstract/plain_fun.hh (revision 441)
+++ xtd/abstract/plain_fun.hh (working copy)
@@ -28,24 +28,10 @@
#ifndef EXTENDED_ABSTRACT_PLAIN_FUN_HH
# define EXTENDED_ABSTRACT_PLAIN_FUN_HH
-# include <mlc/flags.hh>
-# include <mlc/assert.hh>
-# include <mlc/is_a.hh>
-# include <mlc/typedef.hh>
-# include <mlc/assert.hh>
-# include <mlc/abort.hh>
-
# include <xtd/abstract/fun.hh>
-# include <xtd/abstract/nary_fun.hh>
-
-
-// macros
-# define xtd_arg(F) typename xtd::typedef_::arg_type::from_<xtd::fun_traits_<F> >::ret
-# define xtd_arg1(F) typename xtd::typedef_::arg1_type::from_<xtd::fun_traits_<F> >::ret
-# define xtd_arg2(F) typename xtd::typedef_::arg2_type::from_<xtd::fun_traits_<F> >::ret
-# define xtd_arg3(F) typename xtd::typedef_::arg3_type::from_<xtd::fun_traits_<F> >::ret
+// macro
# define xtd_res(F) typename xtd::typedef_::res_type::from_<xtd::fun_traits_<F> >::ret
@@ -59,25 +45,8 @@
{
struct SPECIALIZATION_OF_xtd_fun_traits_NOT_FOUND_FOR_AN_xtd_plain_fun;
struct xtd_fun_traits_SHOULD_DEFINE_res_type_FOR_AN_xtd_plain_fun;
-
- struct xtd_fun_traits_SHOULD_DEFINE_arg_type_FOR_AN_xtd_plain_nary_fun_WITH_n_BEING_1;
-
- struct xtd_fun_traits_SHOULD_DEFINE_arg1_type_FOR_AN_xtd_plain_nary_fun_WITH_n_BEING_2;
- struct xtd_fun_traits_SHOULD_DEFINE_arg2_type_FOR_AN_xtd_plain_nary_fun_WITH_n_BEING_2;
-
- struct xtd_fun_traits_SHOULD_DEFINE_arg1_type_FOR_AN_xtd_plain_nary_fun_WITH_n_BEING_3;
- struct xtd_fun_traits_SHOULD_DEFINE_arg2_type_FOR_AN_xtd_plain_nary_fun_WITH_n_BEING_3;
- struct xtd_fun_traits_SHOULD_DEFINE_arg3_type_FOR_AN_xtd_plain_nary_fun_WITH_n_BEING_3;
-
struct YOU_SHOULD_NOT_DERIVE_FROM_xtd_plain_fun_BUT_FROM_xtd_plain_nary_fun;
- struct FIXME;
-
- struct AN_xtd_plain_function_DOES_NOT_ACCEPT_AN_xtd_function_AS_ARGUMENT;
-
- // FIXME: add error messages corresponding to definitions without sense
- // FIXME: such as having arg2 when the plain function is unary
-
} // end of namespace xtd::ERROR
@@ -85,31 +54,15 @@
template <typename F>
struct fun_traits_ : public mlc::undefined
{
- // nothing
};
- mlc_decl_typedef(arg_type);
-
- mlc_decl_typedef(arg1_type);
- mlc_decl_typedef(arg2_type);
- mlc_decl_typedef(arg3_type);
-
mlc_decl_typedef(res_type);
namespace abstract
{
- /// Forward declarations.
- /// \{
- template <unsigned n, typename E> class plain_nary_fun_;
- template <typename E> class meta_fun_;
- template <typename E> class fun_expr_;
- /// \}
-
-
-
/*! \class xtd::abstract::plain_fun_
**
** Abstract base class for plain functions. Parameter E is the
@@ -137,153 +90,6 @@
};
- /*! \class xtd::abstract::plain_nary_fun_<n, E>
- **
- ** Abstract base class for plain functions with an explicit number
- ** of arguments.
- **
- ** Parameter n is the number of arguments with n being 0, 1, 2, or
- ** 3.
- **
- ** Parameter E is the exact type of the function.
- */
-
- template <unsigned n, typename E>
- class plain_nary_fun_;
-
-
-
- /*! \class xtd::abstract::plain_nary_fun_<0, E>
- **
- ** Abstract base class for plain functions taking no argument.
- ** This class is defined as a specialization.
- **
- ** Parameter E is the exact type of the function.
- */
-
- template <typename E>
- class plain_nary_fun_< 0, E >
-
- : public plain_fun_<E>,
- public nary_fun_<0>
- {
- public:
-
- xtd_res(E) operator()() const
- {
- return exact_of(this)->impl_op();
- }
-
- protected:
- plain_nary_fun_() {}
- };
-
-
-
- /*! \class xtd::abstract::plain_nary_fun_<1, E>
- **
- ** Abstract base class for plain functions taking one argument.
- ** This class is defined as a specialization.
- **
- ** Parameter E is the exact type of the function.
- */
-
- template <typename E>
- class plain_nary_fun_< 1, E >
-
- : public plain_fun_<E>,
- public nary_fun_<1>,
-
- private mlc::assert_< mlc::neq_<xtd_arg(E), mlc::not_found>,
- xtd::ERROR::xtd_fun_traits_SHOULD_DEFINE_arg_type_FOR_AN_xtd_plain_nary_fun_WITH_n_BEING_1 >
- {
- public:
-
- template <typename F>
- void operator()(const abstract::fun_<F>&) const
- {
- mlc::abort_< F,
- xtd::ERROR::AN_xtd_plain_function_DOES_NOT_ACCEPT_AN_xtd_function_AS_ARGUMENT >::check();
- }
-
- xtd_res(E) operator()(const xtd_arg(E)& arg) const
- {
- return exact_of(this)->impl_op(arg);
- }
-
- protected:
- plain_nary_fun_() {}
- };
-
-
-
- /*! \class xtd::abstract::plain_nary_fun_<2, E>
- **
- ** Abstract base class for plain functions taking two arguments.
- ** This class is defined as a specialization.
- **
- ** Parameter E is the exact type of the function.
- */
-
- template <typename E>
- class plain_nary_fun_< 2, E >
-
- : public plain_fun_<E>,
- public nary_fun_<2>,
-
- private mlc::assert_< mlc::neq_<xtd_arg1(E), mlc::not_found>,
- xtd::ERROR::xtd_fun_traits_SHOULD_DEFINE_arg1_type_FOR_AN_xtd_plain_nary_fun_WITH_n_BEING_2 >,
-
- private mlc::assert_< mlc::neq_<xtd_arg2(E), mlc::not_found>,
- xtd::ERROR::xtd_fun_traits_SHOULD_DEFINE_arg2_type_FOR_AN_xtd_plain_nary_fun_WITH_n_BEING_2 >
- {
- public:
- xtd_res(E) operator()(const xtd_arg1(E)& arg1,
- const xtd_arg2(E)& arg2) const
- {
- return exact_of(this)->impl_op(arg1, arg2);
- }
- protected:
- plain_nary_fun_() {}
- };
-
-
-
- /*! \class xtd::abstract::plain_nary_fun_<3, E>
- **
- ** Abstract base class for plain functions taking three arguments.
- ** This class is defined as a specialization.
- **
- ** Parameter E is the exact type of the function.
- */
-
- template <typename E>
- class plain_nary_fun_< 3, E >
-
- : public plain_fun_<E>,
- public nary_fun_<3>,
-
- private mlc::assert_< mlc::neq_<xtd_arg1(E), mlc::not_found>,
- xtd::ERROR::xtd_fun_traits_SHOULD_DEFINE_arg1_type_FOR_AN_xtd_plain_nary_fun_WITH_n_BEING_3 >,
-
- private mlc::assert_< mlc::neq_<xtd_arg2(E), mlc::not_found>,
- xtd::ERROR::xtd_fun_traits_SHOULD_DEFINE_arg2_type_FOR_AN_xtd_plain_nary_fun_WITH_n_BEING_3 >,
-
- private mlc::assert_< mlc::neq_<xtd_arg3(E), mlc::not_found>,
- xtd::ERROR::xtd_fun_traits_SHOULD_DEFINE_arg3_type_FOR_AN_xtd_plain_nary_fun_WITH_n_BEING_3 >
- {
- public:
- xtd_res(E) operator()(const xtd_arg1(E)& arg1,
- const xtd_arg2(E)& arg2,
- const xtd_arg3(E)& arg3) const
- {
- return exact_of(this)->impl_op(arg1, arg2, arg3);
- }
- protected:
- plain_nary_fun_() {}
- };
-
-
} // end of namespace xtd::abstract
} // end of namespace xtd
Index: xtd/abstract/meta_fun.hh
--- xtd/abstract/meta_fun.hh (revision 441)
+++ xtd/abstract/meta_fun.hh (working copy)
@@ -28,108 +28,20 @@
#ifndef EXTENDED_ABSTRACT_META_FUN_HH
# define EXTENDED_ABSTRACT_META_FUN_HH
-# include <mlc/flags.hh>
-# include <mlc/pair.hh>
-# include <mlc/valist.hh>
-
# include <xtd/abstract/fun.hh>
-# include <xtd/abstract/nary_fun.hh>
-# include <xtd/args.hh>
-# include <xtd/res.hh>
-# include <xtd/case.hh>
-
-
-// macros
-
namespace xtd
{
namespace ERROR
{
- struct ARG_SHOULD_NOT_BE_A_PLAIN_FUN;
- struct ARG1_SHOULD_NOT_BE_A_PLAIN_FUN;
- struct ARG2_SHOULD_NOT_BE_A_PLAIN_FUN;
- struct ARG3_SHOULD_NOT_BE_A_PLAIN_FUN;
-
- struct ARG_SHOULD_NOT_BE_A_META_NON_EXPR_FUN;
- struct ARG1_SHOULD_NOT_BE_A_META_NON_EXPR_FUN;
- struct ARG2_SHOULD_NOT_BE_A_META_NON_EXPR_FUN;
- struct ARG3_SHOULD_NOT_BE_A_META_NON_EXPR_FUN;
-
- }// end of namespace xtd
-
-
-
- // FIXME: document case stuff...
-
- namespace tag
- {
-
- struct meta_1ary_fun_operator;
- struct meta_2ary_fun_operator;
- struct meta_3ary_fun_operator;
-
- } // end of namespace xtd::tag
-
-
- // meta_nary_fun_<1, E>::operator()(const A& a) const
-
- template <typename E, typename A>
- struct default_case_ < tag::meta_1ary_fun_operator,
- mlc::pair_<E, A> >
- {
- typedef xtd_res_1(E, A) res;
+ struct YOU_SHOULD_NOT_DERIVE_DIRECTLY_FROM_xtd_meta_fun_BUT_FROM_xtd_meta_nary_fun_;
- static res impl(const abstract::meta_nary_fun_<1, E>* this_,
- const A& a)
- {
- return exact_of(this_)->impl_calc(a);
- }
- };
+ } // end of namespace xtd::ERROR
- // meta_nary_fun_<2, E>::operator()(const A1& a1, const A2& a2) const
-
- template <typename E, typename A1, typename A2>
- struct default_case_ < tag::meta_2ary_fun_operator,
- mlc::valist_<E, A1, A2> >
- {
- typedef xtd_res_2(E, A1, A2) res;
-
- static res impl(const abstract::meta_nary_fun_<2, E>* this_,
- const A1& a1, const A2& a2)
- {
- return exact_of(this_)->impl_calc(a1, a2);
- }
- };
-
-
- // meta_nary_fun_<3, E>::operator()(const A1& a1, const A2& a2, const A3& a3) const
-
- template <typename E, typename A1, typename A2, typename A3>
- struct default_case_ < tag::meta_3ary_fun_operator,
- mlc::valist_<E, A1, A2, A3> >
- {
- typedef xtd_res_3(E, A1, A2, A3) res;
-
- static res impl(const abstract::meta_nary_fun_<3, E>* this_,
- const A1& a1, const A2& a2, const A3& a3)
- {
- return exact_of(this_)->impl_calc(a1, a2, a3);
- }
- };
-
-
-} // end of namespace xtd
-
-
-
-
-namespace xtd
-{
namespace abstract
{
@@ -157,206 +69,6 @@
};
- /*! \class xtd::abstract::meta_nary_fun_<n, E>
- **
- ** Abstract base class for meta functions with an explicit number
- ** of arguments.
- **
- ** Parameter n is the number of arguments with n being 1, 2, or 3.
- **
- ** Parameter E is the exact type of the function.
- */
-
- template <unsigned n, typename E>
- class meta_nary_fun_;
-
-
-
- /*! \class xtd::abstract::meta_nary_fun_<0, E>
- **
- ** Abstract base class for meta functions taking no argument.
- ** This class is defined as a specialization.
- **
- ** Parameter E is the exact type of the function.
- */
-
- template <typename E>
- class meta_nary_fun_< 0, E >
-
- : public meta_fun_<E>,
- public nary_fun_<0>
- {
- public:
-
- /*
- ** This member is not templated so its behavior at compile-time
- ** is different than meta_nary_fun_<n,E>::operator() where n >
- ** 0. Here the return type should be known before the hierarchy
- ** classes are fully compiled thus static assertions in the
- ** macro xtd_res_0 do *not* work. An alternate macro is thus
- ** in use.
- */
-
- xtd_internal_res_0(E)
- operator()() const
- {
- return exact_of(this)->impl_calc();
- }
-
- protected:
- meta_nary_fun_() {}
- };
-
-
-
- /*! \class xtd::abstract::meta_nary_fun_<1, E>
- **
- ** Abstract base class for meta functions taking one argument.
- ** This class is defined as a specialization.
- **
- ** Parameter E is the exact type of the function.
- */
-
- template <typename E>
- class meta_nary_fun_< 1, E >
-
- : public meta_fun_<E>,
- public nary_fun_<1>
- {
- public:
-
- template <typename A>
- struct case_
-
- : private mlc::assert_< mlc_is_not_a(A, xtd::abstract::plain_fun_),
- xtd::ERROR::ARG_SHOULD_NOT_BE_A_PLAIN_FUN >,
-
- private mlc::assert_< mlc::implies_< mlc_is_a(A, xtd::abstract::meta_fun_),
- mlc_is_a(A, xtd::abstract::fun_expr_) >,
- xtd::ERROR::ARG_SHOULD_NOT_BE_A_META_NON_EXPR_FUN >,
-
- public xtd::case_< xtd::tag::meta_1ary_fun_operator,
- mlc::pair_<E, A> >::ret
- {};
-
- template <typename A>
- typename case_<A>::res
- operator()(const A& a) const
- {
- return case_<A>::impl(this, a);
- }
-
- protected:
- meta_nary_fun_() {}
- };
-
-
-
- /*! \class xtd::abstract::meta_nary_fun_<2, E>
- **
- ** Abstract base class for meta functions taking two arguments.
- ** This class is defined as a specialization.
- **
- ** Parameter E is the exact type of the function.
- */
-
- template <typename E>
- class meta_nary_fun_< 2, E >
-
- : public meta_fun_<E>,
- public nary_fun_<2>
- {
- public:
-
- template <typename A1, typename A2>
- struct case_
-
- : private mlc::assert_< mlc_is_not_a(A1, xtd::abstract::plain_fun_),
- xtd::ERROR::ARG1_SHOULD_NOT_BE_A_PLAIN_FUN >,
-
- private mlc::assert_< mlc::implies_< mlc_is_a(A1, xtd::abstract::meta_fun_),
- mlc_is_a(A1, xtd::abstract::fun_expr_) >,
- xtd::ERROR::ARG1_SHOULD_NOT_BE_A_META_NON_EXPR_FUN >,
-
- private mlc::assert_< mlc_is_not_a(A2, xtd::abstract::plain_fun_),
- xtd::ERROR::ARG2_SHOULD_NOT_BE_A_PLAIN_FUN >,
-
- private mlc::assert_< mlc::implies_< mlc_is_a(A2, xtd::abstract::meta_fun_),
- mlc_is_a(A2, xtd::abstract::fun_expr_) >,
- xtd::ERROR::ARG2_SHOULD_NOT_BE_A_META_NON_EXPR_FUN >,
-
- public xtd::case_< xtd::tag::meta_2ary_fun_operator,
- mlc::valist_<E, A1, A2> >::ret
- {};
-
- template <typename A1, typename A2>
- typename case_<A1, A2>::res
- operator()(const A1& a1, const A2& a2) const
- {
- return case_<A1, A2>::impl(this, a1, a2);
- }
-
- protected:
- meta_nary_fun_() {}
- };
-
-
- /*! \class xtd::abstract::meta_nary_fun_<3, E>
- **
- ** Abstract base class for meta functions taking three arguments.
- ** This class is defined as a specialization.
- **
- ** Parameter E is the exact type of the function.
- */
-
- template <typename E>
- class meta_nary_fun_< 3, E >
-
- : public meta_fun_<E>,
- public nary_fun_<3>
- {
- public:
-
- template <typename A1, typename A2, typename A3>
- struct case_
-
- : private mlc::assert_< mlc_is_not_a(A1, xtd::abstract::plain_fun_),
- xtd::ERROR::ARG1_SHOULD_NOT_BE_A_PLAIN_FUN >,
-
- private mlc::assert_< mlc::implies_< mlc_is_a(A1, xtd::abstract::meta_fun_),
- mlc_is_a(A1, xtd::abstract::fun_expr_) >,
- xtd::ERROR::ARG1_SHOULD_NOT_BE_A_META_NON_EXPR_FUN >,
-
- private mlc::assert_< mlc_is_not_a(A2, xtd::abstract::plain_fun_),
- xtd::ERROR::ARG2_SHOULD_NOT_BE_A_PLAIN_FUN >,
-
- private mlc::assert_< mlc::implies_< mlc_is_a(A2, xtd::abstract::meta_fun_),
- mlc_is_a(A2, xtd::abstract::fun_expr_) >,
- xtd::ERROR::ARG2_SHOULD_NOT_BE_A_META_NON_EXPR_FUN >,
-
- private mlc::assert_< mlc_is_not_a(A3, xtd::abstract::plain_fun_),
- xtd::ERROR::ARG3_SHOULD_NOT_BE_A_PLAIN_FUN >,
-
- private mlc::assert_< mlc::implies_< mlc_is_a(A3, xtd::abstract::meta_fun_),
- mlc_is_a(A3, xtd::abstract::fun_expr_) >,
- xtd::ERROR::ARG3_SHOULD_NOT_BE_A_META_NON_EXPR_FUN >,
-
- public xtd::case_< xtd::tag::meta_3ary_fun_operator,
- mlc::valist_<E, A1, A2, A3> >::ret
- {};
-
- template <typename A1, typename A2, typename A3>
- typename case_<A1, A2, A3>::res
- operator()(const A1& a1, const A2& a2, const A3& a3) const
- {
- return case_<A1, A2, A3>::impl(this, a1, a2, a3);
- }
-
- protected:
- meta_nary_fun_() {}
- };
-
-
} // end of namespace xtd::abstract
} // end of namespace xtd
Index: xtd/abstract/fun_nary_expr.hh
--- xtd/abstract/fun_nary_expr.hh (revision 0)
+++ xtd/abstract/fun_nary_expr.hh (revision 0)
@@ -0,0 +1,234 @@
+// Copyright (C) 2002, 2005, 2006 EPITA Research and Development Laboratory
+//
+// This file is part of the Olena Library. This library is free
+// software; you can redistribute it and/or modify it under the terms
+// of the GNU General Public License version 2 as published by the
+// Free Software Foundation.
+//
+// This library is distributed in the hope that it will be useful,
+// but WITHOUT ANY WARRANTY; without even the implied warranty of
+// MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU
+// General Public License for more details.
+//
+// You should have received a copy of the GNU General Public License
+// along with this library; see the file COPYING. If not, write to
+// the Free Software Foundation, 59 Temple Place - Suite 330, Boston,
+// MA 02111-1307, USA.
+//
+// As a special exception, you may use this file as part of a free
+// software library without restriction. Specifically, if other files
+// instantiate templates or use macros or inline functions from this
+// file, or you compile this file and link it with other files to
+// produce an executable, this file does not by itself cause the
+// resulting executable to be covered by the GNU General Public
+// License. This exception does not however invalidate any other
+// reasons why the executable file might be covered by the GNU General
+// Public License.
+
+#ifndef EXTENDED_ABSTRACT_FUN_NARY_EXPR_HH
+# define EXTENDED_ABSTRACT_FUN_NARY_EXPR_HH
+
+# include <xtd/abstract/fun_expr.hh>
+# include <xtd/abstract/open_nary_fun.hh>
+
+
+
+namespace xtd
+{
+
+
+ /// Forward declarations.
+ /// \{
+
+ template <typename F, typename Expr1, typename Expr2>
+ struct m2expr_;
+
+ template <typename F, typename Expr1, typename Expr2, typename Expr3>
+ struct m3expr_;
+
+ template <typename T>
+ struct literal_expr_;
+
+ template <unsigned i>
+ struct arg_;
+
+ /// \}
+
+
+
+
+ namespace abstract
+ {
+
+ /*! \class xtd::abstract::fun_nary_expr_<n, E>
+ **
+ ** Abstract base class for function expressions with an explicit
+ ** number of arguments.
+ **
+ ** For "open_nary_fun_<n, E>::operator()(arg1,...)" we provide
+ ** "::impl_calc(arg1,...)". This method first packs the argument list:
+ ** precisely "(arg1,...)" becomes "(arglist)" where the type of
+ ** "arglist" is "args_<Arg1,...>". Then the computation is delegated
+ ** to "fun_expr_<E>::eval(arglist)".
+ **
+ ** Parameter n is the number of arguments with n being 0, 1, 2, or
+ ** 3. Parameter E is the exact type of the function.
+ */
+
+ template <unsigned n, typename E>
+ class fun_nary_expr_;
+
+
+
+ /*! \class xtd::abstract::fun_nary_expr_<0, E>
+ **
+ ** Abstract base class for function expressions taking no
+ ** argument.
+ **
+ ** Parameter E is the exact type of the function.
+ */
+
+ template <typename E>
+ class fun_nary_expr_< 0, E >
+
+ : public fun_expr_<E>,
+ public open_nary_fun_<0, E>
+ {
+ public:
+
+ // the return type here is not xtd_res_0(E)
+ // the explanations are given with meta_nary_fun_<0, E>::operator()()
+ // in file xtd/abstract/meta_fun.hh
+
+ xtd_internal_res_0(E)
+ impl_calc() const
+ {
+ return this->eval(mk_args());
+ }
+
+ // no bind_i method here
+
+ protected:
+ fun_nary_expr_() {}
+ };
+
+
+
+ /*! \class xtd::abstract::fun_nary_expr_<1, E>
+ **
+ ** Abstract base class for function expressions taking one
+ ** argument.
+ **
+ ** Parameter E is the exact type of the function.
+ */
+
+ template <typename E>
+ class fun_nary_expr_< 1, E >
+
+ : public fun_expr_<E>,
+ public open_nary_fun_<1, E>
+ {
+ public:
+
+ template <typename A>
+ xtd_res_1(E, A)
+ impl_calc(const A& a) const
+ {
+ return this->eval(mk_args(a));
+ }
+
+ // no bind_i method here
+
+ protected:
+ fun_nary_expr_() {}
+ };
+
+
+
+ /*! \class xtd::abstract::fun_nary_expr_<2, E>
+ **
+ ** Abstract base class for function expressions taking two
+ ** arguments.
+ **
+ ** Parameter E is the exact type of the function.
+ */
+
+ template <typename E>
+ class fun_nary_expr_< 2, E >
+
+ : public fun_expr_<E>,
+ public open_nary_fun_<2, E>
+ {
+ public:
+
+ template <typename A1, typename A2>
+ xtd_res_2(E, A1, A2)
+ impl_calc(const A1& a1, const A2& a2) const
+ {
+ return this->eval(mk_args(a1, a2));
+ }
+
+ template <typename T>
+ m2expr_< E, literal_expr_<T>, arg_<2> >
+ bind_1(const T& value) const;
+
+ template <typename T>
+ m2expr_< E, arg_<1>, literal_expr_<T> >
+ bind_2(const T& value) const;
+
+ protected:
+ fun_nary_expr_() {}
+ };
+
+
+
+ /*! \class xtd::abstract::fun_nary_expr_<3, E>
+ **
+ ** Abstract base class for function expressions taking three
+ ** arguments.
+ **
+ ** Parameter E is the exact type of the function.
+ */
+
+ template <typename E>
+ class fun_nary_expr_< 3, E >
+
+ : public fun_expr_<E>,
+ public open_nary_fun_<3, E>
+ {
+ public:
+
+ template <typename A1, typename A2, typename A3>
+ xtd_res_3(E, A1, A2, A3)
+ impl_calc(const A1& a1, const A2& a2, const A3& a3) const
+ {
+ return this->eval(mk_args(a1, a2, a3));
+ }
+
+ template <typename T>
+ m3expr_< E, literal_expr_<T>, arg_<2>, arg_<3> >
+ bind_1(const T& value) const;
+
+ template <typename T>
+ m3expr_< E, arg_<1>, literal_expr_<T>, arg_<3> >
+ bind_2(const T& value) const;
+
+ template <typename T>
+ m3expr_< E, arg_<1>, arg_<2>, literal_expr_<T> >
+ bind_3(const T& value) const;
+
+ protected:
+ fun_nary_expr_() {}
+ };
+
+
+ } // end of namespace xtd::abstract
+
+
+} // end of namespace xtd
+
+
+# include <xtd/bind.hh>
+
+
+#endif // ! EXTENDED_ABSTRACT_FUN_NARY_EXPR_HH
Index: xtd/mfun.hh
--- xtd/mfun.hh (revision 441)
+++ xtd/mfun.hh (working copy)
@@ -28,12 +28,8 @@
#ifndef EXTENDED_MFUN_HH
# define EXTENDED_MFUN_HH
-# include <mlc/assert.hh>
-# include <mlc/logic.hh>
-# include <mlc/is_a.hh>
-
# include <xtd/abstract/plain_fun.hh>
-# include <xtd/abstract/meta_fun.hh>
+# include <xtd/abstract/meta_nary_fun.hh>
Index: xtd/TODO
--- xtd/TODO (revision 0)
+++ xtd/TODO (revision 0)
@@ -0,0 +1,5 @@
+ -*- outline -*-
+
+* files
+
+xtd/res.hh -> xtd/internal/res.hh ?
Index: xtd/arg.hh
--- xtd/arg.hh (revision 441)
+++ xtd/arg.hh (working copy)
@@ -28,12 +28,7 @@
#ifndef EXTENDED_ARG_HH
# define EXTENDED_ARG_HH
-# include <mlc/assert.hh>
-# include <mlc/is_a.hh>
-
-# include <xtd/args.hh>
-# include <xtd/mexpr.hh>
-
+# include <xtd/abstract/fun_nary_expr.hh>
namespace xtd
@@ -122,7 +117,7 @@
template <unsigned i>
struct arg_
- : public abstract::nary_fun_expr_< i, arg_<i> >,
+ : public abstract::fun_nary_expr_< i, arg_<i> >,
public internal::impl_arg_<i>
Index: xtd/bind.hh
--- xtd/bind.hh (revision 0)
+++ xtd/bind.hh (revision 0)
@@ -0,0 +1,105 @@
+// Copyright (C) 2002, 2005, 2006 EPITA Research and Development Laboratory
+//
+// This file is part of the Olena Library. This library is free
+// software; you can redistribute it and/or modify it under the terms
+// of the GNU General Public License version 2 as published by the
+// Free Software Foundation.
+//
+// This library is distributed in the hope that it will be useful,
+// but WITHOUT ANY WARRANTY; without even the implied warranty of
+// MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU
+// General Public License for more details.
+//
+// You should have received a copy of the GNU General Public License
+// along with this library; see the file COPYING. If not, write to
+// the Free Software Foundation, 59 Temple Place - Suite 330, Boston,
+// MA 02111-1307, USA.
+//
+// As a special exception, you may use this file as part of a free
+// software library without restriction. Specifically, if other files
+// instantiate templates or use macros or inline functions from this
+// file, or you compile this file and link it with other files to
+// produce an executable, this file does not by itself cause the
+// resulting executable to be covered by the GNU General Public
+// License. This exception does not however invalidate any other
+// reasons why the executable file might be covered by the GNU General
+// Public License.
+
+#ifndef EXTENDED_BIND_HH
+# define EXTENDED_BIND_HH
+
+# include <xtd/abstract/fun_nary_expr.hh>
+# include <xtd/literal.hh>
+# include <xtd/mexpr.hh>
+# include <xtd/arg.hh>
+
+
+namespace xtd
+{
+
+
+ namespace abstract
+ {
+
+ // fun_nary_expr_< 2, E >::bind_i
+
+ template <typename E>
+ template <typename T>
+ m2expr_< E, literal_expr_<T>, arg_<2> >
+ fun_nary_expr_< 2, E >::bind_1(const T& value) const
+ {
+ typedef m2expr_< E, literal_expr_<T>, arg_<2> > ret;
+ ret tmp(this->exact(), lit(value), arg_<2>());
+ return tmp;
+ }
+
+ template <typename E>
+ template <typename T>
+ m2expr_< E, arg_<1>, literal_expr_<T> >
+ fun_nary_expr_< 2, E >::bind_2(const T& value) const
+ {
+ typedef m2expr_< E, arg_<1>, literal_expr_<T> > ret;
+ ret tmp(this->exact(), arg_<1>(), lit(value));
+ return tmp;
+ }
+
+
+ // fun_nary_expr_< 3, E >::bind_i
+
+ template <typename E>
+ template <typename T>
+ m3expr_< E, literal_expr_<T>, arg_<2>, arg_<3> >
+ fun_nary_expr_< 3, E >::bind_1(const T& value) const
+ {
+ typedef m3expr_< E, literal_expr_<T>, arg_<2>, arg_<3> > ret;
+ ret tmp(this->exact(), lit(value), arg_<2>(), arg_<3>());
+ return tmp;
+ }
+
+ template <typename E>
+ template <typename T>
+ m3expr_< E, arg_<1>, literal_expr_<T>, arg_<3> >
+ fun_nary_expr_< 3, E >::bind_2(const T& value) const
+ {
+ typedef m3expr_< E, arg_<1>, literal_expr_<T>, arg_<3> > ret;
+ ret tmp(this->exact(), arg_<1>(), lit(value), arg_<3>());
+ return tmp;
+ }
+
+ template <typename E>
+ template <typename T>
+ m3expr_< E, arg_<1>, arg_<2>, literal_expr_<T> >
+ fun_nary_expr_< 3, E >::bind_3(const T& value) const
+ {
+ typedef m3expr_< E, arg_<1>, arg_<2>, literal_expr_<T> > ret;
+ ret tmp(this->exact(), arg_<1>(), arg_<2>(), lit(value));
+ return tmp;
+ }
+
+ } // end of namespace xtd::abstract
+
+} // end of namespace xtd
+
+
+
+#endif // ! EXTENDED_BIND_HH
Index: xtd/internal/mlc.hh
--- xtd/internal/mlc.hh (revision 0)
+++ xtd/internal/mlc.hh (revision 0)
@@ -0,0 +1,54 @@
+// Copyright (C) 2002, 2005, 2006 EPITA Research and Development Laboratory
+//
+// This file is part of the Olena Library. This library is free
+// software; you can redistribute it and/or modify it under the terms
+// of the GNU General Public License version 2 as published by the
+// Free Software Foundation.
+//
+// This library is distributed in the hope that it will be useful,
+// but WITHOUT ANY WARRANTY; without even the implied warranty of
+// MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU
+// General Public License for more details.
+//
+// You should have received a copy of the GNU General Public License
+// along with this library; see the file COPYING. If not, write to
+// the Free Software Foundation, 59 Temple Place - Suite 330, Boston,
+// MA 02111-1307, USA.
+//
+// As a special exception, you may use this file as part of a free
+// software library without restriction. Specifically, if other files
+// instantiate templates or use macros or inline functions from this
+// file, or you compile this file and link it with other files to
+// produce an executable, this file does not by itself cause the
+// resulting executable to be covered by the GNU General Public
+// License. This exception does not however invalidate any other
+// reasons why the executable file might be covered by the GNU General
+// Public License.
+
+#ifndef EXTENDED_INTERNAL_MLC_HH
+# define EXTENDED_INTERNAL_MLC_HH
+
+# include <mlc/flags.hh>
+# include <mlc/comma.hh>
+
+# include <mlc/typedef.hh>
+# include <mlc/ret.hh>
+
+# include <mlc/assert.hh>
+# include <mlc/is_a.hh>
+# include <mlc/logic.hh>
+# include <mlc/cmp.hh>
+# include <mlc/if.hh>
+
+# include <mlc/pair.hh>
+# include <mlc/valist.hh>
+
+
+
+
+# include <mlc/case.hh>
+
+mlc_case_equipment_for_namespace(xtd);
+
+
+#endif // ! EXTENDED_INTERNAL_MLC_HH
Index: tests/id.cc
--- tests/id.cc (revision 441)
+++ tests/id.cc (working copy)
@@ -1,6 +1,5 @@
#include <iostream>
-
#include <xtd/math/id.hh>
Index: tests/bind.cc
--- tests/bind.cc (revision 441)
+++ tests/bind.cc (working copy)
@@ -13,9 +13,9 @@
(_1 + _2)(_1, lit(1.f));
- (_1 + _2).bind_2(1.f);
+ ;
- std::cout << (_1 + _2)(5., 1.) << std::endl;
+ std::cout << (_1 + _2) .bind_2(2.6f) (2.5f) << std::endl;
// std::cout << (_1 + _2)(_1, 1.)(5.) << std::endl;
Index: tests/lit.cc
--- tests/lit.cc (revision 441)
+++ tests/lit.cc (working copy)
@@ -1,4 +1,5 @@
#include <iostream>
+
#include <xtd/literal.hh>
https://svn.lrde.epita.fr/svn/oln/trunk/metalic
Index: ChangeLog
from Thierry Geraud <theo(a)lrde.epita.fr>
Add mlc::abort_ for use in invalid code blocks.
* mlc/abort.hh: New.
* mlc/TODO: Update.
TODO | 32 +++++++++++++++++-
abort.hh | 109 +++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++
2 files changed, 140 insertions(+), 1 deletion(-)
Index: mlc/TODO
--- mlc/TODO (revision 438)
+++ mlc/TODO (working copy)
@@ -19,6 +19,11 @@
not define mlc::uint_; etc.
+* addition
+
+mlc_eval (such as mlc_bool and mlc_value)
+
+
* renaming
** cmp.hh
@@ -34,4 +39,29 @@
** mlc_is_a
-It uses wrap_; though, is it really useful?
+It uses wrap_; though, is it really useful? the answer seems to be yes.
+The code below:
+
+template <typename T>
+struct ok : public something< mlc_is_a(T, int) >
+{
+};
+
+works well and we do not have to write mlc_is_a_ with the '_' at the end
+so that's better. yet is it a direct consequence of the wrapping?
+
+** boolean and bexpr
+
+the last part of the disambiguation between boolean and bexpr is to
+remove the inheritance between true_ (resp. false_) and bexpr.
+
+that should lead to:
+*** new types
+true_expr_ and false_expr_
+*** update
+concrete bexprs should not be related to true_ and false_
+static checks should change
+*** remove
+eval in true_ and false_
+
+
Index: mlc/abort.hh
--- mlc/abort.hh (revision 0)
+++ mlc/abort.hh (revision 0)
@@ -0,0 +1,109 @@
+// Copyright (C) 2006 EPITA Research and Development Laboratory
+//
+// This file is part of the Olena Library. This library is free
+// software; you can redistribute it and/or modify it under the terms
+// of the GNU General Public License version 2 as published by the
+// Free Software Foundation.
+//
+// This library is distributed in the hope that it will be useful,
+// but WITHOUT ANY WARRANTY; without even the implied warranty of
+// MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU
+// General Public License for more details.
+//
+// You should have received a copy of the GNU General Public License
+// along with this library; see the file COPYING. If not, write to
+// the Free Software Foundation, 59 Temple Place - Suite 330, Boston,
+// MA 02111-1307, USA.
+//
+// As a special exception, you may use this file as part of a free
+// software library without restriction. Specifically, if other files
+// instantiate templates or use macros or inline functions from this
+// file, or you compile this file and link it with other files to
+// produce an executable, this file does not by itself cause the
+// resulting executable to be covered by the GNU General Public
+// License. This exception does not however invalidate any other
+// reasons why the executable file might be covered by the GNU General
+// Public License.
+
+#ifndef METALIC_ABORT_HH
+# define METALIC_ABORT_HH
+
+# include <mlc/bexpr.hh>
+# include <mlc/assert.hh>
+# include <mlc/cmp.hh>
+# include <mlc/is_a.hh>
+
+
+
+namespace mlc
+{
+
+ namespace ERROR
+ {
+ struct FIRST_PARAMETER_OF_mlc_abort_SHOULD_NOT_BE_an_abstract_bexpr;
+
+ } // end of namespace mlc::ERROR
+
+
+ namespace internal
+ {
+
+ /*! \class mlc::always_false_<T>
+ **
+ ** FIXME: doc
+ **
+ ** \see mlc::abort_<T, err>
+ **
+ */
+
+ template <typename T>
+ struct always_false_
+
+ : public bexpr_is_<false>
+ {
+ protected:
+ always_false_() {}
+ };
+
+ } // end of mlc::internal
+
+
+
+ /*! \class mlc::abort_<T, err>
+ **
+ ** FIXME: doc
+ **
+ ** T is important here; since there is an unknown type at compile-time
+ ** the parsing can run through a routine that owns an abort_ instruction.
+ **
+ ** If there were no free type like this, the routine produces an error
+ ** at compile-time (actually there is an abort!) even if this routine
+ ** is not explicitly called in the code.
+ **
+ ** \note \a T can be any type... except a bexpr so that we can
+ ** detect that the user has used abort_ instead of assert_.
+ **
+ ** \see assert_<bexpr, err>
+ **
+ */
+
+ template <typename T, typename err = no_error_message>
+ struct abort_ :
+
+// private assert_< not_<mlc_is_a(T, abstract::bexpr)>,
+// mlc::ERROR::FIRST_PARAMETER_OF_mlc_abort_SHOULD_NOT_BE_an_abstract_bexpr >,
+
+ public internal::always_false_<T>
+ {
+ protected:
+ abort_() {}
+ };
+
+
+
+
+
+} // end of namespace mlc
+
+
+#endif // ! METALIC_ABORT_HH
https://svn/svn/oln/prototypes/proto-1.0
Index: ChangeLog
from Nicolas Widynski <nicolas.widynski(a)lrde.epita.fr>
Add GPL License to trunk.
* COPYING: New. GNU Free Documentation License.
COPYING | 397 ++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++
1 file changed, 397 insertions(+)
Index: COPYING
--- COPYING (revision 0)
+++ COPYING (revision 0)
@@ -0,0 +1,397 @@
+GNU Free Documentation License
+ Version 1.2, November 2002
+
+
+ Copyright (C) 2000,2001,2002,2006 Free Software Foundation, Inc.
+ 51 Franklin St, Fifth Floor, Boston, MA 02110-1301 USA
+ Everyone is permitted to copy and distribute verbatim copies
+ of this license document, but changing it is not allowed.
+
+
+0. PREAMBLE
+
+The purpose of this License is to make a manual, textbook, or other
+functional and useful document "free" in the sense of freedom: to
+assure everyone the effective freedom to copy and redistribute it,
+with or without modifying it, either commercially or noncommercially.
+Secondarily, this License preserves for the author and publisher a way
+to get credit for their work, while not being considered responsible
+for modifications made by others.
+
+This License is a kind of "copyleft", which means that derivative
+works of the document must themselves be free in the same sense. It
+complements the GNU General Public License, which is a copyleft
+license designed for free software.
+
+We have designed this License in order to use it for manuals for free
+software, because free software needs free documentation: a free
+program should come with manuals providing the same freedoms that the
+software does. But this License is not limited to software manuals;
+it can be used for any textual work, regardless of subject matter or
+whether it is published as a printed book. We recommend this License
+principally for works whose purpose is instruction or reference.
+
+
+1. APPLICABILITY AND DEFINITIONS
+
+This License applies to any manual or other work, in any medium, that
+contains a notice placed by the copyright holder saying it can be
+distributed under the terms of this License. Such a notice grants a
+world-wide, royalty-free license, unlimited in duration, to use that
+work under the conditions stated herein. The "Document", below,
+refers to any such manual or work. Any member of the public is a
+licensee, and is addressed as "you". You accept the license if you
+copy, modify or distribute the work in a way requiring permission
+under copyright law.
+
+A "Modified Version" of the Document means any work containing the
+Document or a portion of it, either copied verbatim, or with
+modifications and/or translated into another language.
+
+A "Secondary Section" is a named appendix or a front-matter section of
+the Document that deals exclusively with the relationship of the
+publishers or authors of the Document to the Document's overall subject
+(or to related matters) and contains nothing that could fall directly
+within that overall subject. (Thus, if the Document is in part a
+textbook of mathematics, a Secondary Section may not explain any
+mathematics.) The relationship could be a matter of historical
+connection with the subject or with related matters, or of legal,
+commercial, philosophical, ethical or political position regarding
+them.
+
+The "Invariant Sections" are certain Secondary Sections whose titles
+are designated, as being those of Invariant Sections, in the notice
+that says that the Document is released under this License. If a
+section does not fit the above definition of Secondary then it is not
+allowed to be designated as Invariant. The Document may contain zero
+Invariant Sections. If the Document does not identify any Invariant
+Sections then there are none.
+
+The "Cover Texts" are certain short passages of text that are listed,
+as Front-Cover Texts or Back-Cover Texts, in the notice that says that
+the Document is released under this License. A Front-Cover Text may
+be at most 5 words, and a Back-Cover Text may be at most 25 words.
+
+A "Transparent" copy of the Document means a machine-readable copy,
+represented in a format whose specification is available to the
+general public, that is suitable for revising the document
+straightforwardly with generic text editors or (for images composed of
+pixels) generic paint programs or (for drawings) some widely available
+drawing editor, and that is suitable for input to text formatters or
+for automatic translation to a variety of formats suitable for input
+to text formatters. A copy made in an otherwise Transparent file
+format whose markup, or absence of markup, has been arranged to thwart
+or discourage subsequent modification by readers is not Transparent.
+An image format is not Transparent if used for any substantial amount
+of text. A copy that is not "Transparent" is called "Opaque".
+
+Examples of suitable formats for Transparent copies include plain
+ASCII without markup, Texinfo input format, LaTeX input format, SGML
+or XML using a publicly available DTD, and standard-conforming simple
+HTML, PostScript or PDF designed for human modification. Examples of
+transparent image formats include PNG, XCF and JPG. Opaque formats
+include proprietary formats that can be read and edited only by
+proprietary word processors, SGML or XML for which the DTD and/or
+processing tools are not generally available, and the
+machine-generated HTML, PostScript or PDF produced by some word
+processors for output purposes only.
+
+The "Title Page" means, for a printed book, the title page itself,
+plus such following pages as are needed to hold, legibly, the material
+this License requires to appear in the title page. For works in
+formats which do not have any title page as such, "Title Page" means
+the text near the most prominent appearance of the work's title,
+preceding the beginning of the body of the text.
+
+A section "Entitled XYZ" means a named subunit of the Document whose
+title either is precisely XYZ or contains XYZ in parentheses following
+text that translates XYZ in another language. (Here XYZ stands for a
+specific section name mentioned below, such as "Acknowledgements",
+"Dedications", "Endorsements", or "History".) To "Preserve the Title"
+of such a section when you modify the Document means that it remains a
+section "Entitled XYZ" according to this definition.
+
+The Document may include Warranty Disclaimers next to the notice which
+states that this License applies to the Document. These Warranty
+Disclaimers are considered to be included by reference in this
+License, but only as regards disclaiming warranties: any other
+implication that these Warranty Disclaimers may have is void and has
+no effect on the meaning of this License.
+
+
+2. VERBATIM COPYING
+
+You may copy and distribute the Document in any medium, either
+commercially or noncommercially, provided that this License, the
+copyright notices, and the license notice saying this License applies
+to the Document are reproduced in all copies, and that you add no other
+conditions whatsoever to those of this License. You may not use
+technical measures to obstruct or control the reading or further
+copying of the copies you make or distribute. However, you may accept
+compensation in exchange for copies. If you distribute a large enough
+number of copies you must also follow the conditions in section 3.
+
+You may also lend copies, under the same conditions stated above, and
+you may publicly display copies.
+
+
+3. COPYING IN QUANTITY
+
+If you publish printed copies (or copies in media that commonly have
+printed covers) of the Document, numbering more than 100, and the
+Document's license notice requires Cover Texts, you must enclose the
+copies in covers that carry, clearly and legibly, all these Cover
+Texts: Front-Cover Texts on the front cover, and Back-Cover Texts on
+the back cover. Both covers must also clearly and legibly identify
+you as the publisher of these copies. The front cover must present
+the full title with all words of the title equally prominent and
+visible. You may add other material on the covers in addition.
+Copying with changes limited to the covers, as long as they preserve
+the title of the Document and satisfy these conditions, can be treated
+as verbatim copying in other respects.
+
+If the required texts for either cover are too voluminous to fit
+legibly, you should put the first ones listed (as many as fit
+reasonably) on the actual cover, and continue the rest onto adjacent
+pages.
+
+If you publish or distribute Opaque copies of the Document numbering
+more than 100, you must either include a machine-readable Transparent
+copy along with each Opaque copy, or state in or with each Opaque copy
+a computer-network location from which the general network-using
+public has access to download using public-standard network protocols
+a complete Transparent copy of the Document, free of added material.
+If you use the latter option, you must take reasonably prudent steps,
+when you begin distribution of Opaque copies in quantity, to ensure
+that this Transparent copy will remain thus accessible at the stated
+location until at least one year after the last time you distribute an
+Opaque copy (directly or through your agents or retailers) of that
+edition to the public.
+
+It is requested, but not required, that you contact the authors of the
+Document well before redistributing any large number of copies, to give
+them a chance to provide you with an updated version of the Document.
+
+
+4. MODIFICATIONS
+
+You may copy and distribute a Modified Version of the Document under
+the conditions of sections 2 and 3 above, provided that you release
+the Modified Version under precisely this License, with the Modified
+Version filling the role of the Document, thus licensing distribution
+and modification of the Modified Version to whoever possesses a copy
+of it. In addition, you must do these things in the Modified Version:
+
+A. Use in the Title Page (and on the covers, if any) a title distinct
+ from that of the Document, and from those of previous versions
+ (which should, if there were any, be listed in the History section
+ of the Document). You may use the same title as a previous version
+ if the original publisher of that version gives permission.
+B. List on the Title Page, as authors, one or more persons or entities
+ responsible for authorship of the modifications in the Modified
+ Version, together with at least five of the principal authors of the
+ Document (all of its principal authors, if it has fewer than five),
+ unless they release you from this requirement.
+C. State on the Title page the name of the publisher of the
+ Modified Version, as the publisher.
+D. Preserve all the copyright notices of the Document.
+E. Add an appropriate copyright notice for your modifications
+ adjacent to the other copyright notices.
+F. Include, immediately after the copyright notices, a license notice
+ giving the public permission to use the Modified Version under the
+ terms of this License, in the form shown in the Addendum below.
+G. Preserve in that license notice the full lists of Invariant Sections
+ and required Cover Texts given in the Document's license notice.
+H. Include an unaltered copy of this License.
+I. Preserve the section Entitled "History", Preserve its Title, and add
+ to it an item stating at least the title, year, new authors, and
+ publisher of the Modified Version as given on the Title Page. If
+ there is no section Entitled "History" in the Document, create one
+ stating the title, year, authors, and publisher of the Document as
+ given on its Title Page, then add an item describing the Modified
+ Version as stated in the previous sentence.
+J. Preserve the network location, if any, given in the Document for
+ public access to a Transparent copy of the Document, and likewise
+ the network locations given in the Document for previous versions
+ it was based on. These may be placed in the "History" section.
+ You may omit a network location for a work that was published at
+ least four years before the Document itself, or if the original
+ publisher of the version it refers to gives permission.
+K. For any section Entitled "Acknowledgements" or "Dedications",
+ Preserve the Title of the section, and preserve in the section all
+ the substance and tone of each of the contributor acknowledgements
+ and/or dedications given therein.
+L. Preserve all the Invariant Sections of the Document,
+ unaltered in their text and in their titles. Section numbers
+ or the equivalent are not considered part of the section titles.
+M. Delete any section Entitled "Endorsements". Such a section
+ may not be included in the Modified Version.
+N. Do not retitle any existing section to be Entitled "Endorsements"
+ or to conflict in title with any Invariant Section.
+O. Preserve any Warranty Disclaimers.
+
+If the Modified Version includes new front-matter sections or
+appendices that qualify as Secondary Sections and contain no material
+copied from the Document, you may at your option designate some or all
+of these sections as invariant. To do this, add their titles to the
+list of Invariant Sections in the Modified Version's license notice.
+These titles must be distinct from any other section titles.
+
+You may add a section Entitled "Endorsements", provided it contains
+nothing but endorsements of your Modified Version by various
+parties--for example, statements of peer review or that the text has
+been approved by an organization as the authoritative definition of a
+standard.
+
+You may add a passage of up to five words as a Front-Cover Text, and a
+passage of up to 25 words as a Back-Cover Text, to the end of the list
+of Cover Texts in the Modified Version. Only one passage of
+Front-Cover Text and one of Back-Cover Text may be added by (or
+through arrangements made by) any one entity. If the Document already
+includes a cover text for the same cover, previously added by you or
+by arrangement made by the same entity you are acting on behalf of,
+you may not add another; but you may replace the old one, on explicit
+permission from the previous publisher that added the old one.
+
+The author(s) and publisher(s) of the Document do not by this License
+give permission to use their names for publicity for or to assert or
+imply endorsement of any Modified Version.
+
+
+5. COMBINING DOCUMENTS
+
+You may combine the Document with other documents released under this
+License, under the terms defined in section 4 above for modified
+versions, provided that you include in the combination all of the
+Invariant Sections of all of the original documents, unmodified, and
+list them all as Invariant Sections of your combined work in its
+license notice, and that you preserve all their Warranty Disclaimers.
+
+The combined work need only contain one copy of this License, and
+multiple identical Invariant Sections may be replaced with a single
+copy. If there are multiple Invariant Sections with the same name but
+different contents, make the title of each such section unique by
+adding at the end of it, in parentheses, the name of the original
+author or publisher of that section if known, or else a unique number.
+Make the same adjustment to the section titles in the list of
+Invariant Sections in the license notice of the combined work.
+
+In the combination, you must combine any sections Entitled "History"
+in the various original documents, forming one section Entitled
+"History"; likewise combine any sections Entitled "Acknowledgements",
+and any sections Entitled "Dedications". You must delete all sections
+Entitled "Endorsements".
+
+
+6. COLLECTIONS OF DOCUMENTS
+
+You may make a collection consisting of the Document and other documents
+released under this License, and replace the individual copies of this
+License in the various documents with a single copy that is included in
+the collection, provided that you follow the rules of this License for
+verbatim copying of each of the documents in all other respects.
+
+You may extract a single document from such a collection, and distribute
+it individually under this License, provided you insert a copy of this
+License into the extracted document, and follow this License in all
+other respects regarding verbatim copying of that document.
+
+
+7. AGGREGATION WITH INDEPENDENT WORKS
+
+A compilation of the Document or its derivatives with other separate
+and independent documents or works, in or on a volume of a storage or
+distribution medium, is called an "aggregate" if the copyright
+resulting from the compilation is not used to limit the legal rights
+of the compilation's users beyond what the individual works permit.
+When the Document is included in an aggregate, this License does not
+apply to the other works in the aggregate which are not themselves
+derivative works of the Document.
+
+If the Cover Text requirement of section 3 is applicable to these
+copies of the Document, then if the Document is less than one half of
+the entire aggregate, the Document's Cover Texts may be placed on
+covers that bracket the Document within the aggregate, or the
+electronic equivalent of covers if the Document is in electronic form.
+Otherwise they must appear on printed covers that bracket the whole
+aggregate.
+
+
+8. TRANSLATION
+
+Translation is considered a kind of modification, so you may
+distribute translations of the Document under the terms of section 4.
+Replacing Invariant Sections with translations requires special
+permission from their copyright holders, but you may include
+translations of some or all Invariant Sections in addition to the
+original versions of these Invariant Sections. You may include a
+translation of this License, and all the license notices in the
+Document, and any Warranty Disclaimers, provided that you also include
+the original English version of this License and the original versions
+of those notices and disclaimers. In case of a disagreement between
+the translation and the original version of this License or a notice
+or disclaimer, the original version will prevail.
+
+If a section in the Document is Entitled "Acknowledgements",
+"Dedications", or "History", the requirement (section 4) to Preserve
+its Title (section 1) will typically require changing the actual
+title.
+
+
+9. TERMINATION
+
+You may not copy, modify, sublicense, or distribute the Document except
+as expressly provided for under this License. Any other attempt to
+copy, modify, sublicense or distribute the Document is void, and will
+automatically terminate your rights under this License. However,
+parties who have received copies, or rights, from you under this
+License will not have their licenses terminated so long as such
+parties remain in full compliance.
+
+
+10. FUTURE REVISIONS OF THIS LICENSE
+
+The Free Software Foundation may publish new, revised versions
+of the GNU Free Documentation License from time to time. Such new
+versions will be similar in spirit to the present version, but may
+differ in detail to address new problems or concerns. See
+http://www.gnu.org/copyleft/.
+
+Each version of the License is given a distinguishing version number.
+If the Document specifies that a particular numbered version of this
+License "or any later version" applies to it, you have the option of
+following the terms and conditions either of that specified version or
+of any later version that has been published (not as a draft) by the
+Free Software Foundation. If the Document does not specify a version
+number of this License, you may choose any version ever published (not
+as a draft) by the Free Software Foundation.
+
+
+ADDENDUM: How to use this License for your documents
+
+To use this License in a document you have written, include a copy of
+the License in the document and put the following copyright and
+license notices just after the title page:
+
+ Copyright (c) YEAR YOUR NAME.
+ Permission is granted to copy, distribute and/or modify this document
+ under the terms of the GNU Free Documentation License, Version 1.2
+ or any later version published by the Free Software Foundation;
+ with no Invariant Sections, no Front-Cover Texts, and no Back-Cover Texts.
+ A copy of the license is included in the section entitled "GNU
+ Free Documentation License".
+
+If you have Invariant Sections, Front-Cover Texts and Back-Cover Texts,
+replace the "with...Texts." line with this:
+
+ with the Invariant Sections being LIST THEIR TITLES, with the
+ Front-Cover Texts being LIST, and with the Back-Cover Texts being LIST.
+
+If you have Invariant Sections without Cover Texts, or some other
+combination of the three, merge those two alternatives to suit the
+situation.
+
+If your document contains nontrivial examples of program code, we
+recommend releasing these examples in parallel under your choice of
+free software license, such as the GNU General Public License,
+to permit their use in free software.
\ No newline at end of file