1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
|
module PascalUnitSyntaxTree where
data PascalUnit =
Program Identifier Implementation Phrase
| Unit Identifier Interface Implementation (Maybe Initialize) (Maybe Finalize)
| System [TypeVarDeclaration]
| Redo [TypeVarDeclaration]
deriving (Show, Read, Eq)
data Interface = Interface Uses TypesAndVars
deriving (Show, Read, Eq)
data Implementation = Implementation Uses TypesAndVars
deriving (Show, Read, Eq)
data Identifier = Identifier String BaseType
deriving (Show, Read, Eq)
data TypesAndVars = TypesAndVars [TypeVarDeclaration]
deriving (Show, Read, Eq)
data TypeVarDeclaration = TypeDeclaration Identifier TypeDecl
| VarDeclaration Bool Bool ([Identifier], TypeDecl) (Maybe InitExpression)
| FunctionDeclaration Identifier Bool Bool Bool TypeDecl [TypeVarDeclaration] (Maybe (TypesAndVars, Phrase))
| OperatorDeclaration String Identifier Bool TypeDecl [TypeVarDeclaration] (Maybe (TypesAndVars, Phrase))
deriving (Show, Read, Eq)
data TypeDecl = SimpleType Identifier
| RangeType Range
| Sequence [Identifier]
| ArrayDecl (Maybe Range) TypeDecl
| RecordType [TypeVarDeclaration] (Maybe [[TypeVarDeclaration]])
| PointerTo TypeDecl
| String
| AString
| Set TypeDecl
| FunctionType TypeDecl [TypeVarDeclaration]
| DeriveType InitExpression
| VoidType
| VarParamType TypeDecl -- this is a hack
deriving (Show, Read, Eq)
data Range = Range Identifier
| RangeFromTo InitExpression InitExpression
| RangeInfinite
deriving (Show, Read, Eq)
data Initialize = Initialize String
deriving (Show, Read, Eq)
data Finalize = Finalize String
deriving (Show, Read, Eq)
data Uses = Uses [Identifier]
deriving (Show, Read, Eq)
data Phrase = ProcCall Reference [Expression]
| IfThenElse Expression Phrase (Maybe Phrase)
| WhileCycle Expression Phrase
| RepeatCycle Expression [Phrase]
| ForCycle Identifier Expression Expression Phrase Bool -- The last Boolean indicates wether it's up or down counting
| WithBlock Reference Phrase
| Phrases [Phrase]
| SwitchCase Expression [([InitExpression], Phrase)] (Maybe [Phrase])
| Assignment Reference Expression
| BuiltInFunctionCall [Expression] Reference
| NOP
deriving (Show, Read, Eq)
data Expression = Expression String
| BuiltInFunCall [Expression] Reference
| PrefixOp String Expression
| PostfixOp String Expression
| BinOp String Expression Expression
| StringLiteral String
| PCharLiteral String
| CharCode String
| HexCharCode String
| NumberLiteral String
| FloatLiteral String
| HexNumber String
| Reference Reference
| SetExpression [Identifier]
| Null
deriving (Show, Read, Eq)
data Reference = ArrayElement [Expression] Reference
| FunCall [Expression] Reference
| TypeCast Identifier Expression
| SimpleReference Identifier
| Dereference Reference
| RecordField Reference Reference
| Address Reference
| RefExpression Expression
deriving (Show, Read, Eq)
data InitExpression = InitBinOp String InitExpression InitExpression
| InitPrefixOp String InitExpression
| InitReference Identifier
| InitArray [InitExpression]
| InitRecord [(Identifier, InitExpression)]
| InitFloat String
| InitNumber String
| InitHexNumber String
| InitString String
| InitPChar String
| InitChar String
| BuiltInFunction String [InitExpression]
| InitSet [InitExpression]
| InitAddress InitExpression
| InitNull
| InitRange Range
| InitTypeCast Identifier InitExpression
deriving (Show, Read, Eq)
data BaseType = BTUnknown
| BTChar
| BTString
| BTAString
| BTInt Bool -- second param indicates whether signed or not
| BTBool
| BTFloat
| BTRecord String [(String, BaseType)]
| BTArray Range BaseType BaseType
| BTFunction Bool Bool [(Bool, BaseType)] BaseType -- in (Bool, BaseType), Bool indiciates whether var or not
| BTPointerTo BaseType
| BTUnresolved String
| BTSet BaseType
| BTEnum [String]
| BTVoid
| BTUnit
| BTVarParam BaseType
deriving (Show, Read, Eq)
|
