NICE-5 - THE "CREATE" INSTRUCTION ================================= Adopted by the NICE Board in January 2002. Ratified by the members of NICE in January 2002. === This standard amends the Eiffel syntax to add a new construct for object creation, to be known as the "create" instruction. The "create" instruction is brought into the language by modifying the production for "Instruction" in the grammar of Eiffel as shown on page 560 of ETL 2nd Printing: Instruction == Creation | Create_instruction | Call | Assignment | Assignment_attempt | Conditional | Multi_branch | Loop | Debug | Check | Retry The syntax of the new instruction is specified by adding the following two productions to the grammar of Eiffel: Create_instruction == `create' [Creation_type] Writable [Creation_call] Creation_type == "{" Type "}" The keyword `create' is added to the list of Eiffel keywords. The validity and semantics of the Create_instruction production are identical to those of the Creation production for the same Type, Writable and Creation_call. The following examples show specimens of the Create_instruction production together with equivalent specimens of the Creation production: create x !!x create p1.make (a, b) !!p1.make (a, b) create {SEGMENT} fig.make (p1, p2) !SEGMENT!fig.make (p1, p2) create {LINKED_TREE} ast !LINKED_TREE!ast === Copyright (C) Nonprofit International Consortium for Eiffel (NICE), 2002. You may distribute unmodified copies of this document. You may also create and distribute derived works, provided that you do not misrepresent them as being endorsed by NICE. Eiffel and NICE are trademarks of the Nonprofit International Consortium for Eiffel.