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
B
bind(HobbesType)
- Method in interface org.norecess.citkit.types.
INameType
Binds the named type to another type.
bind(HobbesType)
- Method in class org.norecess.citkit.types.
NameType
Binds the named type to another type.
BOOLEAN_TYPE
- Static variable in class org.norecess.citkit.types.
BooleanType
BooleanETIR
- Class in
org.norecess.citkit.tir.expressions
A way to represent boolean values in Hobbes.
BooleanETIR(IPosition, boolean)
- Constructor for class org.norecess.citkit.tir.expressions.
BooleanETIR
BooleanETIR(boolean)
- Constructor for class org.norecess.citkit.tir.expressions.
BooleanETIR
BooleanETIR(IPosition, String)
- Constructor for class org.norecess.citkit.tir.expressions.
BooleanETIR
BooleanETIR(String)
- Constructor for class org.norecess.citkit.tir.expressions.
BooleanETIR
BooleanType
- Class in
org.norecess.citkit.types
BreakETIR
- Class in
org.norecess.citkit.tir.expressions
The TIR for a break statement.
BreakETIR(IPosition)
- Constructor for class org.norecess.citkit.tir.expressions.
BreakETIR
Constructs a break statement.
BreakETIR()
- Constructor for class org.norecess.citkit.tir.expressions.
BreakETIR
Basic constructor.
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