Eclipse Community Forums: EMF » EMF Framework Validation

Help

Home

Home » Modeling » EMF » EMF Framework Validation

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

EMF Framework Validation [message #879730]

Thu, 31 May 2012 18:28

Pablo Silva

Messages: 28
Registered: May 2012
Location: Brazil

Junior Member

Hi guys.

I need put a validation in the my Ecore Model.
This validation is related with a name of a NODE.
This name can't have a caracteres kind of (#%*&($%_) and no spaces.

I would like a some help with this. I'm a new user in this area and
I tryed to do that with OCL Validation, but I can't do that.

I just could do for the first letter of the name.
Look my expression in OCL:

((self.name.substring(1,1)<='@' or self.name.substring(1,1)>='[') and (self.name.substring(1,1)<='`' or self.name.substring(1,1)>='{')) implies self.name.oclIsInvalid()

How I can't do, I need other way for to do.
If you can help me I appreciate.

Report message to a moderator

Re: EMF Framework Validation [message #879762 is a reply to message #879730]

Thu, 31 May 2012 19:45

Ed Willink

Messages: 7670
Registered: July 2009

Senior Member

Hi

There is no Character type in OCL and no codePoint() operation so you
must work with String.

Something like this can be extended

package Pablo : pfx = 'platform:/resource/Activity%20QVTd/Pablo.ecore' {
class Named
{
property name : String;

invariant NoBadCharacters: name.characters()->forAll(c : String
| c <> '<' and c <> '>');
}
}

Regards

Ed Willink

On 31/05/2012 19:28, Pablo Silva wrote:
> Hi guys.
>
> I need put a validation in the my Ecore Model.
> This validation is related with a name of a NODE.
> This name can't have a caracteres kind of (#%*&($%_) and no spaces.
>
> I would like a some help with this. I'm a new user in this area and
> I tryed to do that with OCL Validation, but I can't do that.
>
> I just could do for the first letter of the name.
> Look my expression in OCL:
>
> ((self.name.substring(1,1)<='@' or self.name.substring(1,1)>='[') and
> (self.name.substring(1,1)<='`' or self.name.substring(1,1)>='{'))
> implies self.name.oclIsInvalid()
>
>
> How I can't do, I need other way for to do.
> If you can help me I appreciate.

Report message to a moderator

Previous Topic:	EMF / CDO Transaction conflict
Next Topic:	[CDO] Backends and query languages

Goto Forum:

-=] Back to Top [=-

[ Syndicate this forum (XML) ] [

]

Current Time: Wed Sep 25 18:32:57 GMT 2024

.:: Contact :: Home ::.

Breadcrumbs

Sign up to our Newsletter