Re: [henshin-dev] error while checking ocl constraint in henshin environ

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

Thanks a lot Christian.

Thanks

Subramanya

On Sat, Nov 16, 2013 at 10:41 AM, Christian Krause <henshin.ck@xxxxxxxxx> wrote:

Hi,

I can confirm this problem. I try to fix it a.s.a.p.

Cheers,

Christian

2013/11/8 Subramanya K G <subramanya.kg@xxxxxxxxx>

Hello Christian,

Thanks for the reply. I checked this in Henshin version 0.9.0 and it works fine. But in the latest version I do not see any popup or any messages regarding the result of validation.

Thanks
Subramanya

On Fri, Nov 8, 2013 at 9:42 AM, Christian Krause <henshin.ck@xxxxxxxxx> wrote:

Hi Subramanya,

this error is known but should not effect the OCL validation. The error happens in newer GMF/GEF versions and can occur on selection events in the graphical Henshin editor. I have not seen this error in conjunction with the state space explorer / model checker. Also, the error is actually not severe: GMF/GEF just complains about the fact that you clicked on something that cannot be selected. I don't know why they decided to spawn error messages in these cases.

Cheers,

Christian

2013/11/7 Subramanya K G <subramanya.kg@xxxxxxxxx>

Hello,

I am trying to execute the OCL Constraint  "self.forks->size() > 0" on Dining philosopher problem and I encountered the below error. I feel am missing something, Please let me know why am not able to execute it.
 

--  Failed to execute runnable (java.lang.IllegalArgumentException: An EditPart has to be selectable (isSelectable() == true) in order to get selected.

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