ATL: Atlas Transformation Language Specification of the ... - Eclipse

More documents

Recommendations

Info

Specification of the ATL Virtual Machine 4 The ATL Virtual Machine Instruction Set The instructions the ATL virtual machine supports can be grouped into three classes: the stack handling instructions, the control instructions and the model handling instructions. The stack handling instruction set defines the instructions enabling to handle a frame operand stack. The control instruction set specifies the instructions that provide control (such as iteration) over the execution flow. The model handling instruction set provides model elements access facilities. This section gives details about the format of each ATL virtual machine instruction and the operation it performs. 4.1 Format of Instruction Description Each instruction description is presented as follows: Operation Short description of the instruction. Format Operand stack mnemonic operand …, value1, value2 ⇒ …, result This notation shows an operation that begins by having value2 on top of the operand stack, with value1 just beneath it. As a result of the execution of the instruction, value1 and value2 are popped from the operand stack and replaced by result value, which has been calculated by the instruction. The remainder of the operand stack, represented by an ellipsis (…), is unaffected by the execution of the instruction. Description A longer description detailing constraints on operand stack contents or constant pool entries, the operation performed the type of results, etc. Notes Comments not strictly part of the specification of an instruction are set aside as notes at the end of the description. 4.2 Stack Handling Instructions 4.2.1 The push instruction Operation Push string constant. Format Operand Stack Description push s … ⇒ …, s Push the string constant s onto the operand stack. 4.2.2 The pushi instruction Operation Page 26 / 62
Push int constant. Format Operand Stack Description pushi i … ⇒ …, i Push the int constant i onto the operand stack. 4.2.3 The pushd instruction Operation Push double constant. Format Operand Stack Description Pushd D … ⇒ …, d Specification of the ATL Virtual Machine Push the double constant d onto the operand stack. 4.2.4 The pusht instruction Operation Push true boolean constant. Format Operand Stack Description pusht … ⇒ …, true Push the true boolean constant onto the operand stack. 4.2.5 The pushf instruction Operation Push false boolean constant. Format Operand Stack Description pushf … ⇒ …, false Push the false boolean constant onto the operand stack. 4.2.6 The pop instruction Operation Page 27 / 62
Page 1 and 2: ATL: Atlas Transformation Language
Page 3 and 4: 4.2.2 The pushi instruction........
Page 5 and 6: 1 Introduction Specification of the
Page 7 and 8: Boolean operations: true or false 2
Page 9 and 10: • Removing an element from the ba
Page 11 and 12: Specification of the ATL Virtual Ma
Page 13 and 14: 2.2.1 Preparation Specification of
Page 17 and 18: 2.3.2 Libraries Specification of th
Page 23 and 24: 3.3.1 Local Variables Specification
Page 25: Specification of the ATL Virtual Ma
Page 29 and 30: Duplicate the top operand stack val
Page 31 and 32: Description Specification of the AT
Page 33 and 34: 4.4.5 The getasm instruction Operat
Page 37 and 38: ]> Specification of the ATL Virtua
Page 39 and 40: ]> Specification of the ATL Vi
Page 51 and 52: 6.2.9 Invoking an Operation Specifi
Page 55 and 56: 7 Future developments Specification
Page 59 and 60: I. asm File DTD

ATL: Atlas Transformation Language Specification of the ... - Eclipse

Create successful ePaper yourself

Delete template?

Save as template?