import models/SimpleClassDiagrams as SCD
include "primitives.alh"

SCD FiniteStateAutomata_Runtime{
    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){}

    Class CurrentState{
        lower_cardinality = 1
        upper_cardinality = 1
    }

    Association CurrentStateLink{
        lower_cardinality = 1
        upper_cardinality = 1
    }
}

export FiniteStateAutomata_Runtime to models/FiniteStateAutomata_Runtime