Jump to: navigation, search

Difference between revisions of "ATL 2006"

(added CVS links to regex location)
(updated some urls)
(4 intermediate revisions by the same user not shown)
Line 6: Line 6:
 
It features a new, faster, compiler as well as new possiblities:
 
It features a new, faster, compiler as well as new possiblities:
 
* several iterators in ''iterate'', ''exists'', and ''forAll'',
 
* several iterators in ''iterate'', ''exists'', and ''forAll'',
* rule inheritance,
+
* [[ATL_Language_Troubleshooter#Rule_inheritance|rule inheritance]],
* multiple source pattern elements,
+
* multiple source pattern elements (usage examples from the newsgroup: with resolveTemp [http://dev.eclipse.org/newslists/news.eclipse.modeling.m2m/msg00445.html (1)] [http://dev.eclipse.org/newslists/news.eclipse.modeling.m2m/msg02100.html (2)]),
 
* calling super helpers,
 
* calling super helpers,
 
* etc.
 
* etc.
Line 14: Line 14:
 
If you need to use refining mode, then use ATL 2004 (see remarks section below).
 
If you need to use refining mode, then use ATL 2004 (see remarks section below).
  
[http://www.sciences.univ-nantes.fr/lina/atl/www/presentations/awme2/02%20-%20New%20announcements%20for%20ATL'2006%20(Jouault).ppt New announcements for ATL'2006] were presented at the [http://www.sciences.univ-nantes.fr/lina/atl/Events/AWME2 2nd AMMA/ATL Workshop on Model Engineering].
+
[http://atlanmod.emn.fr/www/presentations/awme2/02%20-%20New%20announcements%20for%20ATL'2006%20(Jouault).ppt New announcements for ATL'2006] were presented at the [http://atlanmod.emn.fr/Events/AWME2 2nd AMMA/ATL Workshop on Model Engineering].
  
 
==Usage==
 
==Usage==
Line 48: Line 48:
 
  helper context A def: test() : Integer = 1;
 
  helper context A def: test() : Integer = 1;
 
  helper context B def: test() : Integer = super.test() + 1;
 
  helper context B def: test() : Integer = super.test() + 1;
 +
 +
==Source==
 +
 +
The source of ATL 2006 is provided as the [http://dev.eclipse.org/viewcvs/index.cgi/org.eclipse.m2m/org.eclipse.m2m.atl/dsls/ATL/?root=Modeling_Project ATL] [[TCS/Language Project|language project]], which contains:
 +
* The [http://dev.eclipse.org/viewcvs/index.cgi/org.eclipse.m2m/org.eclipse.m2m.atl/dsls/ATL/Metamodel/ATL.km3?root=Modeling_Project&view=markup ATL metamodel] in [[KM3]].
 +
* The [http://dev.eclipse.org/viewcvs/index.cgi/org.eclipse.m2m/org.eclipse.m2m.atl/dsls/ATL/Syntax/ATL.tcs?root=Modeling_Project&view=markup ATL concrete syntax] in [[TCS]].
 +
* The [http://dev.eclipse.org/viewcvs/index.cgi/org.eclipse.m2m/org.eclipse.m2m.atl/dsls/ATL/Compiler/ATL.acg?root=Modeling_Project&view=markup ATL compiler] in [[ACG]].
  
 
==Remarks==
 
==Remarks==

Revision as of 09:35, 31 July 2009

< To: ATL

Introduction

ATL 2006 is the name of a new version of ATL. It features a new, faster, compiler as well as new possiblities:

  • several iterators in iterate, exists, and forAll,
  • rule inheritance,
  • multiple source pattern elements (usage examples from the newsgroup: with resolveTemp (1) (2)),
  • calling super helpers,
  • etc.

The current version does not support refining mode yet. If you need to use refining mode, then use ATL 2004 (see remarks section below).

New announcements for ATL'2006 were presented at the 2nd AMMA/ATL Workshop on Model Engineering.

Usage

Using the ATL 2006 compiler

Support for multiple ATL compilers has been committed to CVS. To select a compiler, the first line of the transformation must consist of a comment with the @atlcompiler tag followed by the name of the compiler. For instance, selecting the ATL 2006 compiler is performed by adding the following line as the very first line of the ATL file:

-- @atlcompiler atl2006

You need to install the org.eclipse.gmt.atl.atl2006 plugin in order to use the ATL 2006 compiler.

To select ATL 2004 (see remarks section below), the following line can be used:

-- @atlcompiler atl2004

Note that the default compiler is still ATL 2004 for the moment. The default compiler is invoked when there is no line matching the pattern described in this section.

The following Java regular expression is used in class AtlCompiler of the org.atl.eclipse.engine plugin to parse the first line of ATL files in order to get the name of the compiler to use:

 ^\p{Space}*--\p{Space}*@atlcompiler\p{Space}+([^\p{Space}]*)\p{Space}*$

Note that it can accomodate whitespaces.

Calling super helpers

The super keyword lets you call helpers with the same name defined on a super type of the current type.

Suppose you have the following metamodel:

class A {}
class B extends A {}

Then you can write:

helper context A def: test() : Integer = 1;
helper context B def: test() : Integer = super.test() + 1;

Source

The source of ATL 2006 is provided as the ATL language project, which contains:

Remarks

The initial version of ATL was released in 2004 and is therefore named ATL 2004. However, ATL 2004 has evolved between 2004 and 2006. Moreover, minor evolutions may still be made to ATL 2004 (e.g., bug corrections).