modelverse/integration/test_constructors_models.py

import unittest
import sys
import os

from utils import execute, kill, run_file, run_barebone

def flatten(lst):
    new_lst = []
    for f in lst:
        if isinstance(f, (list, tuple)):
            new_lst.extend(flatten(f))
        else:
            new_lst.append(f)
    return new_lst

bottom = ['"instantiate_bottom"',
            '"node"', '"Class"', 'true',
            '"node"', '"Type"', 'true',
            '"node"', '"__String"', 'true',
            '"value"', '"__name"', '"name"', 'true',
            '"edge"', '"Attribute"', '"Class"', '"Type"', 'true',
            '"edge"', '"__Name"', '"Attribute"', '"__String"', 'true',
            '"edge"', '"Association"', '"Class"', '"Class"', 'true',
            '"edge"', '"Inheritance"', '"Class"', '"Class"', 'true',
            '"edge"', '"__name_edge"', '"__Name"', '"__name"', 'true',
            '"edge"', '"__inh_1"', '"Association"', '"Class"', 'true',
            '"edge"', '"__inh_2"', '"Attribute"', '"Class"', 'true',
            '"value"', '"__attribute"', '"attribute"', 'true',
            '"edge"', '"__attribute_edge"', '"Attribute"', '"__attribute"', 'false',
            1,
        ]

retype = ['"retype_model"',
            1,
            1,
            1, '"Inheritance"',
            'true',
                '"Class"', '"Class"', 'true',
                '"Type"', '"Type"', 'true',
                '"__String"', '"Type"', 'true',
                '"Attribute"', '"Attribute"', 'true',
                '"__Name"', '"Attribute"', 'true',
                '"Association"', '"Association"', 'true',
                '"Inheritance"', '"Association"', 'true',
                '"__inh_1"', '"Inheritance"', 'true',
                '"__inh2"', '"Inheritance"', 'true',
                '"__name"', '"__String"', 'true',
                '"__name_edge"', '"__Name"', 'true',
                '"__attribute"', '"__String"', 'true',
                '"__attribute_edge"', '"__Name"', 'false',
        ]

def function_call(func, paramA, paramB):
    return ['"output"', '"call"', 
                '"access"',
                '"resolve"', '"%s"' % func,
                '3',
                    '"const"', 3,
                    '"call"',
                '"access"',
                        '"resolve"', '"dict_read"',
                        '2',
                        '"call"',
                '"access"',
                            '"resolve"', '"dict_read"',
                            '2',
                            '"const"', 3,
                            '"const"', '"model"',
                            'false',
                        '"const"', '"%s"' % paramA,
                        'false',
                    '"call"',
                '"access"',
                        '"resolve"', '"dict_read"',
                        '2',
                        '"call"',
                '"access"',
                            '"resolve"', '"dict_read"',
                            '2',
                            '"const"', 2,
                            '"const"', '"model"',
                            'false',
                        '"const"', '"%s"' % paramB,
                        'false',
                'false',
                'true',
            ]
        
