| 1234567891011121314151617181920212223242526272829303132333435363738394041 |
- include "primitives.alh"
- include "modelling.alh"
- include "object_operations.alh"
- include "conformance_scd.alh"
- include "io.alh"
- include "metamodels.alh"
- include "mini_modify.alh"
- Boolean function main(model : Element):
- String input_value
- Float start_time
- String current_state
- Element transitions
- String transition
- start_time = time()
- while (True):
- if (has_input()):
- input_value = input()
- if (input_value == "__EXIT__"):
- break!
- transitions = allOutgoingAssociationInstances(model, current_state)
- while (set_len(transitions) > 0):
- transition = set_pop(transitions)
- if (read_attribute(model, transition, "trigger") == input_value):
- if (element_neq(read_attribute(model, transition, "raise"), read_root())):
- output(cast_value(time() - start_time) + " ! " + cast_value(read_attribute(model, transition, "raise")))
- instantiate_attribute(model, current_state, "current", False)
- current_state = readAssociationDestination(model, transition)
- instantiate_attribute(model, current_state, "current", True)
- break!
- output(cast_value(time() - start_time) + " : " + cast_value(read_attribute(model, current_state, "name")))
- sleep(0.2)
- output("CLOSE")
- return True!
|
