Eclipse Community Forums: OCL » lots of errors in ocl file

Help

Home

Home » Modeling » OCL » lots of errors in ocl file

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

lots of errors in ocl file [message #1765894]

Wed, 14 June 2017 12:03

Banafsheh Azizi

Messages: 328
Registered: July 2016

Senior Member

Hi,

When I open an .ocl file in eclipse, I have several errors (Unresolved " 'eshop', etc.). I attached the related screenshots for the program and installed ocl software.
I also registered the metamodel. However, the errors didn't disappear.

Attachment: Screen Shot 2017-06-14 at 4.03.55 PM.png
(Size: 287.64KB, Downloaded 245 times)
Attachment: Screen Shot 2017-06-14 at 4.19.56 PM.png
(Size: 151.88KB, Downloaded 256 times)

Member of MDSE Research Group
http://mdse.ui.ac.ir

[Updated on: Wed, 14 June 2017 12:10]

Report message to a moderator

Re: lots of errors in ocl file [message #1765898 is a reply to message #1765894]

Wed, 14 June 2017 12:29

Ed Willink

Messages: 7681
Registered: July 2009

Senior Member

Hi

Have you looked at any of the Complete OCL examples? You need an import statement.

'registration' was a solution in the old Eclipse OCL support that was only available in conjunction with a Java API.

The import statement overcomes the total inability of Complete OCL as specified to be used with anything. One day OMG OCL will endorse an import statement.

Regards

Ed Willink

Report message to a moderator

Re: lots of errors in ocl file [message #1765928 is a reply to message #1765898]

Wed, 14 June 2017 13:45

Banafsheh Azizi

Messages: 328
Registered: July 2016

Senior Member

Thank you very much indeed.
When I use import statement, many of the errors disappear. However, I still have 2 errors and one warning. I attached screenshots of the program.

Attachment: Screen Shot 2017-06-14 at 6.06.49 PM.png
(Size: 154.14KB, Downloaded 232 times)
Attachment: Screen Shot 2017-06-14 at 6.14.43 PM.png
(Size: 103.26KB, Downloaded 306 times)

Member of MDSE Research Group
http://mdse.ui.ac.ir

Report message to a moderator

Re: lots of errors in ocl file [message #1765938 is a reply to message #1765928]

Wed, 14 June 2017 14:11

Ed Willink

Messages: 7681
Registered: July 2009

Senior Member

Hi

Providing only partial information makes it impossible to help you further. See https://wiki.eclipse.org/OCL/ForumNetiquette

Regards

Ed Willink

Report message to a moderator

Re: lots of errors in ocl file [message #1765949 is a reply to message #1765938]

Wed, 14 June 2017 14:45

Banafsheh Azizi

Messages: 328
Registered: July 2016

Senior Member

Hi,
something went wrong with that address.

On line 1, import statement, I have bellow warning:
index.php/fa/29650/0/

For line 6, inv minStock: Product::allInstances()->forAll(p|p.stock>=5), I have the bellow error:
index.php/fa/29651/0/

on line 9, inv salesAmount: GoldCustomer::allInstances()->forAll(g| g.sale->select(s| s.paid).amount->sum()>10000), I have the bellow error:
index.php/fa/29652/0/

I also attached the metamodel and ocl file.

Attachment: Screen Shot 2017-06-14 at 7.09.14 PM.png
(Size: 30.58KB, Downloaded 483 times)
Attachment: Screen Shot 2017-06-14 at 7.12.01 PM.png
(Size: 132.71KB, Downloaded 638 times)
Attachment: Screen Shot 2017-06-14 at 7.13.22 PM.png
(Size: 208.97KB, Downloaded 574 times)
Attachment: eShop.ecore
(Size: 3.81KB, Downloaded 292 times)
Attachment: eShop.ecore.ocl
(Size: 0.82KB, Downloaded 209 times)

Member of MDSE Research Group
http://mdse.ui.ac.ir

[Updated on: Wed, 14 June 2017 14:47]

Report message to a moderator

Re: lots of errors in ocl file [message #1765958 is a reply to message #1765949]

Wed, 14 June 2017 15:18

Ed Willink

Messages: 7681
Registered: July 2009

Senior Member

Hi

I don't know why you do

import eShop : 'http://www.example.com/'

For which the error message is:

Multiple markers at this line
- Unresolved Namespace 'http://www.example.com/'
- The required feature 'pivot::Import::importedNamespace' of 'eShop : «null»' must be set

If I do

import eShop : 'eShop.ecore'

it works fine.

Regards

Ed Willink

Report message to a moderator

Re: lots of errors in ocl file [message #1765973 is a reply to message #1765958]

Wed, 14 June 2017 16:13

Banafsheh Azizi

Messages: 328
Registered: July 2016

Senior Member

Since in the EPackageRegistry the uri of this ecore is http://www.example.com, I used this address in the import statement.

When I test eShop.ecore instead of this address, I have the same error. I also change the uri of this ecore to eShop or eShop.ecore but the error doesn't disappear.

Member of MDSE Research Group
http://mdse.ui.ac.ir

[Updated on: Wed, 14 June 2017 16:14]

Report message to a moderator

Re: lots of errors in ocl file [message #1765986 is a reply to message #1765973]

Wed, 14 June 2017 17:16

Ed Willink

Messages: 7681
Registered: July 2009

Senior Member

Hi

The EPackageRegistry is useful for applications that use installed facilities. Editors generally use dynamic models. Certainly eShop.ecore is a dynamic model. I have no idea how you actually poke the EPackageRegistry .

Since an import works for me and you do not tell me precisely what you do, I cannot help tell you what you did wrong.

Regards

Ed Willink

Report message to a moderator

Previous Topic:	Using Java APIs
Next Topic:	ETL constraints to OCL

Goto Forum:

-=] Back to Top [=-

[ Syndicate this forum (XML) ] [

]

Current Time: Thu Dec 26 22:06:51 GMT 2024

.:: Contact :: Home ::.

Breadcrumbs

Sign up to our Newsletter