From 7d597ff84b54d4fb63aeee7542f4ef46a17457da Mon Sep 17 00:00:00 2001
From: tempiaa <tempiaa@eurecom.fr>
Date: Mon, 29 Jun 2020 10:55:35 +0200
Subject: [PATCH] Fixed constant removal for timers
---
src/main/java/avatartranslator/AvatarBlock.java | 4 ++++
1 file changed, 4 insertions(+)
diff --git a/src/main/java/avatartranslator/AvatarBlock.java b/src/main/java/avatartranslator/AvatarBlock.java
index 04f927a8e7..ae22ca1c4e 100644
--- a/src/main/java/avatartranslator/AvatarBlock.java
+++ b/src/main/java/avatartranslator/AvatarBlock.java
@@ -772,6 +772,10 @@ public class AvatarBlock extends AvatarElement implements AvatarStateMachineOwne
for (AvatarAttribute attr : attributes) {
boolean toKeep = false;
+
+ if (attr.isTimer()) {
+ toKeep = true;
+ }
for (AvatarStateMachineElement elt : asm.getListOfElements()) {
if (elt instanceof AvatarTransition) {
at = (AvatarTransition) elt;
--
GitLab