Skip to content
This repository has been archived by the owner on Jan 5, 2021. It is now read-only.

Commit

Permalink
#1189 Added validation message for valueless constant definition
Browse files Browse the repository at this point in the history
  • Loading branch information
@andreasmuelder
andreasmuelder committed Feb 7, 2017
1 parent 066a7c8 commit 0409a34
Show file tree
Hide file tree
Showing 4 changed files with 109 additions and 102 deletions.
4 changes: 4 additions & 0 deletions ...akindu.sct.model.stext/src/org/yakindu/sct/model/stext/validation/STextJavaValidator.java
View file
Original file line number Diff line number Diff line change
Expand Up @@ -250,6 +250,10 @@ public void checkValueDefinitionExpression(VariableDefinition definition) {
if (!definition.isConst())
return;
Expression initialValue = definition.getInitialValue();
if (initialValue == null) {
error(CONST_MUST_HAVE_VALUE_MSG, definition, null, CONST_MUST_HAVE_VALUE_CODE);
return;
}
List<Expression> toCheck = Lists.newArrayList(initialValue);
TreeIterator<EObject> eAllContents = initialValue.eAllContents();
while (eAllContents.hasNext()) {
Expand Down
2 changes: 2 additions & 0 deletions ...u.sct.model.stext/src/org/yakindu/sct/model/stext/validation/STextValidationMessages.java
View file
Original file line number Diff line number Diff line change
Expand Up @@ -50,6 +50,8 @@ public interface STextValidationMessages {
public static final String EXITPOINTSPEC_WITH_TRIGGER = "Transitions with an exit point spec does not have a trigger or guard.";
public static final String ASSIGNMENT_TO_VALUE = "Assignment constant not allowed.";
public static final String REFERENCE_TO_VARIABLE = "Cannot reference a variable in a constant initialization.";
public static final String CONST_MUST_HAVE_VALUE_MSG = "A constant definition must specify an initial value";
public static final String CONST_MUST_HAVE_VALUE_CODE = "ConstMustHaveAValue";
public static final String REFERENCE_CONSTANT_BEFORE_DEFINED = "Cannot reference a constant from different scope or before it is defined.";
public static final String INTERNAL_DECLARATION_UNUSED = "Internal declaration is not used in statechart.";
public static final String ERROR_WRONG_ANNOTATION_TARGET_CODE = "WrongAnnotationTarget";
Expand Down
3 changes: 2 additions & 1 deletion ...el.stext.test/src/org/yakindu/sct/model/stext/test/validation/STextJavaValidatorTest.java
View file
Original file line number Diff line number Diff line change
Expand Up @@ -607,8 +607,9 @@ public void checkValueDefinitionExpression() {
Statechart statechart = AbstractTestModelsUtil
.loadStatechart(VALIDATION_TESTMODEL_DIR + "ConstWithVariable.sct");
Diagnostic diagnostics = Diagnostician.INSTANCE.validate(statechart);
assertIssueCount(diagnostics, 2); //
assertIssueCount(diagnostics, 3); //
assertError(diagnostics, REFERENCE_TO_VARIABLE);
assertError(diagnostics, CONST_MUST_HAVE_VALUE_MSG);
}

@Test
Expand Down
202 changes: 101 additions & 101 deletions test-plugins/org.yakindu.sct.test.models/testmodels/validation/ConstWithVariable.sct
View file
Original file line number Diff line number Diff line change
@@ -1,101 +1,101 @@
<?xml version="1.0" encoding="UTF-8"?>
<xmi:XMI xmi:version="2.0" xmlns:xmi="http://www.omg.org/XMI" xmlns:xsi="http://www.w3.org/2001/XMLSchema-instance" xmlns:notation="http://www.eclipse.org/gmf/runtime/1.0.2/notation" xmlns:sgraph="http://www.yakindu.org/sct/sgraph/2.0.0">
<sgraph:Statechart xmi:id="_5VSggG_lEeSjUp1iSfPc3g" specification="internal:&#xD;&#xA;var x : integer = 10&#xD;&#xA;const y :integer = x * 10&#xD;&#xA;&#xD;&#xA;interface ABC:&#xD;&#xA;var x : string = &quot;&quot;&#xD;&#xA;const y : string = ABC.x" name="ValueWithVariable">
<regions xmi:id="_5VU8wW_lEeSjUp1iSfPc3g" name="main region">
<vertices xsi:type="sgraph:Entry" xmi:id="_5VZOM2_lEeSjUp1iSfPc3g">
<outgoingTransitions xmi:id="_5VcRgW_lEeSjUp1iSfPc3g" target="_5VacVG_lEeSjUp1iSfPc3g"/>
</vertices>
<vertices xsi:type="sgraph:State" xmi:id="_5VacVG_lEeSjUp1iSfPc3g" specification="" name="A" incomingTransitions="_5VcRgW_lEeSjUp1iSfPc3g">
<outgoingTransitions xmi:id="_H0iT4EAREeWvWfsZWwe8Fw" specification="always [y == 0]" target="_HhFMYEAREeWvWfsZWwe8Fw"/>
</vertices>
<vertices xsi:type="sgraph:State" xmi:id="_HhFMYEAREeWvWfsZWwe8Fw" name="B" incomingTransitions="_H0iT4EAREeWvWfsZWwe8Fw"/>
</regions>
</sgraph:Statechart>
<notation:Diagram xmi:id="_5VUVsG_lEeSjUp1iSfPc3g" type="org.yakindu.sct.ui.editor.editor.StatechartDiagramEditor" element="_5VSggG_lEeSjUp1iSfPc3g" measurementUnit="Pixel">
<children xmi:id="_5VWx8G_lEeSjUp1iSfPc3g" type="Region" element="_5VU8wW_lEeSjUp1iSfPc3g">
<children xsi:type="notation:DecorationNode" xmi:id="_5VYnIG_lEeSjUp1iSfPc3g" type="RegionName">
<styles xsi:type="notation:ShapeStyle" xmi:id="_5VYnIW_lEeSjUp1iSfPc3g"/>
<layoutConstraint xsi:type="notation:Location" xmi:id="_5VYnIm_lEeSjUp1iSfPc3g"/>
</children>
<children xsi:type="notation:Shape" xmi:id="_5VZOMG_lEeSjUp1iSfPc3g" type="RegionCompartment" fontName="Verdana" lineColor="4210752">
<children xmi:id="_5VZ1QG_lEeSjUp1iSfPc3g" type="Entry" element="_5VZOM2_lEeSjUp1iSfPc3g">
<children xmi:id="_5VZ1Q2_lEeSjUp1iSfPc3g" type="BorderItemLabelContainer">
<children xsi:type="notation:DecorationNode" xmi:id="_5VacUG_lEeSjUp1iSfPc3g" type="BorderItemLabel">
<styles xsi:type="notation:ShapeStyle" xmi:id="_5VacUW_lEeSjUp1iSfPc3g"/>
<layoutConstraint xsi:type="notation:Location" xmi:id="_5VacUm_lEeSjUp1iSfPc3g"/>
</children>
<styles xsi:type="notation:ShapeStyle" xmi:id="_5VZ1RG_lEeSjUp1iSfPc3g" fontName="Verdana" lineColor="4210752"/>
<layoutConstraint xsi:type="notation:Bounds" xmi:id="_5VZ1RW_lEeSjUp1iSfPc3g"/>
</children>
<styles xsi:type="notation:ShapeStyle" xmi:id="_5VZ1QW_lEeSjUp1iSfPc3g" fontName="Verdana" lineColor="4210752"/>
<layoutConstraint xsi:type="notation:Bounds" xmi:id="_5VacU2_lEeSjUp1iSfPc3g" x="70" y="20"/>
</children>
<children xmi:id="_5VbDYW_lEeSjUp1iSfPc3g" type="State" element="_5VacVG_lEeSjUp1iSfPc3g">
<children xsi:type="notation:DecorationNode" xmi:id="_5VbDZW_lEeSjUp1iSfPc3g" type="StateName">
<styles xsi:type="notation:ShapeStyle" xmi:id="_5VbDZm_lEeSjUp1iSfPc3g"/>
<layoutConstraint xsi:type="notation:Location" xmi:id="_5VbDZ2_lEeSjUp1iSfPc3g"/>
</children>
<children xsi:type="notation:Compartment" xmi:id="_5VbqcG_lEeSjUp1iSfPc3g" type="StateTextCompartment">
<children xsi:type="notation:Shape" xmi:id="_5VbqcW_lEeSjUp1iSfPc3g" type="StateTextCompartmentExpression" fontName="Verdana" lineColor="4210752">
<layoutConstraint xsi:type="notation:Bounds" xmi:id="_5Vbqcm_lEeSjUp1iSfPc3g"/>
</children>
</children>
<children xsi:type="notation:Compartment" xmi:id="_5Vbqc2_lEeSjUp1iSfPc3g" type="StateFigureCompartment"/>
<styles xsi:type="notation:ShapeStyle" xmi:id="_5VbDYm_lEeSjUp1iSfPc3g" fontName="Verdana" fillColor="15981773" lineColor="12632256"/>
<styles xsi:type="notation:FontStyle" xmi:id="_5VbDY2_lEeSjUp1iSfPc3g"/>
<styles xsi:type="notation:BooleanValueStyle" xmi:id="_5VbqdG_lEeSjUp1iSfPc3g" name="isHorizontal" booleanValue="true"/>
<layoutConstraint xsi:type="notation:Bounds" xmi:id="_5VcRgG_lEeSjUp1iSfPc3g" x="40" y="80" width="160"/>
</children>
<children xmi:id="_HhNIMEAREeWvWfsZWwe8Fw" type="State" element="_HhFMYEAREeWvWfsZWwe8Fw">
<children xsi:type="notation:DecorationNode" xmi:id="_HhQLgEAREeWvWfsZWwe8Fw" type="StateName">
<styles xsi:type="notation:ShapeStyle" xmi:id="_HhQLgUAREeWvWfsZWwe8Fw"/>
<layoutConstraint xsi:type="notation:Location" xmi:id="_HhQLgkAREeWvWfsZWwe8Fw"/>
</children>
<children xsi:type="notation:Compartment" xmi:id="_HhQykEAREeWvWfsZWwe8Fw" type="StateTextCompartment">
<children xsi:type="notation:Shape" xmi:id="_HhQykUAREeWvWfsZWwe8Fw" type="StateTextCompartmentExpression" fontName="Verdana" lineColor="4210752">
<layoutConstraint xsi:type="notation:Bounds" xmi:id="_HhQykkAREeWvWfsZWwe8Fw"/>
</children>
</children>
<children xsi:type="notation:Compartment" xmi:id="_HhRZoEAREeWvWfsZWwe8Fw" type="StateFigureCompartment"/>
<styles xsi:type="notation:ShapeStyle" xmi:id="_HhNIMUAREeWvWfsZWwe8Fw" fontName="Verdana" fillColor="15981773" lineColor="12632256"/>
<styles xsi:type="notation:FontStyle" xmi:id="_HhNIMkAREeWvWfsZWwe8Fw"/>
<styles xsi:type="notation:BooleanValueStyle" xmi:id="_HhSAsEAREeWvWfsZWwe8Fw" name="isHorizontal" booleanValue="true"/>
<layoutConstraint xsi:type="notation:Bounds" xmi:id="_HhNIM0AREeWvWfsZWwe8Fw" x="40" y="192" width="160"/>
</children>
<layoutConstraint xsi:type="notation:Bounds" xmi:id="_5VZOMW_lEeSjUp1iSfPc3g"/>
</children>
<styles xsi:type="notation:ShapeStyle" xmi:id="_5VWx8W_lEeSjUp1iSfPc3g" fontName="Verdana" fillColor="15790320" lineColor="12632256"/>
<layoutConstraint xsi:type="notation:Bounds" xmi:id="_5VZOMm_lEeSjUp1iSfPc3g" x="220" y="10" width="400" height="400"/>
</children>
<children xsi:type="notation:Shape" xmi:id="_5VdfpG_lEeSjUp1iSfPc3g" type="StatechartText" fontName="Verdana" lineColor="4210752">
<children xsi:type="notation:DecorationNode" xmi:id="_5VeGsG_lEeSjUp1iSfPc3g" type="StatechartName">
<styles xsi:type="notation:ShapeStyle" xmi:id="_5VeGsW_lEeSjUp1iSfPc3g"/>
<layoutConstraint xsi:type="notation:Location" xmi:id="_5VeGsm_lEeSjUp1iSfPc3g"/>
</children>
<children xsi:type="notation:Shape" xmi:id="_5VeGs2_lEeSjUp1iSfPc3g" type="StatechartTextExpression" fontName="Verdana" lineColor="4210752">
<layoutConstraint xsi:type="notation:Bounds" xmi:id="_5VeGtG_lEeSjUp1iSfPc3g"/>
</children>
<layoutConstraint xsi:type="notation:Bounds" xmi:id="_5VetwG_lEeSjUp1iSfPc3g" x="10" y="10" width="200" height="400"/>
</children>
<styles xsi:type="notation:DiagramStyle" xmi:id="_5VU8wG_lEeSjUp1iSfPc3g"/>
<edges xmi:id="_5Vc4kG_lEeSjUp1iSfPc3g" type="Transition" element="_5VcRgW_lEeSjUp1iSfPc3g" source="_5VZ1QG_lEeSjUp1iSfPc3g" target="_5VbDYW_lEeSjUp1iSfPc3g">
<children xsi:type="notation:DecorationNode" xmi:id="_5VdfoW_lEeSjUp1iSfPc3g" type="TransitionExpression">
<styles xsi:type="notation:ShapeStyle" xmi:id="_5Vdfom_lEeSjUp1iSfPc3g"/>
<layoutConstraint xsi:type="notation:Location" xmi:id="_5Vdfo2_lEeSjUp1iSfPc3g" y="10"/>
</children>
<styles xsi:type="notation:ConnectorStyle" xmi:id="_5Vc4kW_lEeSjUp1iSfPc3g" lineColor="4210752"/>
<styles xsi:type="notation:FontStyle" xmi:id="_5VdfoG_lEeSjUp1iSfPc3g" fontName="Verdana"/>
<bendpoints xsi:type="notation:RelativeBendpoints" xmi:id="_5Vc4km_lEeSjUp1iSfPc3g" points="[0, 0, 0, 0]$[0, 0, 0, 0]"/>
</edges>
<edges xmi:id="_H0oagEAREeWvWfsZWwe8Fw" type="Transition" element="_H0iT4EAREeWvWfsZWwe8Fw" source="_5VbDYW_lEeSjUp1iSfPc3g" target="_HhNIMEAREeWvWfsZWwe8Fw">
<children xsi:type="notation:DecorationNode" xmi:id="_H0pooUAREeWvWfsZWwe8Fw" type="TransitionExpression">
<styles xsi:type="notation:ShapeStyle" xmi:id="_H0pookAREeWvWfsZWwe8Fw"/>
<layoutConstraint xsi:type="notation:Location" xmi:id="_H0poo0AREeWvWfsZWwe8Fw" y="-58"/>
</children>
<styles xsi:type="notation:ConnectorStyle" xmi:id="_H0oagUAREeWvWfsZWwe8Fw" lineColor="4210752"/>
<styles xsi:type="notation:FontStyle" xmi:id="_H0pooEAREeWvWfsZWwe8Fw" fontName="Verdana"/>
<bendpoints xsi:type="notation:RelativeBendpoints" xmi:id="_H0oagkAREeWvWfsZWwe8Fw" points="[-5, 24, 18, -76]$[-20, 96, 3, -4]"/>
<targetAnchor xsi:type="notation:IdentityAnchor" xmi:id="_H1t_oEAREeWvWfsZWwe8Fw" id="(0.5352112676056338,0.09433962264150944)"/>
</edges>
</notation:Diagram>
</xmi:XMI>
<?xml version="1.0" encoding="UTF-8"?>
<xmi:XMI xmi:version="2.0" xmlns:xmi="http://www.omg.org/XMI" xmlns:xsi="http://www.w3.org/2001/XMLSchema-instance" xmlns:notation="http://www.eclipse.org/gmf/runtime/1.0.2/notation" xmlns:sgraph="http://www.yakindu.org/sct/sgraph/2.0.0">
<sgraph:Statechart xmi:id="_5VSggG_lEeSjUp1iSfPc3g" specification="internal:&#xD;&#xA;var x : integer = 10&#xD;&#xA;const y :integer = x * 10&#xD;&#xA;&#xD;&#xA;interface ABC:&#xD;&#xA;var x : string = &quot;&quot;&#xD;&#xA;const y : string = ABC.x&#xD;&#xA;&#xD;&#xA;interface DEF:&#xD;&#xA;const z : integer" name="ValueWithVariable">
<regions xmi:id="_5VU8wW_lEeSjUp1iSfPc3g" name="main region">
<vertices xsi:type="sgraph:Entry" xmi:id="_5VZOM2_lEeSjUp1iSfPc3g">
<outgoingTransitions xmi:id="_5VcRgW_lEeSjUp1iSfPc3g" target="_5VacVG_lEeSjUp1iSfPc3g"/>
</vertices>
<vertices xsi:type="sgraph:State" xmi:id="_5VacVG_lEeSjUp1iSfPc3g" specification="" name="A" incomingTransitions="_5VcRgW_lEeSjUp1iSfPc3g">
<outgoingTransitions xmi:id="_H0iT4EAREeWvWfsZWwe8Fw" specification="always [y == 0]" target="_HhFMYEAREeWvWfsZWwe8Fw"/>
</vertices>
<vertices xsi:type="sgraph:State" xmi:id="_HhFMYEAREeWvWfsZWwe8Fw" name="B" incomingTransitions="_H0iT4EAREeWvWfsZWwe8Fw"/>
</regions>
</sgraph:Statechart>
<notation:Diagram xmi:id="_5VUVsG_lEeSjUp1iSfPc3g" type="org.yakindu.sct.ui.editor.editor.StatechartDiagramEditor" element="_5VSggG_lEeSjUp1iSfPc3g" measurementUnit="Pixel">
<children xmi:id="_5VWx8G_lEeSjUp1iSfPc3g" type="Region" element="_5VU8wW_lEeSjUp1iSfPc3g">
<children xsi:type="notation:DecorationNode" xmi:id="_5VYnIG_lEeSjUp1iSfPc3g" type="RegionName">
<styles xsi:type="notation:ShapeStyle" xmi:id="_5VYnIW_lEeSjUp1iSfPc3g"/>
<layoutConstraint xsi:type="notation:Location" xmi:id="_5VYnIm_lEeSjUp1iSfPc3g"/>
</children>
<children xsi:type="notation:Shape" xmi:id="_5VZOMG_lEeSjUp1iSfPc3g" type="RegionCompartment" fontName="Verdana" lineColor="4210752">
<children xmi:id="_5VZ1QG_lEeSjUp1iSfPc3g" type="Entry" element="_5VZOM2_lEeSjUp1iSfPc3g">
<children xmi:id="_5VZ1Q2_lEeSjUp1iSfPc3g" type="BorderItemLabelContainer">
<children xsi:type="notation:DecorationNode" xmi:id="_5VacUG_lEeSjUp1iSfPc3g" type="BorderItemLabel">
<styles xsi:type="notation:ShapeStyle" xmi:id="_5VacUW_lEeSjUp1iSfPc3g"/>
<layoutConstraint xsi:type="notation:Location" xmi:id="_5VacUm_lEeSjUp1iSfPc3g"/>
</children>
<styles xsi:type="notation:ShapeStyle" xmi:id="_5VZ1RG_lEeSjUp1iSfPc3g" fontName="Verdana" lineColor="4210752"/>
<layoutConstraint xsi:type="notation:Bounds" xmi:id="_5VZ1RW_lEeSjUp1iSfPc3g"/>
</children>
<styles xsi:type="notation:ShapeStyle" xmi:id="_5VZ1QW_lEeSjUp1iSfPc3g" fontName="Verdana" lineColor="4210752"/>
<layoutConstraint xsi:type="notation:Bounds" xmi:id="_5VacU2_lEeSjUp1iSfPc3g" x="70" y="20"/>
</children>
<children xmi:id="_5VbDYW_lEeSjUp1iSfPc3g" type="State" element="_5VacVG_lEeSjUp1iSfPc3g">
<children xsi:type="notation:DecorationNode" xmi:id="_5VbDZW_lEeSjUp1iSfPc3g" type="StateName">
<styles xsi:type="notation:ShapeStyle" xmi:id="_5VbDZm_lEeSjUp1iSfPc3g"/>
<layoutConstraint xsi:type="notation:Location" xmi:id="_5VbDZ2_lEeSjUp1iSfPc3g"/>
</children>
<children xsi:type="notation:Compartment" xmi:id="_5VbqcG_lEeSjUp1iSfPc3g" type="StateTextCompartment">
<children xsi:type="notation:Shape" xmi:id="_5VbqcW_lEeSjUp1iSfPc3g" type="StateTextCompartmentExpression" fontName="Verdana" lineColor="4210752">
<layoutConstraint xsi:type="notation:Bounds" xmi:id="_5Vbqcm_lEeSjUp1iSfPc3g"/>
</children>
</children>
<children xsi:type="notation:Compartment" xmi:id="_5Vbqc2_lEeSjUp1iSfPc3g" type="StateFigureCompartment"/>
<styles xsi:type="notation:ShapeStyle" xmi:id="_5VbDYm_lEeSjUp1iSfPc3g" fontName="Verdana" fillColor="15981773" lineColor="12632256"/>
<styles xsi:type="notation:FontStyle" xmi:id="_5VbDY2_lEeSjUp1iSfPc3g"/>
<styles xsi:type="notation:BooleanValueStyle" xmi:id="_5VbqdG_lEeSjUp1iSfPc3g" name="isHorizontal" booleanValue="true"/>
<layoutConstraint xsi:type="notation:Bounds" xmi:id="_5VcRgG_lEeSjUp1iSfPc3g" x="40" y="80" width="160"/>
</children>
<children xmi:id="_HhNIMEAREeWvWfsZWwe8Fw" type="State" element="_HhFMYEAREeWvWfsZWwe8Fw">
<children xsi:type="notation:DecorationNode" xmi:id="_HhQLgEAREeWvWfsZWwe8Fw" type="StateName">
<styles xsi:type="notation:ShapeStyle" xmi:id="_HhQLgUAREeWvWfsZWwe8Fw"/>
<layoutConstraint xsi:type="notation:Location" xmi:id="_HhQLgkAREeWvWfsZWwe8Fw"/>
</children>
<children xsi:type="notation:Compartment" xmi:id="_HhQykEAREeWvWfsZWwe8Fw" type="StateTextCompartment">
<children xsi:type="notation:Shape" xmi:id="_HhQykUAREeWvWfsZWwe8Fw" type="StateTextCompartmentExpression" fontName="Verdana" lineColor="4210752">
<layoutConstraint xsi:type="notation:Bounds" xmi:id="_HhQykkAREeWvWfsZWwe8Fw"/>
</children>
</children>
<children xsi:type="notation:Compartment" xmi:id="_HhRZoEAREeWvWfsZWwe8Fw" type="StateFigureCompartment"/>
<styles xsi:type="notation:ShapeStyle" xmi:id="_HhNIMUAREeWvWfsZWwe8Fw" fontName="Verdana" fillColor="15981773" lineColor="12632256"/>
<styles xsi:type="notation:FontStyle" xmi:id="_HhNIMkAREeWvWfsZWwe8Fw"/>
<styles xsi:type="notation:BooleanValueStyle" xmi:id="_HhSAsEAREeWvWfsZWwe8Fw" name="isHorizontal" booleanValue="true"/>
<layoutConstraint xsi:type="notation:Bounds" xmi:id="_HhNIM0AREeWvWfsZWwe8Fw" x="40" y="192" width="160"/>
</children>
<layoutConstraint xsi:type="notation:Bounds" xmi:id="_5VZOMW_lEeSjUp1iSfPc3g"/>
</children>
<styles xsi:type="notation:ShapeStyle" xmi:id="_5VWx8W_lEeSjUp1iSfPc3g" fontName="Verdana" fillColor="15790320" lineColor="12632256"/>
<layoutConstraint xsi:type="notation:Bounds" xmi:id="_5VZOMm_lEeSjUp1iSfPc3g" x="220" y="10" width="400" height="400"/>
</children>
<children xsi:type="notation:Shape" xmi:id="_5VdfpG_lEeSjUp1iSfPc3g" type="StatechartText" fontName="Verdana" lineColor="4210752">
<children xsi:type="notation:DecorationNode" xmi:id="_5VeGsG_lEeSjUp1iSfPc3g" type="StatechartName">
<styles xsi:type="notation:ShapeStyle" xmi:id="_5VeGsW_lEeSjUp1iSfPc3g"/>
<layoutConstraint xsi:type="notation:Location" xmi:id="_5VeGsm_lEeSjUp1iSfPc3g"/>
</children>
<children xsi:type="notation:Shape" xmi:id="_5VeGs2_lEeSjUp1iSfPc3g" type="StatechartTextExpression" fontName="Verdana" lineColor="4210752">
<layoutConstraint xsi:type="notation:Bounds" xmi:id="_5VeGtG_lEeSjUp1iSfPc3g"/>
</children>
<layoutConstraint xsi:type="notation:Bounds" xmi:id="_5VetwG_lEeSjUp1iSfPc3g" x="10" y="10" width="200" height="400"/>
</children>
<styles xsi:type="notation:DiagramStyle" xmi:id="_5VU8wG_lEeSjUp1iSfPc3g"/>
<edges xmi:id="_5Vc4kG_lEeSjUp1iSfPc3g" type="Transition" element="_5VcRgW_lEeSjUp1iSfPc3g" source="_5VZ1QG_lEeSjUp1iSfPc3g" target="_5VbDYW_lEeSjUp1iSfPc3g">
<children xsi:type="notation:DecorationNode" xmi:id="_5VdfoW_lEeSjUp1iSfPc3g" type="TransitionExpression">
<styles xsi:type="notation:ShapeStyle" xmi:id="_5Vdfom_lEeSjUp1iSfPc3g"/>
<layoutConstraint xsi:type="notation:Location" xmi:id="_5Vdfo2_lEeSjUp1iSfPc3g" y="10"/>
</children>
<styles xsi:type="notation:ConnectorStyle" xmi:id="_5Vc4kW_lEeSjUp1iSfPc3g" lineColor="4210752"/>
<styles xsi:type="notation:FontStyle" xmi:id="_5VdfoG_lEeSjUp1iSfPc3g" fontName="Verdana"/>
<bendpoints xsi:type="notation:RelativeBendpoints" xmi:id="_5Vc4km_lEeSjUp1iSfPc3g" points="[0, 0, 0, 0]$[0, 0, 0, 0]"/>
</edges>
<edges xmi:id="_H0oagEAREeWvWfsZWwe8Fw" type="Transition" element="_H0iT4EAREeWvWfsZWwe8Fw" source="_5VbDYW_lEeSjUp1iSfPc3g" target="_HhNIMEAREeWvWfsZWwe8Fw">
<children xsi:type="notation:DecorationNode" xmi:id="_H0pooUAREeWvWfsZWwe8Fw" type="TransitionExpression">
<styles xsi:type="notation:ShapeStyle" xmi:id="_H0pookAREeWvWfsZWwe8Fw"/>
<layoutConstraint xsi:type="notation:Location" xmi:id="_H0poo0AREeWvWfsZWwe8Fw" y="-58"/>
</children>
<styles xsi:type="notation:ConnectorStyle" xmi:id="_H0oagUAREeWvWfsZWwe8Fw" lineColor="4210752"/>
<styles xsi:type="notation:FontStyle" xmi:id="_H0pooEAREeWvWfsZWwe8Fw" fontName="Verdana"/>
<bendpoints xsi:type="notation:RelativeBendpoints" xmi:id="_H0oagkAREeWvWfsZWwe8Fw" points="[-5, 24, 18, -76]$[-20, 96, 3, -4]"/>
<targetAnchor xsi:type="notation:IdentityAnchor" xmi:id="_H1t_oEAREeWvWfsZWwe8Fw" id="(0.5352112676056338,0.09433962264150944)"/>
</edges>
</notation:Diagram>
</xmi:XMI>

0 comments on commit 0409a34

Please sign in to comment.