Re: [henshin-dev] Info on OCL Invariant check

[Subramanya K G <subramanya.kg@xxxxxxxxx>]

Hello Christian,

Yes, I can find it. Thanks

On Tue, Oct 29, 2013 at 8:07 PM, Christian Krause <henshin.ck@xxxxxxxxx> wrote:

Hi Subramany,

the OCL invariant checker is now called "OCL (shortest path)". Do you see this in the drop-down list? If you normally install Henshin via the update sites, it should be there.

Cheers,

Christian 

2013/10/29 Subramanya K G <subramanya.kg@xxxxxxxxx>

Hello Christian,

I see the OCL Pulgins Installed, but still not able to find OCL(Invariant) option in validation window. Please find the attached screenshot which shows the installation details of OCL plugins

Thanks a ton.

Thanks
Subramanya

On Tue, Oct 29, 2013 at 7:07 AM, Christian Krause <henshin.ck@xxxxxxxxx> wrote:

Hi Subramanya,

could you check whether you have the OCL plugins installed? Just go to the standard Eclipse update site and search for "OCL".

Cheers,

Christian

2013/10/28 Subramanya K G <subramanya.kg@xxxxxxxxx>

Hi,

I am trying to check the invariant property given in the wiki for dining philosopher problem, but I do not find the OCL(invariant) choice in the drop down menu. Can any one please suggest me regarding this.

Thanks

--

Thanks & Regards,
Subramanya

_______________________________________________
henshin-dev mailing list
henshin-dev@xxxxxxxxxxx
https://dev.eclipse.org/mailman/listinfo/henshin-dev

_______________________________________________
henshin-dev mailing list
henshin-dev@xxxxxxxxxxx
https://dev.eclipse.org/mailman/listinfo/henshin-dev

--

Thanks & Regards,
Subramanya

_______________________________________________
henshin-dev mailing list
henshin-dev@xxxxxxxxxxx
https://dev.eclipse.org/mailman/listinfo/henshin-dev

_______________________________________________
henshin-dev mailing list
henshin-dev@xxxxxxxxxxx
https://dev.eclipse.org/mailman/listinfo/henshin-dev

--

Thanks & Regards,
Subramanya