modelverse/integration/test_constructors_models.py

import unittest
import sys
import os

from utils import execute, kill, run_file, run_barebone

bottom = [
        "model",
        "instantiate_bottom", "1",
        "add_node", "1", "Element",
        "add_node", "1", "Class",
        "add_node", "1", "Attribute",
        "add_node", "1", "SimpleAttribute",
        "add_node", "1", "String",
        "add_value", "1", "name_value", "name",
        "add_edge", "1", "Association", "Class", "Class",
        "add_edge", "1", "Inheritance", "Element", "Element",
        "add_edge", "1", "AttributeLink", "Element", "Attribute",
        "add_edge", "1", "attr_name", "AttributeLink", "String",
        "add_edge", "1", "attr_name_name", "attr_name", "name_value",
        "add_edge", "1", "class_inh_element", "Class", "Element",
        "add_edge", "1", "attribute_inh_element", "Attribute", "Element",
        "add_edge", "1", "simple_inh_attribute", "SimpleAttribute", "Attribute",
        "add_edge", "1", "association_inh_element", "Association", "Element",
        "add_edge", "1", "attributelink_inh_element", "AttributeLink", "Element",

        "retype_model", "1", "1",
        "retype", "1", "Element", "Class",
        "retype", "1", "Class", "Class",
        "retype", "1", "Attribute", "Class",
        "retype", "1", "SimpleAttribute", "Class",
        "retype", "1", "String", "SimpleAttribute",
        "retype", "1", "name_value", "String",
        "retype", "1", "Association", "Association",
        "retype", "1", "Inheritance", "Association",
        "retype", "1", "AttributeLink", "Association",
        "retype", "1", "attr_name", "AttributeLink",
        "retype", "1", "attr_name_name", "attr_name",
        "retype", "1", "class_inh_element", "Inheritance",
        "retype", "1", "attribute_inh_element", "Inheritance",
        "retype", "1", "simple_inh_attribute", "Inheritance",
        "retype", "1", "association_inh_element", "Inheritance",
        "retype", "1", "attributelink_inh_element", "Inheritance",

        "instantiate_node", "1", "SimpleAttribute", "Location",
        "instantiate_node", "1", "SimpleAttribute", "Natural",
        "instantiate_node", "1", "SimpleAttribute", "Boolean",
        "instantiate_link", "1", "AttributeLink", "attr_optional", "AttributeLink", "Boolean",
        "instantiate_attribute", "1", "attr_optional", "name", "optional",
        "instantiate_attribute", "1", "attr_optional", "optional", False,
        "instantiate_attribute", "1", "attr_name", "optional", False,

        "instantiate_node", "1", "Class", "ComplexAttribute",
        "instantiate_link", "1", "", "Inheritance", "ComplexAttribute", "Attribute",

        "model_define_attribute", "1", "Class", "lower_cardinality", True, "Natural",
        "model_define_attribute", "1", "Class", "upper_cardinality", True, "Natural",
        "model_define_attribute", "1", "Association", "source_lower_cardinality", True, "Natural",
        "model_define_attribute", "1", "Association", "source_upper_cardinality", True, "Natural",
        "model_define_attribute", "1", "Association", "target_lower_cardinality", True, "Natural",
        "model_define_attribute", "1", "Association", "target_upper_cardinality", True, "Natural",
        "model_define_attribute", "1", "ComplexAttribute", "type", False, "Location",

        "export_node", "1", "models/SimpleClassDiagrams_new",
        "exit",
    ]

