Re: [henshin-dev] PRISM CTMC export bug

["Manuel Hegner (HPI)" <manuel.hegner@xxxxxxxxxxxxxx>]

Hi,

thanks for the quick answer. Using notes to show attribute conditions is a fine tip. Thanks for that. I finally had the time to look into the CTMC thing and in the code I found that I was the problem. I understood the input for the label generation as a custom language. In reallity everything you write there is directly copied into the file and only the <<<OCL >>> parts are validated. That wasn't clear to me in the beginning and now everythings works wonderful.

Thanks,
Manuel

Am 16.07.2014 19:17, schrieb Christian Krause:

Hi Manuel,

2014-07-16 17:01 GMT+02:00 Manuel Hegner (HPI) <manuel.hegner@xxxxxxxxxxxxxxxxxxxxxxxxxx>:

Hey.
I found a bew bug when you try to export a statespace to PRISM CTMC. While simple ocl label expressions seem to work when mine grew larger there was a semicolon missing at the end of the label definition of the *.sm file. It's only a very small thing but I though I should mention it.

Could you maybe provide a patch for this bug?

 

@Christian:
In your blog in the article about working with lists (http://www.ckrause.org/2013/05/henshin-098-working-with-lists.html) the screenshot shows that attribute conditions are visualized in your henshin dagramms. This feature does not seem to be part of the current stable or nightly, but it would be really nice to have so that you don't forget about them all the time. Could you tell me how to enably them?

This is just a note (so I was cheating here). You can create it using the Note tool in the palette.

Cheers,

Christian

 

Best regards,
Manuel
_______________________________________________
henshin-dev mailing list
henshin-dev@xxxxxxxxxxx
To change your delivery options, retrieve your password, or unsubscribe from this list, visit
https://dev.eclipse.org/mailman/listinfo/henshin-dev

_______________________________________________
henshin-dev mailing list
henshin-dev@xxxxxxxxxxx
To change your delivery options, retrieve your password, or unsubscribe from this list, visit
https://dev.eclipse.org/mailman/listinfo/henshin-dev