Commit d6347952 authored by Jeroen Meijer's avatar Jeroen Meijer

Do not add values for native LTSmin type formats anymore.

parent 3c94f62c
...@@ -252,13 +252,8 @@ public class LTSminTreeWalker { ...@@ -252,13 +252,8 @@ public class LTSminTreeWalker {
debug.say(MessageKind.FATAL, "Not exporting boolean type as \"bool\" (LTSmin standard)"); debug.say(MessageKind.FATAL, "Not exporting boolean type as \"bool\" (LTSmin standard)");
/* always add the bool type */ /* always add the bool type */
model.addType(VariableType.BOOL.getName()); model.addType(VariableType.BOOL.getName());
model.addTypeValue(VariableType.BOOL.getName(), "false", 0); // index 0
model.addTypeValue(VariableType.BOOL.getName(), "true", 1); // index 1
model.addType(GUARD_TYPE_NAME); model.addType(GUARD_TYPE_NAME);
model.addTypeValue(GUARD_TYPE_NAME, "false", 0); // index 0
model.addTypeValue(GUARD_TYPE_NAME, "true", 1); // index 1
model.addTypeValue(GUARD_TYPE_NAME, "maybe", 2); // index 2
/* Generate static list of types. mtypes have values */ /* Generate static list of types. mtypes have values */
for (LTSminSlot slot : model.sv) { for (LTSminSlot slot : model.sv) {
......
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