|
@@ -11,71 +11,71 @@ def model_compile(filename):
|
|
|
|
|
|
def conformance_call(operation, model, metamodel):
|
|
|
return [
|
|
|
- '"output"',
|
|
|
- '"call"',
|
|
|
- '"access"', '"resolve"', '"%s"' % operation,
|
|
|
- '3',
|
|
|
- '"call"', '"access"', '"resolve"', '"import_node"', '1', '"const"', '"models/example_M"', 'false',
|
|
|
- '"const"', '"%s"' % model,
|
|
|
- '"const"', '"%s"' % metamodel,
|
|
|
- 'false',
|
|
|
- 'true',
|
|
|
+ "output",
|
|
|
+ "call",
|
|
|
+ "access", "resolve", str(operation),
|
|
|
+ 3,
|
|
|
+ "call", "access", "resolve", "import_node", 1, "const", "models/example_M", False,
|
|
|
+ "const", str(model),
|
|
|
+ "const", str(metamodel),
|
|
|
+ False,
|
|
|
+ True,
|
|
|
]
|
|
|
|
|
|
def conformance_check(node):
|
|
|
return [
|
|
|
- '"output"',
|
|
|
- '"call"',
|
|
|
- '"access"', '"resolve"', '"conformance_scd"',
|
|
|
- '1',
|
|
|
- '"call"', '"access"', '"resolve"', '"import_node"', '1', '"const"', '"%s"' % (node), 'false',
|
|
|
- 'false',
|
|
|
- 'true',
|
|
|
+ "output",
|
|
|
+ "call",
|
|
|
+ "access", "resolve", "conformance_scd",
|
|
|
+ 1,
|
|
|
+ "call", "access", "resolve", "import_node", 1, "const", str(node), False,
|
|
|
+ False,
|
|
|
+ True,
|
|
|
]
|
|
|
|
|
|
class TestConstructorsModelsCompiled(unittest.TestCase):
|
|
|
def test_constructors_petrinets(self):
|
|
|
- commands = ['"initialize_SCD"', '"models/SimpleClassDiagrams"'] + \
|
|
|
+ commands = ["initialize_SCD", "models/SimpleClassDiagrams"] + \
|
|
|
model_compile("integration/code/petrinets.mvc") + \
|
|
|
- ['"exit"', '1'] + conformance_check("models/PetriNets") + ['"return"', 'false']
|
|
|
+ ["exit", 1] + conformance_check("models/PetriNets") + ["return", False]
|
|
|
self.assertTrue(run_barebone(commands, ["OK"], 4))
|
|
|
|
|
|
def test_constructors_petrinet_instance(self):
|
|
|
- commands = ['"initialize_SCD"', '"models/SimpleClassDiagrams"'] + \
|
|
|
+ commands = ["initialize_SCD", "models/SimpleClassDiagrams"] + \
|
|
|
model_compile("integration/code/petrinets.mvc") + \
|
|
|
model_compile("integration/code/my_petrinet.mvc") + \
|
|
|
- ['"exit"', '1'] + conformance_check("models/my_petrinet") + ['"return"', 'false']
|
|
|
+ ["exit", 1] + conformance_check("models/my_petrinet") + ["return", False]
|
|
|
self.assertTrue(run_barebone(commands, ["OK"], 4))
|
|
|
|
|
|
def test_constructors_petrinet_full(self):
|
|
|
- commands = ['"initialize_SCD"', '"models/SimpleClassDiagrams"'] + \
|
|
|
+ commands = ["initialize_SCD", "models/SimpleClassDiagrams"] + \
|
|
|
model_compile("integration/code/my_petrinet_with_MM.mvc") + \
|
|
|
- ['"exit"', '1'] + conformance_check("models/my_petrinet") + ['"return"', 'false']
|
|
|
+ ["exit", 1] + conformance_check("models/my_petrinet") + ["return", False]
|
|
|
self.assertTrue(run_barebone(commands, ["OK"], 4))
|
|
|
|
|
|
def test_constructors_petrinets_constraints(self):
|
|
|
- commands = ['"initialize_SCD"', '"models/SimpleClassDiagrams"'] + \
|
|
|
+ commands = ["initialize_SCD", "models/SimpleClassDiagrams"] + \
|
|
|
model_compile("integration/code/petrinets_constraints.mvc") + \
|
|
|
- ['"exit"', '1'] + conformance_check("models/PetriNets") + ['"return"', 'false']
|
|
|
+ ["exit", 1] + conformance_check("models/PetriNets") + ["return", False]
|
|
|
self.assertTrue(run_barebone(commands, ["OK"], 4))
|
|
|
|
|
|
def test_constructors_petrinet_instance_constraints(self):
|
|
|
- commands = ['"initialize_SCD"', '"models/SimpleClassDiagrams"'] + \
|
|
|
+ commands = ["initialize_SCD", "models/SimpleClassDiagrams"] + \
|
|
|
model_compile("integration/code/petrinets_constraints.mvc") + \
|
|
|
model_compile("integration/code/my_petrinet.mvc") + \
|
|
|
- ['"exit"', '1'] + conformance_check("models/my_petrinet") + ['"return"', 'false']
|
|
|
+ ["exit", 1] + conformance_check("models/my_petrinet") + ["return", False]
|
|
|
self.assertTrue(run_barebone(commands, ["OK"], 4))
|
|
|
|
|
|
def test_constructors_petrinet_full_constraints(self):
|
|
|
- commands = ['"initialize_SCD"', '"models/SimpleClassDiagrams"'] + \
|
|
|
+ commands = ["initialize_SCD", "models/SimpleClassDiagrams"] + \
|
|
|
model_compile("integration/code/my_petrinet_with_MM_and_constraints.mvc") + \
|
|
|
- ['"exit"', '1'] + conformance_check("models/my_petrinet") + ['"return"', 'false']
|
|
|
+ ["exit", 1] + conformance_check("models/my_petrinet") + ["return", False]
|
|
|
self.assertTrue(run_barebone(commands, ["OK"], 4))
|
|
|
|
|
|
def test_constructors_petrinet_invalids(self):
|
|
|
- commands = ['"initialize_SCD"', '"models/SimpleClassDiagrams"'] + \
|
|
|
+ commands = ["initialize_SCD", "models/SimpleClassDiagrams"] + \
|
|
|
model_compile("integration/code/several_petrinets.mvc") + \
|
|
|
- ['"exit"', '1'] + \
|
|
|
+ ["exit", 1] + \
|
|
|
conformance_check("models/valid_petrinet") + \
|
|
|
conformance_check("models/invalid_petrinet_1") + \
|
|
|
conformance_check("models/invalid_petrinet_2") + \
|
|
@@ -84,7 +84,7 @@ class TestConstructorsModelsCompiled(unittest.TestCase):
|
|
|
conformance_check("models/invalid_petrinet_5") + \
|
|
|
conformance_check("models/invalid_petrinet_6") + \
|
|
|
conformance_check("models/invalid_petrinet_7") + \
|
|
|
- ['"return"', 'false']
|
|
|
+ ["return", False]
|
|
|
self.assertTrue(run_barebone(commands, ["OK",
|
|
|
"Natural does not have a positive or zero value at p1.tokens",
|
|
|
"Natural does not have a positive or zero value at p2t.weight",
|