From 18487d9be849c6ee9fd6d38668d1f7a2374daa58 Mon Sep 17 00:00:00 2001
From: SebastianEbert <sebastian.ebert@tu-dresden.de>
Date: Mon, 27 Nov 2023 16:10:23 +0100
Subject: [PATCH] extended expressions attributes
---
src/main/jastadd/base/clauses/expressions.jadd | 12 ++++++++++++
1 file changed, 12 insertions(+)
diff --git a/src/main/jastadd/base/clauses/expressions.jadd b/src/main/jastadd/base/clauses/expressions.jadd
index 589a2cb..85762c7 100644
--- a/src/main/jastadd/base/clauses/expressions.jadd
+++ b/src/main/jastadd/base/clauses/expressions.jadd
@@ -8,6 +8,18 @@ aspect SignalExpressions {
syn boolean Literal.isNegativeLiteral() = false;
eq NegativeLiteral.isNegativeLiteral() = true;
+ syn boolean InputSignalClause.hasLiteral(java.lang.String signalId){
+
+ for(Disjunction d : this.getDisjunctions()){
+ for(Literal l : d.getLiterals()){
+ if(l.getName().equals(signalId)){
+ return true;
+ }
+ }
+ }
+ return false;
+ }
+
syn String ASTNode.printClause();
eq ASTNode.printClause() = "";
eq Literal.printClause() = getName();
--
GitLab