Package | Description |
---|---|
fmrisc.ProgramExplorer.InOut | |
fmrisc.ProgramExplorer.Syntax | |
fmrisc.ProgramExplorer.Syntax.Logic |
Modifier and Type | Method and Description |
---|---|
void |
Breaks.visit(AtomicType exp) |
void |
PrettyPrinter.visit(AtomicType exp) |
Modifier and Type | Method and Description |
---|---|
void |
ASTVisitor.visit(AtomicType tree) |
void |
ASTPrinter.visit(AtomicType exp) |
void |
ASTCloner.visit(AtomicType tree) |
void |
ASTVisitorBase.visit(AtomicType tree) |
Modifier and Type | Class and Description |
---|---|
class |
BitType
The type of bit values.
|
class |
BooleanType
The type of truth values.
|
class |
IntType
The type of integers.
|
class |
NatType
The type of natural numbers.
|
class |
Real0Type
The type of reals including the results of divisions by zero (intenally used).
|
class |
RealType
The type of reals.
|
class |
StringType
The type of character strings.
|
Modifier and Type | Method and Description |
---|---|
static AtomicType |
AtomicType.construct(java.lang.String name)
Construct atomic type.
|