Eclipse Community Forums: OCL » How to specify integer value in an invariant?

Help

Home

Home » Modeling » OCL » How to specify integer value in an invariant?

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

How to specify integer value in an invariant? [message #1058337]

Mon, 13 May 2013 11:23

Kosala Yapa
Messages: 134
Registered: September 2010

Senior Member

Hi,

Lets take this example:

Constraint invariant = helper.createInvariant("self.Modules->size()<=20")

How to give 20 as integer?

In here, it takes as string, and i get an error:
Exception in thread "main" java.lang.AbstractMethodError: org.eclipse.ocl.ecore.impl.IntegerLiteralExpImpl.setLongSymbol(Ljava/lang/Long;)V

Thanks

Report message to a moderator

Re: How to specify integer value in an invariant? [message #1059414 is a reply to message #1058337]

Sat, 18 May 2013 01:57

Abbas Mansoori Razi is currently offline

Abbas Mansoori Razi
Messages: 5
Registered: August 2012

Junior Member

hi
you must use AbstractVisitor in order walking ocl AST
and override visitOperationCallExp method,and useing getIntegerSymbol() such as follow:
List<OCLExpression<EClassifier>> arguments = callExp.getArgument();

if (arguments.isEmpty()) {
argumentResults = Collections.emptyList();
} else {
argumentResults = new java.util.ArrayList<Boolean>(arguments.size());
System.out.printf( arguments.toString());

for (OCLExpression<EClassifier> qual : arguments) {
if(qual instanceof IntegerLiteralExp)
{
valProperty=((IntegerLiteralExp) qual).getIntegerSymbol();
}
argumentResults.add(safeVisit(qual));

}
}
Regards
Abbas Mansoori Razi

Report message to a moderator

Re: How to specify integer value in an invariant? [message #1059436 is a reply to message #1059414]

Sat, 18 May 2013 07:40

Ed Willink
Messages: 3191
Registered: July 2009

Senior Member

Hi

The original question made no sense to me, so perhaps I'm not surprised
that the answer doesn't either.

Regards

Ed Willink

On 18/05/2013 06:57, Abbas Mansoori Razi wrote:
> hi
> you must use AbstractVisitor in order walking ocl AST
> and override visitOperationCallExp method,and useing
> getIntegerSymbol() such as follow:
> List<OCLExpression<EClassifier>> arguments = callExp.getArgument();
> if (arguments.isEmpty()) {
> argumentResults = Collections.emptyList();
> } else {
> argumentResults = new
> java.util.ArrayList<Boolean>(arguments.size());
> System.out.printf( arguments.toString());
> for (OCLExpression<EClassifier>
> qual : arguments) {
> if(qual instanceof IntegerLiteralExp)
> {
> valProperty=((IntegerLiteralExp)
> qual).getIntegerSymbol();
> }
> argumentResults.add(safeVisit(qual));
> }
> }
> Regards
> Abbas Mansoori Razi

Report message to a moderator

Previous Topic:	line1 : error missing EOF at '('
Next Topic:	Custom validation failure messages

Goto Forum:

-=] Back to Top [=-

[ Syndicate this forum (XML) ] [

]

Current Time: Tue May 28 16:15:20 EDT 2013