Skip to content
Snippets Groups Projects
Commit c54497b8 authored by Leonardo Montecchi's avatar Leonardo Montecchi
Browse files

Updating StateMachine file examples that caused problems in the transformation

parent 82ccf634
No related branches found
No related tags found
No related merge requests found
Show whitespace changes
Inline Side-by-side
sm/no.ntnu.tdt4250.sm.examples/Oven.sm
+ 51
− 16
View file @ c54497b8
<?xml version="1.0" encoding="UTF-8"?> <?xml version="1.0" encoding="UTF-8"?>
<sm:StateMachine xmi:version="2.0" xmlns:xmi="http://www.omg.org/XMI" xmlns:sm="http://www.ntnu.no/idi/tdt4250/2023/sm" name="PowerOven" initial="//@state.0" final="//@state.4 //@state.2 //@state.1/@children.1/@children.0"> <sm:StateMachine
<state name="Off" outgoing="//@transition.0 //@transition.6" incoming="//@transition.2 //@transition.4 //@transition.6"/> xmi:version="2.0"
<state name="MidPower" outgoing="//@transition.1 //@transition.2 //@transition.5" incoming="//@transition.0 //@transition.3"> xmlns:xmi="http://www.omg.org/XMI"
<children name="Power300w"/> xmlns:sm="http://www.ntnu.no/idi/tdt4250/2023/sm"
<children name="Power600w"> name="PowerOven"
<children/> initial="//@state.0"
</children> final="//@state.4 //@state.2">
<state name="Off"
outgoing="//@transition.0 //@transition.6"
incoming="//@transition.2 //@transition.4 //@transition.6"/>
<state name="MidPower"
outgoing="//@transition.1 //@transition.2 //@transition.5"
incoming="//@transition.0 //@transition.3">
<children
name="Power300w"/>
<children
name="Power600w"/>
</state> </state>
<state name="FullPower" outgoing="//@transition.3" incoming="//@transition.1"/> <state name="FullPower"
<state name="Overheat" outgoing="//@transition.4" incoming="//@transition.5"/> outgoing="//@transition.3"
incoming="//@transition.1"/>
<state name="Overheat"
outgoing="//@transition.4"
incoming="//@transition.5"/>
<state name="Exploded"/> <state name="Exploded"/>
<state name="ThisIsANewState"/> <state name="ThisIsANewState"/>
<state name="Turbo"/> <state name="Turbo"/>
<transition name="PowerOn" source="//@state.0" target="//@state.1"/> <transition
<transition name="IncreasePw" source="//@state.1" target="//@state.2"/> name="PowerOn"
<transition name="PowerOff" source="//@state.1" target="//@state.0"/> source="//@state.0"
<transition name="ReducePw" source="//@state.2" target="//@state.1"/> target="//@state.1"/>
<transition name="SafetyTrigger" source="//@state.3" target="//@state.0"/> <transition
<transition name="Overheating" source="//@state.1" target="//@state.3"/> name="IncreasePw"
<transition name="Repair" source="//@state.0" target="//@state.0"/> source="//@state.1"
target="//@state.2"/>
<transition
name="PowerOff"
source="//@state.1"
target="//@state.0"/>
<transition
name="ReducePw"
source="//@state.2"
target="//@state.1"/>
<transition
name="SafetyTrigger"
source="//@state.3"
target="//@state.0"/>
<transition
name="Overheating"
source="//@state.1"
target="//@state.3"/>
<transition
name="Repair"
source="//@state.0"
target="//@state.0"/>
</sm:StateMachine> </sm:StateMachine>
sm/no.ntnu.tdt4250.sm/ExampleSM.sm
+ 1
− 0
View file @ c54497b8
...@@ -4,6 +4,7 @@ ...@@ -4,6 +4,7 @@
xmlns:xmi="http://www.omg.org/XMI" xmlns:xmi="http://www.omg.org/XMI"
xmlns:sm="http://www.ntnu.no/idi/tdt4250/2023/sm" xmlns:sm="http://www.ntnu.no/idi/tdt4250/2023/sm"
name="TR1" name="TR1"
initial="//@state.0"
final="//@state.1"> final="//@state.1">
<state name="s1" <state name="s1"
outgoing="//@transition.0"/> outgoing="//@transition.0"/>
......
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Please register or to comment