|
From: Foster B. <fos...@us...> - 2006-02-03 18:21:21
|
Update of /cvsroot/adobe-source/adobe-source/adobe/documentation/sources/asl/concepts In directory sc8-pr-cvs1.sourceforge.net:/tmp/cvs-serv1031/adobe/documentation/sources/asl/concepts Modified Files: concept_assignable.dox concept_convertible_to_bool.dox concept_convertible_to_function.dox concept_convertible_to_range.dox concept_defaultconstructible.dox concept_equalitycomparable.dox concept_lessthancomparable.dox concept_regular_type.dox concept_transform_function.dox Log Message: asl 1.0.13 Index: concept_transform_function.dox =================================================================== RCS file: /cvsroot/adobe-source/adobe-source/adobe/documentation/sources/asl/concepts/concept_transform_function.dox,v retrieving revision 1.1 retrieving revision 1.2 diff -C2 -d -r1.1 -r1.2 *** concept_transform_function.dox 28 Feb 2005 20:48:54 -0000 1.1 --- concept_transform_function.dox 3 Feb 2006 18:20:42 -0000 1.2 *************** *** 3,19 **** /* ! ADOBE CONFIDENTIAL ! ___________________ ! Copyright 2003 - 2003 Adobe Systems Incorporated ! All Rights Reserved. ! NOTICE: All information contained herein is, and remains the property of ! Adobe Systems Incorporated and its suppliers, if any. The intellectual and ! technical concepts contained herein are proprietary to Adobe Systems Incorporated ! and its suppliers and may be covered by U.S. and Foreign Patents, patents ! in process, and are protected by trade secret or copyright law. Dissemination ! of this information or reproduction of this material is strictly forbidden ! unless prior written permission is obtained from Adobe Systems Incorporated. */ --- 3,19 ---- /* ! ADOBE CONFIDENTIAL ! ___________________ ! Copyright 2003 - 2003 Adobe Systems Incorporated ! All Rights Reserved. ! NOTICE: All information contained herein is, and remains the property of ! Adobe Systems Incorporated and its suppliers, if any. The intellectual and ! technical concepts contained herein are proprietary to Adobe Systems Incorporated ! and its suppliers and may be covered by U.S. and Foreign Patents, patents ! in process, and are protected by trade secret or copyright law. Dissemination ! of this information or reproduction of this material is strictly forbidden ! unless prior written permission is obtained from Adobe Systems Incorporated. */ *************** *** 28,32 **** \refinement_of ! - UnaryFunction \associated_types --- 28,32 ---- \refinement_of ! - UnaryFunction \associated_types *************** *** 34,57 **** \notation <table> ! <tr> ! <td valign="top"><code>F</code></td> ! <td valign="top">A type that is a model of TransformFunction</td> ! </tr> ! <tr> ! <td valign="top"><code>X</code></td> ! <td valign="top">Argument type of F</td> ! </tr> ! <tr> ! <td valign="top"><code>Result</code></td> ! <td valign="top">Result type of F</td> ! </tr> ! <tr> ! <td valign="top"><code>f</code></td> ! <td valign="top">Object of type <code>F</code></td> ! </tr> ! <tr> ! <td valign="top"><code>x</code></td> ! <td valign="top">Object of type <code>X</code></td> ! </tr> </table> --- 34,57 ---- \notation <table> ! <tr> ! <td valign="top"><code>F</code></td> ! <td valign="top">A type that is a model of TransformFunction</td> ! </tr> ! <tr> ! <td valign="top"><code>X</code></td> ! <td valign="top">Argument type of F</td> ! </tr> ! <tr> ! <td valign="top"><code>Result</code></td> ! <td valign="top">Result type of F</td> ! </tr> ! <tr> ! <td valign="top"><code>f</code></td> ! <td valign="top">Object of type <code>F</code></td> ! </tr> ! <tr> ! <td valign="top"><code>x</code></td> ! <td valign="top">Object of type <code>X</code></td> ! </tr> </table> *************** *** 65,69 **** \invariants ! - The expression <code>f(x)</code> is <i>not</i> permitted to change <code>f</code>'s state. \models --- 65,69 ---- \invariants ! - The expression <code>f(x)</code> is <i>not</i> permitted to change <code>f</code>'s state. \models Index: concept_equalitycomparable.dox =================================================================== RCS file: /cvsroot/adobe-source/adobe-source/adobe/documentation/sources/asl/concepts/concept_equalitycomparable.dox,v retrieving revision 1.1 retrieving revision 1.2 diff -C2 -d -r1.1 -r1.2 *** concept_equalitycomparable.dox 28 Feb 2005 20:48:54 -0000 1.1 --- concept_equalitycomparable.dox 3 Feb 2006 18:20:42 -0000 1.2 *************** *** 3,19 **** /* ! ADOBE CONFIDENTIAL ! ___________________ ! Copyright 2003 - 2003 Adobe Systems Incorporated ! All Rights Reserved. ! NOTICE: All information contained herein is, and remains the property of ! Adobe Systems Incorporated and its suppliers, if any. The intellectual and ! technical concepts contained herein are proprietary to Adobe Systems Incorporated ! and its suppliers and may be covered by U.S. and Foreign Patents, patents ! in process, and are protected by trade secret or copyright law. Dissemination ! of this information or reproduction of this material is strictly forbidden ! unless prior written permission is obtained from Adobe Systems Incorporated. */ --- 3,19 ---- /* ! ADOBE CONFIDENTIAL ! ___________________ ! Copyright 2003 - 2003 Adobe Systems Incorporated ! All Rights Reserved. ! NOTICE: All information contained herein is, and remains the property of ! Adobe Systems Incorporated and its suppliers, if any. The intellectual and ! technical concepts contained herein are proprietary to Adobe Systems Incorporated ! and its suppliers and may be covered by U.S. and Foreign Patents, patents ! in process, and are protected by trade secret or copyright law. Dissemination ! of this information or reproduction of this material is strictly forbidden ! unless prior written permission is obtained from Adobe Systems Incorporated. */ *************** *** 33,44 **** \notation <table> ! <tr> ! <td valign="top"><code>X</code></td> ! <td valign="top">A type that is a model of EqualityComparable</td> ! </tr> ! <tr> ! <td valign="top"><code>x</code>, <code>y</code>, <code>z</code></td> ! <td valign="top">Object of type <code>X</code></td> ! </tr> </table> --- 33,44 ---- \notation <table> ! <tr> ! <td valign="top"><code>X</code></td> ! <td valign="top">A type that is a model of EqualityComparable</td> ! </tr> ! <tr> ! <td valign="top"><code>x</code>, <code>y</code>, <code>z</code></td> ! <td valign="top">Object of type <code>X</code></td> ! </tr> </table> *************** *** 47,86 **** \valid_expressions <table border> ! <tr> ! <th>Name</th><th>Expression</th><th>Type requirements</th><th>Return type</th> ! </tr> ! <tr> ! <td valign="top">Equality</td> ! <td valign="top"><code>x == y</code></td> ! <td valign="top"> </td> ! <td valign="top">Convertible to <code>bool</code></td> ! </tr> ! <tr> ! <td valign="top">Inequality</td> ! <td valign="top"><code>x != y</code></td> ! <td valign="top"> </td> ! <td valign="top">Convertible to <code>bool</code></td> ! </tr> </table> \expression_semantics <table border> ! <tr> ! <th>Name</th><th>Expression</th><th>Precondition</th><th>Semantics</th><th>Postcondition</th> ! </tr> ! <tr> ! <td valign="top">Equality</td> ! <td valign="top"><code>x == y</code></td> ! <td valign="top"><code>x</code> and <code>y</code> are in the domain of <code>==</code></td> ! <td valign="top"> </td> ! <td valign="top"> </td> ! </tr> ! <tr> ! <td valign="top">Inequality</td> ! <td valign="top"><code>x != y</code></td> ! <td valign="top"><code>x</code> and <code>y</code> are in the domain of <code>==</code></td> ! <td valign="top">Equivalent to <code>!(x == y)</code></td> ! <td valign="top"> </td> ! </tr> </table> --- 47,86 ---- \valid_expressions <table border> ! <tr> ! <th>Name</th><th>Expression</th><th>Type requirements</th><th>Return type</th> ! </tr> ! <tr> ! <td valign="top">Equality</td> ! <td valign="top"><code>x == y</code></td> ! <td valign="top"> </td> ! <td valign="top">Convertible to <code>bool</code></td> ! </tr> ! <tr> ! <td valign="top">Inequality</td> ! <td valign="top"><code>x != y</code></td> ! <td valign="top"> </td> ! <td valign="top">Convertible to <code>bool</code></td> ! </tr> </table> \expression_semantics <table border> ! <tr> ! <th>Name</th><th>Expression</th><th>Precondition</th><th>Semantics</th><th>Postcondition</th> ! </tr> ! <tr> ! <td valign="top">Equality</td> ! <td valign="top"><code>x == y</code></td> ! <td valign="top"><code>x</code> and <code>y</code> are in the domain of <code>==</code></td> ! <td valign="top"> </td> ! <td valign="top"> </td> ! </tr> ! <tr> ! <td valign="top">Inequality</td> ! <td valign="top"><code>x != y</code></td> ! <td valign="top"><code>x</code> and <code>y</code> are in the domain of <code>==</code></td> ! <td valign="top">Equivalent to <code>!(x == y)</code></td> ! <td valign="top"> </td> ! </tr> </table> *************** *** 89,117 **** \invariants <table border> ! <tr> ! <td valign="top">Identity</td> ! <td valign="top"><code>&x == &y</code> implies <code>x</code> == <code>y</code></td> ! </tr> ! <tr> ! <td valign="top">Reflexivity</td> ! <td valign="top"><code>x == x</code></td> ! </tr> ! <tr> ! <td valign="top">Symmetry</td> ! <td valign="top"><code>x == y</code> implies <code>y == x</code></td> ! </tr> ! <tr> ! <td valign="top">Transitivity</td> ! <td valign="top"><code>x == y</code> and <code>y == z</code> implies <code>x == z</code></td> ! </tr> </table> \models ! - int ! - <code>std::vector<T></code> \notes \see_also ! - \ref stldoc_LessThanComparable */ --- 89,117 ---- \invariants <table border> ! <tr> ! <td valign="top">Identity</td> ! <td valign="top"><code>&x == &y</code> implies <code>x</code> == <code>y</code></td> ! </tr> ! <tr> ! <td valign="top">Reflexivity</td> ! <td valign="top"><code>x == x</code></td> ! </tr> ! <tr> ! <td valign="top">Symmetry</td> ! <td valign="top"><code>x == y</code> implies <code>y == x</code></td> ! </tr> ! <tr> ! <td valign="top">Transitivity</td> ! <td valign="top"><code>x == y</code> and <code>y == z</code> implies <code>x == z</code></td> ! </tr> </table> \models ! - int ! - <code>std::vector<T></code> \notes \see_also ! - \ref stldoc_LessThanComparable */ Index: concept_lessthancomparable.dox =================================================================== RCS file: /cvsroot/adobe-source/adobe-source/adobe/documentation/sources/asl/concepts/concept_lessthancomparable.dox,v retrieving revision 1.1 retrieving revision 1.2 diff -C2 -d -r1.1 -r1.2 *** concept_lessthancomparable.dox 28 Feb 2005 20:48:54 -0000 1.1 --- concept_lessthancomparable.dox 3 Feb 2006 18:20:42 -0000 1.2 *************** *** 3,19 **** /* ! ADOBE CONFIDENTIAL ! ___________________ ! Copyright 2003 - 2003 Adobe Systems Incorporated ! All Rights Reserved. ! NOTICE: All information contained herein is, and remains the property of ! Adobe Systems Incorporated and its suppliers, if any. The intellectual and ! technical concepts contained herein are proprietary to Adobe Systems Incorporated ! and its suppliers and may be covered by U.S. and Foreign Patents, patents ! in process, and are protected by trade secret or copyright law. Dissemination ! of this information or reproduction of this material is strictly forbidden ! unless prior written permission is obtained from Adobe Systems Incorporated. */ --- 3,19 ---- /* ! ADOBE CONFIDENTIAL ! ___________________ ! Copyright 2003 - 2003 Adobe Systems Incorporated ! All Rights Reserved. ! NOTICE: All information contained herein is, and remains the property of ! Adobe Systems Incorporated and its suppliers, if any. The intellectual and ! technical concepts contained herein are proprietary to Adobe Systems Incorporated ! and its suppliers and may be covered by U.S. and Foreign Patents, patents ! in process, and are protected by trade secret or copyright law. Dissemination ! of this information or reproduction of this material is strictly forbidden ! unless prior written permission is obtained from Adobe Systems Incorporated. */ *************** *** 35,46 **** \notation <table> ! <tr> ! <td valign="top"><code>X</code></td> ! <td valign="top">A type that is a model of LessThanComparable</td> ! </tr> ! <tr> ! <td valign="top"><code>x</code>, <code>y</code>, <code>z</code></td> ! <td valign="top">Object of type <code>X</code></td> ! </tr> </table> --- 35,46 ---- \notation <table> ! <tr> ! <td valign="top"><code>X</code></td> ! <td valign="top">A type that is a model of LessThanComparable</td> ! </tr> ! <tr> ! <td valign="top"><code>x</code>, <code>y</code>, <code>z</code></td> ! <td valign="top">Object of type <code>X</code></td> ! </tr> </table> *************** *** 57,122 **** \valid_expressions <table border> ! <tr> ! <th>Name</th><th>Expression</th><th>Type requirements</th><th>Return type</th> ! </tr> ! <tr> ! <td valign="top">Less</td> ! <td valign="top"><code>x < y</code></td> ! <td valign="top"> </td> ! <td valign="top">Convertible to <code>bool</code></td> ! </tr> ! <tr> ! <td valign="top">Greater</td> ! <td valign="top"><code>x > y</code></td> ! <td valign="top"> </td> ! <td valign="top">Convertible to <code>bool</code></td> ! </tr> ! <tr> ! <td valign="top">Less or equal</td> ! <td valign="top"><code>x <= y</code></td> ! <td valign="top"> </td> ! <td valign="top">Convertible to <code>bool</code></td> ! </tr> ! <tr> ! <td valign="top">Greater or equal</td> ! <td valign="top"><code>x >= y</code></td> ! <td valign="top"> </td> ! <td valign="top">Convertible to <code>bool</code></td> ! </tr> </table> \expression_semantics <table border> ! <tr> ! <th>Name</th><th>Expression</th><th>Precondition</th><th>Semantics</th><th>Postcondition</th> ! </tr> ! <tr> ! <td valign="top">Less</td> ! <td valign="top"><code>x < y</code></td> ! <td valign="top"><code>x</code> and <code>y</code> are in the domain of <code><</code></td> ! <td valign="top"> </td> ! <td valign="top"> </td> ! </tr> ! <tr> ! <td valign="top">Greater</td> ! <td valign="top"><code>x > y</code></td> ! <td valign="top"><code>x</code> and <code>y</code> are in the domain of <code><</code></td> ! <td valign="top">Equivalent to <code>y < x</code> <A href="#1">[1]</A></td> ! <td valign="top"> </td> ! </tr> ! <tr> ! <td valign="top">Less or equal</td> ! <td valign="top"><code>x <= y</code></td> ! <td valign="top"><code>x</code> and <code>y</code> are in the domain of <code><</code></td> ! <td valign="top">Equivalent to <code>!(y < x)</code> <A href="#1">[1]</A></td> ! <td valign="top"> </td> ! </tr> ! <tr> ! <td valign="top">Greater or equal</td> ! <td valign="top"><code>x >= y</code></td> ! <td valign="top"><code>x</code> and <code>y</code> are in the domain of <code><</code></td> ! <td valign="top">Equivalent to <code>!(x < y)</code> <A href="#1">[1]</A></td> ! <td valign="top"> </td> ! </tr> </table> --- 57,122 ---- \valid_expressions <table border> ! <tr> ! <th>Name</th><th>Expression</th><th>Type requirements</th><th>Return type</th> ! </tr> ! <tr> ! <td valign="top">Less</td> ! <td valign="top"><code>x < y</code></td> ! <td valign="top"> </td> ! <td valign="top">Convertible to <code>bool</code></td> ! </tr> ! <tr> ! <td valign="top">Greater</td> ! <td valign="top"><code>x > y</code></td> ! <td valign="top"> </td> ! <td valign="top">Convertible to <code>bool</code></td> ! </tr> ! <tr> ! <td valign="top">Less or equal</td> ! <td valign="top"><code>x <= y</code></td> ! <td valign="top"> </td> ! <td valign="top">Convertible to <code>bool</code></td> ! </tr> ! <tr> ! <td valign="top">Greater or equal</td> ! <td valign="top"><code>x >= y</code></td> ! <td valign="top"> </td> ! <td valign="top">Convertible to <code>bool</code></td> ! </tr> </table> \expression_semantics <table border> ! <tr> ! <th>Name</th><th>Expression</th><th>Precondition</th><th>Semantics</th><th>Postcondition</th> ! </tr> ! <tr> ! <td valign="top">Less</td> ! <td valign="top"><code>x < y</code></td> ! <td valign="top"><code>x</code> and <code>y</code> are in the domain of <code><</code></td> ! <td valign="top"> </td> ! <td valign="top"> </td> ! </tr> ! <tr> ! <td valign="top">Greater</td> ! <td valign="top"><code>x > y</code></td> ! <td valign="top"><code>x</code> and <code>y</code> are in the domain of <code><</code></td> ! <td valign="top">Equivalent to <code>y < x</code> <A href="#1">[1]</A></td> ! <td valign="top"> </td> ! </tr> ! <tr> ! <td valign="top">Less or equal</td> ! <td valign="top"><code>x <= y</code></td> ! <td valign="top"><code>x</code> and <code>y</code> are in the domain of <code><</code></td> ! <td valign="top">Equivalent to <code>!(y < x)</code> <A href="#1">[1]</A></td> ! <td valign="top"> </td> ! </tr> ! <tr> ! <td valign="top">Greater or equal</td> ! <td valign="top"><code>x >= y</code></td> ! <td valign="top"><code>x</code> and <code>y</code> are in the domain of <code><</code></td> ! <td valign="top">Equivalent to <code>!(x < y)</code> <A href="#1">[1]</A></td> ! <td valign="top"> </td> ! </tr> </table> *************** *** 125,145 **** \invariants <table border> ! <tr> ! <td valign="top">Irreflexivity</td> ! <td valign="top"><code>x < x</code> must be false.</td> ! </tr> ! <tr> ! <td valign="top">Antisymmetry</td> ! <td valign="top"><code>x < y</code> implies !(y < x) <A href="#2">[2]</A></td> ! </tr> ! <tr> ! <td valign="top">Transitivity</td> ! <td valign="top"><code>x < y</code> and <code>y < z</code> implies <code>x < z</code> <A href="#3">[3]</A></td> ! </tr> </table> \models ! - int ! - adobe::name_t \notes --- 125,145 ---- \invariants <table border> ! <tr> ! <td valign="top">Irreflexivity</td> ! <td valign="top"><code>x < x</code> must be false.</td> ! </tr> ! <tr> ! <td valign="top">Antisymmetry</td> ! <td valign="top"><code>x < y</code> implies !(y < x) <A href="#2">[2]</A></td> ! </tr> ! <tr> ! <td valign="top">Transitivity</td> ! <td valign="top"><code>x < y</code> and <code>y < z</code> implies <code>x < z</code> <A href="#3">[3]</A></td> ! </tr> </table> \models ! - int ! - adobe::name_t \notes *************** *** 154,157 **** \see_also ! - \ref stldoc_EqualityComparable */ --- 154,157 ---- \see_also ! - \ref stldoc_EqualityComparable */ Index: concept_assignable.dox =================================================================== RCS file: /cvsroot/adobe-source/adobe-source/adobe/documentation/sources/asl/concepts/concept_assignable.dox,v retrieving revision 1.1 retrieving revision 1.2 diff -C2 -d -r1.1 -r1.2 *** concept_assignable.dox 28 Feb 2005 20:48:54 -0000 1.1 --- concept_assignable.dox 3 Feb 2006 18:20:42 -0000 1.2 *************** *** 3,19 **** /* ! ADOBE CONFIDENTIAL ! ___________________ ! Copyright 2003 - 2003 Adobe Systems Incorporated ! All Rights Reserved. ! NOTICE: All information contained herein is, and remains the property of ! Adobe Systems Incorporated and its suppliers, if any. The intellectual and ! technical concepts contained herein are proprietary to Adobe Systems Incorporated ! and its suppliers and may be covered by U.S. and Foreign Patents, patents ! in process, and are protected by trade secret or copyright law. Dissemination ! of this information or reproduction of this material is strictly forbidden ! unless prior written permission is obtained from Adobe Systems Incorporated. */ --- 3,19 ---- /* ! ADOBE CONFIDENTIAL ! ___________________ ! Copyright 2003 - 2003 Adobe Systems Incorporated ! All Rights Reserved. ! NOTICE: All information contained herein is, and remains the property of ! Adobe Systems Incorporated and its suppliers, if any. The intellectual and ! technical concepts contained herein are proprietary to Adobe Systems Incorporated ! and its suppliers and may be covered by U.S. and Foreign Patents, patents ! in process, and are protected by trade secret or copyright law. Dissemination ! of this information or reproduction of this material is strictly forbidden ! unless prior written permission is obtained from Adobe Systems Incorporated. */ *************** *** 33,44 **** \notation <table> ! <tr> ! <td valign="top"><code>X</code></td> ! <td valign="top">A type that is a model of Assignable</td> ! </tr> ! <tr> ! <td valign="top"><code>x</code>, <code>y</code></td> ! <td valign="top">Object of type <code>X</code></td> ! </tr> </table> --- 33,44 ---- \notation <table> ! <tr> ! <td valign="top"><code>X</code></td> ! <td valign="top">A type that is a model of Assignable</td> ! </tr> ! <tr> ! <td valign="top"><code>x</code>, <code>y</code></td> ! <td valign="top">Object of type <code>X</code></td> ! </tr> </table> *************** *** 47,125 **** \valid_expressions <table border> ! <tr> ! <th>Name</th><th>Expression</th><th>Type requirements</th><th>Return type</th> ! </tr> ! <tr> ! <td valign="top">Copy constructor</td> ! <td valign="top"><code>X(x)</code></td> ! <td valign="top"> </td> ! <td valign="top"><code>X</code></td> ! </tr> ! <tr> ! <td valign="top">Copy constructor</td> ! <td valign="top"> <pre>X x(y); X x = y; </pre> ! </td> ! <td valign="top"> </td> ! <td valign="top"> </td> ! </tr> ! <tr> ! <td valign="top">Assignment</td> ! <td valign="top"><code>x = y</code> <A href="#1">[1]</A></td> ! <td valign="top"> </td> ! <td valign="top"><code>X&</code></td> ! </tr> ! <tr> ! <td valign="top">Swap</td> ! <td valign="top"><code>adobe::swap(x,y)</code></td> ! <td valign="top"> </td> ! <td valign="top"><code>void</code></td> ! </tr> </table> \expression_semantics <table border> ! <tr> ! <th>Name</th><th>Expression</th><th>Precondition</th><th>Semantics</th><th>Postcondition</th> ! </tr> ! <tr> ! <td valign="top">Copy constructor</td> ! <td valign="top"><code>X(x)</code></td> ! <td valign="top"> </td> ! <td valign="top"> </td> ! <td valign="top"><code>X(x)</code> is a copy of <code>x</code> <A href="#2">[2]</A></td> ! </tr> ! <tr> ! <td valign="top">Copy constructor</td> ! <td valign="top"><code>X(x)</code></td> ! <td valign="top"> </td> ! <td valign="top"> </td> ! <td valign="top"><code>X(x)</code> is a copy of <code>x</code> <A href="#2">[2]</A></td> ! </tr> ! <tr> ! <td valign="top">Copy constructor</td> ! <td valign="top"> <pre>X x(y); X x = y; </pre> ! </td> ! <td valign="top"> </td> ! <td valign="top"> </td> ! <td valign="top"><code>x</code> is a copy of <code>y</code> <A href="#2">[2]</A></td> ! </tr> ! <tr> ! <td valign="top">Assignment</td> ! <td valign="top"><code>x</code> = <code>y</code> <A href="#1">[1]</A></td> ! <td valign="top"> </td> ! <td valign="top"> </td> ! <td valign="top"><code>x</code> is a copy of <code>y</code> <A href="#2">[2]</A></td> ! </tr> ! <tr> ! <td valign="top">Swap</td> ! <td valign="top"><code>adobe::swap(x,y)</code><A href="#3">[3]</A></td> ! <td valign="top"> </td> ! <td valign="top"> Equivalent to <pre>{ X tmp = x; --- 47,125 ---- \valid_expressions <table border> ! <tr> ! <th>Name</th><th>Expression</th><th>Type requirements</th><th>Return type</th> ! </tr> ! <tr> ! <td valign="top">Copy constructor</td> ! <td valign="top"><code>X(x)</code></td> ! <td valign="top"> </td> ! <td valign="top"><code>X</code></td> ! </tr> ! <tr> ! <td valign="top">Copy constructor</td> ! <td valign="top"> <pre>X x(y); X x = y; </pre> ! </td> ! <td valign="top"> </td> ! <td valign="top"> </td> ! </tr> ! <tr> ! <td valign="top">Assignment</td> ! <td valign="top"><code>x = y</code> <A href="#1">[1]</A></td> ! <td valign="top"> </td> ! <td valign="top"><code>X&</code></td> ! </tr> ! <tr> ! <td valign="top">Swap</td> ! <td valign="top"><code>adobe::swap(x,y)</code></td> ! <td valign="top"> </td> ! <td valign="top"><code>void</code></td> ! </tr> </table> \expression_semantics <table border> ! <tr> ! <th>Name</th><th>Expression</th><th>Precondition</th><th>Semantics</th><th>Postcondition</th> ! </tr> ! <tr> ! <td valign="top">Copy constructor</td> ! <td valign="top"><code>X(x)</code></td> ! <td valign="top"> </td> ! <td valign="top"> </td> ! <td valign="top"><code>X(x)</code> is a copy of <code>x</code> <A href="#2">[2]</A></td> ! </tr> ! <tr> ! <td valign="top">Copy constructor</td> ! <td valign="top"><code>X(x)</code></td> ! <td valign="top"> </td> ! <td valign="top"> </td> ! <td valign="top"><code>X(x)</code> is a copy of <code>x</code> <A href="#2">[2]</A></td> ! </tr> ! <tr> ! <td valign="top">Copy constructor</td> ! <td valign="top"> <pre>X x(y); X x = y; </pre> ! </td> ! <td valign="top"> </td> ! <td valign="top"> </td> ! <td valign="top"><code>x</code> is a copy of <code>y</code> <A href="#2">[2]</A></td> ! </tr> ! <tr> ! <td valign="top">Assignment</td> ! <td valign="top"><code>x</code> = <code>y</code> <A href="#1">[1]</A></td> ! <td valign="top"> </td> ! <td valign="top"> </td> ! <td valign="top"><code>x</code> is a copy of <code>y</code> <A href="#2">[2]</A></td> ! </tr> ! <tr> ! <td valign="top">Swap</td> ! <td valign="top"><code>adobe::swap(x,y)</code><A href="#3">[3]</A></td> ! <td valign="top"> </td> ! <td valign="top"> Equivalent to <pre>{ X tmp = x; *************** *** 128,134 **** } </pre> ! </td> ! <td valign="top"> </td> ! </tr> </table> --- 128,134 ---- } </pre> ! </td> ! <td valign="top"> </td> ! </tr> </table> *************** *** 138,142 **** \models ! - int \notes --- 138,142 ---- \models ! - int \notes *************** *** 154,159 **** \see_also ! - \ref stldoc_DefaultConstructible ! - \ref stldoc_EqualityComparable */ --- 154,159 ---- \see_also ! - \ref stldoc_DefaultConstructible ! - \ref stldoc_EqualityComparable */ Index: concept_regular_type.dox =================================================================== RCS file: /cvsroot/adobe-source/adobe-source/adobe/documentation/sources/asl/concepts/concept_regular_type.dox,v retrieving revision 1.2 retrieving revision 1.3 diff -C2 -d -r1.2 -r1.3 *** concept_regular_type.dox 3 Mar 2005 06:58:16 -0000 1.2 --- concept_regular_type.dox 3 Feb 2006 18:20:42 -0000 1.3 *************** *** 3,19 **** /* ! ADOBE CONFIDENTIAL ! ___________________ ! Copyright 2003 - 2003 Adobe Systems Incorporated ! All Rights Reserved. ! NOTICE: All information contained herein is, and remains the property of ! Adobe Systems Incorporated and its suppliers, if any. the intellectual and ! technical concepts contained herein are proprietary to Adobe Systems Incorporated ! and its suppliers and may be covered by U.S. and Foreign Patents, patents ! in process, and are protected by trade secret or copyright law. Dissemination ! of this information or reproduction of this material is strictly forbidden ! unless prior written permission is obtained from Adobe Systems Incorporated. */ --- 3,19 ---- /* ! ADOBE CONFIDENTIAL ! ___________________ ! Copyright 2003 - 2003 Adobe Systems Incorporated ! All Rights Reserved. ! NOTICE: All information contained herein is, and remains the property of ! Adobe Systems Incorporated and its suppliers, if any. the intellectual and ! technical concepts contained herein are proprietary to Adobe Systems Incorporated ! and its suppliers and may be covered by U.S. and Foreign Patents, patents ! in process, and are protected by trade secret or copyright law. Dissemination ! of this information or reproduction of this material is strictly forbidden ! unless prior written permission is obtained from Adobe Systems Incorporated. */ *************** *** 28,34 **** \refinement_of ! - \ref stldoc_DefaultConstructible ! - \ref stldoc_Assignable ! - \ref stldoc_EqualityComparable \notation --- 28,3... [truncated message content] |