module MMParserTest /*** Combinatorial Testing Module for MMParser. requires vdm10 turned on.
***/ imports from MMParser functions eval renamed eval; exportsall definitions traces
integer: let s inset {"", "-"} in let d1 inset {"1", "2", "3", "4", "5", "6", "7", "8", "9"} in let d2 inset {"0", "1", "2", "3", "4", "5", "6", "7", "8", "9"} in
eval(s^d1^d2);
two_terms: let s1, s2 inset {"", "-"} in let n1, n2 inset {"39", "441", "0"} in let op1 inset {"*", "/", "+", "-"} in
eval(s1 ^ n1 ^ op1 ^ s2 ^ n2);
three_terms: let s1, s2, s3 inset {"", "-"} in let n1, n2, n3 inset {"39", "441", "0"} in let op1, op2 inset {"*", "/", "+", "-"} in
eval(s1 ^ n1 ^ op1 ^ s2 ^ n2 ^ op2 ^ s3 ^ n3);
four_terms: let i1, i2, i3, i4 inset {"-39", "441", "0"} in let op1, op2, op3 inset {"*", "/", "+", "-"} in
eval(i1 ^ op1 ^ i2 ^ op2 ^ i3 ^ op3 ^ i4);
end MMParserTest
¤ Die Informationen auf dieser Webseite wurden
nach bestem Wissen sorgfältig zusammengestellt. Es wird jedoch weder Vollständigkeit, noch Richtigkeit,
noch Qualität der bereit gestellten Informationen zugesichert.0.1Bemerkung:
(vorverarbeitet)
¤
Die Informationen auf dieser Webseite wurden
nach bestem Wissen sorgfältig zusammengestellt. Es wird jedoch weder Vollständigkeit, noch Richtigkeit,
noch Qualität der bereit gestellten Informationen zugesichert.
Bemerkung:
Die farbliche Syntaxdarstellung ist noch experimentell.
