Eclipse Community Forums: ATL » ATL Operator for &&

Help

Home

Home » Modeling » ATL » ATL Operator for &&

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

ATL Operator for && [message #1614677]

Fri, 13 February 2015 12:12

Alexander R

Messages: 211
Registered: July 2013

Senior Member

Hi there,

is it possible to use a Java-like operator && in ATL (not only one &) ?
I would like to validate just one oprand in an if-expression and then jump to the else part.

In java it looks like this:

System.out.println( false && foo() );// false, foo() will not be called
System.out.println( false & foo() ); // false, foo() will be called

ALT behaves like false & foo() and not like false && foo(). I found this also in the documentation:

Quote:

if (exp1 and exp2) ... exp2 will always be evaluated, regardless of the result of the first expression

How may I change this behavior?

Thanks,
Alex

Report message to a moderator

Re: ATL Operator for && [SOLVED] [message #1614742 is a reply to message #1614677]

Fri, 13 February 2015 13:10

Alexander R

Messages: 211
Registered: July 2013

Senior Member

The only workaround I found is to nest if-clauses...like this:

	if false then
		if foo() then OclUndefined else OclUndefined endif
	else
		OclUndefined
	endif;

Each if-clause should handle only one case.
And because ATL uses OCL and OCL is side-effect free, we can use oclundefiend...

Hope this helps someone

Report message to a moderator