Eclipse Community Forums: OCL » UMLPrimitiveType int x OCL UnlimitedNatural

Help

Home

Home » Modeling » OCL » UMLPrimitiveType int x OCL UnlimitedNatural

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

UMLPrimitiveType int x OCL UnlimitedNatural [message #994572]

Thu, 27 December 2012 18:09

John Guerson

Messages: 51
Registered: August 2011

Member

Hi,

A UML PrimitiveType int is different from OCL Literals Integer and UnlimitedNatural?

In the following constraint:

context Person inv : self.age > 0

age result in a PrimitiveType "int".
0 is a UnlimitedNatualExp in OCL.

The Complete OCL Editor does not shows any erros ... but when i run the method parse() i got the error above:

org.eclipse.ocl.SemanticException: Cannot find operation (>=(Integer)) for the type (int)
	at org.eclipse.ocl.util.OCLUtil.checkForErrors(OCLUtil.java:358)
	at org.eclipse.ocl.OCL.parse(OCL.java:323)
	at br.ufes.inf.nemo.ocl2alloy.parser.OCLParser.<init>(OCLParser.java:152)
	at br.ufes.inf.nemo.ocl2alloy.parser.OCLParser.main(OCLParser.java:197)

But if i do the cast oclAsType(Integer) the method parse() executes succesfully:

context Person inv : self.age.oclAsType(Integer) > 0
context Person inv : self.age.oclAsType(UnlimitedNatural) > 0

Any Idea on how to solve this?

Appreciate your attention...
John

Report message to a moderator

Re: UMLPrimitiveType int x OCL UnlimitedNatural [message #994579 is a reply to message #994572]

Thu, 27 December 2012 18:32

Ed Willink

Messages: 7655
Registered: July 2009

Senior Member

Hi

I think this was fixed in the Kepler M3 milestone, so you could use the
latest M4 milestone, which should be installable on Juno.

Or just use oclAsType() as you discovered.

(The bug is was in the legacy Ecore-based OCL parser of EDataType
argument operations. The Complete OCL editor uses the
new pivot-based parser which has no error here.)

You could also change the delegate URI in the OCL Preference Page so
that the Pivot-based evaluator is used.

Regards

Ed Willink

On 27/12/2012 18:09, John G. wrote:
> Hi,
>
> A UML PrimitiveType int is different from OCL Literals Integer and
> UnlimitedNatural?
>
> In the following constraint:
>
>
> context Person inv : self.age > 0
>
>
> age result in a PrimitiveType "int".
> 0 is a UnlimitedNatualExp in OCL.
>
> The Complete OCL Editor does not shows any erros ... but when i run
> the method parse() i got the error above:
>
>
> org.eclipse.ocl.SemanticException: Cannot find operation (>=(Integer))
> for the type (int)
> at org.eclipse.ocl.util.OCLUtil.checkForErrors(OCLUtil.java:358)
> at org.eclipse.ocl.OCL.parse(OCL.java:323)
> at
> br.ufes.inf.nemo.ocl2alloy.parser.OCLParser.<init>(OCLParser.java:152)
> at
> br.ufes.inf.nemo.ocl2alloy.parser.OCLParser.main(OCLParser.java:197)
>
>
> But if i do the cast oclAsType(Integer) the method parse() executes
> succesfully:
>
>
> context Person inv : self.age.oclAsType(Integer) > 0
> context Person inv : self.age.oclAsType(UnlimitedNatural) > 0
>
>
> Any Idea on how to solve this?
>
> Appreciate your attention...
> John
>
>
>

Report message to a moderator

Previous Topic:	OCL and QVT
Next Topic:	UI Dependency Problem of emf.Diagnostics (instance models with OCL Pivot constraints)

Goto Forum:

-=] Back to Top [=-

[ Syndicate this forum (XML) ] [

]

Current Time: Wed Apr 24 16:44:21 GMT 2024

.:: Contact :: Home ::.

Breadcrumbs

Sign up to our Newsletter