changed name Example.relast to StateMachine.relast

statemachine.solution/build.gradle

@@ -42,8 +42,8 @@ run {
 }
 
 // Generated files
-def ecoreFile = "./src/main/resources/Example.relast"
-def relastFile = "./src/gen/jastadd/Example.relast"
+def ecoreFile = "./src/main/resources/StateMachine.relast"
+def relastFile = "./src/gen/jastadd/StateMachine.relast"
 
 // First phase: Ecore -> RelAst
 task ecoreToRelast(type: JavaExec) {
@@ -58,7 +58,7 @@ task ecoreToRelast(type: JavaExec) {
 
     //args "../libs/ecore2relast-0.1.jar", ecoreFile, relastFile
     args "../libs/RoleRag-0.2.0.jar", "--inputBaseDir=src/main/resources",
-            "--outputBaseDir=src/gen/jastadd", "Example.relast"
+            "--outputBaseDir=src/gen/jastadd", "StateMachine.relast"
 
     inputs.files file(ecoreFile)
     outputs.files file(relastFile)

statemachine.solution/src/main/resources/StateMachine.relast

+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;