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

Specification of the ATL Virtual Machine
Each operation is associated with a unique context. This context is defined by the type attribute that
points to a data type encoding entry of the constant pool.
5.4.2 The Parameters
Each operation is associated with an ordered set of parameters. This ordered set encodes the parameter
declaration order. The parameter set is empty for operations that accept no parameters. A parameter set is
defined by the following structure:
...
]>
Each parameter entry (encoded by a parameter element) has a name and a type attributes. Both
attributes contain the index of a constant pool entry. The name attribute points to a constant pool entry that
contains a variable name (the name of the parameter). The entry the type attribute refers to contains a data
type encoding constant, which defines the parameter type. Parameter tags embed no ordering information.
Within an asm file, the parameters order is encoded by the order in which the parameter tags appear in the
parameters element.
5.4.3 The Code
The treatments that are performed by an operation are defined within the operation code element. The code
of an operation is defined by the following structure:
...
Page 38 / 62