Accueil Explorer Aide
Connexion
projects
/
muMLE
Suivre 1
Voter 0
Fork 0
Fichiers Tickets 0 Pull Requests 0 Wiki
Aborescence: 51b8bdb001
Branches Tags
muMLE
/
bootstrap
/
primitive.py

primitive.py 4.3 KB
Historique Raw

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

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

  3. from services.primitives.integer_type import Integer
    4. 

  4. from services.primitives.actioncode_type import ActionCode
    5. 

  5. 

  6. 

  7. def bootstrap_type(type_name: str, scd_root: UUID, model_root: UUID, state: State):
    8. 

  8.     bottom = Bottom(state)
    9. 

  9.     # create class
    10. 

  10.     type_class_node = bottom.create_node()  # create class node
    11. 

  11.     bottom.create_edge(model_root, type_class_node, type_name)  # attach to model
    12. 

  12.     class_class_node, = bottom.read_outgoing_elements(scd_root, "Class")  # retrieve type
    13. 

  13.     bottom.create_edge(type_class_node, class_class_node, "Morphism")  # create morphism link
    14. 

  14.     scd_int_node, = bottom.read_outgoing_elements(scd_root, "Integer")
    15. 

  15.     # set min_cardinality
    16. 

  16.     min_c_model = bottom.create_node()
    17. 

  17.     Integer(min_c_model, state).create(1)
    18. 

  18.     min_c_node = bottom.create_node(str(min_c_model))
    19. 

  19.     bottom.create_edge(model_root, min_c_node, f"{type_name}.lower_cardinality")
    20. 

  20.     min_c_link = bottom.create_edge(type_class_node, min_c_node)
    21. 

  21.     bottom.create_edge(model_root, min_c_link, f"{type_name}_lower_cardinality")
    22. 

  22.     scd_link, = bottom.read_outgoing_elements(scd_root, "Class_lower_cardinality")
    23. 

  23.     bottom.create_edge(min_c_node, scd_int_node, "Morphism")
    24. 

  24.     bottom.create_edge(min_c_link, scd_link, "Morphism")
    25. 

  25.     # set max_cardinality
    26. 

  26.     max_c_model = bottom.create_node()
    27. 

  27.     Integer(max_c_model, state).create(1)
    28. 

  28.     max_c_node = bottom.create_node(str(max_c_model))
    29. 

  29.     bottom.create_edge(model_root, max_c_node, f"{type_name}.upper_cardinality")
    30. 

  30.     max_c_link = bottom.create_edge(type_class_node, max_c_node)
    31. 

  31.     bottom.create_edge(model_root, max_c_link, f"{type_name}_upper_cardinality")
    32. 

  32.     scd_link, = bottom.read_outgoing_elements(scd_root, "Class_upper_cardinality")
    33. 

  33.     bottom.create_edge(max_c_node, scd_int_node, "Morphism")
    34. 

  34.     bottom.create_edge(max_c_link, scd_link, "Morphism")
    35. 

  35.     return type_class_node
    36. 

  36. 

  37. def bootstrap_constraint(class_node, type_name: str, python_type: str, scd_root: UUID, model_root: UUID, actioncode_type: UUID, state: State):
    38. 

  38.     bottom = Bottom(state)
    39. 

  39.     constraint_model = bottom.create_node()
    40. 

  40.     ActionCode(constraint_model, state).create(f"isinstance(read_value(this),{python_type})")
    41. 

  41.     constraint_node = bottom.create_node(str(constraint_model))
    42. 

  42.     bottom.create_edge(model_root, constraint_node, f"{type_name}.constraint")
    43. 

  43.     constraint_link = bottom.create_edge(class_node, constraint_node)
    44. 

  44.     bottom.create_edge(model_root, constraint_link, f"{type_name}_constraint")
    45. 

  45.     scd_node = actioncode_type
    46. 

  46.     scd_link, = bottom.read_outgoing_elements(scd_root, "Element_constraint")
    47. 

  47.     bottom.create_edge(constraint_node, scd_node, "Morphism")
    48. 

  48.     bottom.create_edge(constraint_link, scd_link, "Morphism")
    49. 

  49.     
    50. 

  50. def bootstrap_primitive_types(scd_root, state, integer_type, boolean_type, float_type, string_type, type_type, actioncode_type, bytes_type):
    51. 

  51.     # Order is important: Integer must come first
    52. 

  52.     class_integer    = bootstrap_type("Integer",    scd_root, integer_type,    state)
    53. 

  53.     class_type       = bootstrap_type("Type",       scd_root, type_type,       state)
    54. 

  54.     class_boolean    = bootstrap_type("Boolean",    scd_root, boolean_type,    state)
    55. 

  55.     class_float      = bootstrap_type("Float",      scd_root, float_type,      state)
    56. 

  56.     class_string     = bootstrap_type("String",     scd_root, string_type,     state)
    57. 

  57.     class_actioncode = bootstrap_type("ActionCode", scd_root, actioncode_type, state)
    58. 

  58.     class_bytes      = bootstrap_type("Bytes",      scd_root, bytes_type,      state)
    59. 

  59. 

  60.     # Can only create constraints after ActionCode type has been created:
    61. 

  61.     bootstrap_constraint(class_integer,    "Integer",    "int",   scd_root, integer_type,    actioncode_type, state)
    62. 

  62.     bootstrap_constraint(class_type,       "Type",       "tuple", scd_root, type_type,       actioncode_type, state)
    63. 

  63.     bootstrap_constraint(class_boolean,    "Boolean",    "bool",  scd_root, boolean_type,    actioncode_type, state)
    64. 

  64.     bootstrap_constraint(class_float,      "Float",      "float", scd_root, float_type,      actioncode_type, state)
    65. 

  65.     bootstrap_constraint(class_string,     "String",     "str",   scd_root, string_type,     actioncode_type, state)
    66. 

  66.     bootstrap_constraint(class_actioncode, "ActionCode", "str",   scd_root, actioncode_type, actioncode_type, state)
    67. 

  67.     bootstrap_constraint(class_bytes,      "Bytes",      "bytes", scd_root, bytes_type,      actioncode_type, state)
    68. 

  68.