Skip to content
Snippets Groups Projects
Select Git revision
  • 56ced9b5d85e8d1a4b749c9ba66a861424a46564
  • master default protected
  • develop
  • bugfix/missing-newline-parse-error
  • jastadd-fix-inc-param-debug
  • jastadd-2.3.5
  • 1.0.0-pre-release.alpha
7 results

preprocessor.properties

Blame
  • Example.relast 263 B
    
    
    StateMachine ::= Element*;
    abstract Element ::= <Label:String>;
    State : Element ::=;
    Transition : Element ::=;
    
    rel StateMachine.initial -> State;
    rel StateMachine.final* -> State;
    rel State.outgoing* <-> Transition.from;
    rel State.incoming* <-> Transition.to;