From f99e360ef3509995b040b2a4437bbddda5dcfe04 Mon Sep 17 00:00:00 2001
From: dblouin <dominique.blouin@telecom-paristech.fr>
Date: Tue, 24 Jul 2018 23:10:45 +0200
Subject: [PATCH] Issue #69: Create dummy state for disabled elements
---
.../avatartranslator/AvatarDummyState.java | 18 ++++++++++++++++++
1 file changed, 18 insertions(+)
create mode 100644 src/main/java/avatartranslator/AvatarDummyState.java
diff --git a/src/main/java/avatartranslator/AvatarDummyState.java b/src/main/java/avatartranslator/AvatarDummyState.java
new file mode 100644
index 0000000000..3bd0f66237
--- /dev/null
+++ b/src/main/java/avatartranslator/AvatarDummyState.java
@@ -0,0 +1,18 @@
+package avatartranslator;
+
+/**
+ * Issue #69: Created for component disabling. When a state machine element is located between transitions
+ * that have guards and actions, we need to keep a node to ensure that these are evaluated / executed in
+ * the same sequence leading to the same semantics. We create replace the disabled node with this dummy state
+ * that will have no impact on the generation of other specifications (UPPAAL, C Code, Proverif, etc..).
+ *
+ * @author dblouin
+ *
+ */
+public class AvatarDummyState extends AvatarState {
+
+ public AvatarDummyState( final String name,
+ final Object _referenceObject ) {
+ super( name + "_converted_to_dummy_state", _referenceObject );
+ }
+}
--
GitLab