class TestConstructorsModels(unittest.TestCase):
    def test_constructors_instantiate_bottom(self):
        commands = bottom + [ 
                    '"output"', '"const"', '3',
                        'true',
                    '"return"', 'true',
                        '"const"', 'true',
                ]
        self.assertTrue(run_barebone(flatten(commands), ['3'], 1))

    def test_constructors_instantiate_model(self):
        commands = bottom + [
                    '"instantiate_model"',
                        1,
                        1, '"Inheritance"',
                        '"Type"', '"Integer"',
                            'false',
                            'false',
                            'true',
                        '"Class"', '"Place"',
                            'true',
                                '"tokens"', '"Integer"', 'false',
                            'false',
                            'true',
                        '"Class"', '"Transition"',
                            'false',
                            'false',
                            'true',
                        '"Association"', '"P2T"', '"Place"', '"Transition"',
                            'true',
                                '"weight"', '"Integer"', 'false',
                            'false',
                            'true',
                        '"Association"', '"T2P"', '"Transition"', '"Place"',
                            'true',
                                '"weight"', '"Integer"', 'false',
                            'false',
                            'false',
                    2,
                    '"instantiate_model"',
                        2,
                        1, '"Inheritance"',
                        '"Place"', '"p1"',
                            'false',
                            'true',
                                '"tokens"', '5', 'false',
                            'true',
                        '"Transition"', '"t1"',
                            'false',
                            'false',
                            'true',
                        '"P2T"', '""', '"p1"', '"t1"',
                            'false',
                            'true',
                                '"weight"', '1', 'false',
                            'true',
                        '"T2P"', '""', '"t1"', '"p1"',
                            'false',
                            'true',
                                '"weight"', '2', 'false',
                            'false',
                    3,
                    '"output"', '"const"', '3',
                        'true',
                    '"return"', 'true',
                        '"const"', 'true',
                ]
        self.assertTrue(run_barebone(flatten(commands), ['3'], 1))

    def test_constructors_retype_model(self):
        commands = bottom + retype + [
                    '"output"', '"const"', '3',
                        'true',
                    '"return"', 'true',
                        '"const"', 'true',
                ]
        self.assertTrue(run_barebone(flatten(commands), ['3'], 1))

    def test_constructors_instantiate_model_inheritance(self):
        commands = bottom + [
                    '"instantiate_model"',
                        1,
                        1, '"Inheritance"',
                        '"Class"', '"A"',
                            'true',
                                '"a"', '{"value": "Integer"}', 'false',
                            'false',
                            'true',
                        '"Class"', '"B"',
                            'true',
                                '"b"', '{"value": "Integer"}', 'false',
                            'false',
                            'true',
                        '"Inheritance"', '"b_inherits_from_a"', '"B"', '"A"',
                            'false',
                            'false',
                            'false',
                    2,
                    '"instantiate_model"',
                        2,
                        1, '"Inheritance"',
                        '"A"', '"a1"',
                            'false',
                            'true',
                                '"a"', '1', 'false',
                            'true',
                        '"B"', '"b1"',
                            'false',
                            'true',
                                '"a"', '2', 'true',
                                '"b"', '3', 'false',
                            'false',
                    3,
                    '"output"', '"const"', '3',
                        'true',
                    '"return"', 'true',
                        '"const"', 'true',
                ]
        self.assertTrue(run_barebone(flatten(commands), ['3'], 1))

    def test_constructors_conformance_metametamodel(self):
        commands = bottom + retype + [
                    '"output"', '"call"', 
                        '"access"',
                        '"resolve"', '"conformance_scd"',
                        '1',
                            '"const"', 1,
                        'false',
                        'true',
                    '"return"', 'true',
                        '"const"', 'true',
                ]
        self.assertTrue(run_barebone(flatten(commands), ['OK'], 1))

    def test_constructors_conformance_metamodel(self):
        commands = bottom + retype + [
                    '"instantiate_model"',
                        1,
                        1, '"Inheritance"',
                        '"Class"', '"Place"',
                            'true',
                                '"tokens"', '{"value": "Integer"}', 'false',
                            'false',
                            'true',
                        '"Class"', '"Transition"',
                            'false',
                            'false',
                            'true',
                        '"Association"', '"P2T"', '"Place"', '"Transition"',
                            'true',
                                '"weight"', '{"value": "Integer"}', 'false',
                            'false',
                            'true',
                        '"Association"', '"T2P"', '"Transition"', '"Place"',
                            'true',
                                '"weight"', '{"value": "Integer"}', 'false',
                            'false',
                            'false',
                    2,
                    '"output"', '"call"', 
                        '"access"',
                        '"resolve"', '"conformance_scd"',
                        '1',
                            '"const"', 2,
                        'false',
                        'true',
                    '"return"', 'true',
                        '"const"', 'true',
                ]
        self.assertTrue(run_barebone(flatten(commands), ['OK'], 1))

    def test_constructors_conformance_model(self):
        commands = bottom + retype + [
                    '"instantiate_model"',
                        1,
                        1, '"Inheritance"',
                        '"Class"', '"Place"',
                            'true',
                                '"tokens"', '{"value": "Integer"}', 'false',
                            'false',
                            'true',
                        '"Class"', '"Transition"',
                            'false',
                            'false',
                            'true',
                        '"Association"', '"P2T"', '"Place"', '"Transition"',
                            'true',
                                '"weight"', '{"value": "Integer"}', 'false',
                            'false',
                            'true',
                        '"Association"', '"T2P"', '"Transition"', '"Place"',
                            'true',
                                '"weight"', '{"value": "Integer"}', 'false',
                            'false',
                            'false',
                    2,
                    '"instantiate_model"',
                        2,
                        1, '"Inheritance"',
                        '"Place"', '"p1"',
                            'false',
                            'true',
                                '"tokens"', '5', 'false',
                            'true',
                        '"Transition"', '"t1"',
                            'false',
                            'false',
                            'true',
                        '"P2T"', '""', '"p1"', '"t1"',
                            'false',
                            'true',
                                '"weight"', '1', 'false',
                            'true',
                        '"T2P"', '""', '"t1"', '"p1"',
                            'false',
                            'true',
                                '"weight"', '2', 'false',
                            'false',
                    3,
                    '"output"', '"call"', 
                        '"access"',
                        '"resolve"', '"conformance_scd"',
                        '1',
                            '"const"', 3,
                        'false',
                        'true',
                    '"return"', 'true',
                        '"const"', 'true',
                ]
        self.assertTrue(run_barebone(flatten(commands), ['OK'], 1))

    def test_constructors_is_direct_instance(self):
        commands = bottom + retype + [
                    '"instantiate_model"',
                        1,
                        1, '"Inheritance"',
                        '"Class"', '"A"',
                            'true',
                                '"a"', '{"value": "Integer"}', 'false',
                            'false',
                            'true',
                        '"Class"', '"B"',
                            'true',
                                '"b"', '{"value": "Integer"}', 'false',
                            'false',
                            'true',
                        '"Class"', '"C"',
                            'true',
                                '"b"', '{"value": "Integer"}', 'true',
                                '"c"', '{"value": "Integer"}', 'false',
                            'false',
                            'true',
                        '"Inheritance"', '"__inh_1"', '"A"', '"B"',
                            'false',
                            'false',
                            'false',
                    2,
                    '"instantiate_model"',
                        2,
                        1, '"Inheritance"',
                        '"A"', '"a"',
                            'false',
                            'true',
                                '"a"', '1', 'true',
                                '"b"', '1', 'false',
                            'true',
                        '"B"', '"b"',
                            'false',
                            'true',
                                '"b"', '1', 'false',
                            'true',
                        '"C"', '"c"',
                            'false',
                            'true',
                                '"b"', '1', 'true',
                                '"c"', '1', 'false',
                            'false',
                    3,
                ] + \
                    function_call("is_direct_instance", "a", "A") + \
                    function_call("is_direct_instance", "a", "B") + \
                    function_call("is_direct_instance", "a", "C") + \
                    function_call("is_direct_instance", "b", "A") + \
                    function_call("is_direct_instance", "b", "B") + \
                    function_call("is_direct_instance", "b", "C") + \
                    function_call("is_direct_instance", "c", "A") + \
                    function_call("is_direct_instance", "c", "B") + \
                    function_call("is_direct_instance", "c", "C") + \
                ['"return"', 'true',
                    '"const"', 'true',
                ]
        # Test in order:
        # a : A --> Yes
        # a : B --> No
        # a : C --> No
        # b : A --> No
        # b : B --> Yes
        # b : C --> No
        # c : A --> No
        # c : B --> No
        # c : C --> Yes
        self.assertTrue(run_barebone(flatten(commands), ['True', 'False', 'False', 'False', 'True', 'False', 'False', 'False', 'True'], 1))

    def test_constructors_is_nominal_instance(self):
        commands = bottom + retype + [
                    '"instantiate_model"',
                        1,
                        1, '"Inheritance"',
                        '"Class"', '"A"',
                            'true',
                                '"a"', '{"value": "Integer"}', 'false',
                            'false',
                            'true',
                        '"Class"', '"B"',
                            'true',
                                '"b"', '{"value": "Integer"}', 'false',
                            'false',
                            'true',
                        '"Class"', '"C"',
                            'true',
                                '"b"', '{"value": "Integer"}', 'true',
                                '"c"', '{"value": "Integer"}', 'false',
                            'false',
                            'true',
                        '"Inheritance"', '"__inh_1"', '"A"', '"B"',
                            'false',
                            'false',
                            'false',
                    2,
                    '"instantiate_model"',
                        2,
                        1, '"Inheritance"',
                        '"A"', '"a"',
                            'false',
                            'true',
                                '"a"', '1', 'true',
                                '"b"', '1', 'false',
                            'true',
                        '"B"', '"b"',
                            'false',
                            'true',
                                '"b"', '1', 'false',
                            'true',
                        '"C"', '"c"',
                            'false',
                            'true',
                                '"b"', '1', 'true',
                                '"c"', '1', 'false',
                            'false',
                    3, ] + \
                    function_call("is_nominal_instance", "a", "A") + \
                    function_call("is_nominal_instance", "a", "B") + \
                    function_call("is_nominal_instance", "a", "C") + \
                    function_call("is_nominal_instance", "b", "A") + \
                    function_call("is_nominal_instance", "b", "B") + \
                    function_call("is_nominal_instance", "b", "C") + \
                    function_call("is_nominal_instance", "c", "A") + \
                    function_call("is_nominal_instance", "c", "B") + \
                    function_call("is_nominal_instance", "c", "C") + \
                [ '"return"', 'true',
                        '"const"', 'true',
                ]
        # Test in order:
        # a : A --> Yes
        # a : B --> Yes
        # a : C --> No
        # b : A --> No
        # b : B --> Yes
        # b : C --> No
        # c : A --> No
        # c : B --> No
        # c : C --> Yes
        self.assertTrue(run_barebone(flatten(commands), ['True', 'True', 'False', 'False', 'True', 'False', 'False', 'False', 'True'], 1))

    def test_constructors_is_structural_instance(self):
        commands = bottom + retype + [
                    '"instantiate_model"',
                        1,
                        1, '"Inheritance"',
                        '"Class"', '"A"',
                            'true',
                                '"a"', '{"value": "Integer"}', 'false',
                            'false',
                            'true',
                        '"Class"', '"B"',
                            'true',
                                '"b"', '{"value": "Integer"}', 'false',
                            'false',
                            'true',
                        '"Class"', '"C"',
                            'true',
                                '"b"', '{"value": "Integer"}', 'true',
                                '"c"', '{"value": "Integer"}', 'false',
                            'false',
                            'true',
                        '"Inheritance"', '"__inh_1"', '"A"', '"B"',
                            'false',
                            'false',
                            'false',
                    2,
                    '"instantiate_model"',
                        2,
                        1, '"Inheritance"',
                        '"A"', '"a"',
                            'false',
                            'true',
                                '"a"', '1', 'false',
                            'true',
                        '"B"', '"b"',
                            'false',
                            'true',
                                '"b"', '1', 'false',
                            'true',
                        '"C"', '"c"',
                            'false',
                            'true',
                                '"b"', '1', 'true',
                                '"c"', '1', 'false',
                            'false',
                    3, ] + \
                    function_call("is_structural_instance", "a", "A") + \
                    function_call("is_structural_instance", "a", "B") + \
                    function_call("is_structural_instance", "a", "C") + \
                    function_call("is_structural_instance", "b", "A") + \
                    function_call("is_structural_instance", "b", "B") + \
                    function_call("is_structural_instance", "b", "C") + \
                    function_call("is_structural_instance", "c", "A") + \
                    function_call("is_structural_instance", "c", "B") + \
                    function_call("is_structural_instance", "c", "C") + \
                    [ '"return"', 'true',
                       '"const"', 'true',
                    ]
        # Test in order:
        # a : A --> Yes
        # a : B --> No
        # a : C --> No
        # b : A --> No
        # b : B --> Yes
        # b : C --> No
        # c : A --> No
        # c : B --> Yes
        # c : C --> Yes
        self.assertTrue(run_barebone(flatten(commands), ['True', 'False', 'False', 'False', 'True', 'False', 'False', 'True', 'True'], 1))

    def test_constructors_readAttribute(self):
        commands = bottom + retype + [
                    '"instantiate_model"',
                        1,
                        1, '"Inheritance"',
                        '"Class"', '"Place"',
                            'true',
                                '"tokens"', '{"value": "Integer"}', 'false',
                            'false',
                            'true',
                        '"Class"', '"Transition"',
                            'false',
                            'false',
                            'true',
                        '"Association"', '"P2T"', '"Place"', '"Transition"',
                            'true',
                                '"weight"', '{"value": "Integer"}', 'false',
                            'false',
                            'true',
                        '"Association"', '"T2P"', '"Transition"', '"Place"',
                            'true',
                                '"weight"', '{"value": "Integer"}', 'false',
                            'false',
                            'false',
                    2,
                    '"instantiate_model"',
                        2,
                        1, '"Inheritance"',
                        '"Place"', '"p1"',
                            'false',
                            'true',
                                '"tokens"', '5', 'false',
                            'true',
                        '"Transition"', '"t1"',
                            'false',
                            'false',
                            'true',
                        '"P2T"', '"arc1"', '"p1"', '"t1"',
                            'false',
                            'true',
                                '"weight"', '1', 'false',
                            'true',
                        '"T2P"', '"arc2"', '"t1"', '"p1"',
                            'false',
                            'true',
                                '"weight"', '2', 'false',
                            'false',
                    3,
                    '"output"', '"call"', 
                        '"access"',
                        '"resolve"', '"readAttribute"',
                        '3',
                            '"const"', 3,
                            '"call"', 
                        '"access"',
                                '"resolve"', '"readElementByName"',
                                '2',
                                    '"const"', 3,
                                    '"const"', '"p1"',
                                'false',
                            '"const"', '"tokens"',
                        'false',
                        'true',
                    '"output"', '"call"', 
                        '"access"',
                        '"resolve"', '"readAttribute"',
                        '3',
                            '"const"', 3,
                            '"call"', 
                        '"access"',
                                '"resolve"', '"readElementByName"',
                                '2',
                                    '"const"', 3,
                                    '"const"', '"arc1"',
                                'false',
                            '"const"', '"weight"',
                        'false',
                        'true',
                    '"output"', '"call"', 
                        '"access"',
                        '"resolve"', '"readAttribute"',
                        '3',
                            '"const"', 3,
                            '"call"', 
                        '"access"',
                                '"resolve"', '"readElementByName"',
                                '2',
                                    '"const"', 3,
                                    '"const"', '"arc2"',
                                'false',
                            '"const"', '"weight"',
                        'false',
                        'true',
                    '"return"', 'true',
                        '"const"', 'true',
                ]
        self.assertTrue(run_barebone(flatten(commands), ['5', '1', '2'], 1))

    def test_constructors_readAndSetAttribute(self):
        commands = bottom + retype + [
                    '"instantiate_model"',
                        1,
                        1, '"Inheritance"',
                        '"Class"', '"Place"',
                            'true',
                                '"tokens"', '{"value": "Integer"}', 'false',
                            'false',
                            'true',
                        '"Class"', '"Transition"',
                            'false',
                            'false',
                            'true',
                        '"Association"', '"P2T"', '"Place"', '"Transition"',
                            'true',
                                '"weight"', '{"value": "Integer"}', 'false',
                            'false',
                            'true',
                        '"Association"', '"T2P"', '"Transition"', '"Place"',
                            'true',
                                '"weight"', '{"value": "Integer"}', 'false',
                            'false',
                            'false',
                    2,
                    '"instantiate_model"',
                        2,
                        1, '"Inheritance"',
                        '"Place"', '"p1"',
                            'false',
                            'true',
                                '"tokens"', '5', 'false',
                            'true',
                        '"Transition"', '"t1"',
                            'false',
                            'false',
                            'true',
                        '"P2T"', '"arc1"', '"p1"', '"t1"',
                            'false',
                            'true',
                                '"weight"', '1', 'false',
                            'true',
                        '"T2P"', '"arc2"', '"t1"', '"p1"',
                            'false',
                            'true',
                                '"weight"', '2', 'false',
                            'false',
                    3,
                    '"output"', '"call"', 
                        '"access"',
                        '"resolve"', '"readAttribute"',
                        '3',
                            '"const"', 3,
                            '"call"', 
                        '"access"',
                                '"resolve"', '"readElementByName"',
                                '2',
                                    '"const"', 3,
                                    '"const"', '"p1"',
                                'false',
                            '"const"', '"tokens"',
                        'false',
                        'true',
                    '"output"', '"call"', 
                        '"access"',
                        '"resolve"', '"readAttribute"',
                        '3',
                            '"const"', 3,
                            '"call"', 
                        '"access"',
                                '"resolve"', '"readElementByName"',
                                '2',
                                    '"const"', 3,
                                    '"const"', '"arc1"',
                                'false',
                            '"const"', '"weight"',
                        'false',
                        'true',
                    '"output"', '"call"', 
                        '"access"',
                        '"resolve"', '"readAttribute"',
                        '3',
                            '"const"', 3,
                            '"call"', 
                        '"access"',
                                '"resolve"', '"readElementByName"',
                                '2',
                                    '"const"', 3,
                                    '"const"', '"arc2"',
                                'false',
                            '"const"', '"weight"',
                        'false',
                        'true',
                    '"call"', 
                        '"access"',
                        '"resolve"', '"setAttribute"',
                        '4',
                            '"const"', 3,
                            '"call"', 
                        '"access"',
                                '"resolve"', '"readElementByName"',
                                '2',
                                    '"const"', 3,
                                    '"const"', '"p1"',
                                'false',
                            '"const"', '"tokens"',
                            '"const"', '10',
                        'true',
                    '"call"', 
                        '"access"',
                        '"resolve"', '"setAttribute"',
                        '4',
                            '"const"', 3,
                            '"call"', 
                        '"access"',
                                '"resolve"', '"readElementByName"',
                                '2',
                                    '"const"', 3,
                                    '"const"', '"arc1"',
                                'false',
                            '"const"', '"weight"',
                            '"const"', '16',
                        'true',
                    '"call"', 
                        '"access"',
                        '"resolve"', '"setAttribute"',
                        '4',
                            '"const"', 3,
                            '"call"', 
                        '"access"',
                                '"resolve"', '"readElementByName"',
                                '2',
                                    '"const"', 3,
                                    '"const"', '"arc2"',
                                'false',
                            '"const"', '"weight"',
                            '"const"', '30',
                        'true',
                    '"output"', '"call"', 
                        '"access"',
                        '"resolve"', '"readAttribute"',
                        '3',
                            '"const"', 3,
                            '"call"', 
                        '"access"',
                                '"resolve"', '"readElementByName"',
                                '2',
                                    '"const"', 3,
                                    '"const"', '"p1"',
                                'false',
                            '"const"', '"tokens"',
                        'false',
                        'true',
                    '"output"', '"call"', 
                        '"access"',
                        '"resolve"', '"readAttribute"',
                        '3',
                            '"const"', 3,
                            '"call"', 
                        '"access"',
                                '"resolve"', '"readElementByName"',
                                '2',
                                    '"const"', 3,
                                    '"const"', '"arc1"',
                                'false',
                            '"const"', '"weight"',
                        'false',
                        'true',
                    '"output"', '"call"', 
                        '"access"',
                        '"resolve"', '"readAttribute"',
                        '3',
                            '"const"', 3,
                            '"call"', 
                        '"access"',
                                '"resolve"', '"readElementByName"',
                                '2',
                                    '"const"', 3,
                                    '"const"', '"arc2"',
                                'false',
                            '"const"', '"weight"',
                        'false',
                        'true',
                    '"return"', 'true',
                        '"const"', 'true',
                ]
        self.assertTrue(run_barebone(flatten(commands), ['5', '1', '2', '10', '16', '30'], 1))