Eclipse Community Forums: Newcomers » Question about imperative do blocks in ATL

Home » Newcomers » Newcomers » Question about imperative do blocks in ATL(Effect of using a specific command in imperative do blocks of ATL rules)

Show: Today's Messages :: Show Polls :: Message Navigator

Question about imperative do blocks in ATL [message #1793933]

Mon, 20 August 2018 16:36

Gehan Mustafa Kamel Selim

Messages: 7
Registered: August 2018

Junior Member

I am performing a study to understand how the different ATL features are used in the ATL Zoo (http://www.eclipse.org/atl/atlTransformations/).
I noticed in many transformations in the ATL zoo, an imperative do block would contain only a variable name followed by a semi colon (where this variable could be a target pattern element).

For example:
"rule Category(name : String, desc : String) {
to
cat : Measure!Category (
name <- name,
desc <- desc
)
do { cat; }}".

I cannot seem to find in the ATL documentation what would be the effect of such a command ? Is this only for debugging purposes (i.e., to show the value of the variable"cat" in the above example in the console) ? or would this result in returning the value of "cat" as the return value of the rule ?

Report message to a moderator