Eclipse Community Forums: ATL » Compilation of rule

Help

Home

Home » Modeling » ATL » Compilation of rule

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

Compilation of rule [message #1840771]

Fri, 23 April 2021 13:57

jo ber

Messages: 94
Registered: August 2018

Member

Hello

Is there a possibility to verify that the model elements used in an ATL rule complies with the effective model definition. My impression is that this kind of discrepancies is only raised at runtime.

Thank you and kind regards,

Report message to a moderator

Re: Compilation of rule [message #1840801 is a reply to message #1840771]

Sat, 24 April 2021 21:03

Dennis Wagelaar

Messages: 589
Registered: September 2012
Location: Belgium

Senior Member

The only way to fully verify this is through (unit) tests. In addition, it also depends on your ATL code coverage: ATL code that is not triggered on a specific model may contain type errors w.r.t. the metamodel, but not trigger a runtime error. That said, the EMFTVM runtime will verify that all metaclasses specified in the ATL code actually exist in the metamodels used at load time (i.e. just before executing the transformation code). However, it will not verify any of the accessed properties and operations defined on those metaclasses.

Cheers,
Dennis

Report message to a moderator

Previous Topic:	Null-safe navigator operator
Next Topic:	An ATL Freelancer

Goto Forum:

-=] Back to Top [=-

[ Syndicate this forum (XML) ] [

]

Current Time: Fri Apr 26 09:33:34 GMT 2024

.:: Contact :: Home ::.

Breadcrumbs

Sign up to our Newsletter