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

More documents

Recommendations

Info

Content Figure List .................................................................................................................................. 4 Table List.................................................................................................................................... 4 1 Introduction ....................................................................................................................... 5 2 ATL Programming Language Concepts ........................................................................... 6 2.1 OCL Types and OCL Expressions in ATL................................................................... 6 2.1.1 OCL Primitive Types.......................................................................................... 6 2.1.2 OCL Collections ................................................................................................. 7 2.1.3 OCL Model Elements ....................................................................................... 10 2.1.4 Enumerations .................................................................................................... 11 2.1.5 OCL If Expression ............................................................................................ 11 2.1.6 OCL Let Expression ......................................................................................... 11 2.1.7 OCL Comment.................................................................................................. 11 2.1.8 OCL Tips and Tricks ........................................................................................ 12 2.2 ATL Modules.............................................................................................................. 12 2.2.1 Preparation ........................................................................................................ 13 2.2.2 Header Section.................................................................................................. 13 2.2.3 Import Section................................................................................................... 14 2.2.4 Helpers .............................................................................................................. 14 2.2.5 Rules ................................................................................................................. 15 2.3 ATL Advanced Features............................................................................................. 16 2.3.1 Queries and the Generation of Text.................................................................. 16 2.3.2 Libraries ............................................................................................................ 17 2.3.3 Complex Headers.............................................................................................. 17 2.3.4 Rules with Multiple Instantiations.................................................................... 18 2.3.5 Navigation and Multiple Instantiations............................................................. 18 2.3.6 Flexible Runtime Instantiation of Target Elements.......................................... 19 3 The Structure of the ATL Virtual Machine..................................................................... 21 3.1 Data Types .................................................................................................................. 21 3.1.1 Primitive Types................................................................................................. 21 3.1.2 Composite Types .............................................................................................. 21 3.2 Runtime Data Structures............................................................................................. 22 3.2.1 The pc Register ................................................................................................ 22 3.2.2 The ATL Virtual Machine Stack ...................................................................... 22 3.3 Frames......................................................................................................................... 22 3.3.1 Local Variables ................................................................................................. 23 3.3.2 Operand Stack................................................................................................... 23 3.4 Representation of Model Elements............................................................................. 23 3.5 Instruction Set Summary............................................................................................. 23 3.5.1 Operand Stack Handling Instructions ............................................................... 24 3.5.2 Control Instructions .......................................................................................... 24 3.5.3 Model Handling Instructions ............................................................................ 24 4 The ATL Virtual Machine Instruction Set ...................................................................... 26 4.1 Format of Instruction Description............................................................................... 26 4.2 Stack Handling Instructions........................................................................................ 26 4.2.1 The push instruction.......................................................................................... 26
4.2.2 The pushi instruction......................................................................................... 26 4.2.3 The pushd instruction........................................................................................ 27 4.2.4 The pusht instruction......................................................................................... 27 4.2.5 The pushf instruction ........................................................................................ 27 4.2.6 The pop instruction ........................................................................................... 27 4.2.7 The store instruction ......................................................................................... 28 4.2.8 The load instruction .......................................................................................... 28 4.2.9 The swap instruction......................................................................................... 28 4.2.10 The dup instruction ........................................................................................... 28 4.2.11 The dup_x1 instruction ..................................................................................... 29 4.3 Control Instructions .................................................................................................... 29 4.3.1 The if instruction............................................................................................... 29 4.3.2 The goto instruction .......................................................................................... 29 4.3.3 The iterate instruction ....................................................................................... 30 4.3.4 The enditerate instruction ................................................................................. 30 4.3.5 The call instruction ........................................................................................... 30 4.4 Model Handling Instructions ...................................................................................... 31 4.4.1 The new instruction........................................................................................... 31 4.4.2 The get instruction ............................................................................................ 32 4.4.3 The set instruction............................................................................................. 32 4.4.4 The findme instruction...................................................................................... 32 4.4.5 The getasm instruction...................................................................................... 33 5 The asm File Format....................................................................................................... 34 5.1 Overview of the asm File Structure ........................................................................... 34 5.2 The Constant Pool....................................................................................................... 34 5.2.1 Data Types Encoding........................................................................................ 35 5.2.2 Operation Signatures Encoding ........................................................................ 36 5.2.3 Expressions Location Encoding........................................................................ 36 5.3 The Fields.................................................................................................................... 36 5.4 The Operations............................................................................................................ 37 5.4.1 The Context....................................................................................................... 37 5.4.2 The Parameters.................................................................................................. 38 5.4.3 The Code........................................................................................................... 38 5.4.4 The Line Number Table.................................................................................... 39 5.4.5 The Local Variable Table ................................................................................. 40 6 Compiling ATL for the ATL Virtual Machine ............................................................... 41 6.1 Format of Examples.................................................................................................... 41 6.2 Compiling ATL Code to the asm File Format ........................................................... 41 6.2.1 Additional Types............................................................................................... 41 6.2.2 Compiling Primitive Literals ............................................................................ 43 6.2.3 Compiling Composite Literals.......................................................................... 43 6.2.4 Compiling Model Elements .............................................................................. 45 6.2.5 Compiling Transient Links ............................................................................... 46 6.2.6 Compiling a Conditional Expression................................................................ 47 6.2.7 Compiling an Iterative Block............................................................................ 47 6.2.8 Receiving Arguments........................................................................................ 50 6.2.9 Invoking an Operation ...................................................................................... 51 6.3 Compiling an ATL Transformation............................................................................ 51 6.3.1 Compiling Helpers............................................................................................ 51 6.3.2 Compiling Rules ............................................................................................... 52
Page 1: ATL: Atlas Transformation Language
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 27 and 28: Push int constant. Format Operand S
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 53 and 54:
Specification of the ATL Virtual Ma
Page 55 and 56:
7 Future developments Specification
Page 57 and 58:
Page 59 and 60:
I. asm File DTD
Page 61 and 62:
show all

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

You also want an ePaper? Increase the reach of your titles

Delete template?

Save as template?