Overview
Package
Class
Use
Tree
Deprecated
Index
Help
PREV LETTER
NEXT LETTER
FRAMES
NO FRAMES
All Classes
A
B
C
D
E
F
G
H
I
L
N
O
P
R
S
T
V
W
R
RecordETIR
- Class in
org.norecess.citkit.tir.expressions
The TIR for an expression that creates (i.e., allocates) a new record object.
RecordETIR(IPosition, String, List<FieldAssignmentTIR>)
- Constructor for class org.norecess.citkit.tir.expressions.
RecordETIR
Constructs a record expression.
RecordETIR(String, List<FieldAssignmentTIR>)
- Constructor for class org.norecess.citkit.tir.expressions.
RecordETIR
RecordTTIR
- Class in
org.norecess.citkit.tir.types
The AST for a record type.
RecordTTIR(IPosition, List<IFieldTIR>)
- Constructor for class org.norecess.citkit.tir.types.
RecordTTIR
Constructs a record type.
RecordTTIR(List<IFieldTIR>)
- Constructor for class org.norecess.citkit.tir.types.
RecordTTIR
Basic constructor.
RecordType
- Class in
org.norecess.citkit.types
Data type for records.
RecordType(Map<Symbol, HobbesType>)
- Constructor for class org.norecess.citkit.types.
RecordType
Deprecated.
Use
RecordType.RecordType(Map, SymbolTable)
instead.
RecordType(Map<Symbol, HobbesType>, SymbolTable<HobbesType>)
- Constructor for class org.norecess.citkit.types.
RecordType
Overview
Package
Class
Use
Tree
Deprecated
Index
Help
PREV LETTER
NEXT LETTER
FRAMES
NO FRAMES
All Classes
A
B
C
D
E
F
G
H
I
L
N
O
P
R
S
T
V
W