Eclipse Community Forums: OCL » Visiting expression from SpecificationCS

Help

Home

Home » Modeling » OCL » Visiting expression from SpecificationCS

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

Visiting expression from SpecificationCS [message #1081872]

Wed, 07 August 2013 20:07

John Guerson

Messages: 51
Registered: August 2011

Member

Hi,

I was wondering to know if there is a way to visit an OCL expression from SpecificationCS.


import org.eclipse.ocl.examples.xtext.base.baseCST.SpecificationCS;
import org.eclipse.ocl.examples.xtext.completeocl.completeOCLCST.ContextConstraintCS;

if (((ContextConstraintCS)tocl_prop) instanceof InvCS)
    SpecificationCS spec = tocl_prop.getSpecification();

Perhaps I need to transform the SpecificationCS into some AST form. I really appreciate any help.

Regards,
John

Report message to a moderator

Re: Visiting expression from SpecificationCS [message #1082423 is a reply to message #1081872]

Thu, 08 August 2013 14:45

Ed Willink

Messages: 7655
Registered: July 2009

Senior Member

Hi

It's best to avoid the CS model, since that will remain
proprietary/Xtext-friendly. You should use the Pivot model which is
evolving towards a UML-aligned standard.

The CS2Pivot orchestrates the translation, possibly using
org.eclipse.ocl.examples.pivot.OCL.cs2pivot(), although you'll find most
of the JUnit tests dive in underneath since the OCL facade is still
evolving.

You should probably be aiming to use the ExpressionInOCL class since
that contains not only the expression body but also the contextual
parameters.

Regards

Ed Willink

On 07/08/2013 21:07, John Guerson wrote:
> Hi,
>
> I was wondering to know if there is a way to visit an OCL expression
> from SpecificationCS.
>
>
> import org.eclipse.ocl.examples.xtext.base.baseCST.SpecificationCS;
> import
> org.eclipse.ocl.examples.xtext.completeocl.completeOCLCST.ContextConstraintCS;
>
> if (((ContextConstraintCS)tocl_prop) instanceof InvCS)
> SpecificationCS spec = tocl_prop.getSpecification();
>
>
>
> Perhaps I need to transform the SpecificationCS into some AST form. I
> really appreciate any help.
>
> Regards,
> John
>
>

Report message to a moderator

Previous Topic:	Parsing an ocl file (complete OCL) to define operations in an environment
Next Topic:	enabling OCL to parse user definded functions

Goto Forum:

-=] Back to Top [=-

[ Syndicate this forum (XML) ] [

]

Current Time: Wed May 08 19:01:38 GMT 2024

.:: Contact :: Home ::.

Breadcrumbs

Sign up to our Newsletter