-
Notifications
You must be signed in to change notification settings - Fork 0
/
ObjC.hs
112 lines (88 loc) · 2.42 KB
/
ObjC.hs
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
module ObjC where
data Protocol = Protocol {
protocolName :: String,
protocolIncorporatedProtocols :: [Protocol],
protocolMethods :: [Method]
}
deriving (Show, Eq)
data MethodType = InstanceMethod | ClassMethod
deriving (Show, Eq)
data Visibility = Private | Public
deriving (Show, Eq)
data Method = Method {
methodType :: MethodType,
returnType :: Type,
methodName :: MethodName,
methodBody :: [Stmt]
}
deriving (Show, Eq)
data Stmt = ExprStmt Expr
| AssignStmt LHS Expr
deriving (Show, Eq)
data LHS = SimpleLHS Identifier
| NestedLHS LHS Identifier
deriving (Eq, Show)
data MethodCall = SimpleMethodCall Identifier
| MethodCall [(Identifier, Expr)]
deriving (Show, Eq)
data Expr = Message Expr MethodCall
| Identifier Identifier
| Constant Constant
deriving (Show, Eq)
data Constant = Nil
| IntConst Int
| StrConst String
deriving (Show, Eq)
data MethodName = SimpleMethodName String
| MethodName [MethodLabel]
deriving (Show, Eq)
data MethodLabel = MethodLabel {
methodLabel :: String,
argumentType :: Type,
argumentName :: String
}
deriving (Show, Eq)
data Type = BaseType BaseType
| ObjectType ObjectType
deriving (Show, Eq)
data BaseType = Int | Float | Char | Bool | Void
deriving (Show, Eq)
data ObjectType = Object {
objectName :: ObjectName,
objectProtocols :: [Protocol]
}
deriving (Show, Eq)
data ObjectName = Id | ClassName String
deriving (Show, Eq)
data Class = Class {
className :: String,
classSuper :: Class,
classProtocols :: [Protocol],
classIVars :: [IVar],
classAnonymousCategory :: Category,
classMethods :: [Method]
}
deriving (Show, Eq)
data Category = Category {
categoryName :: String,
categoryMethods :: [Either Method Property]
}
deriving (Show, Eq)
data Property = Property {
attributes :: PropertyAttributes,
propertyType :: Type,
propertyName :: Identifier
}
deriving (Show, Eq)
data PropertyAttributes = PropertyAttributes {
propertyWritability :: PropertyAttributeWritability,
propertySetterSemantics :: PropertySetterSemantics
}
deriving (Show, Eq)
data PropertyAttributeWritability = ReadWrite | ReadOnly
deriving (Show, Eq)
data PropertySetterSemantics = Assign | Retain | Copy
deriving (Show, Eq)
data IVar = IVar {iVarType :: Type, iVarName :: Identifier}
deriving (Show, Eq)
type Identifier = String