From a55f6dd7d31708c304988bab8f15e8917231ba87 Mon Sep 17 00:00:00 2001
From: SebastianEbert <sebastian.ebert@tu-dresden.de>
Date: Mon, 5 Jun 2023 14:16:06 +0200
Subject: [PATCH] reworked clause def
---
src/main/jastadd/base/io/IoPN.jadd | 4 ++++
src/main/jastadd/base/io/IoPN.relast | 2 +-
2 files changed, 5 insertions(+), 1 deletion(-)
diff --git a/src/main/jastadd/base/io/IoPN.jadd b/src/main/jastadd/base/io/IoPN.jadd
index bc1c7bd..84b3fdc 100644
--- a/src/main/jastadd/base/io/IoPN.jadd
+++ b/src/main/jastadd/base/io/IoPN.jadd
@@ -7,4 +7,8 @@ aspect IoPnExtension{
inh DinerosTransition TransitionInformation.containingTransition();
eq DinerosTransition.getChild().containingTransition() = this;
+ syn InputSignalClause SignalTransitionInformation.getClause() {
+ return ToolSpecificsParser.getClauseFromToolSpecifics(containingTransition().getToolspecificList());
+ }
+
}
diff --git a/src/main/jastadd/base/io/IoPN.relast b/src/main/jastadd/base/io/IoPN.relast
index f80c79b..ab86c6a 100644
--- a/src/main/jastadd/base/io/IoPN.relast
+++ b/src/main/jastadd/base/io/IoPN.relast
@@ -10,7 +10,7 @@ PlaceInformation : PnObjectInformation;
abstract TransitionInformation : PnObjectInformation;
TopicTransitionInformation : TransitionInformation ::= <Topic:String> SubscriberPort:SubscriberPort* PublisherPort:PublisherPort*;
ServiceTransitionInformation : TransitionInformation ::= <ServiceName:String> ServerChannel:ServiceChannel ClientChannel:ServiceChannel*;
-SignalTransitionInformation : TransitionInformation ::= Clause:InputSignalClause; /* only normal transition have signals attached */
+SignalTransitionInformation : TransitionInformation ::= /Clause:InputSignalClause/; /* only normal transition have signals attached */
// Ports
abstract Port;
--
GitLab