search

hhu-stups / prob-issues

ProB issues (for probcli, ProB Tcl/Tk, ProB2, ProB2UI)
6 stars 0 forks source link

Parser for Rules machines does not accept pragmas for constants #316

Closed leuschel closed 9 months ago

leuschel commented 1 year ago

It seems that at least for constants the Rules machine parser does not accept pragmas.

iTitus commented 10 months ago

Do you have an example rules machine?

cobizobi commented 10 months ago

Some examples are in Rules_Machines or Rules in the public examples.

iTitus commented 10 months ago

Sorry, I meant a rules machine with a correct pragma comment that does not work.

cobizobi commented 10 months ago

As an example try to add a description pragma to a constant in CONSTANTS section. This is currently not recognised in rules machines and gives Error: Identifier expected. The pragma must probably also be transferred to the internal representation of the machine.

iTitus commented 9 months ago

I added support for description pragmas