modelverse/integration/code/fsa_design.mvc

include "primitives.alh"

AttributeValue String {
    constraint = $
        String constraint(model : Element, name : String):
            if (bool_not(is_physical_string(model["model"][name]))):
                return "String has no string value"!
            else:
                return "OK"!
        $
}

Class State {
    name : String
}

Class InitialState {
    lower_cardinality = 1
    upper_cardinality = 1
}

Association Transition (State, State) {
    event : String
    raise? : String
}

Inheritance (InitialState, State){}