From caefaa42f5abd561ed4976fead06a164ba992b05 Mon Sep 17 00:00:00 2001
From: Ludovic Apvrille <ludovic.apvrille@telecom-paris.fr>
Date: Mon, 20 Mar 2023 12:56:51 +0100
Subject: [PATCH] Resolving bug on using timers in guard
---
src/main/java/avatartranslator/AvatarSyntaxChecker.java | 4 +++-
1 file changed, 3 insertions(+), 1 deletion(-)
diff --git a/src/main/java/avatartranslator/AvatarSyntaxChecker.java b/src/main/java/avatartranslator/AvatarSyntaxChecker.java
index a75a823978..4679df4fe2 100644
--- a/src/main/java/avatartranslator/AvatarSyntaxChecker.java
+++ b/src/main/java/avatartranslator/AvatarSyntaxChecker.java
@@ -303,7 +303,9 @@ public class AvatarSyntaxChecker {
String act = tmp;
for(AvatarAttribute aa: _ab.getAttributes()) {
- act = Conversion.putVariableValueInString(AvatarSpecification.ops, act, aa.getName(), aa.getDefaultInitialValue());
+ if (aa.getType() != AvatarType.TIMER) {
+ act = Conversion.putVariableValueInString(AvatarSpecification.ops, act, aa.getName(), aa.getDefaultInitialValue());
+ }
}
//TraceManager.addDev("Testing guard expr=" + act);
--
GitLab