action_language = [
        "model",
        "instantiate_model", "2", "1",
        "instantiate_node", "2", "Class", "Action",
        "instantiate_node", "2", "Class", "Statement",
        "instantiate_node", "2", "Class", "Expression",
        "instantiate_node", "2", "Class", "funcdef",
        "instantiate_node", "2", "Class", "param",
        "instantiate_node", "2", "Class", "if",
        "instantiate_node", "2", "Class", "break",
        "instantiate_node", "2", "Class", "while",
        "instantiate_node", "2", "Class", "continue",
        "instantiate_node", "2", "Class", "assign",
        "instantiate_node", "2", "Class", "return",
        "instantiate_node", "2", "Class", "output",
        "instantiate_node", "2", "Class", "declare",
        "instantiate_node", "2", "Class", "global",
        "instantiate_node", "2", "Class", "access",
        "instantiate_node", "2", "Class", "constant",
        "instantiate_node", "2", "Class", "input",
        "instantiate_node", "2", "Class", "resolve",
        "instantiate_node", "2", "Class", "call",

        "instantiate_node", "2", "SimpleAttribute", "Natural",
        "instantiate_node", "2", "SimpleAttribute", "String",
        "instantiate_node", "2", "SimpleAttribute", "Boolean",

        "instantiate_link", "2", "Inheritance", "", "Action", "Element",
        "instantiate_link", "2", "Inheritance", "", "funcdef", "Action",
        "instantiate_link", "2", "Inheritance", "", "param", "Action",
        "instantiate_link", "2", "Inheritance", "", "Statement", "Action",
        "instantiate_link", "2", "Inheritance", "", "Expression", "Action",
        "instantiate_link", "2", "Inheritance", "", "resolve", "Statement",
        "instantiate_link", "2", "Inheritance", "", "if", "Statement",
        "instantiate_link", "2", "Inheritance", "", "break", "Statement",
        "instantiate_link", "2", "Inheritance", "", "continue", "Statement",
        "instantiate_link", "2", "Inheritance", "", "global", "Statement",
        "instantiate_link", "2", "Inheritance", "", "while", "Statement",
        "instantiate_link", "2", "Inheritance", "", "assign", "Statement",
        "instantiate_link", "2", "Inheritance", "", "return", "Statement",
        "instantiate_link", "2", "Inheritance", "", "call", "Statement",
        "instantiate_link", "2", "Inheritance", "", "declare", "Statement",
        "instantiate_link", "2", "Inheritance", "", "call", "Expression",
        "instantiate_link", "2", "Inheritance", "", "access", "Expression",
        "instantiate_link", "2", "Inheritance", "", "constant", "Expression",
        "instantiate_link", "2", "Inheritance", "", "input", "Expression",

        "model_define_attribute", "2", "Statement", "next", True, "Statement",
        "model_define_attribute", "2", "if", "cond", False, "Expression",
        "model_define_attribute", "2", "if", "then", False, "Statement",
        "model_define_attribute", "2", "if", "else", True, "Statement",
        "model_define_attribute", "2", "while", "cond", False, "Expression",
        "model_define_attribute", "2", "while", "body", False, "Statement",
        "model_define_attribute", "2", "assign", "var", False, "resolve",
        "model_define_attribute", "2", "assign", "value", False, "Expression",
        "model_define_attribute", "2", "break", "while", False, "while",
        "model_define_attribute", "2", "continue", "while", False, "while",
        "model_define_attribute", "2", "return", "value", True, "Expression",
        "model_define_attribute", "2", "resolve", "var", False, "PrimitiveType",
        "model_define_attribute", "2", "access", "var", False, "resolve",
        "model_define_attribute", "2", "constant", "node", False, "PrimitiveType",
        "model_define_attribute", "2", "output", "node", False, "Expression",
        "model_define_attribute", "2", "global", "var", False, "String",
        "model_define_attribute", "2", "param", "name", False, "String",
        "model_define_attribute", "2", "param", "value", False, "Expression",
        "model_define_attribute", "2", "param", "next_param", True, "param",
        "model_define_attribute", "2", "funcdef", "body", False, "Statement",
        "model_define_attribute", "2", "call", "func", False, "Expression",
        "model_define_attribute", "2", "call", "params", True, "param",
        "model_define_attribute", "2", "call", "last_param", True, "param",

        # TODO these Strings are actually supposed to be more restricted!
        "model_define_attribute", "2", "Statement_next", "name", False, "String",
        "model_define_attribute", "2", "if_cond", "name", False, "String",
        "model_define_attribute", "2", "if_then", "name", False, "String",
        "model_define_attribute", "2", "if_else", "name", False, "String",
        "model_define_attribute", "2", "while_cond", "name", False, "String",
        "model_define_attribute", "2", "while_body", "name", False, "String",
        "model_define_attribute", "2", "assign_var", "name", False, "String",
        "model_define_attribute", "2", "assign_value", "name", False, "String",
        "model_define_attribute", "2", "break_while", "name", False, "String",
        "model_define_attribute", "2", "continue_while", "name", False, "String",
        "model_define_attribute", "2", "return_value", "name", False, "String",
        "model_define_attribute", "2", "resolve_var", "name", False, "String",
        "model_define_attribute", "2", "access_var", "name", False, "String",
        "model_define_attribute", "2", "constant_node", "name", False, "String",
        "model_define_attribute", "2", "output_node", "name", False, "String",
        "model_define_attribute", "2", "global_var", "name", False, "String",
        "model_define_attribute", "2", "param_name", "name", False, "String",
        "model_define_attribute", "2", "param_value", "name", False, "String",
        "model_define_attribute", "2", "param_next_param", "name", False, "String",
        "model_define_attribute", "2", "funcdef_body", "name", False, "String",
        "model_define_attribute", "2", "call_func", "name", False, "String",
        "model_define_attribute", "2", "call_params", "name", False, "String",
        "model_define_attribute", "2", "call_last_param", "name", False, "String",

        "model_define_attribute", "2", "Element", "constraint", True, "funcdef",
        "model_define_attribute", "2", "AttributeValue", "to_string", True, "funcdef",
        "exit",
    ]

