From 0b5d08695e9962d40b3d2f771573e3725f977d12 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 01:47:51 +0100 Subject: [PATCH] added in and out folder for easy testing --- in/Example.relast | 11 +++++++++++ 1 file changed, 11 insertions(+) create mode 100644 in/Example.relast diff --git a/in/Example.relast b/in/Example.relast new file mode 100644 index 0000000..c288fd8 --- /dev/null +++ b/in/Example.relast @@ -0,0 +1,11 @@ + + +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