|
|
@@ -1,6 +1,6 @@
|
|
|
<?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="_Irb9AWx0EeK7IYWlCJtDsw" specification="interface Safe:
out event open
out event close


interface User:
in event numberPressed: integer
in event reset

internal:
var number1 :integer = 3
var number2 : integer = 7
var number3 : integer = 5

" name="Safe">
|
|
|
+ <sgraph:Statechart xmi:id="_Irb9AWx0EeK7IYWlCJtDsw" specification="interface Safe:
out event open
out event close


interface User:
in event numberPressed: integer
in event reset

internal:
var number1 :integer = 3
var number2 : integer = 7
var number3 : integer = 5

" name="NamedInterfaceAccess">
|
|
|
<regions xmi:id="_IsCZ8Gx0EeK7IYWlCJtDsw" name="region 1">
|
|
|
<vertices xsi:type="sgraph:State" xmi:id="_DwndTGx-EeKceIpq-RYuRw" specification="entry / raise Safe.close" name="Idle" incomingTransitions="_DwndUGx-EeKceIpq-RYuRw _DwndWmx-EeKceIpq-RYuRw _DwndV2x-EeKceIpq-RYuRw _DwndU2x-EeKceIpq-RYuRw">
|
|
|
<outgoingTransitions xmi:id="_DwndTWx-EeKceIpq-RYuRw" specification="User.numberPressed 
[valueof(User.numberPressed) == number1]" target="_DwndUWx-EeKceIpq-RYuRw"/>
|
malknet42