diff --git a/src/main/java/avatartranslator/AvatarDummyState.java b/src/main/java/avatartranslator/AvatarDummyState.java new file mode 100644 index 0000000000000000000000000000000000000000..3bd0f6623725fa38b72984437b1672c22fac7fe3 --- /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 ); + } +}