def add_constraints(model):
    return [
            "model",
            "instantiate_attribute_code", str(model), "Natural", "constraint",
                "funcdef",
                "constraint",
                2, str(model*100), str(model*100+1),
                    "if",
                        "call",
                            "access", "resolve", "is_physical_int",
                            1,
                            "call",
                                "access", "resolve", "dict_read",
                                2,
                                "call",
                                    "access", "resolve", "dict_read",
                                    2,
                                    "access", "resolve", str(model*100),
                                    "const", "model",
                                    False,
                                "access", "resolve", str(model*100+1),
                                False,
                            False,
                        "return",
                            True,
                                "const", "OK",
                        True,
                        "return",
                            True,
                                "const", "Natural instance is not an integer.",
                        False,
                    False,
            "exit",
        ]

instantiate_scd = [
        "model",
        "instantiate_model", "1", "2",
        "instantiate_node", "2", "Class", "Place",
        "instantiate_node", "2", "Class", "Transition",
        "instantiate_node", "2", "SimpleAttribute", "Natural",
        "instantiate_link", "2", "Association", "P2T", "Place", "Transition",
        "instantiate_link", "2", "Association", "T2P", "Transition", "Place",
        "model_define_attribute", "2", "Place", "tokens", False, "Natural",
        "model_define_attribute", "2", "P2T", "weight", False, "Natural",
        "model_define_attribute", "2", "T2P", "weight", False, "Natural",
        "export_node", "2", "models/PetriNets_new",
        "exit",
    ]

instantiate_pn = [
        "model",
        "instantiate_model", "2", "3",
        "instantiate_node", "3", "Place", "p1",
        "instantiate_node", "3", "Place", "p2",
        "instantiate_node", "3", "Transition", "t1",
        "instantiate_node", "3", "Transition", "t2",
        "instantiate_link", "3", "P2T", "p1_t1", "p1", "t1",
        "instantiate_link", "3", "T2P", "t1_p2", "t1", "p2",
        "instantiate_link", "3", "P2T", "p2_t2", "p2", "t2",
        "instantiate_link", "3", "T2P", "t2_p1", "t2", "p1",
        "instantiate_attribute", "3", "p1_t1", "weight", 1,
        "instantiate_attribute", "3", "t1_p2", "weight", 2,
        "instantiate_attribute", "3", "p2_t2", "weight", 3,
        "instantiate_attribute", "3", "t2_p1", "weight", 4,
        "instantiate_attribute", "3", "p1", "tokens", 5,
        "instantiate_attribute", "3", "p2", "tokens", 6,
        "export_node", "3", "models/PN_instance",
        "exit",
    ]

