Home Explore Help
Sign In
arys
/
MV2
forked from andrei/MV2
Watch 1
Star 0
Fork 0
Files
Tree: 8ddb5ac12b
Branches Tags
MV2
/
bootstrap
/
primitive.py

primitive.py 2.9 KB
History Raw

1234567891011121314151617181920212223242526272829303132333435363738394041424344454647484950515253545556575859 
  1. from state.base import State, UUID
    2. 

  2. from services.bottom.V0 import Bottom
    3. 

  3. 

  4. 

  5. def bootstrap_type(type_name: str, python_type: str, scd_root: UUID, model_root: UUID, state: State):
    6. 

  6.     bottom = Bottom(state)
    7. 

  7.     # create class
    8. 

  8.     class_node = bottom.create_node()  # create class node
    9. 

  9.     bottom.create_edge(model_root, class_node, type_name)  # attach to model
    10. 

  10.     scd_node, = bottom.read_outgoing_elements(scd_root, "Class")  # retrieve type
    11. 

  11.     bottom.create_edge(class_node, scd_node, "Morphism")  # create morphism link
    12. 

  12.     # set min_cardinality
    13. 

  13.     min_c_node = bottom.create_node(1)
    14. 

  14.     bottom.create_edge(model_root, min_c_node, f"{type_name}.lower_cardinality")
    15. 

  15.     min_c_link = bottom.create_edge(class_node, min_c_node)
    16. 

  16.     bottom.create_edge(model_root, min_c_link, f"{type_name}.lower_cardinality_link")
    17. 

  17.     scd_node, = bottom.read_outgoing_elements(scd_root, "Integer")
    18. 

  18.     scd_link, = bottom.read_outgoing_elements(scd_root, "Class_lower_cardinality")
    19. 

  19.     bottom.create_edge(min_c_node, scd_node, "Morphism")
    20. 

  20.     bottom.create_edge(min_c_link, scd_link, "Morphism")
    21. 

  21.     # set max_cardinality
    22. 

  22.     max_c_node = bottom.create_node(1)
    23. 

  23.     bottom.create_edge(model_root, max_c_node, f"{type_name}.upper_cardinality")
    24. 

  24.     max_c_link = bottom.create_edge(class_node, max_c_node)
    25. 

  25.     bottom.create_edge(model_root, max_c_link, f"{type_name}.upper_cardinality_link")
    26. 

  26.     scd_node, = bottom.read_outgoing_elements(scd_root, "Integer")
    27. 

  27.     scd_link, = bottom.read_outgoing_elements(scd_root, "Class_upper_cardinality")
    28. 

  28.     bottom.create_edge(max_c_node, scd_node, "Morphism")
    29. 

  29.     bottom.create_edge(max_c_link, scd_link, "Morphism")
    30. 

  30.     # set constraint
    31. 

  31.     constraint_node = bottom.create_node(f"isinstance(read_value(x),{python_type})")
    32. 

  32.     bottom.create_edge(model_root, constraint_node, f"{type_name}.constraint")
    33. 

  33.     constraint_link = bottom.create_edge(class_node, constraint_node)
    34. 

  34.     bottom.create_edge(model_root, constraint_link, f"{type_name}.constraint_link")
    35. 

  35.     scd_node, = bottom.read_outgoing_elements(scd_root, "ActionCode")
    36. 

  36.     scd_link, = bottom.read_outgoing_elements(scd_root, "Element_constraint")
    37. 

  37.     bottom.create_edge(constraint_node, scd_node, "Morphism")
    38. 

  38.     bottom.create_edge(constraint_link, scd_link, "Morphism")
    39. 

  39.     
    40. 

  40. 

  41. def bootstrap_type_type(scd_root: UUID, model_root: UUID, state: State):
    42. 

  42.     bootstrap_type("Type", "tuple", scd_root, model_root, state)
    43. 

  43. 

  44. 

  45. def bootstrap_boolean_type(scd_root: UUID, model_root: UUID, state: State):
    46. 

  46.     bootstrap_type("Boolean", "bool", scd_root, model_root, state)
    47. 

  47. 

  48. 

  49. def bootstrap_integer_type(scd_root: UUID, model_root: UUID, state: State):
    50. 

  50.     bootstrap_type("Integer", "int", scd_root, model_root, state)
    51. 

  51. 

  52. 

  53. def bootstrap_float_type(scd_root: UUID, model_root: UUID, state: State):
    54. 

  54.     bootstrap_type("Float", "float", scd_root, model_root, state)
    55. 

  55. 

  56. 

  57. def bootstrap_string_type(scd_root: UUID, model_root: UUID, state: State):
    58. 

  58.     bootstrap_type("String", "str", scd_root, model_root, state)
    59. 

  59.