From 87a1337526cc86bccb8bfc25b2edba87693e92eb Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Ronny=20B=C3=B6ttger?= <s6013406@mail.zih.tu-dresden.de>
Date: Fri, 5 Nov 2021 08:14:52 +0100
Subject: [PATCH] changed name Example.relast to StateMachine.relast
---
statemachine.solution/build.gradle | 6 +++---
.../src/main/resources/StateMachine.relast | 9 +++++++++
2 files changed, 12 insertions(+), 3 deletions(-)
create mode 100644 statemachine.solution/src/main/resources/StateMachine.relast
diff --git a/statemachine.solution/build.gradle b/statemachine.solution/build.gradle
index 2ccafb7..c3cd01e 100644
--- a/statemachine.solution/build.gradle
+++ b/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)
diff --git a/statemachine.solution/src/main/resources/StateMachine.relast b/statemachine.solution/src/main/resources/StateMachine.relast
new file mode 100644
index 0000000..41f688a
--- /dev/null
+++ b/statemachine.solution/src/main/resources/StateMachine.relast
@@ -0,0 +1,9 @@
+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;
--
GitLab