Skip to content
GitLab
Projects
Groups
Snippets
/
Help
Help
Support
Community forum
Keyboard shortcuts
?
Submit feedback
Contribute to GitLab
Sign in
Toggle navigation
Menu
Open sidebar
clean-and-itasks
clean-libraries
Commits
e9056d70
Commit
e9056d70
authored
Jan 27, 2000
by
Mike Wiering
Browse files
Sint Nicolaas demo added
parent
c23e1963
Changes
97
Hide whitespace changes
Inline
Side-by-side
libraries/ObjectIO/Game Examples/SINT/ArgEnv.dcl
0 → 100644
View file @
e9056d70
/*
Version 1.0.1
Ronny Wichers Schreur
ronny@cs.kun.nl
*/
definition
module
ArgEnv
::
EnvironmentVariable
=
EnvironmentVariableUndefined
|
EnvironmentVariable
!.{#
Char
}
// get the value of an environment variable
getEnvironmentVariable
::
!{#
Char
}
->
*
EnvironmentVariable
// get the command line, first element is the command name,
// arguments that are interpreted by the run-time system
// (for example to set the heap size) are excluded
// Clean 1.1: getCommandLine :: {{#Char}}
getCommandLine
::
{.{#
Char
}}
libraries/ObjectIO/Game Examples/SINT/ArgEnv.icl
0 → 100644
View file @
e9056d70
implementation
module
ArgEnv
import
StdEnv
::
CString
:==
Int
NULL
:==
0
::
EnvironmentVariable
=
EnvironmentVariableUndefined
|
EnvironmentVariable
!.{#
Char
}
getEnvSize
::
!{#
Char
}
->
Int
getEnvSize
_
=
code {
.inline
getEnv
ccall
ArgEnvGetEnvironmentVariableSizeC
"S-I"
.end
}
copyEnv
::
!
Int
!{#
Char
}
->
{#.
Char
}
copyEnv
_
_
=
code {
.inline
getEnv
| Clean 1.1: use create_array
| pushC '?'
| push_b 1
| update_b 1 2
| update_b 0 1
| pop_b 1
| create_array CHAR 0 1
| Clean 1.2 and later: use create_array_
create_array_
CHAR
0
1
push_a
1
push_a
1
ccall
ArgEnvGetEnvironmentVariableCharsC
"SS-I"
pop_b
1
update_a
0
1
pop_a
1
.end
}
getEnvironmentVariable
::
!{#
Char
}
->
*
EnvironmentVariable
getEnvironmentVariable
name
|
size
==
0
=
EnvironmentVariableUndefined
|
otherwise
=
EnvironmentVariable
(
copyEnv
size
name`
)
where
size
=
getEnvSize
name`
name`
=
name
+++
"
\0
"
copy
::
!
Int
!
CString
->
{#.
Char
}
copy
length
cString
=
code {
.inline
copy
| Clean 1.1: use create_array
| pushC '\000'
| push_b 1
| update_b 1 2
| update_b 0 1
| pop_b 1
| create_array CHAR 0 1
| Clean 1.2 and later: use create_array_
create_array_
CHAR
0
1
push_a
0
ccall
ArgEnvCopyCStringToCleanStringC
"IS-I"
pop_b
1
.end
}
getCommandLineCount
::
Int
getCommandLineCount
=
code {
.inline
getCommandLineCount
ccall
ArgEnvGetCommandLineCountC
"-I"
.end
}
getCommandLineArgument
::
!
Int
->
(!
Int
,
!
Int
)
getCommandLineArgument
_
=
code {
.inline
getCommandLineArgument
ccall
ArgEnvGetCommandLineArgumentC
"I-II"
.end
}
getArg
::
!
Int
->
{#.
Char
}
getArg
i
=
copy
size
cString
where
(
size
,
cString
)
=
getCommandLineArgument
i
// Clean 1.1: getCommandLine :: {{#Char}}
getCommandLine
::
{.{#
Char
}}
getCommandLine
=
{
getArg
i
\\
i
<-
[
0
..
getCommandLineCount
-1
]}
libraries/ObjectIO/Game Examples/SINT/B1.bmp
0 → 100644
View file @
e9056d70
7.3 KB
libraries/ObjectIO/Game Examples/SINT/B1.dcl
0 → 100644
View file @
e9056d70
definition
module
B1
import
StdEnv
,
StdGameDef
BackGr1Bitmap
::
GameBitmap
BackGr1Map
::
[{#
Int
}]
BackGr1Seq001
::
(
Int
,
[(
Int
,
Int
)])
BackGr1Sequences
::
[(
Int
,
[(
Int
,
Int
)])]
libraries/ObjectIO/Game Examples/SINT/B1.icl
0 → 100644
View file @
e9056d70
implementation
module
B1
import
StdEnv
,
StdGameDef
BackGr1Bitmap
::
GameBitmap
BackGr1Bitmap
=
{
bitmapname
=
"B1.BMP"
,
unitsize
=
{
w
=
20
,
h
=
20
}
,
dimensions
=
(
16
,
1
)
,
transparent
=
Just
{
x
=
259
,
y
=
18
}
}
BackGr1Map
::
[{#
Int
}]
BackGr1Map
=
[{
-1
,
-1
,
-1
,
-1
,
-1
,
-1
,
-1
,
-1
,
-1
,
-1
,
-1
,
-1
,
-1
},
{
-1
,
-1
,
-1
,
-1
,
-1
,
-1
,
-1
,
-1
,
-1
,
-1
,
-1
,
-1
,
-1
},
{
-1
,
-1
,
-1
,
-1
,
-1
,
-1
,
-1
,
-1
,
-1
,
-1
,
-1
,
-1
,
-1
},
{
-1
,
-1
,
-1
,
-1
,
-1
,
-1
,
-1
,
-1
,
-1
,
-1
,
-1
,
-1
,
-1
},
{
-1
,
-1
,
-1
,
-1
,
-1
,
-1
,
-1
,
-1
,
-1
,
-1
,
-1
,
-1
,
-1
},
{
-1
,
-1
,
-1
,
-1
,
-1
,
-1
,
-1
,
-1
,
-1
,
-1
,
-1
,
-1
,
-1
},
{
-1
,
-1
,
-1
,
-1
,
-1
,
-1
,
-1
,
-1
,
-1
,
-1
,
-1
,
-1
,
-1
},
{
-1
,
-1
,
-1
,
-1
,
-1
,
-1
,
-1
,
-1
,
-1
,
-1
,
-1
,
-1
,
-1
},
{
-1
,
-1
,
-1
,
-1
,
-1
,
-1
,
-1
,
-1
,
-1
,
-1
,
-1
,
-1
,
-1
},
{
-1
,
-1
,
-1
,
-1
,
-1
,
-1
,
-1
,
-1
,
1
,
-1
,
-1
,
-1
,
-1
},
{
-1
,
2
,
-1
,
-1
,
3
,
4
,
-1
,
5
,
1
,
6
,
-1
,
-1
,
-1
},
{
5
,
7
,
6
,
8
,
9
,
9
,
10
,
11
,
9
,
11
,
12
,
13
,
-1
},
{
2
,
11
,
2
,
14
,
15
,
9
,
11
,
11
,
11
,
1
,
1
,
9
,
10
},
{
2
,
7
,
2
,
11
,
9
,
9
,
1
,
9
,
1
,
9
,
11
,
9
,
1
},
{
11
,
2
,
11
,
2
,
9
,
9
,
1
,
1
,
1
,
1
,
1
,
9
,
2
},
{
11
,
11
,
2
,
7
,
9
,
9
,
1
,
1
,
1
,
2
,
1
,
9
,
1
},
{
11
,
11
,
11
,
11
,
9
,
9
,
1
,
1
,
2
,
1
,
1
,
9
,
1
},
{
11
,
11
,
2
,
7
,
9
,
9
,
1
,
1
,
1
,
1
,
1
,
9
,
1
}]
BackGr1Seq001
::
(
Int
,
[(
Int
,
Int
)])
BackGr1Seq001
=
(
-1
,[])
BackGr1Sequences
::
[(
Int
,
[(
Int
,
Int
)])]
BackGr1Sequences
=
[
BackGr1Seq001
]
\ No newline at end of file
libraries/ObjectIO/Game Examples/SINT/B1B.bmp
0 → 100644
View file @
e9056d70
13.6 KB
libraries/ObjectIO/Game Examples/SINT/B1B.dcl
0 → 100644
View file @
e9056d70
definition
module
B1B
import
StdEnv
,
StdGameDef
BackGr1bBitmap
::
GameBitmap
BackGr1bMap
::
[{#
Int
}]
BackGr1bSeq001
::
(
Int
,
[(
Int
,
Int
)])
BackGr1bSequences
::
[(
Int
,
[(
Int
,
Int
)])]
libraries/ObjectIO/Game Examples/SINT/B1B.icl
0 → 100644
View file @
e9056d70
implementation
module
B1B
import
StdEnv
,
StdGameDef
BackGr1bBitmap
::
GameBitmap
BackGr1bBitmap
=
{
bitmapname
=
"B1B.BMP"
,
unitsize
=
{
w
=
20
,
h
=
20
}
,
dimensions
=
(
16
,
2
)
,
transparent
=
Just
{
x
=
39
,
y
=
19
}
}
BackGr1bMap
::
[{#
Int
}]
BackGr1bMap
=
[{
-1
,
-1
,
-1
,
-1
,
-1
,
-1
,
-1
,
-1
,
-1
,
-1
,
-1
,
-1
,
-1
,
-1
},
{
-1
,
-1
,
-1
,
-1
,
-1
,
-1
,
-1
,
-1
,
-1
,
-1
,
-1
,
-1
,
-1
,
-1
},
{
-1
,
-1
,
-1
,
-1
,
-1
,
-1
,
-1
,
-1
,
-1
,
-1
,
-1
,
-1
,
-1
,
-1
},
{
-1
,
-1
,
-1
,
-1
,
-1
,
-1
,
-1
,
-1
,
-1
,
-1
,
-1
,
-1
,
-1
,
-1
},
{
-1
,
-1
,
-1
,
-1
,
-1
,
-1
,
-1
,
-1
,
-1
,
-1
,
-1
,
-1
,
-1
,
-1
},
{
-1
,
-1
,
-1
,
-1
,
-1
,
-1
,
-1
,
-1
,
-1
,
-1
,
-1
,
-1
,
-1
,
-1
},
{
-1
,
-1
,
-1
,
-1
,
-1
,
-1
,
-1
,
-1
,
-1
,
-1
,
-1
,
-1
,
-1
,
-1
},
{
-1
,
-1
,
-1
,
-1
,
-1
,
-1
,
-1
,
-1
,
-1
,
-1
,
-1
,
-1
,
-1
,
-1
},
{
-1
,
-1
,
-1
,
-1
,
-1
,
-1
,
-1
,
-1
,
-1
,
-1
,
-1
,
-1
,
-1
,
-1
},
{
-1
,
-1
,
-1
,
-1
,
-1
,
-1
,
-1
,
-1
,
-1
,
1
,
-1
,
-1
,
-1
,
-1
},
{
-1
,
2
,
3
,
4
,
-1
,
-1
,
3
,
4
,
5
,
6
,
3
,
4
,
-1
,
-1
},
{
-1
,
5
,
7
,
7
,
6
,
5
,
8
,
9
,
10
,
11
,
8
,
8
,
6
,
-1
},
{
12
,
7
,
7
,
7
,
7
,
7
,
8
,
13
,
14
,
10
,
9
,
10
,
8
,
15
},
{
14
,
10
,
16
,
10
,
17
,
17
,
18
,
19
,
14
,
20
,
21
,
20
,
16
,
14
},
{
14
,
14
,
14
,
20
,
7
,
8
,
13
,
22
,
23
,
22
,
23
,
14
,
14
,
14
},
{
14
,
22
,
23
,
14
,
10
,
8
,
13
,
24
,
25
,
25
,
26
,
14
,
14
,
14
},
{
23
,
24
,
26
,
14
,
20
,
18
,
14
,
24
,
25
,
25
,
25
,
23
,
14
,
22
},
{
26
,
24
,
26
,
14
,
14
,
14
,
22
,
25
,
25
,
25
,
25
,
26
,
14
,
24
}]
BackGr1bSeq001
::
(
Int
,
[(
Int
,
Int
)])
BackGr1bSeq001
=
(
-1
,[])
BackGr1bSequences
::
[(
Int
,
[(
Int
,
Int
)])]
BackGr1bSequences
=
[
BackGr1bSeq001
]
\ No newline at end of file
libraries/ObjectIO/Game Examples/SINT/B2.bmp
0 → 100644
View file @
e9056d70
13.6 KB
libraries/ObjectIO/Game Examples/SINT/B2.dcl
0 → 100644
View file @
e9056d70
definition
module
B2
import
StdEnv
,
StdGameDef
BackGr2Bitmap
::
GameBitmap
BackGr2Map
::
[{#
Int
}]
BackGr2Seq001
::
(
Int
,
[(
Int
,
Int
)])
BackGr2Sequences
::
[(
Int
,
[(
Int
,
Int
)])]
libraries/ObjectIO/Game Examples/SINT/B2.icl
0 → 100644
View file @
e9056d70
implementation
module
B2
import
StdEnv
,
StdGameDef
BackGr2Bitmap
::
GameBitmap
BackGr2Bitmap
=
{
bitmapname
=
"B2.BMP"
,
unitsize
=
{
w
=
20
,
h
=
20
}
,
dimensions
=
(
16
,
2
)
,
transparent
=
Just
{
x
=
19
,
y
=
39
}
}
BackGr2Map
::
[{#
Int
}]
BackGr2Map
=
[{
-1
,
-1
,
-1
,
-1
,
-1
,
-1
,
-1
,
-1
,
-1
,
-1
,
-1
,
-1
,
-1
},
{
-1
,
-1
,
-1
,
-1
,
-1
,
-1
,
-1
,
-1
,
-1
,
-1
,
-1
,
-1
,
-1
},
{
-1
,
-1
,
-1
,
-1
,
-1
,
-1
,
-1
,
-1
,
-1
,
-1
,
-1
,
-1
,
-1
},
{
-1
,
-1
,
-1
,
-1
,
-1
,
-1
,
-1
,
-1
,
-1
,
-1
,
-1
,
-1
,
-1
},
{
-1
,
-1
,
-1
,
-1
,
-1
,
-1
,
-1
,
-1
,
-1
,
-1
,
-1
,
-1
,
-1
},
{
-1
,
-1
,
-1
,
-1
,
-1
,
-1
,
-1
,
-1
,
-1
,
-1
,
-1
,
-1
,
-1
},
{
-1
,
-1
,
-1
,
-1
,
-1
,
-1
,
-1
,
-1
,
-1
,
-1
,
-1
,
-1
,
-1
},
{
-1
,
-1
,
-1
,
-1
,
-1
,
-1
,
-1
,
-1
,
-1
,
16385
,
-1
,
-1
,
-1
},
{
16387
,
16387
,
-1
,
-1
,
-1
,
-1
,
16387
,
5
,
16387
,
5
,
16387
,
16387
,
16387
},
{
6
,
-1
,
-1
,
-1
,
-1
,
-1
,
7
,
7
,
-1
,
16385
,
-1
,
-1
,
-1
},
{
-1
,
-1
,
-1
,
-1
,
-1
,
-1
,
-1
,
-1
,
-1
,
8
,
-1
,
-1
,
-1
},
{
-1
,
-1
,
-1
,
-1
,
16385
,
-1
,
-1
,
-1
,
-1
,
16385
,
-1
,
-1
,
-1
},
{
16387
,
16387
,
16387
,
16387
,
16387
,
16387
,
16387
,
-1
,
-1
,
8
,
-1
,
-1
,
16387
},
{
-1
,
9
,
-1
,
-1
,
16385
,
7
,
10
,
-1
,
-1
,
16385
,
-1
,
-1
,
-1
},
{
-1
,
-1
,
-1
,
-1
,
8
,
-1
,
-1
,
-1
,
-1
,
8
,
-1
,
-1
,
-1
},
{
-1
,
-1
,
-1
,
-1
,
16385
,
-1
,
-1
,
-1
,
-1
,
16385
,
-1
,
-1
,
-1
},
{
-1
,
-1
,
-1
,
-1
,
8
,
-1
,
-1
,
-1
,
-1
,
8
,
-1
,
-1
,
-1
},
{
-1
,
-1
,
-1
,
-1
,
16385
,
-1
,
-1
,
-1
,
-1
,
16385
,
-1
,
-1
,
-1
},
{
-1
,
-1
,
-1
,
-1
,
8
,
-1
,
-1
,
-1
,
-1
,
8
,
-1
,
-1
,
-1
},
{
-1
,
-1
,
-1
,
-1
,
16385
,
-1
,
-1
,
-1
,
-1
,
16385
,
-1
,
-1
,
-1
},
{
-1
,
-1
,
-1
,
-1
,
8
,
-1
,
11
,
-1
,
-1
,
8
,
-1
,
11
,
-1
},
{
-1
,
-1
,
11
,
7
,
16385
,
12
,
11
,
16397
,
15
,
16385
,
12
,
7
,
-1
},
{
-1
,
11
,
16400
,
18
,
19
,
16400
,
20
,
18
,
20
,
20
,
20
,
20
,
16400
},
{
16400
,
18
,
19
,
20
,
19
,
18
,
19
,
20
,
20
,
19
,
20
,
19
,
19
},
{
19
,
20
,
20
,
21
,
19
,
19
,
19
,
20
,
19
,
20
,
21
,
20
,
19
},
{
21
,
20
,
21
,
19
,
19
,
18
,
19
,
19
,
22
,
19
,
19
,
18
,
20
},
{
21
,
21
,
20
,
22
,
19
,
19
,
19
,
19
,
19
,
20
,
19
,
20
,
19
},
{
21
,
18
,
21
,
21
,
19
,
19
,
19
,
18
,
20
,
19
,
18
,
19
,
19
},
{
21
,
21
,
20
,
18
,
19
,
19
,
19
,
19
,
19
,
19
,
19
,
20
,
19
}]
BackGr2Seq001
::
(
Int
,
[(
Int
,
Int
)])
BackGr2Seq001
=
(
-1
,[])
BackGr2Sequences
::
[(
Int
,
[(
Int
,
Int
)])]
BackGr2Sequences
=
[
BackGr2Seq001
]
\ No newline at end of file
libraries/ObjectIO/Game Examples/SINT/CARS.bmp
0 → 100644
View file @
e9056d70
16.7 KB
libraries/ObjectIO/Game Examples/SINT/CARS.dcl
0 → 100644
View file @
e9056d70
definition
module
CARS
import
StdEnv
,
StdGameDef
CarsBitmap
::
GameBitmap
CarsMap
::
[{#
Int
}]
CarsSeq001
::
(
Int
,
[(
Int
,
Int
)])
CarsSequences
::
[(
Int
,
[(
Int
,
Int
)])]
libraries/ObjectIO/Game Examples/SINT/CARS.icl
0 → 100644
View file @
e9056d70
implementation
module
CARS
import
StdEnv
,
StdGameDef
CarsBitmap
::
GameBitmap
CarsBitmap
=
{
bitmapname
=
"CARS.BMP"
,
unitsize
=
{
w
=
80
,
h
=
50
}
,
dimensions
=
(
4
,
1
)
,
transparent
=
Just
{
x
=
159
,
y
=
49
}
}
CarsMap
::
[{#
Int
}]
CarsMap
=
[{
1
,
2
,
-1
,
-1
,
-1
,
-1
,
-1
},
{
-1
,
-1
,
-1
,
-1
,
-1
,
-1
,
-1
},
{
-1
,
-1
,
-1
,
-1
,
-1
,
-1
,
-1
},
{
-1
,
-1
,
-1
,
-1
,
-1
,
-1
,
-1
},
{
-1
,
-1
,
-1
,
-1
,
-1
,
-1
,
-1
},
{
-1
,
-1
,
-1
,
-1
,
-1
,
-1
,
-1
}]
CarsSeq001
::
(
Int
,
[(
Int
,
Int
)])
CarsSeq001
=
(
-1
,[])
CarsSequences
::
[(
Int
,
[(
Int
,
Int
)])]
CarsSequences
=
[
CarsSeq001
]
\ No newline at end of file
libraries/ObjectIO/Game Examples/SINT/DUMMY.bmp
0 → 100644
View file @
e9056d70
7.87 KB
libraries/ObjectIO/Game Examples/SINT/F1.bmp
0 → 100644
View file @
e9056d70
61.1 KB
libraries/ObjectIO/Game Examples/SINT/F1.dcl
0 → 100644
View file @
e9056d70
definition
module
F1
import
StdEnv
,
StdGameDef
ForeGr1Bitmap
::
GameBitmap
ForeGr1Map
::
[{#
Int
}]
ForeGr1Seq001
::
(
Int
,
[(
Int
,
Int
)])
ForeGr1Sequences
::
[(
Int
,
[(
Int
,
Int
)])]
libraries/ObjectIO/Game Examples/SINT/F1.icl
0 → 100644
View file @
e9056d70
implementation
module
F1
import
StdEnv
,
StdGameDef
ForeGr1Bitmap
::
GameBitmap
ForeGr1Bitmap
=
{
bitmapname
=
"F1.BMP"
,
unitsize
=
{
w
=
32
,
h
=
32
}
,
dimensions
=
(
10
,
6
)
,
transparent
=
Just
{
x
=
255
,
y
=
191
}
}
ForeGr1Map
::
[{#
Int
}]
ForeGr1Map
=
[{
0
,
0
,
0
,
0
,
0
,
0
,
0
,
0
,
0
,
0
,
0
,
0
,
0
,
0
,
0
,
0
,
0
,
0
,
0
,
0
,
0
,
0
,
0
,
0
,
0
,
0
,
0
,
0
,
0
,
0
,
0
,
0
,
0
,
0
,
0
,
0
,
0
,
0
,
0
,
0
,
0
,
0
,
0
,
0
,
0
,
0
,
0
,
0
,
0
,
0
,
0
,
0
,
0
,
0
,
0
,
0
,
0
,
0
,
0
,
0
,
0
,
0
,
0
,
0
,
0
,
0
},
{
0
,
0
,
0
,
0
,
0
,
0
,
0
,
0
,
0
,
0
,
0
,
0
,
0
,
0
,
0
,
0
,
0
,
0
,
0
,
0
,
0
,
0
,
0
,
0
,
0
,
0
,
0
,
0
,
0
,
0
,
0
,
0
,
0
,
0
,
0
,
0
,
0
,
0
,
0
,
0
,
0
,
0
,
0
,
0
,
0
,
0
,
0
,
0
,
0
,
0
,
0
,
0
,
0
,
0
,
0
,
0
,
0
,
0
,
0
,
0
,
0
,
0
,
0
,
0
,
0
,
0
},
{
0
,
0
,
0
,
0
,
0
,
0
,
0
,
0
,
0
,
0
,
0
,
0
,
0
,
0
,
0
,
0
,
0
,
0
,
0
,
0
,
0
,
0
,
0
,
0
,
0
,
0
,
0
,
0
,
0
,
0
,
0
,
0
,
0
,
0
,
0
,
0
,
0
,
0
,
0
,
0
,
0
,
0
,
0
,
0
,
0
,
0
,
0
,
0
,
0
,
0
,
0
,
0
,
0
,
0
,
0
,
0
,
0
,
0
,
0
,
0
,
0
,
0
,
0
,
0
,
0
,
0
},
{
0
,
0
,
0
,
0
,
0
,
0
,
0
,
0
,
0
,
0
,
0
,
0
,
0
,
0
,
0
,
0
,
0
,
0
,
0
,
0
,
0
,
0
,
0
,
0
,
0
,
0
,
0
,
0
,
0
,
0
,
0
,
0
,
0
,
0
,
0
,
0
,
0
,
0
,
0
,
0
,
0
,
0
,
0
,
0
,
0
,
0
,
0
,
0
,
0
,
0
,
0
,
0
,
0
,
0
,
0
,
0
,
0
,
0
,
0
,
0
,
0
,
0
,
0
,
0
,
0
,
0
},
{
0
,
0
,
0
,
0
,
0
,
0
,
0
,
0
,
0
,
0
,
0
,
0
,
0
,
0
,
0
,
0
,
0
,
0
,
0
,
0
,
0
,
0
,
0
,
0
,
0
,
0
,
0
,
0
,
0
,
0
,
0
,
0
,
0
,
0
,
0
,
0
,
0
,
0
,
0
,
0
,
0
,
0
,
0
,
0
,
0
,
0
,
0
,
0
,
0
,
0
,
0
,
0
,
0
,
0
,
0
,
0
,
0
,
0
,
0
,
0
,
0
,
0
,
0
,
0
,
0
,
0
},
{
0
,
0
,
0
,
0
,
0
,
0
,
0
,
0
,
0
,
0
,
0
,
0
,
0
,
0
,
0
,
0
,
0
,
0
,
0
,
0
,
0
,
0
,
0
,
0
,
0
,
0
,
0
,
0
,
0
,
0
,
0
,
0
,
0
,
0
,
0
,
0
,
0
,
0
,
0
,
0
,
0
,
0
,
0
,
0
,
0
,
0
,
0
,
0
,
0
,
0
,
0
,
0
,
0
,
0
,
0
,
0
,
0
,
0
,
0
,
0
,
0
,
0
,
0
,
0
,
0
,
0
},
{
0
,
0
,
0
,
0
,
0
,
0
,
0
,
0
,
0
,
0
,
0
,
0
,
0
,
0
,
0
,
0
,
0
,
0
,
0
,
0
,
0
,
0
,
0
,
0
,
0
,
0
,
0
,
0
,
0
,
0
,
0
,
0
,
0
,
0
,
0
,
0
,
0
,
0
,
0
,
0
,
0
,
0
,
0
,
0
,
0
,
0
,
0
,
0
,
0
,
0
,
0
,
0
,
0
,
0
,
0
,
0
,
0
,
0
,
0
,
0
,
0
,
0
,
0
,
0
,
0
,
0
},
{
0
,
0
,
0
,
0
,
0
,
0
,
0
,
0
,
0
,
0
,
0
,
0
,
0
,
0
,
0
,
0
,
0
,
0
,
0
,
0
,
0
,
0
,
0
,
0
,
0
,
0
,
0
,
0
,
0
,
0
,
0
,
0
,
0
,
0
,
0
,
0
,
0
,
0
,
0
,
0
,
0
,
0
,
0
,
0
,
0
,
0
,
0
,
0
,
0
,
0
,
0
,
0
,
0
,
0
,
0
,
0
,
0
,
0
,
0
,
0
,
0
,
0
,
0
,
0
,
0
,
0
},
{
0
,
0
,
0
,
0
,
0
,
0
,
0
,
0
,
0
,
0
,
0
,
0
,
0
,
0
,
0
,
0
,
0
,
0
,
0
,
0
,
0
,
0
,
0
,
0
,
0
,
0
,
0
,
0
,
0
,
0
,
0
,
0
,
0
,
0
,
0
,
0
,
0
,
0
,
0
,
0
,
0
,
0
,
0
,
0
,
0
,
0
,
0
,
0
,
0
,
0
,
0
,
0
,
0
,
0
,
0
,
0
,
0
,
0
,
0
,
0
,
0
,
0
,
0
,
0
,
0
,
0
},
{
0
,
0
,
0
,
0
,
0
,
0
,
0
,
0
,
0
,
0
,
0
,
0
,
0
,
0
,
0
,
0
,
0
,
0
,
0
,
0
,
0
,
0
,
0
,
0
,
0
,
0
,
0
,
0
,
0
,
0
,
0
,
0
,
0
,
0
,
0
,
0
,
0
,
0
,
0
,
0
,
0
,
0
,
0
,
0
,
0
,
0
,
0
,
0
,
0
,
0
,
0
,
0
,
0
,
0
,
0
,
0
,
0
,
0
,
0
,
0
,
0
,
0
,
0
,
0
,
0
,
0
},
{
0
,
0
,
0
,
0
,
0
,
0
,
0
,
0
,
0
,
0
,
0
,
0
,
0
,
0
,
0
,
0
,
0
,
0
,
0
,
0
,
0
,
0
,
0
,
0
,
0
,
0
,
0
,
0
,
0
,
0
,
0
,
0
,
0
,
0
,
0
,
0
,
0
,
0
,
0
,
0
,
0
,
0
,
0
,
0
,
0
,
0
,
0
,
0
,
0
,
0
,
0
,
0
,
0
,
0
,
0
,
0
,
0
,
0
,
0
,
0
,
0
,
0
,
0
,
0
,
0
,
0
},
{
0
,
0
,
0
,
0
,
0
,
0
,
0
,
0
,
0
,
0
,
0
,
0
,
0
,
0
,
0
,
0
,
0
,
0
,
0
,
0
,
0
,
0
,
0
,
0
,
0
,
0
,
0
,
0
,
0
,
0
,
0
,
0
,
0
,
0
,
0
,
0
,
0
,
0
,
0
,
0
,
0
,
0
,
0
,
0
,
0
,
0
,
0
,
0
,
0
,
0
,
0
,
0
,
0
,
0
,
0
,
0
,
0
,
0
,
0
,
0
,
0
,
0
,
0
,
0
,
0
,
0
},
{
0
,
0
,
0
,
0
,
0
,
0
,
0
,
0
,
0
,
0
,
0
,
0
,
0
,
0
,
0
,
0
,
0
,
0
,
0
,
0
,
0
,
0
,
0
,
0
,
0
,
0
,
0
,
0
,
0
,
0
,
0
,
0
,
0
,
0
,
0
,
0
,
0
,
0
,
0
,
0
,
0
,
0
,
0
,
0
,
0
,
0
,
0
,
0
,
0
,
0
,
0
,
0
,
0
,
0
,
0
,
0
,
0
,
0
,
0
,
0
,
0
,
0
,
0
,
0
,
0
,
0
},
{
0
,
0
,
0
,
0
,
0
,
0
,
0
,
0
,
0
,
0
,
0
,
0
,
0
,
0
,
0
,
0
,
0
,
0
,
0
,
0
,
0
,
0
,
0
,
0
,
0
,
0
,
0
,
0
,
0
,
0
,
0
,
0
,
0
,
0
,
0
,
0
,
0
,
0
,
0
,
0
,
0
,
0
,
0
,
0
,
0
,
0
,
0
,
0
,
0
,
0
,
0
,
0
,
0
,
0
,
0
,
0
,
0
,
0
,
0
,
0
,
0
,
0
,
0
,
0
,
0
,
0
},
{
0
,
0
,
0
,
0
,
0
,
0
,
0
,
0
,
0
,
0
,
0
,
0
,
0
,
0
,
0
,
0
,
0
,
0
,
0
,
0
,
0
,
0
,
0
,
0
,
0
,
0
,
0
,
0
,
0
,
0
,
0
,
0
,
0
,
0
,
0
,
0
,
0
,
0
,
0
,
0
,
0
,
0
,
0
,
0
,
0
,
0
,
0
,
0
,
0
,
0
,
0
,
0
,
0
,
0
,
0
,
0
,
0
,
0
,
0
,
0
,
0
,
0
,
0
,
0
,
0
,
0
},
{
0
,
0
,
0
,
0
,
0
,
0
,
0
,
0
,
0
,
0
,
0
,
0
,
0
,
0
,
0
,
0
,
0
,
0
,
0
,
0
,
0
,
0
,
0
,
0
,
0
,
0
,
0
,
0
,
0
,
0
,
0
,
0
,
0
,
0
,
0
,
0
,
0
,
0
,
0
,
0
,
0
,
0
,
0
,
0
,
0
,
0
,
0
,
0
,
0
,
0
,
0
,
0
,
0
,
0
,
0
,
0
,
0
,
0
,
0
,
0
,
0
,
0
,
0
,
0
,
0
,
0
},
{
0
,
0
,
0
,
0
,
0
,
0
,
0
,
0
,
0
,
0
,
0
,
0
,
0
,
0
,
0
,
0
,
0
,
0
,
0
,
0
,
0
,
0
,
0
,
0
,
0
,
0
,
0
,
0
,
0
,
0
,
0
,
0
,
0
,
0
,
0
,
0
,
0
,
0
,
0
,
0
,
0
,
0
,
0
,
0
,
0
,
0
,
0
,
0
,
0
,
0
,
0
,
0
,
0
,
0
,
0
,
0
,
0
,
0
,
0
,
0
,
0
,
0
,
0
,
0
,
0
,
0
},
{
0
,
0
,
0
,
0
,
0
,
0
,
0
,
0
,
0
,
0
,
0
,
0
,
0
,
0
,
0
,
0
,
0
,
0
,
0
,
0
,
0
,
0
,
0
,
0
,
0
,
0
,
0
,
0
,
0
,
0
,
0
,
0
,
0
,
0
,
0
,
0
,
0
,
0
,
0
,
0
,
0
,
0
,
0
,
0
,
0
,
0
,
0
,
0
,
0
,
0
,
0
,
0
,
0
,
0
,
0
,
0
,
0
,
0
,
0
,
0
,
0
,
0
,
0
,
0
,
0
,
0
},
{
0
,
0
,
0
,
0
,
0
,
0
,
0
,
0
,
0
,
0
,
0
,
0
,
0
,
0
,
0
,
0
,
0
,
0
,
0
,
0
,
0
,
0
,
0
,
0
,
0
,
0
,
0
,
0
,
0
,
0
,
0
,
0
,
0
,
0
,
0
,
0
,
0
,
0
,
0
,
0
,
0
,
0
,
0
,
0
,
0
,
0
,
0
,
0
,
0
,
0
,
0
,
0
,
0
,
0
,
0
,
0
,
0
,
0
,
0
,
0
,
0
,
0
,
0
,
0
,
0
,
0
},
{
0
,
0
,
0
,
0
,
0
,
0
,
0
,
0
,
0
,
0
,
0
,
0
,
0
,
0
,
0
,
0
,
0
,
0
,
0
,
0
,
0
,
0
,
0
,
0
,
0
,
0
,
0
,
0
,
0
,
0
,
0
,
0
,
0
,
0
,
0
,
0
,
0
,
0
,
0
,
0
,
0
,
0
,
0
,
0
,
0
,
0
,
0
,
0
,
0
,
0
,
0
,
0
,
0
,
0
,
0
,
0
,
0
,
0
,
0
,
0
,
0
,
0
,
0
,
0
,
0
,
0
},
{
0
,
0
,
0
,
0
,
0
,
0
,
0
,
0
,
0
,
0
,
0
,
0
,
0
,
0
,
0
,
0
,
0
,
0
,
0
,
0
,
0
,
0
,
0
,
0
,
0
,
0
,
0
,
0
,
0
,
0
,
0
,
0
,
0
,
0
,
0
,
0
,
0
,
0
,
0
,
0
,
0
,
0
,
0
,
0
,
0
,
0
,
0
,
0
,
0
,
0
,
0
,
0
,
0
,
0
,
0
,
0
,
0
,
0
,
0
,
0
,
0
,
0
,
0
,
0
,
0
,
0
},
{
0
,
0
,
0
,
0
,
0
,
0
,
0
,
0
,
3
,
0
,
0
,
0
,
0
,
0
,
0
,
0
,
0
,
0
,
0
,
0
,
0
,
0
,
4
,
0
,
0
,
0
,
0
,
0
,
0
,
0
,
0
,
0
,
0
,
0
,
0
,
0
,
0
,
0
,
0
,
5
,
0
,
0
,
0
,
0
,
0
,
0
,
0
,
0
,
0
,
0
,
0
,
0
,
0
,
0
,
0
,
0
,
0
,
6
,
0
,
0
,
0
,
0
,
0
,
0
,
0
,
0
},
{
0
,
0
,
0
,
0
,
0
,
0
,
0
,
0
,
7
,
0
,
0
,
0
,
0
,
0
,
0
,
0
,
0
,
0
,
0
,
0
,
0
,
0
,
8
,
0
,
0
,
0
,
0
,
0
,
0
,
0
,
0
,
0
,
0
,
0
,
0
,
0
,
0
,
0
,
0
,
9
,
0
,
0
,
0
,
0
,
0
,
0
,
0
,
0
,
0
,
0
,
0
,
0
,
0
,
0
,
0
,
3
,
0
,
10
,
0
,
0
,
0
,
0
,
0
,
0
,
0
,
0
},
{
0
,
0
,
0
,
0
,
0
,
0
,
0
,
0
,
11
,
0
,
0
,
0
,
0
,
0
,
0
,
0
,
0
,
0
,
0
,
0
,
0
,
0
,
8
,
0
,
0
,
0
,
0
,
0
,
0
,
0
,
0
,
0
,
0
,
0
,
0
,
0
,
0
,
0
,
0
,
12
,
0
,
0
,
0
,
0
,
0
,
0
,
0
,
0
,
0
,
0
,
0
,
0
,
0
,
0
,
0
,
7
,
0
,
10
,
0
,
0
,
0
,
0
,
0
,
0
,
0
,
0
},
{
0
,
0
,
0
,
0
,
0
,
0
,
0
,
0
,
11
,
0
,
0
,
0
,
0
,
0
,
0
,
0
,
0
,
0
,
0
,
0
,
13
,
14
,
15
,
14
,
16
,
0
,
0
,
0
,
0
,
0
,
0
,
0
,
0
,
0
,
0
,
0
,
0
,
0
,
0
,
17
,
0
,
0
,
0
,
0
,
0
,
0
,
0
,
0
,
0
,
0
,
0
,
0
,
0
,
0
,
0
,
11
,
0
,
10
,
0
,
0
,
0
,
0
,
0
,
0
,
0
,
0
},
{
0
,
0
,
0
,
0
,
0
,
18
,
19
,
-1
,
20
,
-1
,
21
,
22
,
0
,
0
,
0
,
0
,
0
,
0
,
23
,
24
,
25
,
25
,
25
,
25
,
25
,
26
,
27
,
0
,
0
,
0
,
0
,
0
,
0
,
0
,
0
,
0
,
28
,
29
,
30
,
31
,
32
,
33
,
34
,
0
,
0
,
0
,
0
,
0
,
0
,
0
,
0
,
0
,
35
,
36
,
37
,
38
,
39
,
40
,
37
,
41
,
42
,
0
,
0
,
0
,
0
,
0
},
{
0
,
0
,
0
,
0
,
0
,
0
,
43
,
44
,
44
,
44
,
45
,
0
,
0
,
0
,
0
,
0
,
0
,
0
,
0
,
46
,
47
,
48
,
48
,
47
,
47
,
49
,
0
,
50
,
0
,
0
,
0
,
0
,
0
,
0
,
0
,
0
,
51
,
52
,
53
,
53
,
53
,
54
,
0
,
0
,
0
,
0
,
0
,
0
,
0
,
0
,
0
,
0
,
55
,
56
,
57
,
57
,
57
,
57
,
57
,
58
,
0
,
0
,
0
,
0
,
0
,
0
},
{
0
,
0
,
0
,
0
,
0
,
0
,
0
,
0
,
0
,
0
,
0
,
0
,
0
,
0
,
0
,
0
,
0
,
0
,
0
,
0
,
0
,
0
,
0
,
0
,
0
,
0
,
0
,
0
,
0
,
0
,
0
,
0
,
0
,
0
,
0
,
0
,
0
,
0
,
0
,
0
,
0
,
0
,
0
,
0
,
0
,
0
,
0
,
0
,
0
,
0
,
0
,
0
,
0
,
0
,
0
,
0
,
0
,
0
,
0
,
0
,
0
,
0
,
0
,
0
,
0
,
0
}]
ForeGr1Seq001
::
(
Int
,
[(
Int
,
Int
)])
ForeGr1Seq001
=
(
-1
,[(
2
,
32
),(
2
,
32
)])
ForeGr1Sequences
::
[(
Int
,
[(
Int
,
Int
)])]
ForeGr1Sequences
=
[
ForeGr1Seq001
]
\ No newline at end of file
libraries/ObjectIO/Game Examples/SINT/FADE.bmp
0 → 100644
View file @
e9056d70
49.2 KB
libraries/ObjectIO/Game Examples/SINT/FADE.dcl
0 → 100644
View file @
e9056d70
definition
module
FADE
import
StdEnv
,
StdGameDef
FadeBitmap
::
GameBitmap
FadeMap
::
[{#
Int
}]
FadeSeq001
::
(
Int
,
[(
Int
,
Int
)])
FadeSequences
::
[(
Int
,
[(
Int
,
Int
)])]
Prev
1
2
3
4
5
Next
Write
Preview
Supports
Markdown
0%
Try again
or
attach a new file
.
Cancel
You are about to add
0
people
to the discussion. Proceed with caution.
Finish editing this message first!
Cancel
Please
register
or
sign in
to comment