129 lines
3.3 KiB
Promela
129 lines
3.3 KiB
Promela
<sprite "light" [] <hemispheric-light <v 0.2 1.0 0.0>>>
|
|
; <gravity <v 0.0 -9.81 0.0>>
|
|
<sprite "sky" [] <skybox "textures/Daylight Box UV_0">>
|
|
|
|
<sprite "ground" []
|
|
<texture ["textures/grass-256x256.jpg"
|
|
<v 100.0 100.0>
|
|
<v 0.0 0.0>]
|
|
<floor <scale <v 300.0 1.0 300.0> <ground>>>>>
|
|
|
|
<Exit "door" "other">
|
|
<sprite "door" []
|
|
<move <v -13.0 0.0 1.5>
|
|
<rotate <v 0.0 -0.1 0.0> [
|
|
<scale <v 1.0 2.11 1.0>
|
|
<texture ["textures/door1.jpg"]
|
|
<touchable <move <v 0.0 0.5 0.0> <plane>>>>>
|
|
<scale <v 1.0 2.11 0.1> <move <v 0.0 0.5 0.6> <box>>>
|
|
]>>>
|
|
|
|
<Exit "miscdoor" "misc">
|
|
<sprite "miscdoor" []
|
|
<move <v -12.0 0.0 2.25>
|
|
<rotate <v 0.0 -0.1 0.0> [
|
|
<scale <v 1.0 2.11 1.0>
|
|
<texture ["textures/door1.jpg"]
|
|
<touchable <move <v 0.0 0.5 0.0> <plane>>>>>
|
|
<scale <v 1.0 2.11 0.1> <move <v 0.0 0.5 0.6> <box>>>
|
|
]>>>
|
|
|
|
<sprite "plans" []
|
|
<texture ["plans/signal-2022-12-27-125451_002.jpeg"]
|
|
<move <v 0.0 1.0 2.0>
|
|
<rotate <v 0.1 0.0 0.0>
|
|
<scale <v 2.0 2.0 0.1>
|
|
<box>>>>>>
|
|
|
|
<sprite "house" []
|
|
<move <v 0.0 0.0 10.0>
|
|
<rotate <v 0.0 0.0 0.0>
|
|
<turtle [
|
|
[
|
|
to [f]
|
|
GetPos to p
|
|
GetHeading to h
|
|
f
|
|
h SetHeading
|
|
p SetPos
|
|
] to saved
|
|
|
|
quote PenUp to PU
|
|
quote PenDown to PD
|
|
[ to [f] PD f PU ] to draw
|
|
[ to [f] PD f DefinePen GetPen ] to drawPen
|
|
|
|
[
|
|
to [f]
|
|
[
|
|
ClearPen
|
|
90 U
|
|
f
|
|
] saved
|
|
to pen
|
|
[ 0 F pen SetPen 0 F ]
|
|
] to recordPen
|
|
|
|
[ to [s1 s2] [s1 F 90 L s2 F 90 L] 2 times ] to rectL
|
|
|
|
2.5 to interiorWallHeight
|
|
2.5 to exteriorWallHeight
|
|
2.11 to doorHeight
|
|
[ 90 R 0.06 F 90 L ] to setup
|
|
|
|
[setup [interiorWallHeight 0.12 rectL] drawPen] recordPen to interiorWall
|
|
[setup [exteriorWallHeight 0.25 rectL] drawPen] recordPen to exteriorWall
|
|
[setup doorHeight F [interiorWallHeight doorHeight - 0.12 rectL] drawPen] recordPen to interiorDoor
|
|
[setup doorHeight F [exteriorWallHeight doorHeight - 0.25 rectL] drawPen] recordPen to exteriorDoor
|
|
|
|
[to [f] interiorDoor f interiorWall] to iDoor
|
|
[to [f] exteriorDoor f exteriorWall] to eDoor
|
|
|
|
[ to [angle length] [ angle L [length F] draw ] saved ] to wall
|
|
|
|
#t SetMiter
|
|
[ 0 F ] to miter
|
|
[ 90 L miter ] to --
|
|
[ 90 R miter ] to ++
|
|
|
|
exteriorWall
|
|
[
|
|
2.1 F --
|
|
0.3 F [1 F] eDoor 0.9 F ++
|
|
7.7 F ++
|
|
13.3 F ++
|
|
0.7 F --
|
|
1.3 F [0.7 F] eDoor 0.2 F ++
|
|
4.8 F ++
|
|
1.1 F [0.8 F] eDoor 0.3 F --
|
|
4.3 F ++
|
|
5.9 F [1.4 F] eDoor 3.8 F ++
|
|
] draw
|
|
|
|
interiorWall
|
|
Home
|
|
2.1 F
|
|
[0.2 F [1 F] iDoor 6.5 F] draw
|
|
1.1 B [90 L [0.2 F [1 F] iDoor 1 F] draw] saved
|
|
1.4 B [
|
|
++
|
|
[2.1 F ++ 1 F [0.6 F] iDoor 1.4 F] draw 3 B
|
|
0.7 F -- [0.1 F [0.7 F] iDoor 0.1 F] draw
|
|
[[2.7 F ++ 0.6 F] draw] saved
|
|
++ 3.2 B
|
|
[4.2 F -- 0.2 F [1 F] iDoor 1.5 F -- 0.4 F ++] draw
|
|
[0.1 F [0.7 F] iDoor 0.2 F] draw
|
|
[-- [3.8 F] draw] saved
|
|
[0.9 F [0.6 F] iDoor 3.0 F] draw
|
|
[-- [3.1 F] draw] saved
|
|
[0.2 F [0.7 F] iDoor 0.4 F] draw
|
|
[++ [1.7 F] draw] saved
|
|
[0.1 F [0.6 F] iDoor 0.2 F] draw
|
|
] saved
|
|
1.6 B [90 L [0.2 F [1 F] iDoor 1 F] draw] saved
|
|
1.4 B [90 R [2.3 F [0.7 F] iDoor 6.2 F [0.9 F] iDoor 1 F] draw] saved
|
|
]>
|
|
>>>
|
|
|
|
[]
|