instantiate_example = [
        "model",
        "instantiate_model", "1", "2",
        "instantiate_node", "2", "Class", "A",
        "instantiate_node", "2", "Class", "B",
        "instantiate_node", "2", "SimpleAttribute", "C",
        "instantiate_link", "2", "Inheritance", "b_inherits_a", "B", "A",
        "instantiate_link", "2", "Association", "a_to_b", "A", "B",
        "model_define_attribute", "2", "A", "tokens", False, "C",
        "export_node", "2", "models/example_MM",
        "exit",
        "model",
        "instantiate_model", "2", "3",
        "instantiate_node", "3", "A", "a",
        "instantiate_link", "3", "a_to_b", "a", "b",
        "instantiate_node", "3", "B", "b",
        "instantiate_attribute", "3", "a", "tokens", "c",
        "export_node", "3", "models/example_M",
        "exit",
    ]

def conformance_call(operation, model, metamodel):
    return [
            "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,
            ]

is_direct_instance = \
    conformance_call("is_direct_instance", "a", "A") + \
    conformance_call("is_direct_instance", "b", "A") + \
    conformance_call("is_direct_instance", "c", "A") + \
    conformance_call("is_direct_instance", "a", "B") + \
    conformance_call("is_direct_instance", "b", "B") + \
    conformance_call("is_direct_instance", "c", "B") + \
    conformance_call("is_direct_instance", "a", "C") + \
    conformance_call("is_direct_instance", "b", "C") + \
    conformance_call("is_direct_instance", "c", "C")

is_nominal_instance = \
    conformance_call("is_nominal_instance", "a", "A") + \
    conformance_call("is_nominal_instance", "b", "A") + \
    conformance_call("is_nominal_instance", "c", "A") + \
    conformance_call("is_nominal_instance", "a", "B") + \
    conformance_call("is_nominal_instance", "b", "B") + \
    conformance_call("is_nominal_instance", "c", "B") + \
    conformance_call("is_nominal_instance", "a", "C") + \
    conformance_call("is_nominal_instance", "b", "C") + \
    conformance_call("is_nominal_instance", "c", "C")

def conformance_check(node):
    return [
            "output",
                "call",
                    "access", "resolve", "conformance_scd",
                    1,
                    "call", "access", "resolve", "import_node", 1, "const", str(node), False,
                    False,
                True,
            ]

class TestConstructorsModels(unittest.TestCase):
    def test_constructors_instantiate_bottom(self):
        commands = bottom + conformance_check("models/SimpleClassDiagrams_new") + ["return", False]
        self.assertTrue(run_barebone(commands, ["OK"], 1))

    def test_constructors_action_language(self):
        commands = bottom + action_language + conformance_check("models/SimpleClassDiagrams_new") + ["return", False]
        self.assertTrue(run_barebone(commands, ["OK"], 1))

    def test_constructors_constraints_scd(self):
        commands = bottom + action_language + add_constraints(1) + conformance_check("models/SimpleClassDiagrams_new") + ["return", False]
        self.assertTrue(run_barebone(commands, ["OK"], 1))

    def test_constructors_constraints_pn(self):
        commands = bottom + action_language + add_constraints(1) + instantiate_scd + add_constraints(2) + instantiate_pn + conformance_check("models/PN_instance") + ["return", False]
        self.assertTrue(run_barebone(commands, ["OK"], 1))

    def test_constructors_instantiate_scd(self):
        commands = bottom + instantiate_scd + conformance_check("models/PetriNets_new") + ["return", False]
        self.assertTrue(run_barebone(commands, ["OK"], 1))

    def test_constructors_instantiate_pn(self):
        commands = bottom + instantiate_scd + instantiate_pn + conformance_check("models/PN_instance") + ["return", False]
        self.assertTrue(run_barebone(commands, ["OK"], 1))

    def test_constructors_instantiate_example(self):
        commands = bottom + instantiate_example + conformance_check("models/example_MM") + conformance_check("models/example_M") + ["return", False]
        self.assertTrue(run_barebone(commands, ["OK", "OK"], 1))

    def test_constructors_is_direct_instance(self):
        commands = bottom + instantiate_example + is_direct_instance + ["return", False]
        expected = [True, False, False,
                    False, True, False,
                    False, False, True]
        self.assertTrue(run_barebone(commands, expected, 1))

    def test_constructors_is_nominal_instance(self):
        commands = bottom + instantiate_example + is_nominal_instance + ["return", False]
        expected = [True, True, False,
                    False, True, False,
                    False, False, True]
        self.assertTrue(run_barebone(commands, expected, 1))