Commit 7ab4ebdc authored by Daniel Ratiu's avatar Daniel Ratiu
Browse files

maturing the translation of user defined functions from a data dictionary into...

maturing the translation of user defined functions from a data dictionary into NuSMV - now it looks ok
refs 823
parent 63c1e9c2
...@@ -80,7 +80,7 @@ import org.fortiss.af3.tools.nusmv.model.types.WordType; ...@@ -80,7 +80,7 @@ import org.fortiss.af3.tools.nusmv.model.types.WordType;
* @author ratiu * @author ratiu
* @author $Author: hoelzl $ * @author $Author: hoelzl $
* @version $Rev: 18709 $ * @version $Rev: 18709 $
* @ConQAT.Rating GREEN Hash: 5C86D5D32A5EEFE2E0341E0D03EB755B * @ConQAT.Rating YELLOW Hash: A4B8EECA5701D560E91DA4441CA01EFD
*/ */
public class NuSMVTextGenerator implements ITextGenerator<NuSMVFile> { public class NuSMVTextGenerator implements ITextGenerator<NuSMVFile> {
...@@ -382,6 +382,8 @@ public class NuSMVTextGenerator implements ITextGenerator<NuSMVFile> { ...@@ -382,6 +382,8 @@ public class NuSMVTextGenerator implements ITextGenerator<NuSMVFile> {
return "<"; return "<";
case LOWER_EQUAL: case LOWER_EQUAL:
return "<="; return "<=";
case MODULO:
return "mod";
default: default:
break; break;
} }
......
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