Eclipse Community Forums: OCL » RE: IProviderOperationExecutor execute method

Help

Home

Home » Modeling » OCL » RE: IProviderOperationExecutor execute method

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

RE: IProviderOperationExecutor execute method [message #59269]

Thu, 17 July 2008 13:55

Mark Melia

Messages: 142
Registered: July 2009

Senior Member

Hi,

I had been messing around with the validation examples and with the help
of Christian I was able to get an OCL to be validated against my EMF
model. I got this working on a previous version on eclipse, and now trying
to get it working on the new version. I notice some of the code has been
updated, for example I am the class
org.eclipse.emf.validation.examples.general.actions.MyModelV alidationService,
the IProviderOperationExecutor execute action has changed and now gives a
return type 'T', which was previously void. Does anybody have any idea of
why this changed and what T is?

public IValidator newValidator(EvaluationMode mode) {
assert mode != null && !mode.isNull();

IProviderOperationExecutor executor = new IProviderOperationExecutor() {
public void execute(IProviderOperation op) { < --ERROR - VOID NOT
COMPATIABLE
MyModelValidationService.this.execute(op);
}};

if (mode == EvaluationMode.BATCH) {
return new BatchValidator(executor);
} else if (mode == EvaluationMode.LIVE) {
return new LiveValidator(executor);
} else {
throw new IllegalArgumentException();
}
}

I hope this makes sense - thanks for your help,
Mark

Report message to a moderator

RE: IProviderOperationExecutor execute method [message #59295 is a reply to message #59269]

Thu, 17 July 2008 14:13

Eclipse User

Originally posted by: cdamus.zeligsoft.com

--=-ccFWNL/8FWgwBuoOszlP
Content-Type: text/plain
Content-Transfer-Encoding: 7bit

Hi, Mark,

This is one of those examples of the caveat against implementing or
using internal API :-D

The 1.2 release of this component adopts J2SE 5.0, including the
genericity capability. The return type T is a type parameter of the
IProviderOperation, constrained to be some kind of collection of some
kind of IModelConstraint type.

The IProviderOperation and IProviderOperationExecutor interfaces both
are internal API. Does our example demonstrate implementation/usage of
these internal APIs?

cW

On Thu, 2008-07-17 at 13:55 +0000, Mark Melia wrote:

> Hi,
>
> I had been messing around with the validation examples and with the help
> of Christian I was able to get an OCL to be validated against my EMF
> model. I got this working on a previous version on eclipse, and now trying
> to get it working on the new version. I notice some of the code has been
> updated, for example I am the class
> org.eclipse.emf.validation.examples.general.actions.MyModelV alidationService,
> the IProviderOperationExecutor execute action has changed and now gives a
> return type 'T', which was previously void. Does anybody have any idea of
> why this changed and what T is?
>
> public IValidator newValidator(EvaluationMode mode) {
> assert mode != null && !mode.isNull();
>
> IProviderOperationExecutor executor = new IProviderOperationExecutor() {
> public void execute(IProviderOperation op) { < --ERROR - VOID NOT
> COMPATIABLE
> MyModelValidationService.this.execute(op);
> }};
>
> if (mode == EvaluationMode.BATCH) {
> return new BatchValidator(executor);
> } else if (mode == EvaluationMode.LIVE) {
> return new LiveValidator(executor);
> } else {
> throw new IllegalArgumentException();
> }
> }
>
> I hope this makes sense - thanks for your help,
> Mark
>

--=-ccFWNL/8FWgwBuoOszlP
Content-Type: text/html; charset=utf-8

<!DOCTYPE HTML PUBLIC "-//W3C//DTD HTML 4.0 TRANSITIONAL//EN">
<HTML>
<HEAD>
<META HTTP-EQUIV="Content-Type" CONTENT="text/html; CHARSET=UTF-8">
<META NAME="GENERATOR" CONTENT="GtkHTML/3.16.0">
</HEAD>
<BODY>
Hi, Mark, 
 
This is one of those examples of the caveat against implementing or using internal API  :-D 
 
The 1.2 release of this component adopts J2SE 5.0, including the genericity capability.  The return type T is a type parameter of the IProviderOperation, constrained to be some kind of collection of some kind of IModelConstraint type. 
 
The IProviderOperation and IProviderOperationExecutor interfaces both are internal API.  Does our example demonstrate implementation/usage of these internal APIs? 
 
cW 
 
 
On Thu, 2008-07-17 at 13:55 +0000, Mark Melia wrote:
<BLOCKQUOTE TYPE=CITE>
<PRE>
Hi,

I had been messing around with the validation examples and with the help 
of Christian I was able to get an OCL to be validated against my EMF 
model. I got this working on a previous version on eclipse, and now trying 
to get it working on the new version. I notice some of the code has been 
updated, for example I am the class 
 org.eclipse.emf.validation.examples.general.actions.MyModelV alidationService, 
the IProviderOperationExecutor execute action has changed and now gives a 
return type 'T', which was previously void. Does anybody have any idea of 
why this changed and what T is?

public IValidator newValidator(EvaluationMode mode) {
 assert mode != null && !mode.isNull();
 
 IProviderOperationExecutor executor = new IProviderOperationExecutor() {
 public void execute(IProviderOperation op) { < --ERROR - VOID NOT 
COMPATIABLE 
 MyModelValidationService.this.execute(op);
 }};
 
 if (mode == EvaluationMode.BATCH) {
 return new BatchValidator(executor);
 } else if (mode == EvaluationMode.LIVE) {
 return new LiveValidator(executor);
 } else {
 throw new IllegalArgumentException();
 }
 }

I hope this makes sense - thanks for your help,
Mark

</PRE>
</BLOCKQUOTE>
</BODY>
</HTML>

--=-ccFWNL/8FWgwBuoOszlP--

Report message to a moderator

Re: IProviderOperationExecutor execute method [message #59318 is a reply to message #59295]

Thu, 17 July 2008 14:35

Mark Melia

Messages: 142
Registered: July 2009

Senior Member

Hey Christian,

How are you, I annoyed you with this problem some time ago and you helped
me get it up and running - thanks for helping me again :)

The example does seem to be useing interfaces. Basically what we have done
is extend your example from org.eclipse.emf.validation.examples.general to
work in with our GMF project. Our GMF project has been updated, and so has
the Eclipse landscape so I was trying to get the OCL validation of models
to work again.

Perhaps there is a better way of doing this now? I was looking for a
update to this example, but the download manger has changed and I cant
find any OCL validation examples - is there any around?

Any help would be much appricated.

Mark

Christian W. Damus wrote:

> Hi, Mark,

> This is one of those examples of the caveat against implementing or
> using internal API :-D

> The 1.2 release of this component adopts J2SE 5.0, including the
> genericity capability. The return type T is a type parameter of the
> IProviderOperation, constrained to be some kind of collection of some
> kind of IModelConstraint type.

> The IProviderOperation and IProviderOperationExecutor interfaces both
> are internal API. Does our example demonstrate implementation/usage of
> these internal APIs?

> cW

> On Thu, 2008-07-17 at 13:55 +0000, Mark Melia wrote:

>> Hi,
>>
>> I had been messing around with the validation examples and with the help
>> of Christian I was able to get an OCL to be validated against my EMF
>> model. I got this working on a previous version on eclipse, and now trying
>> to get it working on the new version. I notice some of the code has been
>> updated, for example I am the class
>>
org.eclipse.emf.validation.examples.general.actions.MyModelV alidationService,
>> the IProviderOperationExecutor execute action has changed and now gives a
>> return type 'T', which was previously void. Does anybody have any idea of
>> why this changed and what T is?
>>
>> public IValidator newValidator(EvaluationMode mode) {
>> assert mode != null && !mode.isNull();
>>
>> IProviderOperationExecutor executor = new IProviderOperationExecutor() {
>> public void execute(IProviderOperation op) { < --ERROR - VOID NOT
>> COMPATIABLE
>> MyModelValidationService.this.execute(op);
>> }};
>>
>> if (mode == EvaluationMode.BATCH) {
>> return new BatchValidator(executor);
>> } else if (mode == EvaluationMode.LIVE) {
>> return new LiveValidator(executor);
>> } else {
>> throw new IllegalArgumentException();
>> }
>> }
>>
>> I hope this makes sense - thanks for your help,
>> Mark
>>

Report message to a moderator

Re: IProviderOperationExecutor execute method [message #59343 is a reply to message #59318]

Fri, 18 July 2008 01:18

Eclipse User

Originally posted by: cdamus.zeligsoft.com

--=-ludr1XHsT4d3mHp2EpQZ
Content-Type: text/plain
Content-Transfer-Encoding: 7bit

Hi, Mark,

Annoyed? Nah. You're a regular contributor in the newsgroups, and
welcome.

Yes. An example that demonstrates how to violate the API rules would
seem like a bad idea, but I don't see an example that does this. It
would appear that you dreamt the whole thing. :-P I don't even see a
reason why you should want to implement your own validation service.

The OCL validation example should still be there ... if you installed
the EMF Validation Framework SDK, that is. Look for it in the "File ->
New -> Example..." menu, in the "EMF Validation Framework Plug-ins"
category. It has a new example demonstrating how to create a dynamic
constraint provider; the example loads OCL constraints from a *.ocl
document.

Cheers,

Christian

On Thu, 2008-07-17 at 14:35 +0000, Mark Melia wrote:

> Hey Christian,
>
> How are you, I annoyed you with this problem some time ago and you helped
> me get it up and running - thanks for helping me again :)
>
> The example does seem to be useing interfaces. Basically what we have done
> is extend your example from org.eclipse.emf.validation.examples.general to
> work in with our GMF project. Our GMF project has been updated, and so has
> the Eclipse landscape so I was trying to get the OCL validation of models
> to work again.
>
> Perhaps there is a better way of doing this now? I was looking for a
> update to this example, but the download manger has changed and I cant
> find any OCL validation examples - is there any around?
>
> Any help would be much appricated.
>
> Mark
>
>
> Christian W. Damus wrote:
>
> > Hi, Mark,
>
> > This is one of those examples of the caveat against implementing or
> > using internal API :-D
>
> > The 1.2 release of this component adopts J2SE 5.0, including the
> > genericity capability. The return type T is a type parameter of the
> > IProviderOperation, constrained to be some kind of collection of some
> > kind of IModelConstraint type.
>
> > The IProviderOperation and IProviderOperationExecutor interfaces both
> > are internal API. Does our example demonstrate implementation/usage of
> > these internal APIs?
>
> > cW
>
>
> > On Thu, 2008-07-17 at 13:55 +0000, Mark Melia wrote:
>
> >> Hi,
> >>
> >> I had been messing around with the validation examples and with the help
> >> of Christian I was able to get an OCL to be validated against my EMF
> >> model. I got this working on a previous version on eclipse, and now trying
> >> to get it working on the new version. I notice some of the code has been
> >> updated, for example I am the class
> >>
> org.eclipse.emf.validation.examples.general.actions.MyModelV alidationService,
> >> the IProviderOperationExecutor execute action has changed and now gives a
> >> return type 'T', which was previously void. Does anybody have any idea of
> >> why this changed and what T is?
> >>
> >> public IValidator newValidator(EvaluationMode mode) {
> >> assert mode != null && !mode.isNull();
> >>
> >> IProviderOperationExecutor executor = new IProviderOperationExecutor() {
> >> public void execute(IProviderOperation op) { < --ERROR - VOID NOT
> >> COMPATIABLE
> >> MyModelValidationService.this.execute(op);
> >> }};
> >>
> >> if (mode == EvaluationMode.BATCH) {
> >> return new BatchValidator(executor);
> >> } else if (mode == EvaluationMode.LIVE) {
> >> return new LiveValidator(executor);
> >> } else {
> >> throw new IllegalArgumentException();
> >> }
> >> }
> >>
> >> I hope this makes sense - thanks for your help,
> >> Mark
> >>
>
>

--=-ludr1XHsT4d3mHp2EpQZ
Content-Type: text/html; charset=utf-8

<!DOCTYPE HTML PUBLIC "-//W3C//DTD HTML 4.0 TRANSITIONAL//EN">
<HTML>
<HEAD>
<META HTTP-EQUIV="Content-Type" CONTENT="text/html; CHARSET=UTF-8">
<META NAME="GENERATOR" CONTENT="GtkHTML/3.16.0">
</HEAD>
<BODY>
Hi, Mark, 
 
Annoyed?  Nah.  You're a regular contributor in the newsgroups, and welcome. 
 
Yes.  An example that demonstrates how to violate the API rules would seem like a bad idea, but I don't see an example that does this.  It would appear that you dreamt the whole thing.  :-P   I don't even see a reason why you should want to implement your own validation service. 
 
The OCL validation example should still be there ... if you installed the EMF Validation Framework SDK, that is.  Look for it in the "File -> New -> Example..." menu, in the "EMF Validation Framework Plug-ins" category.  It has a new example demonstrating how to create a dynamic constraint provider; the example loads OCL constraints from a *.ocl document. 
 
Cheers, 
 
Christian 
 
 
On Thu, 2008-07-17 at 14:35 +0000, Mark Melia wrote:
<BLOCKQUOTE TYPE=CITE>
<PRE>
Hey Christian,

How are you, I annoyed you with this problem some time ago and you helped 
me get it up and running - thanks for helping me again :)

The example does seem to be useing interfaces. Basically what we have done 
is extend your example from org.eclipse.emf.validation.examples.general to 
work in with our GMF project. Our GMF project has been updated, and so has 
the Eclipse landscape so I was trying to get the OCL validation of models 
to work again.

Perhaps there is a better way of doing this now? I was looking for a 
update to this example, but the download manger has changed and I cant 
find any OCL validation examples - is there any around?

Any help would be much appricated.

Mark

Christian W. Damus wrote:

> Hi, Mark,

> This is one of those examples of the caveat against implementing or
> using internal API :-D

> The 1.2 release of this component adopts J2SE 5.0, including the
> genericity capability. The return type T is a type parameter of the
> IProviderOperation, constrained to be some kind of collection of some
> kind of IModelConstraint type.

> The IProviderOperation and IProviderOperationExecutor interfaces both
> are internal API. Does our example demonstrate implementation/usage of
> these internal APIs?

> cW

> On Thu, 2008-07-17 at 13:55 +0000, Mark Melia wrote:

>> Hi,
>> 
>> I had been messing around with the validation examples and with the help 
>> of Christian I was able to get an OCL to be validated against my EMF 
>> model. I got this working on a previous version on eclipse, and now trying 
>> to get it working on the new version. I notice some of the code has been 
>> updated, for example I am the class 
>> 
 org.eclipse.emf.validation.examples.general.actions.MyModelV alidationService, 
>> the IProviderOperationExecutor execute action has changed and now gives a 
>> return type 'T', which was previously void. Does anybody have any idea of 
>> why this changed and what T is?
>> 
>> public IValidator newValidator(EvaluationMode mode) {
>> assert mode != null && !mode.isNull();
>> 
>> IProviderOperationExecutor executor = new IProviderOperationExecutor() {
>> public void execute(IProviderOperation op) { < --ERROR - VOID NOT 
>> COMPATIABLE 
>> MyModelValidationService.this.execute(op);
>> }};
>> 
>> if (mode == EvaluationMode.BATCH) {
>> return new BatchValidator(executor);
>> } else if (mode == EvaluationMode.LIVE) {
>> return new LiveValidator(executor);
>> } else {
>> throw new IllegalArgumentException();
>> }
>> }
>> 
>> I hope this makes sense - thanks for your help,
>> Mark
>>

</PRE>
</BLOCKQUOTE>
</BODY>
</HTML>

--=-ludr1XHsT4d3mHp2EpQZ--

Report message to a moderator

Previous Topic:	[Announce] MDT OCL 1.2.1 M200807161339 is available
Next Topic:	Question about <<definition>> stereotype

Goto Forum:

-=] Back to Top [=-

[ Syndicate this forum (XML) ] [

]

Current Time: Wed Nov 06 00:47:30 GMT 2024

.:: Contact :: Home ::.

Breadcrumbs

Sign up to our Newsletter