Commit 86170828 authored by Alfons Laarman's avatar Alfons Laarman

Support atomic around unless

parent 74033978
......@@ -1046,8 +1046,8 @@ public class Promela implements PromelaConstants {
}
if (jj_2_28(2147483647)) {
jj_consume_token(UNLESS);
start1 = new State(automaton, false);
end1 = sequence(start1, breakNode, false);
start1 = new State(automaton, inAtomic);
end1 = sequence(start1, breakNode, inAtomic);
for (Transition tr : end1.input) {
tr.changeTo(end);
}
......
......@@ -1205,9 +1205,9 @@ State sequence(State start, State breakNode, boolean inAtomic): {
(
LOOKAHEAD(<UNLESS> sequence()) <UNLESS>
{
start1 = new State(automaton, false);
start1 = new State(automaton, inAtomic);
}
end1=sequence(start1, breakNode, false)
end1=sequence(start1, breakNode, inAtomic)
{
for (Transition tr : end1.input) {
tr.changeTo(end);
......
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment