Eclipse Community Forums: OCL » Connecting editor action with OCL Constraint provider

Help

Home

Home » Modeling » OCL » Connecting editor action with OCL Constraint provider

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

Connecting editor action with OCL Constraint provider [message #59368]

Mon, 21 July 2008 12:48

Mark Melia

Messages: 142
Registered: July 2009

Senior Member

Hi all,

I have created a new menu item for a GMF project I am running, this will
trigger validation. The menu item appears but does not trigger the
OCLConstraintProvider. The class of the action is triggered -
org.eclipse.emf.validation.examples.general.actions.BatchVal idationDelegate
but it never gets as far as the OCLConstriantProvider. I should mention
that this is an amended version of the OCL example from the MDT site. Does
anyone know what triggers the OCLConstraint provider to be triggered?

Thanks,
Mark

Report message to a moderator

Re: Connecting editor action with OCL Constraint provider [message #59395 is a reply to message #59368]

Mon, 21 July 2008 13:11

Eclipse User

Originally posted by: cdamus.zeligsoft.com

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

Hi, Mark,

Questions of constraint-provider integration into validation are not
OCL-specific, so I am replying to the EMF newsgroup.

If your provider isn't even being queried to serve up constraints, then
the problem isn't the usual failure to find a matching client-context.
Perhaps something is awry in the registration of the provider. Does it
specify one or more namespace URIs of packages for which it defines
constraints? Check the workspace log for any warnings or errors
pertaining to your provider.

I'm not sure what you mean by "amended version of the OCL example from
the MDT site." The MDT OCL component doesn't provide any examples of
integration with the EMF Validation Framework component. The only
example that demonstrates validation is the article demonstrating OCL in
EMF's generative validation solution, which is quite a different matter.

HTH,

Christian

On Mon, 2008-07-21 at 12:48 +0000, Mark Melia wrote:

> Hi all,
>
> I have created a new menu item for a GMF project I am running, this will
> trigger validation. The menu item appears but does not trigger the
> OCLConstraintProvider. The class of the action is triggered -
> org.eclipse.emf.validation.examples.general.actions.BatchVal idationDelegate
> but it never gets as far as the OCLConstriantProvider. I should mention
> that this is an amended version of the OCL example from the MDT site. Does
> anyone know what triggers the OCLConstraint provider to be triggered?
>
> Thanks,
> Mark
>

--=-T506QscBOS5NFHhJPZ0j
Content-Type: text/html; charset=utf-8
Content-Transfer-Encoding: 7bit

<!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, 
 
Questions of constraint-provider integration into validation are not OCL-specific, so I am replying to the EMF newsgroup. 
 
If your provider isn't even being queried to serve up constraints, then the problem isn't the usual failure to find a matching client-context.  Perhaps something is awry in the registration of the provider.  Does it specify one or more namespace URIs of packages for which it defines constraints?  Check the workspace log for any warnings or errors pertaining to your provider. 
 
I'm not sure what you mean by "amended version of the OCL example from the MDT site."  The MDT OCL component doesn't provide any examples of integration with the EMF Validation Framework component.  The only example that demonstrates validation is the article demonstrating OCL in EMF's generative validation solution, which is quite a different matter. 
 
HTH, 
 
Christian 
 
On Mon, 2008-07-21 at 12:48 +0000, Mark Melia wrote:
<BLOCKQUOTE TYPE=CITE>
<PRE>
Hi all,

I have created a new menu item for a GMF project I am running, this will 
trigger validation. The menu item appears but does not trigger the 
OCLConstraintProvider. The class of the action is triggered - 
 org.eclipse.emf.validation.examples.general.actions.BatchVal idationDelegate 
but it never gets as far as the OCLConstriantProvider. I should mention 
that this is an amended version of the OCL example from the MDT site. Does 
anyone know what triggers the OCLConstraint provider to be triggered?

Thanks,
Mark

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

--=-T506QscBOS5NFHhJPZ0j--

Report message to a moderator

Re: Connecting editor action with OCL Constraint provider [message #59418 is a reply to message #59395]

Mon, 21 July 2008 16:01

Mark Melia

Messages: 142
Registered: July 2009

Senior Member

Hi Christian,

Thanks for helping once again. The example I am using is the Library one
http://www.eclipse.org/downloads/download.php?file=/modeling /mdt/ocl/downloads/drops/1.2.0/R200806091714/mdt-ocl-example s-1.2.0.zip

Report message to a moderator

Re: Connecting editor action with OCL Constraint provider [message #59443 is a reply to message #59418]

Mon, 21 July 2008 16:16

Eclipse User

Originally posted by: cdamus.zeligsoft.com

--=-R+66mgwCQQX53ysDQFJH
Content-Type: text/plain
Content-Transfer-Encoding: 7bit

Hi, Mark,

That example has nothing to do with validation. It's simply an
interactive OCL console. Perhaps you melded it with the
org.eclipse.emf.validation.examples.ocl example?

Perhaps if you can supply the plugin.xml that defines your
constraint-provider extension, that would help to diagnose your problem.

cW

On Mon, 2008-07-21 at 16:01 +0000, Mark Melia wrote:

> Hi Christian,
>
> Thanks for helping once again. The example I am using is the Library one
> http://www.eclipse.org/downloads/download.php?file=/modeling /mdt/ocl/downloads/drops/1.2.0/R200806091714/mdt-ocl-example s-1.2.0.zip

--=-R+66mgwCQQX53ysDQFJH
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, 
 
That example has nothing to do with validation.  It's simply an interactive OCL console.  Perhaps you melded it with the org.eclipse.emf.validation.examples.ocl example? 
 
Perhaps if you can supply the plugin.xml that defines your constraint-provider extension, that would help to diagnose your problem. 
 
cW 
 
 
On Mon, 2008-07-21 at 16:01 +0000, Mark Melia wrote:
<BLOCKQUOTE TYPE=CITE>
<PRE>
Hi Christian,

Thanks for helping once again. The example I am using is the Library one 
<A HREF=" http://www.eclipse.org/downloads/download.php?file=/modeling /mdt/ocl/downloads/drops/1.2.0/R200806091714/mdt-ocl-example s-1.2.0.zip"> http://www.eclipse.org/downloads/download.php?file=/modeling /mdt/ocl/downloads/drops/1.2.0/R200806091714/mdt-ocl-example s-1.2.0.zip</A> 
</PRE>
</BLOCKQUOTE>
</BODY>
</HTML>

--=-R+66mgwCQQX53ysDQFJH--

Report message to a moderator

Re: Connecting editor action with OCL Constraint provider [message #59467 is a reply to message #59443]

Mon, 21 July 2008 16:23

Mark Melia

Messages: 142
Registered: July 2009

Senior Member

Sorry Christian for the confusion - that is the one i meant, the
org.eclipse.emf.validation.examples.ocl example.

I have included the plugin.xml below - thanks again:
<plugin>

<extension point="org.eclipse.ui.editorActions">
<editorContribution

id=" org.eclipse.emf.validation.examples.general.editorContributi on "
targetID="Mikael2High.diagram.part.MIKAEL2hDiagramEditorID" >
<menu
label="CAVIAr Validation"
path="additions"
id="Course.Validation">
<separator name="additions"/>
</menu>

<action
label="%ValidateElementsAction.label"
icon="$nl$/icons/elcl16/validate_co.gif"

class=" org.eclipse.emf.validation.examples.general.actions.BatchVal idationDelegate "
menubarPath="Course.Validation/additions"

id=" org.eclipse.emf.validation.pde.example.general.ui.validateAc tion "/>
<action
label="%EnableLiveValidationAction.label"

class=" org.eclipse.emf.validation.examples.general.actions.EnableLi veValidationDelegate "
menubarPath="Course.Validation/additions"

id=" org.eclipse.emf.validation.pde.example.general.ui.enableLive ValidationAction "/>
<action
label="%ShowValidationEventsAction.label"

class=" org.eclipse.emf.validation.examples.general.actions.ShowVali dationEventsDelegate "
style="toggle"
state="false"
menubarPath="Course.Validation/additions"

id=" org.eclipse.emf.validation.pde.example.general.ui.showValida tionEventsAction "/>

</editorContribution>
</extension>

<extension
point="org.eclipse.ui.popupMenus">
<viewerContribution
targetID="CaviarLow.presentation.CaviarLowEditorID"

id=" org.eclipse.emf.validation.examples.general.viewerContributi on ">
<menu
label="%_UI_ValidationMenu_label"
path="additions"
id="org.eclipse.emf.validationMenuID">
<separator name="additions"/>
</menu>
<action
label="%ValidateElementsAction.label"
icon="$nl$/icons/elcl16/validate_co.gif"

class=" org.eclipse.emf.validation.examples.general.actions.BatchVal idationDelegate "
menubarPath="org.eclipse.emf.validationMenuID/additions"

id=" org.eclipse.emf.validation.pde.example.general.ui.validateAc tion "/>
<action
label="%EnableLiveValidationAction.label"

class=" org.eclipse.emf.validation.examples.general.actions.EnableLi veValidationDelegate "
menubarPath="org.eclipse.emf.validationMenuID/additions"

id=" org.eclipse.emf.validation.pde.example.general.ui.enableLive ValidationAction "/>
<action
label="%ShowValidationEventsAction.label"

class=" org.eclipse.emf.validation.examples.general.actions.ShowVali dationEventsDelegate "
style="toggle"
state="false"
menubarPath="org.eclipse.emf.validationMenuID/additions"

id=" org.eclipse.emf.validation.pde.example.general.ui.showValida tionEventsAction "/>

</viewerContribution>
</extension>

<extension
point="org.eclipse.emf.validation.constraintProviders"
id="oclProvider">

<constraintProvider

class=" org.eclipse.emf.validation.examples.ocl.OCLConstraintProvide r "
category="Constraints from an OCL Document"
cache="false">

<package namespaceUri="http://mikael.computing.dcu.ie/#2_0"/>

<ocl path="constraints/library.ocl"/>
</constraintProvider>
</extension>

<extension
point="org.eclipse.emf.validation.constraintBindings">
<clientContext
default="false"
id="MIKAEL2hClientContext">
<selector
class=" org.eclipse.emf.validation.examples.general.constraints.Vali dationDelegateClientSelector "/>
</clientContext>
<binding
context="MIKAEL2hClientContext"
category="mikael.validation"/>
</extension>
<extension
point="org.eclipse.emf.validation.validationListeners">
<listener
class=" org.eclipse.emf.validation.examples.general.listeners.Valida tionListener ">
<clientContext id="MIKAEL2hClientContext"/>
</listener>
</extension>
<extension
point="org.eclipse.emf.validation.ui.UIRegisteredClientContext ">
<clientContext id="MIKAEL2hClientContext"/>
</extension>
</plugin>

Christian W. Damus wrote:

> Hi, Mark,

> That example has nothing to do with validation. It's simply an
> interactive OCL console. Perhaps you melded it with the
> org.eclipse.emf.validation.examples.ocl example?

> Perhaps if you can supply the plugin.xml that defines your
> constraint-provider extension, that would help to diagnose your problem.

> cW

> On Mon, 2008-07-21 at 16:01 +0000, Mark Melia wrote:

>> Hi Christian,
>>
>> Thanks for helping once again. The example I am using is the Library one
>>
http://www.eclipse.org/downloads/download.php?file=/modeling /mdt/ocl/downloads/drops/1.2.0/R200806091714/mdt-ocl-example s-1.2.0.zip

Report message to a moderator

Re: Connecting editor action with OCL Constraint provider [message #59517 is a reply to message #59467]

Tue, 22 July 2008 12:22

Mark Melia

Messages: 142
Registered: July 2009

Senior Member

Hi,

Just a quick update on this - in case anybody has the same problem.

I have established that the selectionChanged method of the
BatchValidateDelegate is called to any selection changes after the first
time the Validator is called. This means that the initial validation still
has no selectedEObjects but after the initial validation, the selected
element is found for any subsequent validations.

I have also noted that because our project is a GMF project, the
selectionChanged method had to be changed to handle editparts as opposed
to eObjects that were coming in the original EMF project.

The OCLConstraintProvider is now being invoked - but not giving the
correct result for the OCL I have defined - I think this might be a client
context issue.

Anybody with ideas, I would love to hear them.

Thanks,
Mark

Mark Melia wrote:

> Sorry Christian for the confusion - that is the one i meant, the
> org.eclipse.emf.validation.examples.ocl example.

> I have included the plugin.xml below - thanks again:
> <plugin>

> <extension point="org.eclipse.ui.editorActions">
> <editorContribution

> id=" org.eclipse.emf.validation.examples.general.editorContributi on "
> targetID="Mikael2High.diagram.part.MIKAEL2hDiagramEditorID" >
> <menu
> label="CAVIAr Validation"
> path="additions"
> id="Course.Validation">
> <separator name="additions"/>
> </menu>

> <action
> label="%ValidateElementsAction.label"
> icon="$nl$/icons/elcl16/validate_co.gif"

>
class=" org.eclipse.emf.validation.examples.general.actions.BatchVal idationDelegate "
> menubarPath="Course.Validation/additions"

> id=" org.eclipse.emf.validation.pde.example.general.ui.validateAc tion "/>
> <action
> label="%EnableLiveValidationAction.label"

>
class=" org.eclipse.emf.validation.examples.general.actions.EnableLi veValidationDelegate "
> menubarPath="Course.Validation/additions"

>
id=" org.eclipse.emf.validation.pde.example.general.ui.enableLive ValidationAction "/>
> <action
> label="%ShowValidationEventsAction.label"

>
class=" org.eclipse.emf.validation.examples.general.actions.ShowVali dationEventsDelegate "
> style="toggle"
> state="false"
> menubarPath="Course.Validation/additions"

>
id=" org.eclipse.emf.validation.pde.example.general.ui.showValida tionEventsAction "/>

> </editorContribution>
> </extension>

> <extension
> point="org.eclipse.ui.popupMenus">
> <viewerContribution
> targetID="CaviarLow.presentation.CaviarLowEditorID"

> id=" org.eclipse.emf.validation.examples.general.viewerContributi on ">
> <menu
> label="%_UI_ValidationMenu_label"
> path="additions"
> id="org.eclipse.emf.validationMenuID">
> <separator name="additions"/>
> </menu>
> <action
> label="%ValidateElementsAction.label"
> icon="$nl$/icons/elcl16/validate_co.gif"

>
class=" org.eclipse.emf.validation.examples.general.actions.BatchVal idationDelegate "
> menubarPath="org.eclipse.emf.validationMenuID/additions"

> id=" org.eclipse.emf.validation.pde.example.general.ui.validateAc tion "/>
> <action
> label="%EnableLiveValidationAction.label"

>
class=" org.eclipse.emf.validation.examples.general.actions.EnableLi veValidationDelegate "
> menubarPath="org.eclipse.emf.validationMenuID/additions"

>
id=" org.eclipse.emf.validation.pde.example.general.ui.enableLive ValidationAction "/>
> <action
> label="%ShowValidationEventsAction.label"

>
class=" org.eclipse.emf.validation.examples.general.actions.ShowVali dationEventsDelegate "
> style="toggle"
> state="false"
> menubarPath="org.eclipse.emf.validationMenuID/additions"

>
id=" org.eclipse.emf.validation.pde.example.general.ui.showValida tionEventsAction "/>

> </viewerContribution>
> </extension>

> <extension
> point="org.eclipse.emf.validation.constraintProviders"
> id="oclProvider">
> 
> <constraintProvider

> class=" org.eclipse.emf.validation.examples.ocl.OCLConstraintProvide r "
> category="Constraints from an OCL Document"
> cache="false">

> <package namespaceUri="http://mikael.computing.dcu.ie/#2_0"/>

> <ocl path="constraints/library.ocl"/>
> </constraintProvider>
> </extension>

> <extension
> point="org.eclipse.emf.validation.constraintBindings">
> <clientContext
> default="false"
> id="MIKAEL2hClientContext">
> <selector
>
class=" org.eclipse.emf.validation.examples.general.constraints.Vali dationDelegateClientSelector "/>
> </clientContext>
> <binding
> context="MIKAEL2hClientContext"
> category="mikael.validation"/>
> </extension>
> <extension
> point="org.eclipse.emf.validation.validationListeners">
> <listener
>
class=" org.eclipse.emf.validation.examples.general.listeners.Valida tionListener ">
> <clientContext id="MIKAEL2hClientContext"/>
> </listener>
> </extension>
> <extension
> point="org.eclipse.emf.validation.ui.UIRegisteredClientContext ">
> <clientContext id="MIKAEL2hClientContext"/>
> </extension>
> </plugin>

> Christian W. Damus wrote:

>> Hi, Mark,

>> That example has nothing to do with validation. It's simply an
>> interactive OCL console. Perhaps you melded it with the
>> org.eclipse.emf.validation.examples.ocl example?

>> Perhaps if you can supply the plugin.xml that defines your
>> constraint-provider extension, that would help to diagnose your problem.

>> cW

>> On Mon, 2008-07-21 at 16:01 +0000, Mark Melia wrote:

>>> Hi Christian,
>>>
>>> Thanks for helping once again. The example I am using is the Library one
>>>
>
http://www.eclipse.org/downloads/download.php?file=/modeling /mdt/ocl/downloads/drops/1.2.0/R200806091714/mdt-ocl-example s-1.2.0.zip

Report message to a moderator

Re: Connecting editor action with OCL Constraint provider [message #59590 is a reply to message #59517]

Tue, 22 July 2008 13:09

Eclipse User

Originally posted by: cdamus.zeligsoft.com

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

Hi, Mark,

Sorry for not responding sooner.

Yeah, GMF provides an IAdaptableSelection interface that is implemented
by the selections in the diagrams, which provides convenient access to
the model elements (as opposed to the diagram views) that are selected.
Just adapt to EObject and you're cool.

If there's a bug in the action-delegate's handling of selection, perhaps
you could raise it? It won't do to have examples that don't demonstrate
working code. :-(

For debugging client-context issues, the best place to start is with a
breakpoint in the

getBindings(Collection<IClientContext>,
Collection<IModelConstraint>)

method of the
org.eclipse.emf.validation.internal.service.ClientContextMan ager.

You will see whether your constraint matches any of the incoming
client-contexts, which should suggest whether you are missing bindings
or whether you need to define an additional context. These contexts are
kind of notoriously tricky to get right (they're always tripping me up,
and I invented them!).

HTH,

Christian

On Tue, 2008-07-22 at 12:22 +0000, Mark Melia wrote:

> Hi,
>
> Just a quick update on this - in case anybody has the same problem.
>
> I have established that the selectionChanged method of the
> BatchValidateDelegate is called to any selection changes after the first
> time the Validator is called. This means that the initial validation still
> has no selectedEObjects but after the initial validation, the selected
> element is found for any subsequent validations.
>
> I have also noted that because our project is a GMF project, the
> selectionChanged method had to be changed to handle editparts as opposed
> to eObjects that were coming in the original EMF project.
>
> The OCLConstraintProvider is now being invoked - but not giving the
> correct result for the OCL I have defined - I think this might be a client
> context issue.
>
> Anybody with ideas, I would love to hear them.
>
> Thanks,
> Mark
>
> Mark Melia wrote:
>
> > Sorry Christian for the confusion - that is the one i meant, the
> > org.eclipse.emf.validation.examples.ocl example.
>
> > I have included the plugin.xml below - thanks again:
> > <plugin>
>
> > <extension point="org.eclipse.ui.editorActions">
> > <editorContribution
>
> > id=" org.eclipse.emf.validation.examples.general.editorContributi on "
> > targetID="Mikael2High.diagram.part.MIKAEL2hDiagramEditorID" >
> > <menu
> > label="CAVIAr Validation"
> > path="additions"
> > id="Course.Validation">
> > <separator name="additions"/>
> > </menu>
>
> > <action
> > label="%ValidateElementsAction.label"
> > icon="$nl$/icons/elcl16/validate_co.gif"
>
> >
> class=" org.eclipse.emf.validation.examples.general.actions.BatchVal idationDelegate "
> > menubarPath="Course.Validation/additions"
>
> > id=" org.eclipse.emf.validation.pde.example.general.ui.validateAc tion "/>
> > <action
> > label="%EnableLiveValidationAction.label"
>
> >
> class=" org.eclipse.emf.validation.examples.general.actions.EnableLi veValidationDelegate "
> > menubarPath="Course.Validation/additions"
>
> >
> id=" org.eclipse.emf.validation.pde.example.general.ui.enableLive ValidationAction "/>
> > <action
> > label="%ShowValidationEventsAction.label"
>
> >
> class=" org.eclipse.emf.validation.examples.general.actions.ShowVali dationEventsDelegate "
> > style="toggle"
> > state="false"
> > menubarPath="Course.Validation/additions"
>
> >
> id=" org.eclipse.emf.validation.pde.example.general.ui.showValida tionEventsAction "/>
>
> > </editorContribution>
> > </extension>
>
> > <extension
> > point="org.eclipse.ui.popupMenus">
> > <viewerContribution
> > targetID="CaviarLow.presentation.CaviarLowEditorID"
>
> > id=" org.eclipse.emf.validation.examples.general.viewerContributi on ">
> > <menu
> > label="%_UI_ValidationMenu_label"
> > path="additions"
> > id="org.eclipse.emf.validationMenuID">
> > <separator name="additions"/>
> > </menu>
> > <action
> > label="%ValidateElementsAction.label"
> > icon="$nl$/icons/elcl16/validate_co.gif"
>
> >
> class=" org.eclipse.emf.validation.examples.general.actions.BatchVal idationDelegate "
> > menubarPath="org.eclipse.emf.validationMenuID/additions"
>
> > id=" org.eclipse.emf.validation.pde.example.general.ui.validateAc tion "/>
> > <action
> > label="%EnableLiveValidationAction.label"
>
> >
> class=" org.eclipse.emf.validation.examples.general.actions.EnableLi veValidationDelegate "
> > menubarPath="org.eclipse.emf.validationMenuID/additions"
>
> >
> id=" org.eclipse.emf.validation.pde.example.general.ui.enableLive ValidationAction "/>
> > <action
> > label="%ShowValidationEventsAction.label"
>
> >
> class=" org.eclipse.emf.validation.examples.general.actions.ShowVali dationEventsDelegate "
> > style="toggle"
> > state="false"
> > menubarPath="org.eclipse.emf.validationMenuID/additions"
>
> >
> id=" org.eclipse.emf.validation.pde.example.general.ui.showValida tionEventsAction "/>
>
> > </viewerContribution>
> > </extension>
>
>
>
>
> > <extension
> > point="org.eclipse.emf.validation.constraintProviders"
> > id="oclProvider">
> > 
> > <constraintProvider
>
> > class=" org.eclipse.emf.validation.examples.ocl.OCLConstraintProvide r "
> > category="Constraints from an OCL Document"
> > cache="false">
>
> > <package namespaceUri="http://mikael.computing.dcu.ie/#2_0"/>
>
> > <ocl path="constraints/library.ocl"/>
> > </constraintProvider>
> > </extension>
>
>
>
> > <extension
> > point="org.eclipse.emf.validation.constraintBindings">
> > <clientContext
> > default="false"
> > id="MIKAEL2hClientContext">
> > <selector
> >
> class=" org.eclipse.emf.validation.examples.general.constraints.Vali dationDelegateClientSelector "/>
> > </clientContext>
> > <binding
> > context="MIKAEL2hClientContext"
> > category="mikael.validation"/>
> > </extension>
> > <extension
> > point="org.eclipse.emf.validation.validationListeners">
> > <listener
> >
> class=" org.eclipse.emf.validation.examples.general.listeners.Valida tionListener ">
> > <clientContext id="MIKAEL2hClientContext"/>
> > </listener>
> > </extension>
> > <extension
> > point="org.eclipse.emf.validation.ui.UIRegisteredClientContext ">
> > <clientContext id="MIKAEL2hClientContext"/>
> > </extension>
> > </plugin>
>
> > Christian W. Damus wrote:
>
> >> Hi, Mark,
>
> >> That example has nothing to do with validation. It's simply an
> >> interactive OCL console. Perhaps you melded it with the
> >> org.eclipse.emf.validation.examples.ocl example?
>
> >> Perhaps if you can supply the plugin.xml that defines your
> >> constraint-provider extension, that would help to diagnose your problem.
>
> >> cW
>
>
> >> On Mon, 2008-07-21 at 16:01 +0000, Mark Melia wrote:
>
> >>> Hi Christian,
> >>>
> >>> Thanks for helping once again. The example I am using is the Library one
> >>>
> >
> http://www.eclipse.org/downloads/download.php?file=/modeling /mdt/ocl/downloads/drops/1.2.0/R200806091714/mdt-ocl-example s-1.2.0.zip
>
>

--=-pfhMP8cRliiJIyHgixwN
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, 
 
Sorry for not responding sooner. 
 
Yeah, GMF provides an IAdaptableSelection interface that is implemented by the selections in the diagrams, which provides convenient access to the model elements (as opposed to the diagram views) that are selected.  Just adapt to EObject and you're cool. 
 
If there's a bug in the action-delegate's handling of selection, perhaps you could raise it?  It won't do to have examples that don't demonstrate working code.  :-( 
 
For debugging client-context issues, the best place to start is with a breakpoint in the 
 
    getBindings(Collection<IClientContext>, Collection<IModelConstraint>) 
 
method of the org.eclipse.emf.validation.internal.service.ClientContextMan ager. 
 
You will see whether your constraint matches any of the incoming client-contexts, which should suggest whether you are missing bindings or whether you need to define an additional context.  These contexts are kind of notoriously tricky to get right (they're always tripping me up, and I invented them!). 
 
HTH, 
 
Christian 
 
 
On Tue, 2008-07-22 at 12:22 +0000, Mark Melia wrote:
<BLOCKQUOTE TYPE=CITE>
<PRE>
Hi,

Just a quick update on this - in case anybody has the same problem.

I have established that the selectionChanged method of the 
BatchValidateDelegate is called to any selection changes after the first 
time the Validator is called. This means that the initial validation still 
has no selectedEObjects but after the initial validation, the selected 
element is found for any subsequent validations.

I have also noted that because our project is a GMF project, the 
selectionChanged method had to be changed to handle editparts as opposed 
to eObjects that were coming in the original EMF project. 

The OCLConstraintProvider is now being invoked - but not giving the 
correct result for the OCL I have defined - I think this might be a client 
context issue.

Anybody with ideas, I would love to hear them.

Thanks,
Mark

Mark Melia wrote:

> Sorry Christian for the confusion - that is the one i meant, the 
> org.eclipse.emf.validation.examples.ocl example.

> I have included the plugin.xml below - thanks again:
> <plugin>

> <extension point="org.eclipse.ui.editorActions"&g t; 
> <editorContribution 

> id="org.eclipse.emf.validation.examples.general.edi torContribution" 
> targetID="Mikael2High.diagram.part.MIKAEL2hDiagramE ditorID"> 
> <menu
> label="CAVIAr Validation"
> path="additions"
> id="Course.Validation">
> <separator name="additions"/>
> </menu>

> <action
> label="%ValidateElementsAction.label"
> icon="$nl$/icons/elcl16/validate_co.gif"

> 
 class="org.eclipse.emf.validation.examples.general. actions.BatchValidationDelegate" 
> menubarPath="Course.Validation/additions"

> id="org.eclipse.emf.validation.pde.example.general. ui.validateAction"/> 
> <action
> label="%EnableLiveValidationAction.label"

> 
 class="org.eclipse.emf.validation.examples.general. actions.EnableLiveValidationDelegate" 
> menubarPath="Course.Validation/additions"

> 
 id="org.eclipse.emf.validation.pde.example.general. ui.enableLiveValidationAction"/> 
> <action
> label="%ShowValidationEventsAction.label"

> 
 class="org.eclipse.emf.validation.examples.general. actions.ShowValidationEventsDelegate" 
> style="toggle"
> state="false"
> menubarPath="Course.Validation/additions"

> 
 id="org.eclipse.emf.validation.pde.example.general. ui.showValidationEventsAction"/> 

> </editorContribution> 
> </extension> 

> <extension
> point="org.eclipse.ui.popupMenus">
> <viewerContribution
> targetID="CaviarLow.presentation.CaviarLowEditorID& amp;quot; 

> id="org.eclipse.emf.validation.examples.general.vie werContribution"> 
> <menu
> label="%_UI_ValidationMenu_label"
> path="additions"
> id="org.eclipse.emf.validationMenuID"& gt; 
> <separator name="additions"/>
> </menu>
> <action
> label="%ValidateElementsAction.label"
> icon="$nl$/icons/elcl16/validate_co.gif"

> 
 class="org.eclipse.emf.validation.examples.general. actions.BatchValidationDelegate" 
> menubarPath="org.eclipse.emf.validationMenuID/addit ions" 

> id="org.eclipse.emf.validation.pde.example.general. ui.validateAction"/> 
> <action
> label="%EnableLiveValidationAction.label"

> 
 class="org.eclipse.emf.validation.examples.general. actions.EnableLiveValidationDelegate" 
> menubarPath="org.eclipse.emf.validationMenuID/addit ions" 

> 
 id="org.eclipse.emf.validation.pde.example.general. ui.enableLiveValidationAction"/> 
> <action
> label="%ShowValidationEventsAction.label"

> 
 class="org.eclipse.emf.validation.examples.general. actions.ShowValidationEventsDelegate" 
> style="toggle"
> state="false"
> menubarPath="org.eclipse.emf.validationMenuID/addit ions" 

> 
 id="org.eclipse.emf.validation.pde.example.general. ui.showValidationEventsAction"/> 

> </viewerContribution>
> </extension>

> <extension
> point="org.eclipse.emf.validation.constraintProvide rs" 
> id="oclProvider"> 
> 
> <constraintProvider

> class="org.eclipse.emf.validation.examples.ocl.OCLC onstraintProvider" 
> category="Constraints from an OCL Document"
> cache="false">

> <package namespaceUri="<A HREF="http://mikael.computing.dcu.ie/#2_0">http://mikael.computing.dcu.ie/#2_0"/</A>>

> <ocl path="constraints/library.ocl"/>
> </constraintProvider>
> </extension>

> <extension
> point="org.eclipse.emf.validation.constraintBinding s"> 
> <clientContext
> default="false"
> id="MIKAEL2hClientContext">
> <selector 
> 
 class="org.eclipse.emf.validation.examples.general. constraints.ValidationDelegateClientSelector"/& gt; 
> </clientContext>
> <binding
> context="MIKAEL2hClientContext"
> category="mikael.validation"/>
> </extension>
> <extension
> point="org.eclipse.emf.validation.validationListene rs"> 
> <listener 
> 
 class="org.eclipse.emf.validation.examples.general. listeners.ValidationListener"> 
> <clientContext id="MIKAEL2hClientContext"/>
> </listener>
> </extension>
> <extension
> point="org.eclipse.emf.validation.ui.UIRegisteredCl ientContext"> 
> <clientContext id="MIKAEL2hClientContext"/>
> </extension> 
> </plugin>

> Christian W. Damus wrote:

>> Hi, Mark,

>> That example has nothing to do with validation. It's simply an
>> interactive OCL console. Perhaps you melded it with the
>> org.eclipse.emf.validation.examples.ocl example?

>> Perhaps if you can supply the plugin.xml that defines your
>> constraint-provider extension, that would help to diagnose your problem.

>> cW

>> On Mon, 2008-07-21 at 16:01 +0000, Mark Melia wrote:

>>> Hi Christian,
>>> 
>>> Thanks for helping once again. The example I am using is the Library one 
>>> 
> 
<A HREF=" http://www.eclipse.org/downloads/download.php?file=/modeling /mdt/ocl/downloads/drops/1.2.0/R200806091714/mdt-ocl-example s-1.2.0.zip"> http://www.eclipse.org/downloads/download.php?file=/modeling /mdt/ocl/downloads/drops/1.2.0/R200806091714/mdt-ocl-example s-1.2.0.zip</A>

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

--=-pfhMP8cRliiJIyHgixwN--

Report message to a moderator

Re: Connecting editor action with OCL Constraint provider [message #59714 is a reply to message #59590]

Wed, 23 July 2008 13:42

Mark Melia

Messages: 142
Registered: July 2009

Senior Member

Hey Christian,

I nearly have this working, just trying to sort out one small context
issue. In my validation, I want to validate everthing in the model when
the user select validate. So the selected item is irrelevant, as all items
in the model will have to be validated.

To do this, in the BatchValidateDelegate I set up my run method to read in
all elements of the model and add them to the selectedEObjects, but there
was context issues. I discovered when you add two different EObject types
to the selectedEObjects it doesnt work - is this correct? Do you have any
ideas why this is the case.

The below code works for me, but if I add in the commented out lines it
does not validate against the OCL constraints.

Thanks again for all your help,
Mark

public void run(IAction action) {

ValidationDelegateClientSelector.running = true;

MIKAEL2hDiagramEditor mikaelEditor =
(MIKAEL2hDiagramEditor)MIKAEL2hEditorPlugin.getPlugin().getW orkbench().getActiveWorkbenchWindow().getActivePage().getAct iveEditor();
CaviarImpl c =
(CaviarImpl)mikaelEditor.getDiagram().getElement().eContaine r();

TreeIterator<EObject> l = c.eAllContents();
this.selectedEObjects = new ArrayList<EObject>();

this.selectedEObjects.addAll(c.getCoursewareModel().getTopic s());
while(l.hasNext()){
EObject eObj = l.next();
if(eObj instanceof Concept){
this.selectedEObjects.add((Concept)eObj);
//}else if(eObj instanceof Topic){
// this.selectedEObjects.add((Topic)eObj);
}else{}
}
// this.selectedEObjects.add((EObject)l.next());

IBatchValidator validator =
(IBatchValidator)ModelValidationService.getInstance()
.newValidator(EvaluationMode.BATCH);
validator.setIncludeLiveConstraints(true);

final IStatus status = validator.validate(selectedEObjects);

Christian W. Damus wrote:

> Hi, Mark,

> Sorry for not responding sooner.

> Yeah, GMF provides an IAdaptableSelection interface that is implemented
> by the selections in the diagrams, which provides convenient access to
> the model elements (as opposed to the diagram views) that are selected.
> Just adapt to EObject and you're cool.

> If there's a bug in the action-delegate's handling of selection, perhaps
> you could raise it? It won't do to have examples that don't demonstrate
> working code. :-(

> For debugging client-context issues, the best place to start is with a
> breakpoint in the

> getBindings(Collection<IClientContext>,
> Collection<IModelConstraint>)

> method of the
> org.eclipse.emf.validation.internal.service.ClientContextMan ager.

> You will see whether your constraint matches any of the incoming
> client-contexts, which should suggest whether you are missing bindings
> or whether you need to define an additional context. These contexts are
> kind of notoriously tricky to get right (they're always tripping me up,
> and I invented them!).

> HTH,

> Christian

> On Tue, 2008-07-22 at 12:22 +0000, Mark Melia wrote:

>> Hi,
>>
>> Just a quick update on this - in case anybody has the same problem.
>>
>> I have established that the selectionChanged method of the
>> BatchValidateDelegate is called to any selection changes after the first
>> time the Validator is called. This means that the initial validation still
>> has no selectedEObjects but after the initial validation, the selected
>> element is found for any subsequent validations.
>>
>> I have also noted that because our project is a GMF project, the
>> selectionChanged method had to be changed to handle editparts as opposed
>> to eObjects that were coming in the original EMF project.
>>
>> The OCLConstraintProvider is now being invoked - but not giving the
>> correct result for the OCL I have defined - I think this might be a client
>> context issue.
>>
>> Anybody with ideas, I would love to hear them.
>>
>> Thanks,
>> Mark
>>
>> Mark Melia wrote:
>>
>> > Sorry Christian for the confusion - that is the one i meant, the
>> > org.eclipse.emf.validation.examples.ocl example.
>>
>> > I have included the plugin.xml below - thanks again:
>> > <plugin>
>>
>> > <extension point="org.eclipse.ui.editorActions">
>> > <editorContribution
>>
>> > id=" org.eclipse.emf.validation.examples.general.editorContributi on "
>> > targetID="Mikael2High.diagram.part.MIKAEL2hDiagramEditorID" >
>> > <menu
>> > label="CAVIAr Validation"
>> > path="additions"
>> > id="Course.Validation">
>> > <separator name="additions"/>
>> > </menu>
>>
>> > <action
>> > label="%ValidateElementsAction.label"
>> > icon="$nl$/icons/elcl16/validate_co.gif"
>>
>> >
>>
class=" org.eclipse.emf.validation.examples.general.actions.BatchVal idationDelegate "
>> > menubarPath="Course.Validation/additions"
>>
>> > id=" org.eclipse.emf.validation.pde.example.general.ui.validateAc tion "/>
>> > <action
>> > label="%EnableLiveValidationAction.label"
>>
>> >
>>
class=" org.eclipse.emf.validation.examples.general.actions.EnableLi veValidationDelegate "
>> > menubarPath="Course.Validation/additions"
>>
>> >
>>
id=" org.eclipse.emf.validation.pde.example.general.ui.enableLive ValidationAction "/>
>> > <action
>> > label="%ShowValidationEventsAction.label"
>>
>> >
>>
class=" org.eclipse.emf.validation.examples.general.actions.ShowVali dationEventsDelegate "
>> > style="toggle"
>> > state="false"
>> > menubarPath="Course.Validation/additions"
>>
>> >
>>
id=" org.eclipse.emf.validation.pde.example.general.ui.showValida tionEventsAction "/>
>>
>> > </editorContribution>
>> > </extension>
>>
>> > <extension
>> > point="org.eclipse.ui.popupMenus">
>> > <viewerContribution
>> > targetID="CaviarLow.presentation.CaviarLowEditorID"
>>
>> > id=" org.eclipse.emf.validation.examples.general.viewerContributi on ">
>> > <menu
>> > label="%_UI_ValidationMenu_label"
>> > path="additions"
>> > id="org.eclipse.emf.validationMenuID">
>> > <separator name="additions"/>
>> > </menu>
>> > <action
>> > label="%ValidateElementsAction.label"
>> > icon="$nl$/icons/elcl16/validate_co.gif"
>>
>> >
>>
class=" org.eclipse.emf.validation.examples.general.actions.BatchVal idationDelegate "
>> > menubarPath="org.eclipse.emf.validationMenuID/additions"
>>
>> > id=" org.eclipse.emf.validation.pde.example.general.ui.validateAc tion "/>
>> > <action
>> > label="%EnableLiveValidationAction.label"
>>
>> >
>>
class=" org.eclipse.emf.validation.examples.general.actions.EnableLi veValidationDelegate "
>> > menubarPath="org.eclipse.emf.validationMenuID/additions"
>>
>> >
>>
id=" org.eclipse.emf.validation.pde.example.general.ui.enableLive ValidationAction "/>
>> > <action
>> > label="%ShowValidationEventsAction.label"
>>
>> >
>>
class=" org.eclipse.emf.validation.examples.general.actions.ShowVali dationEventsDelegate "
>> > style="toggle"
>> > state="false"
>> > menubarPath="org.eclipse.emf.validationMenuID/additions"
>>
>> >
>>
id=" org.eclipse.emf.validation.pde.example.general.ui.showValida tionEventsAction "/>
>>
>> > </viewerContribution>
>> > </extension>
>>
>>
>>
>>
>> > <extension
>> > point="org.eclipse.emf.validation.constraintProviders"
>> > id="oclProvider">
>> > 
>> > <constraintProvider
>>
>> > class=" org.eclipse.emf.validation.examples.ocl.OCLConstraintProvide r "
>> > category="Constraints from an OCL Document"
>> > cache="false">
>>
>> > <package namespaceUri="http://mikael.computing.dcu.ie/#2_0"/>
>>
>> > <ocl path="constraints/library.ocl"/>
>> > </constraintProvider>
>> > </extension>
>>
>>
>>
>> > <extension
>> > point="org.eclipse.emf.validation.constraintBindings">
>> > <clientContext
>> > default="false"
>> > id="MIKAEL2hClientContext">
>> > <selector
>> >
>>
class=" org.eclipse.emf.validation.examples.general.constraints.Vali dationDelegateClientSelector "/>
>> > </clientContext>
>> > <binding
>> > context="MIKAEL2hClientContext"
>> > category="mikael.validation"/>
>> > </extension>
>> > <extension
>> > point="org.eclipse.emf.validation.validationListeners">
>> > <listener
>> >
>>
class=" org.eclipse.emf.validation.examples.general.listeners.Valida tionListener ">
>> > <clientContext id="MIKAEL2hClientContext"/>
>> > </listener>
>> > </extension>
>> > <extension
>> > point="org.eclipse.emf.validation.ui.UIRegisteredClientContext ">
>> > <clientContext id="MIKAEL2hClientContext"/>
>> > </extension>
>> > </plugin>
>>
>> > Christian W. Damus wrote:
>>
>> >> Hi, Mark,
>>
>> >> That example has nothing to do with validation. It's simply an
>> >> interactive OCL console. Perhaps you melded it with the
>> >> org.eclipse.emf.validation.examples.ocl example?
>>
>> >> Perhaps if you can supply the plugin.xml that defines your
>> >> constraint-provider extension, that would help to diagnose your problem.
>>
>> >> cW
>>
>>
>> >> On Mon, 2008-07-21 at 16:01 +0000, Mark Melia wrote:
>>
>> >>> Hi Christian,
>> >>>
>> >>> Thanks for helping once again. The example I am using is the Library
one
>> >>>
>> >
>>
http://www.eclipse.org/downloads/download.php?file=/modeling /mdt/ocl/downloads/drops/1.2.0/R200806091714/mdt-ocl-example s-1.2.0.zip
>>
>>

Report message to a moderator

Re: Connecting editor action with OCL Constraint provider [message #59742 is a reply to message #59714]

Wed, 23 July 2008 19:23

Eclipse User

Originally posted by: cdamus.zeligsoft.com

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

Hi, Mark,

See some replies in-line, below.

HTH,

Christian

On Wed, 2008-07-23 at 13:42 +0000, Mark Melia wrote:

> Hey Christian,
>
> I nearly have this working, just trying to sort out one small context
> issue. In my validation, I want to validate everthing in the model when
> the user select validate. So the selected item is irrelevant, as all items
> in the model will have to be validated.
>
> To do this, in the BatchValidateDelegate I set up my run method to read in
> all elements of the model and add them to the selectedEObjects, but there

Oo. By default, batch validation iterates over the objects contained by
the selection, so you should only need to add the resource contents to
your selection. Otherwise, you'll be iterating over all of the objects
once to collect them, again to validate them, and in between the
validator does a lot of work to remove from your selection all of the
elements that are nested within other elements in the selection.

> was context issues. I discovered when you add two different EObject types
> to the selectedEObjects it doesnt work - is this correct? Do you have any
> ideas why this is the case.

What do you mean by "two different EObject types?" You can select
instances of any number of different EClasses, from different EPackages,
and even different client-contexts.

> The below code works for me, but if I add in the commented out lines it
> does not validate against the OCL constraints.

I see that it is usurping the validator's job of determining which
objects to evaluate constraints on by filtering the eAllContents().
Except, as I mentioned, that it won't work that way because the
validator will iterate contents anyway.

Simply doing

validator.validate(Collections.singletonList(c))

should do the trick. Or, maybe you need to add the
c.getCoursewareModel() to the list of objects to validate if it isn't
contained by c.

In any case, the way you're doing it shouldn't fail to work; it should
just be inefficient. It looks like there's some kind of bug, maybe in
the client-context handling. If you can produce a small reproducible
test case as a bugzilla attachment, that would be most cool.

P.S.

I see that you are casting to CaviarImpl. It is recommended practice to
treat *Impls as "internal" code in the Eclipse sense and use only the
interfaces; e.g., Caviar.

>
> Thanks again for all your help,
> Mark
>
> public void run(IAction action) {
>
>
> ValidationDelegateClientSelector.running = true;
>
> MIKAEL2hDiagramEditor mikaelEditor =
> (MIKAEL2hDiagramEditor)MIKAEL2hEditorPlugin.getPlugin().getW orkbench().getActiveWorkbenchWindow().getActivePage().getAct iveEditor();
> CaviarImpl c =
> (CaviarImpl)mikaelEditor.getDiagram().getElement().eContaine r();
>
> TreeIterator<EObject> l = c.eAllContents();
> this.selectedEObjects = new ArrayList<EObject>();
>
>
> this.selectedEObjects.addAll(c.getCoursewareModel().getTopic s());
> while(l.hasNext()){
> EObject eObj = l.next();
> if(eObj instanceof Concept){
> this.selectedEObjects.add((Concept)eObj);
> //}else if(eObj instanceof Topic){
> // this.selectedEObjects.add((Topic)eObj);
> }else{}
> }
> // this.selectedEObjects.add((EObject)l.next());
>
> IBatchValidator validator =
> (IBatchValidator)ModelValidationService.getInstance()
> .newValidator(EvaluationMode.BATCH);
> validator.setIncludeLiveConstraints(true);
>
> final IStatus status = validator.validate(selectedEObjects);
>
>
> Christian W. Damus wrote:
>
> > Hi, Mark,
>
> > Sorry for not responding sooner.
>
> > Yeah, GMF provides an IAdaptableSelection interface that is implemented
> > by the selections in the diagrams, which provides convenient access to
> > the model elements (as opposed to the diagram views) that are selected.
> > Just adapt to EObject and you're cool.
>
> > If there's a bug in the action-delegate's handling of selection, perhaps
> > you could raise it? It won't do to have examples that don't demonstrate
> > working code. :-(
>
> > For debugging client-context issues, the best place to start is with a
> > breakpoint in the
>
> > getBindings(Collection<IClientContext>,
> > Collection<IModelConstraint>)
>
> > method of the
> > org.eclipse.emf.validation.internal.service.ClientContextMan ager.
>
> > You will see whether your constraint matches any of the incoming
> > client-contexts, which should suggest whether you are missing bindings
> > or whether you need to define an additional context. These contexts are
> > kind of notoriously tricky to get right (they're always tripping me up,
> > and I invented them!).
>
> > HTH,
>
> > Christian
>
>
> > On Tue, 2008-07-22 at 12:22 +0000, Mark Melia wrote:
>
> >> Hi,
> >>
> >> Just a quick update on this - in case anybody has the same problem.
> >>
> >> I have established that the selectionChanged method of the
> >> BatchValidateDelegate is called to any selection changes after the first
> >> time the Validator is called. This means that the initial validation still
> >> has no selectedEObjects but after the initial validation, the selected
> >> element is found for any subsequent validations.
> >>
> >> I have also noted that because our project is a GMF project, the
> >> selectionChanged method had to be changed to handle editparts as opposed
> >> to eObjects that were coming in the original EMF project.
> >>
> >> The OCLConstraintProvider is now being invoked - but not giving the
> >> correct result for the OCL I have defined - I think this might be a client
> >> context issue.
> >>
> >> Anybody with ideas, I would love to hear them.
> >>
> >> Thanks,
> >> Mark
> >>
> >> Mark Melia wrote:
> >>
> >> > Sorry Christian for the confusion - that is the one i meant, the
> >> > org.eclipse.emf.validation.examples.ocl example.
> >>
> >> > I have included the plugin.xml below - thanks again:
> >> > <plugin>
> >>
> >> > <extension point="org.eclipse.ui.editorActions">
> >> > <editorContribution
> >>
> >> > id=" org.eclipse.emf.validation.examples.general.editorContributi on "
> >> > targetID="Mikael2High.diagram.part.MIKAEL2hDiagramEditorID" >
> >> > <menu
> >> > label="CAVIAr Validation"
> >> > path="additions"
> >> > id="Course.Validation">
> >> > <separator name="additions"/>
> >> > </menu>
> >>
> >> > <action
> >> > label="%ValidateElementsAction.label"
> >> > icon="$nl$/icons/elcl16/validate_co.gif"
> >>
> >> >
> >>
> class=" org.eclipse.emf.validation.examples.general.actions.BatchVal idationDelegate "
> >> > menubarPath="Course.Validation/additions"
> >>
> >> > id=" org.eclipse.emf.validation.pde.example.general.ui.validateAc tion "/>
> >> > <action
> >> > label="%EnableLiveValidationAction.label"
> >>
> >> >
> >>
> class=" org.eclipse.emf.validation.examples.general.actions.EnableLi veValidationDelegate "
> >> > menubarPath="Course.Validation/additions"
> >>
> >> >
> >>
> id=" org.eclipse.emf.validation.pde.example.general.ui.enableLive ValidationAction "/>
> >> > <action
> >> > label="%ShowValidationEventsAction.label"
> >>
> >> >
> >>
> class=" org.eclipse.emf.validation.examples.general.actions.ShowVali dationEventsDelegate "
> >> > style="toggle"
> >> > state="false"
> >> > menubarPath="Course.Validation/additions"
> >>
> >> >
> >>
> id=" org.eclipse.emf.validation.pde.example.general.ui.showValida tionEventsAction "/>
> >>
> >> > </editorContribution>
> >> > </extension>
> >>
> >> > <extension
> >> > point="org.eclipse.ui.popupMenus">
> >> > <viewerContribution
> >> > targetID="CaviarLow.presentation.CaviarLowEditorID"
> >>
> >> > id=" org.eclipse.emf.validation.examples.general.viewerContributi on ">
> >> > <menu
> >> > label="%_UI_ValidationMenu_label"
> >> > path="additions"
> >> > id="org.eclipse.emf.validationMenuID">
> >> > <separator name="additions"/>
> >> > </menu>
> >> > <action
> >> > label="%ValidateElementsAction.label"
> >> > icon="$nl$/icons/elcl16/validate_co.gif"
> >>
> >> >
> >>
> class=" org.eclipse.emf.validation.examples.general.actions.BatchVal idationDelegate "
> >> > menubarPath="org.eclipse.emf.validationMenuID/additions"
> >>
> >> > id=" org.eclipse.emf.validation.pde.example.general.ui.validateAc tion "/>
> >> > <action
> >> > label="%EnableLiveValidationAction.label"
> >>
> >> >
> >>
> class=" org.eclipse.emf.validation.examples.general.actions.EnableLi veValidationDelegate "
> >> > menubarPath="org.eclipse.emf.validationMenuID/additions"
> >>
> >> >
> >>
> id=" org.eclipse.emf.validation.pde.example.general.ui.enableLive ValidationAction "/>
> >> > <action
> >> > label="%ShowValidationEventsAction.label"
> >>
> >> >
> >>
> class=" org.eclipse.emf.validation.examples.general.actions.ShowVali dationEventsDelegate "
> >> > style="toggle"
> >> > state="false"
> >> > menubarPath="org.eclipse.emf.validationMenuID/additions"
> >>
> >> >
> >>
> id=" org.eclipse.emf.validation.pde.example.general.ui.showValida tionEventsAction "/>
> >>
> >> > </viewerContribution>
> >> > </extension>
> >>
> >>
> >>
> >>
> >> > <extension
> >> > point="org.eclipse.emf.validation.constraintProviders"
> >> > id="oclProvider">
> >> > 
> >> > <constraintProvider
> >>
> >> > class=" org.eclipse.emf.validation.examples.ocl.OCLConstraintProvide r "
> >> > category="Constraints from an OCL Document"
> >> > cache="false">
> >>
> >> > <package namespaceUri="http://mikael.computing.dcu.ie/#2_0"/>
> >>
> >> > <ocl path="constraints/library.ocl"/>
> >> > </constraintProvider>
> >> > </extension>
> >>
> >>
> >>
> >> > <extension
> >> > point="org.eclipse.emf.validation.constraintBindings">
> >> > <clientContext
> >> > default="false"
> >> > id="MIKAEL2hClientContext">
> >> > <selector
> >> >
> >>
> class=" org.eclipse.emf.validation.examples.general.constraints.Vali dationDelegateClientSelector "/>
> >> > </clientContext>
> >> > <binding
> >> > context="MIKAEL2hClientContext"
> >> > category="mikael.validation"/>
> >> > </extension>
> >> > <extension
> >> > point="org.eclipse.emf.validation.validationListeners">
> >> > <listener
> >> >
> >>
> class=" org.eclipse.emf.validation.examples.general.listeners.Valida tionListener ">
> >> > <clientContext id="MIKAEL2hClientContext"/>
> >> > </listener>
> >> > </extension>
> >> > <extension
> >> > point="org.eclipse.emf.validation.ui.UIRegisteredClientContext ">
> >> > <clientContext id="MIKAEL2hClientContext"/>
> >> > </extension>
> >> > </plugin>
> >>
> >> > Christian W. Damus wrote:
> >>
> >> >> Hi, Mark,
> >>
> >> >> That example has nothing to do with validation. It's simply an
> >> >> interactive OCL console. Perhaps you melded it with the
> >> >> org.eclipse.emf.validation.examples.ocl example?
> >>
> >> >> Perhaps if you can supply the plugin.xml that defines your
> >> >> constraint-provider extension, that would help to diagnose your problem.
> >>
> >> >> cW
> >>
> >>
> >> >> On Mon, 2008-07-21 at 16:01 +0000, Mark Melia wrote:
> >>
> >> >>> Hi Christian,
> >> >>>
> >> >>> Thanks for helping once again. The example I am using is the Library
> one
> >> >>>
> >> >
> >>
> http://www.eclipse.org/downloads/download.php?file=/modeling /mdt/ocl/downloads/drops/1.2.0/R200806091714/mdt-ocl-example s-1.2.0.zip
> >>
> >>
>
>

--=-mz9hryCaBRdDfhrrqHM+
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, 
 
See some replies in-line, below. 
 
HTH, 
 
Christian 
 
 
On Wed, 2008-07-23 at 13:42 +0000, Mark Melia wrote:
<BLOCKQUOTE TYPE=CITE>
<PRE>
Hey Christian,

I nearly have this working, just trying to sort out one small context 
issue. In my validation, I want to validate everthing in the model when 
the user select validate. So the selected item is irrelevant, as all items 
in the model will have to be validated.

To do this, in the BatchValidateDelegate I set up my run method to read in 
all elements of the model and add them to the selectedEObjects, but there 
</PRE>
</BLOCKQUOTE>
 
Oo.  By default, batch validation iterates over the objects contained by the selection, so you should only need to add the resource contents to your selection.  Otherwise, you'll be iterating over all of the objects once to collect them, again to validate them, and in between the validator does a lot of work to remove from your selection all of the elements that are nested within other elements in the selection. 
 
<BLOCKQUOTE TYPE=CITE>
<PRE>
was context issues. I discovered when you add two different EObject types 
to the selectedEObjects it doesnt work - is this correct? Do you have any 
ideas why this is the case.
</PRE>
</BLOCKQUOTE>
 
What do you mean by "two different EObject types?"  You can select instances of any number of different EClasses, from different EPackages, and even different client-contexts. 
 
<PRE>

</PRE>
<BLOCKQUOTE TYPE=CITE>
<PRE>
The below code works for me, but if I add in the commented out lines it 
does not validate against the OCL constraints.
</PRE>
</BLOCKQUOTE>
 
I see that it is usurping the validator's job of determining which objects to evaluate constraints on by filtering the eAllContents().  Except, as I mentioned, that it won't work that way because the validator will iterate contents anyway. 
 
Simply doing 
 
    validator.validate(Collections.singletonList(c) ) 
 
should do the trick.  Or, maybe you need to add the c.getCoursewareModel() to the list of objects to validate if it isn't contained by c. 
 
In any case, the way you're doing it shouldn't fail to work; it should just be inefficient.  It looks like there's some kind of bug, maybe in the client-context handling.  If you can produce a small reproducible test case as a bugzilla attachment, that would be most cool. 
 
P.S. 
 
I see that you are casting to CaviarImpl.  It is recommended practice to treat *Impls as "internal" code in the Eclipse sense and use only the interfaces; e.g., Caviar. 
 
<BLOCKQUOTE TYPE=CITE>
<PRE>

Thanks again for all your help,
Mark

public void run(IAction action) {
 
 
 ValidationDelegateClientSelector.running = true;

 MIKAEL2hDiagramEditor mikaelEditor = 
 (MIKAEL2hDiagramEditor)MIKAEL2hEditorPlugin.getPlugin().getW orkbench().getActiveWorkbenchWindow().getActivePage().getAct iveEditor(); 
 CaviarImpl c = 
 (CaviarImpl)mikaelEditor.getDiagram().getElement().eContaine r(); 
 
 TreeIterator<EObject> l = c.eAllContents();
 this.selectedEObjects = new ArrayList<EObject>();
 
 
 this.selectedEObjects.addAll(c.getCoursewareModel().getTopic s()); 
 while(l.hasNext()){
 EObject eObj = l.next();
 if(eObj instanceof Concept){
 this.selectedEObjects.add((Concept)eObj);
 //}else if(eObj instanceof Topic){
 // this.selectedEObjects.add((Topic)eObj);
 }else{}
 }
 // this.selectedEObjects.add((EObject)l.next());
 
 IBatchValidator validator = 
(IBatchValidator)ModelValidationService.getInstance() 
 .newValidator(EvaluationMode.BATCH);
 validator.setIncludeLiveConstraints(true);
 
 final IStatus status = validator.validate(selectedEObjects);
 

Christian W. Damus wrote:

> Hi, Mark,

> Sorry for not responding sooner.

> Yeah, GMF provides an IAdaptableSelection interface that is implemented
> by the selections in the diagrams, which provides convenient access to
> the model elements (as opposed to the diagram views) that are selected.
> Just adapt to EObject and you're cool.

> If there's a bug in the action-delegate's handling of selection, perhaps
> you could raise it? It won't do to have examples that don't demonstrate
> working code. :-(

> For debugging client-context issues, the best place to start is with a
> breakpoint in the

> getBindings(Collection<IClientContext>,
> Collection<IModelConstraint>)

> method of the
> org.eclipse.emf.validation.internal.service.ClientContextMan ager. 

> You will see whether your constraint matches any of the incoming
> client-contexts, which should suggest whether you are missing bindings
> or whether you need to define an additional context. These contexts are
> kind of notoriously tricky to get right (they're always tripping me up,
> and I invented them!).

> HTH,

> Christian

> On Tue, 2008-07-22 at 12:22 +0000, Mark Melia wrote:

>> Hi,
>> 
>> Just a quick update on this - in case anybody has the same problem.
>> 
>> I have established that the selectionChanged method of the 
>> BatchValidateDelegate is called to any selection changes after the first 
>> time the Validator is called. This means that the initial validation still 
>> has no selectedEObjects but after the initial validation, the selected 
>> element is found for any subsequent validations.
>> 
>> I have also noted that because our project is a GMF project, the 
>> selectionChanged method had to be changed to handle editparts as opposed 
>> to eObjects that were coming in the original EMF project. 
>> 
>> The OCLConstraintProvider is now being invoked - but not giving the 
>> correct result for the OCL I have defined - I think this might be a client 
>> context issue.
>> 
>> Anybody with ideas, I would love to hear them.
>> 
>> Thanks,
>> Mark
>> 
>> Mark Melia wrote:
>> 
>> > Sorry Christian for the confusion - that is the one i meant, the 
>> > org.eclipse.emf.validation.examples.ocl example.
>> 
>> > I have included the plugin.xml below - thanks again:
>> > <plugin>
>> 
>> > <extension point="org.eclipse.ui.editorActions"&g t; 
>> > <editorContribution 
>> 
>> > id="org.eclipse.emf.validation.examples.general.edi torContribution" 
>> > targetID="Mikael2High.diagram.part.MIKAEL2hDiagramE ditorID"> 
>> > <menu
>> > label="CAVIAr Validation"
>> > path="additions"
>> > id="Course.Validation">
>> > <separator name="additions"/>
>> > </menu>
>> 
>> > <action
>> > label="%ValidateElementsAction.label"
>> > icon="$nl$/icons/elcl16/validate_co.gif"
>> 
>> > 
>> 
 class="org.eclipse.emf.validation.examples.general. actions.BatchValidationDelegate" 
>> > menubarPath="Course.Validation/additions"
>> 
>> > id="org.eclipse.emf.validation.pde.example.general. ui.validateAction"/> 
>> > <action
>> > label="%EnableLiveValidationAction.label"
>> 
>> > 
>> 
 class="org.eclipse.emf.validation.examples.general. actions.EnableLiveValidationDelegate" 
>> > menubarPath="Course.Validation/additions"
>> 
>> > 
>> 
 id="org.eclipse.emf.validation.pde.example.general. ui.enableLiveValidationAction"/> 
>> > <action
>> > label="%ShowValidationEventsAction.label"
>> 
>> > 
>> 
 class="org.eclipse.emf.validation.examples.general. actions.ShowValidationEventsDelegate" 
>> > style="toggle"
>> > state="false"
>> > menubarPath="Course.Validation/additions"
>> 
>> > 
>> 
 id="org.eclipse.emf.validation.pde.example.general. ui.showValidationEventsAction"/> 
>> 
>> > </editorContribution> 
>> > </extension> 
>> 
>> > <extension
>> > point="org.eclipse.ui.popupMenus">
>> > <viewerContribution
>> > targetID="CaviarLow.presentation.CaviarLowEditorID& amp;quot; 
>> 
>> > id="org.eclipse.emf.validation.examples.general.vie werContribution"> 
>> > <menu
>> > label="%_UI_ValidationMenu_label"
>> > path="additions"
>> > id="org.eclipse.emf.validationMenuID"& gt; 
>> > <separator name="additions"/>
>> > </menu>
>> > <action
>> > label="%ValidateElementsAction.label"
>> > icon="$nl$/icons/elcl16/validate_co.gif"
>> 
>> > 
>> 
 class="org.eclipse.emf.validation.examples.general. actions.BatchValidationDelegate" 
>> > menubarPath="org.eclipse.emf.validationMenuID/addit ions" 
>> 
>> > id="org.eclipse.emf.validation.pde.example.general. ui.validateAction"/> 
>> > <action
>> > label="%EnableLiveValidationAction.label"
>> 
>> > 
>> 
 class="org.eclipse.emf.validation.examples.general. actions.EnableLiveValidationDelegate" 
>> > menubarPath="org.eclipse.emf.validationMenuID/addit ions" 
>> 
>> > 
>> 
 id="org.eclipse.emf.validation.pde.example.general. ui.enableLiveValidationAction"/> 
>> > <action
>> > label="%ShowValidationEventsAction.label"
>> 
>> > 
>> 
 class="org.eclipse.emf.validation.examples.general. actions.ShowValidationEventsDelegate" 
>> > style="toggle"
>> > state="false"
>> > menubarPath="org.eclipse.emf.validationMenuID/addit ions" 
>> 
>> > 
>> 
 id="org.eclipse.emf.validation.pde.example.general. ui.showValidationEventsAction"/> 
>> 
>> > </viewerContribution>
>> > </extension>
>> 
>> 
>> 
>> 
>> > <extension
>> > point="org.eclipse.emf.validation.constraintProvide rs" 
>> > id="oclProvider"> 
>> > 
>> > <constraintProvider
>> 
>> > class="org.eclipse.emf.validation.examples.ocl.OCLC onstraintProvider" 
>> > category="Constraints from an OCL Document"
>> > cache="false">
>> 
>> > <package namespaceUri="<A HREF="http://mikael.computing.dcu.ie/#2_0">http://mikael.computing.dcu.ie/#2_0"/</A>>
>> 
>> > <ocl path="constraints/library.ocl"/>
>> > </constraintProvider>
>> > </extension>
>> 
>> 
>> 
>> > <extension
>> > point="org.eclipse.emf.validation.constraintBinding s"> 
>> > <clientContext
>> > default="false"
>> > id="MIKAEL2hClientContext">
>> > <selector 
>> > 
>> 
 class="org.eclipse.emf.validation.examples.general. constraints.ValidationDelegateClientSelector"/& gt; 
>> > </clientContext>
>> > <binding
>> > context="MIKAEL2hClientContext"
>> > category="mikael.validation"/>
>> > </extension>
>> > <extension
>> > point="org.eclipse.emf.validation.validationListene rs"> 
>> > <listener 
>> > 
>> 
 class="org.eclipse.emf.validation.examples.general. listeners.ValidationListener"> 
>> > <clientContext id="MIKAEL2hClientContext"/>
>> > </listener>
>> > </extension>
>> > <extension
>> > point="org.eclipse.emf.validation.ui.UIRegisteredCl ientContext"> 
>> > <clientContext id="MIKAEL2hClientContext"/>
>> > </extension> 
>> > </plugin>
>> 
>> > Christian W. Damus wrote:
>> 
>> >> Hi, Mark,
>> 
>> >> That example has nothing to do with validation. It's simply an
>> >> interactive OCL console. Perhaps you melded it with the
>> >> org.eclipse.emf.validation.examples.ocl example?
>> 
>> >> Perhaps if you can supply the plugin.xml that defines your
>> >> constraint-provider extension, that would help to diagnose your problem.
>> 
>> >> cW
>> 
>> 
>> >> On Mon, 2008-07-21 at 16:01 +0000, Mark Melia wrote:
>> 
>> >>> Hi Christian,
>> >>> 
>> >>> Thanks for helping once again. The example I am using is the Library 
one 
>> >>> 
>> > 
>> 
<A HREF=" http://www.eclipse.org/downloads/download.php?file=/modeling /mdt/ocl/downloads/drops/1.2.0/R200806091714/mdt-ocl-example s-1.2.0.zip"> http://www.eclipse.org/downloads/download.php?file=/modeling /mdt/ocl/downloads/drops/1.2.0/R200806091714/mdt-ocl-example s-1.2.0.zip</A>
>> 
>>

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

--=-mz9hryCaBRdDfhrrqHM+--

Report message to a moderator

Re: Connecting editor action with OCL Constraint provider [message #59767 is a reply to message #59742]

Fri, 25 July 2008 13:16

Mark Melia

Messages: 142
Registered: July 2009

Senior Member

Hi all,

Just to conclude this incase anyone is having a similar problem...

The problem seems to have been the way which in our project we load in the
OCL constraints everytime the validation is called, instead of just in the
initial validation as in the example code. This meant a series of boolean
checks were required to stop the loops, I think that these checks were
causing problems, but I am not sure.

I have reverted to the original OCLConstraintProvider written by Christian
and this works with the GMF version of the validation delegate. I still
have to figure out a better way to allow for OCL to be changed at runtime
(a business requirement), but will let the newsgroup know if I figure one
out. On the other hand if you have an idea let me know.

Mark

Christian W. Damus wrote:

> Hi, Mark,

> See some replies in-line, below.

> HTH,

> Christian

> On Wed, 2008-07-23 at 13:42 +0000, Mark Melia wrote:

>> Hey Christian,
>>
>> I nearly have this working, just trying to sort out one small context
>> issue. In my validation, I want to validate everthing in the model when
>> the user select validate. So the selected item is irrelevant, as all items
>> in the model will have to be validated.
>>
>> To do this, in the BatchValidateDelegate I set up my run method to read in
>> all elements of the model and add them to the selectedEObjects, but there

> Oo. By default, batch validation iterates over the objects contained by
> the selection, so you should only need to add the resource contents to
> your selection. Otherwise, you'll be iterating over all of the objects
> once to collect them, again to validate them, and in between the
> validator does a lot of work to remove from your selection all of the
> elements that are nested within other elements in the selection.

>> was context issues. I discovered when you add two different EObject types
>> to the selectedEObjects it doesnt work - is this correct? Do you have any
>> ideas why this is the case.

> What do you mean by "two different EObject types?" You can select
> instances of any number of different EClasses, from different EPackages,
> and even different client-contexts.

>> The below code works for me, but if I add in the commented out lines it
>> does not validate against the OCL constraints.

> I see that it is usurping the validator's job of determining which
> objects to evaluate constraints on by filtering the eAllContents().
> Except, as I mentioned, that it won't work that way because the
> validator will iterate contents anyway.

> Simply doing

> validator.validate(Collections.singletonList(c))

> should do the trick. Or, maybe you need to add the
> c.getCoursewareModel() to the list of objects to validate if it isn't
> contained by c.

> In any case, the way you're doing it shouldn't fail to work; it should
> just be inefficient. It looks like there's some kind of bug, maybe in
> the client-context handling. If you can produce a small reproducible
> test case as a bugzilla attachment, that would be most cool.

> P.S.

> I see that you are casting to CaviarImpl. It is recommended practice to
> treat *Impls as "internal" code in the Eclipse sense and use only the
> interfaces; e.g., Caviar.

>>
>> Thanks again for all your help,
>> Mark
>>
>> public void run(IAction action) {
>>
>>
>> ValidationDelegateClientSelector.running = true;
>>
>> MIKAEL2hDiagramEditor mikaelEditor =
>>
(MIKAEL2hDiagramEditor)MIKAEL2hEditorPlugin.getPlugin().getW orkbench().getActiveWorkbenchWindow().getActivePage().getAct iveEditor();
>> CaviarImpl c =
>> (CaviarImpl)mikaelEditor.getDiagram().getElement().eContaine r();
>>
>> TreeIterator<EObject> l = c.eAllContents();
>> this.selectedEObjects = new ArrayList<EObject>();
>>
>>
>> this.selectedEObjects.addAll(c.getCoursewareModel().getTopic s());
>> while(l.hasNext()){
>> EObject eObj = l.next();
>> if(eObj instanceof Concept){
>> this.selectedEObjects.add((Concept)eObj);
>> //}else if(eObj instanceof Topic){
>> // this.selectedEObjects.add((Topic)eObj);
>> }else{}
>> }
>> // this.selectedEObjects.add((EObject)l.next());
>>
>> IBatchValidator validator =
>> (IBatchValidator)ModelValidationService.getInstance()
>> .newValidator(EvaluationMode.BATCH);
>> validator.setIncludeLiveConstraints(true);
>>
>> final IStatus status = validator.validate(selectedEObjects);
>>
>>
>> Christian W. Damus wrote:
>>
>> > Hi, Mark,
>>
>> > Sorry for not responding sooner.
>>
>> > Yeah, GMF provides an IAdaptableSelection interface that is implemented
>> > by the selections in the diagrams, which provides convenient access to
>> > the model elements (as opposed to the diagram views) that are selected.
>> > Just adapt to EObject and you're cool.
>>
>> > If there's a bug in the action-delegate's handling of selection, perhaps
>> > you could raise it? It won't do to have examples that don't demonstrate
>> > working code. :-(
>>
>> > For debugging client-context issues, the best place to start is with a
>> > breakpoint in the
>>
>> > getBindings(Collection<IClientContext>,
>> > Collection<IModelConstraint>)
>>
>> > method of the
>> > org.eclipse.emf.validation.internal.service.ClientContextMan ager.
>>
>> > You will see whether your constraint matches any of the incoming
>> > client-contexts, which should suggest whether you are missing bindings
>> > or whether you need to define an additional context. These contexts are
>> > kind of notoriously tricky to get right (they're always tripping me up,
>> > and I invented them!).
>>
>> > HTH,
>>
>> > Christian
>>
>>
>> > On Tue, 2008-07-22 at 12:22 +0000, Mark Melia wrote:
>>
>> >> Hi,
>> >>
>> >> Just a quick update on this - in case anybody has the same problem.
>> >>
>> >> I have established that the selectionChanged method of the
>> >> BatchValidateDelegate is called to any selection changes after the first
>> >> time the Validator is called. This means that the initial validation
still
>> >> has no selectedEObjects but after the initial validation, the selected
>> >> element is found for any subsequent validations.
>> >>
>> >> I have also noted that because our project is a GMF project, the
>> >> selectionChanged method had to be changed to handle editparts as opposed
>> >> to eObjects that were coming in the original EMF project.
>> >>
>> >> The OCLConstraintProvider is now being invoked - but not giving the
>> >> correct result for the OCL I have defined - I think this might be a
client
>> >> context issue.
>> >>
>> >> Anybody with ideas, I would love to hear them.
>> >>
>> >> Thanks,
>> >> Mark
>> >>
>> >> Mark Melia wrote:
>> >>
>> >> > Sorry Christian for the confusion - that is the one i meant, the
>> >> > org.eclipse.emf.validation.examples.ocl example.
>> >>
>> >> > I have included the plugin.xml below - thanks again:
>> >> > <plugin>
>> >>
>> >> > <extension point="org.eclipse.ui.editorActions">
>> >> > <editorContribution
>> >>
>> >> > id=" org.eclipse.emf.validation.examples.general.editorContributi on "
>> >> > targetID="Mikael2High.diagram.part.MIKAEL2hDiagramEditorID" >
>> >> > <menu
>> >> > label="CAVIAr Validation"
>> >> > path="additions"
>> >> > id="Course.Validation">
>> >> > <separator name="additions"/>
>> >> > </menu>
>> >>
>> >> > <action
>> >> > label="%ValidateElementsAction.label"
>> >> > icon="$nl$/icons/elcl16/validate_co.gif"
>> >>
>> >> >
>> >>
>>
class=" org.eclipse.emf.validation.examples.general.actions.BatchVal idationDelegate "
>> >> > menubarPath="Course.Validation/additions"
>> >>
>> >> > id=" org.eclipse.emf.validation.pde.example.general.ui.validateAc tion "/>
>> >> > <action
>> >> > label="%EnableLiveValidationAction.label"
>> >>
>> >> >
>> >>
>>
class=" org.eclipse.emf.validation.examples.general.actions.EnableLi veValidationDelegate "
>> >> > menubarPath="Course.Validation/additions"
>> >>
>> >> >
>> >>
>>
id=" org.eclipse.emf.validation.pde.example.general.ui.enableLive ValidationAction "/>
>> >> > <action
>> >> > label="%ShowValidationEventsAction.label"
>> >>
>> >> >
>> >>
>>
class=" org.eclipse.emf.validation.examples.general.actions.ShowVali dationEventsDelegate "
>> >> > style="toggle"
>> >> > state="false"
>> >> > menubarPath="Course.Validation/additions"
>> >>
>> >> >
>> >>
>>
id=" org.eclipse.emf.validation.pde.example.general.ui.showValida tionEventsAction "/>
>> >>
>> >> > </editorContribution>
>> >> > </extension>
>> >>
>> >> > <extension
>> >> > point="org.eclipse.ui.popupMenus">
>> >> > <viewerContribution
>> >> > targetID="CaviarLow.presentation.CaviarLowEditorID"
>> >>
>> >> > id=" org.eclipse.emf.validation.examples.general.viewerContributi on ">
>> >> > <menu
>> >> > label="%_UI_ValidationMenu_label"
>> >> > path="additions"
>> >> > id="org.eclipse.emf.validationMenuID">
>> >> > <separator name="additions"/>
>> >> > </menu>
>> >> > <action
>> >> > label="%ValidateElementsAction.label"
>> >> > icon="$nl$/icons/elcl16/validate_co.gif"
>> >>
>> >> >
>> >>
>>
class=" org.eclipse.emf.validation.examples.general.actions.BatchVal idationDelegate "
>> >> > menubarPath="org.eclipse.emf.validationMenuID/additions"
>> >>
>> >> > id=" org.eclipse.emf.validation.pde.example.general.ui.validateAc tion "/>
>> >> > <action
>> >> > label="%EnableLiveValidationAction.label"
>> >>
>> >> >
>> >>
>>
class=" org.eclipse.emf.validation.examples.general.actions.EnableLi veValidationDelegate "
>> >> > menubarPath="org.eclipse.emf.validationMenuID/additions"
>> >>
>> >> >
>> >>
>>
id=" org.eclipse.emf.validation.pde.example.general.ui.enableLive ValidationAction "/>
>> >> > <action
>> >> > label="%ShowValidationEventsAction.label"
>> >>
>> >> >
>> >>
>>
class=" org.eclipse.emf.validation.examples.general.actions.ShowVali dationEventsDelegate "
>> >> > style="toggle"
>> >> > state="false"
>> >> > menubarPath="org.eclipse.emf.validationMenuID/additions"
>> >>
>> >> >
>> >>
>>
id=" org.eclipse.emf.validation.pde.example.general.ui.showValida tionEventsAction "/>
>> >>
>> >> > </viewerContribution>
>> >> > </extension>
>> >>
>> >>
>> >>
>> >>
>> >> > <extension
>> >> > point="org.eclipse.emf.validation.constraintProviders"
>> >> > id="oclProvider">
>> >> > 
>> >> > <constraintProvider
>> >>
>> >> > class=" org.eclipse.emf.validation.examples.ocl.OCLConstraintProvide r "
>> >> > category="Constraints from an OCL Document"
>> >> > cache="false">
>> >>
>> >> > <package namespaceUri="http://mikael.computing.dcu.ie/#2_0"/>
>> >>
>> >> > <ocl path="constraints/library.ocl"/>
>> >> > </constraintProvider>
>> >> > </extension>
>> >>
>> >>
>> >>
>> >> > <extension
>> >> > point="org.eclipse.emf.validation.constraintBindings">
>> >> > <clientContext
>> >> > default="false"
>> >> > id="MIKAEL2hClientContext">
>> >> > <selector
>> >> >
>> >>
>>
class=" org.eclipse.emf.validation.examples.general.constraints.Vali dationDelegateClientSelector "/>
>> >> > </clientContext>
>> >> > <binding
>> >> > context="MIKAEL2hClientContext"
>> >> > category="mikael.validation"/>
>> >> > </extension>
>> >> > <extension
>> >> > point="org.eclipse.emf.validation.validationListeners">
>> >> > <listener
>> >> >
>> >>
>>
class=" org.eclipse.emf.validation.examples.general.listeners.Valida tionListener ">
>> >> > <clientContext id="MIKAEL2hClientContext"/>
>> >> > </listener>
>> >> > </extension>
>> >> > <extension
>> >> >
point="org.eclipse.emf.validation.ui.UIRegisteredClientContext ">
>> >> > <clientContext id="MIKAEL2hClientContext"/>
>> >> > </extension>
>> >> > </plugin>
>> >>
>> >> > Christian W. Damus wrote:
>> >>
>> >> >> Hi, Mark,
>> >>
>> >> >> That example has nothing to do with validation. It's simply an
>> >> >> interactive OCL console. Perhaps you melded it with the
>> >> >> org.eclipse.emf.validation.examples.ocl example?
>> >>
>> >> >> Perhaps if you can supply the plugin.xml that defines your
>> >> >> constraint-provider extension, that would help to diagnose your
problem.
>> >>
>> >> >> cW
>> >>
>> >>
>> >> >> On Mon, 2008-07-21 at 16:01 +0000, Mark Melia wrote:
>> >>
>> >> >>> Hi Christian,
>> >> >>>
>> >> >>> Thanks for helping once again. The example I am using is the Library
>> one
>> >> >>>
>> >> >
>> >>
>>
http://www.eclipse.org/downloads/download.php?file=/modeling /mdt/ocl/downloads/drops/1.2.0/R200806091714/mdt-ocl-example s-1.2.0.zip
>> >>
>> >>
>>
>>
Hi

Report message to a moderator

Previous Topic:	Parsing failed: ") unexpected token(s)" in helper.defineOperation(..) although number of p
Next Topic:	OCL Expression

Goto Forum:

-=] Back to Top [=-

[ Syndicate this forum (XML) ] [

]

Current Time: Fri Apr 19 14:52:32 GMT 2024

.:: Contact :: Home ::.

Breadcrumbs

Sign up to our Newsletter