Sign in
eclipse
/
gerrit
/
www.eclipse.org
/
escet
/
7489763bee053863d11bd99f3be73d1d3dfc2337
/
.
/
test
/
cif
/
tools
/
cifsim
/
output
/
svgviz
/
lamp
/
lamp.cif
blob: 81e5f716a285bdc213742d45777c3f402c0445bb [
file
] [
log
] [
blame
]
svgfile
"lamp.svg"
;
automaton lamp
:
cont t der
1.0
;
location
Off
:
initial
;
edge
when
t
>=
1.0
do
t
:=
0.0
goto
On
;
location
On
:
edge
when
t
>=
2.0
do
t
:=
0.0
goto
Off
;
svgout id
"lamp"
attr
"fill"
value
if
Off
:
"gray"
else
"yellow"
end
;
end
