Package | Description |
---|---|
fmrisc.ProgramExplorer.Parser | |
fmrisc.ProgramExplorer.Semantics | |
fmrisc.ProgramExplorer.Syntax | |
fmrisc.ProgramExplorer.Syntax.Program |
Modifier and Type | Method and Description |
---|---|
TypeExpression |
MiniJavaParser.typeexp() |
TypeExpression |
MiniJavaParser.typeexpbase() |
Modifier and Type | Field and Description |
---|---|
TypeExpression |
TypeTable.booleanType |
TypeExpression |
TypeTable.charType |
TypeExpression |
TypeTable.exceptionType |
TypeExpression |
TypeTable.intType |
TypeExpression |
TypeTable.nullType |
TypeExpression |
TypeTable.voidType |
Modifier and Type | Method and Description |
---|---|
TypeExpression[] |
ParamSymbol.getArgumentTypes()
Get the argument types of the entity
|
TypeExpression |
MethodSymbol.getReturnType()
Get return type of the method.
|
TypeExpression |
TypeTable.getStringType()
Get string type.
|
TypeExpression |
VariableSymbolBase.getType()
Get type of symbol.
|
TypeExpression |
VariableSymbol.getType()
Get type of symbol.
|
TypeExpression |
TypeTable.process(TypeExpression type)
Return unique version of a type.
|
TypeExpression[] |
TypeTable.process(TypeExpression[] types)
Return unique version of a sequence of types.
|
Modifier and Type | Method and Description |
---|---|
static ConstructorSymbol |
ConstructorSymbol.construct(ClassSymbol csymbol,
Identifier name,
Parameter[] params,
TypeExpression[] atypes,
ConstructorDeclaration decl,
ErrorStream error)
Construct class method symbol from declaration (NULL in case of error).
|
static ClassMethodSymbol |
ClassMethodSymbol.construct(ClassSymbol csymbol,
Identifier name,
Parameter[] params,
TypeExpression[] atypes,
TypeExpression rtype,
ClassMethodDeclaration decl,
ErrorStream error)
Construct class method symbol from declaration (NULL, in case of error).
|
static ClassMethodSymbol |
ClassMethodSymbol.construct(ClassSymbol csymbol,
Identifier name,
Parameter[] params,
TypeExpression[] atypes,
TypeExpression rtype,
ClassMethodDeclaration decl,
ErrorStream error)
Construct class method symbol from declaration (NULL, in case of error).
|
static ObjectMethodSymbol |
ObjectMethodSymbol.construct(ClassSymbol csymbol,
Identifier name,
Parameter[] params,
TypeExpression[] atypes,
TypeExpression rtype,
ObjectMethodDeclaration decl,
ErrorStream error)
Construct object method symbol from declaration (NULL, in case of error).
|
static ObjectMethodSymbol |
ObjectMethodSymbol.construct(ClassSymbol csymbol,
Identifier name,
Parameter[] params,
TypeExpression[] atypes,
TypeExpression rtype,
ObjectMethodDeclaration decl,
ErrorStream error)
Construct object method symbol from declaration (NULL, in case of error).
|
static ClassVariableSymbol |
ClassVariableSymbol.construct(ClassSymbol csymbol,
Identifier name,
TypeExpression type,
ClassVariableDeclaration decl)
Construct class variable symbol.
|
static ObjectVariableSymbol |
ObjectVariableSymbol.construct(ClassSymbol csymbol,
Identifier name,
TypeExpression type,
ObjectVariableDeclaration decl)
Construct object variable symbol.
|
static BodySymbol |
BodySymbol.construct(Identifier name,
TypeExpression type,
VariableDeclaration decl)
Construct body symbol from name and type.
|
static ParameterSymbol |
ParameterSymbol.construct(ParamSymbol psymbol,
Parameter parameter,
TypeExpression type)
Construct parameter symbol.
|
S |
ParamSymbolTable.get(Identifier ikey,
TypeExpression[] tkey)
Returns symbol associated to key consisting of an identifier and
a sequence of types and links key to symbol.
|
S |
ParamSymbols.get(TypeExpression[] atypes)
Returns value associated to argument types.
|
ConstructorSymbol |
Environment.getConstructor(CallStatement stat,
TypeExpression[] atypes)
Return symbol for constructor denoted by name and argument types
in current environment.
|
MethodSymbol |
Environment.getMethod(CallStatement call,
TypeExpression[] atypes)
Return symbol for a method called with arguments of denoted types
in current environment and annotate call with symbol.
|
Type |
TypeTranslator.logicType(TypeExpression exp)
Translate a program's type expression to a logical type.
|
TypeExpression |
TypeTable.process(TypeExpression type)
Return unique version of a type.
|
TypeExpression[] |
TypeTable.process(TypeExpression[] types)
Return unique version of a sequence of types.
|
Modifier and Type | Method and Description |
---|---|
static java.lang.String |
Syntax.procHeader(java.lang.String name,
TypeExpression[] atypes)
Create method/constructor header from name and argument types.
|
Modifier and Type | Class and Description |
---|---|
class |
ArrayType
An array type
|
class |
BooleanType
The type of truth values
|
class |
CharType
The type of character values
|
class |
ExceptionType
The (base) type of exceptions.
|
class |
IntType
A machine integer type
|
class |
NamedType
A named (user-defined) type
|
class |
NewType
The type of a new object.
|
class |
NullType
The type of the literal "null"
|
class |
PrimitiveType
A primitive (built-in) type
|
class |
StringType
The type of character strings
|
class |
VoidType
The type with no values
|
Modifier and Type | Field and Description |
---|---|
TypeExpression |
NewType.base |
TypeExpression |
ArrayType.base |
TypeExpression |
GlobalVariableDeclaration.type |
TypeExpression |
VariableDeclarationBase.type |
TypeExpression |
MethodDeclaration.type |
TypeExpression |
NewArrayExpression.type |
TypeExpression |
DeclCallStatement.type |
Modifier and Type | Method and Description |
---|---|
TypeExpression |
SelectorExpression.getBaseType()
Get type of base expression.
|
TypeExpression |
NullLiteral.getType()
Get type of objects/arrays to which this null reference belongs.
|
TypeExpression |
VariableDeclaration.getType()
Get the type of the declared entity.
|
TypeExpression |
Selector.getType()
get type of expression after selection
|
TypeExpression |
GlobalVariableDeclaration.getType()
Get the type of the declared entity.
|
TypeExpression |
VariableDeclarationBase.getType()
Get the type of the declared entity.
|
TypeExpression |
DeclCallStatement.getType()
Get the type of the declared entity.
|
TypeExpression |
SelectorBase.getType()
set type of expression after selection
|
Modifier and Type | Method and Description |
---|---|
static ObjectMethodDeclaration |
ObjectMethodDeclaration.construct(Identifier name,
TypeExpression type,
Parameter[] params,
Statement body)
Construction of an object method declaration
|
static ClassMethodDeclaration |
ClassMethodDeclaration.construct(Identifier name,
TypeExpression type,
Parameter[] params,
Statement body)
Construction of a class method declaration
|
static ObjectVariableDeclaration |
ObjectVariableDeclaration.construct(Identifier name,
TypeExpression type,
ValueExpression value)
Construct an object variable declaration
|
static ClassVariableDeclaration |
ClassVariableDeclaration.construct(Identifier name,
TypeExpression type,
ValueExpression value)
Construct a class variable declaration
|
static ObjectMethodDeclaration |
ObjectMethodDeclaration.construct(Identifier name,
TypeExpression type,
java.util.Vector<Parameter> params,
Statement body)
Construction of an object method declaration
|
static ClassMethodDeclaration |
ClassMethodDeclaration.construct(Identifier name,
TypeExpression type,
java.util.Vector<Parameter> params,
Statement body)
Construction of a class method declaration
|
static NewType |
NewType.construct(TypeExpression base)
Construct an array type
|
static ArrayType |
ArrayType.construct(TypeExpression base)
Construct an array type
|
static Parameter |
Parameter.construct(TypeExpression type,
Identifier name)
Construct a parameter.
|
static DeclNewStatement |
DeclNewStatement.construct(TypeExpression type,
Identifier var,
Name method,
ValueExpression[] args)
Construct a call statement with a result value assigned to a variable.
|
static DeclCallStatement |
DeclCallStatement.construct(TypeExpression type,
Identifier var,
Name method,
ValueExpression[] args)
Construct a call statement with a result value assigned to a variable.
|
static DeclNewStatement |
DeclNewStatement.construct(TypeExpression type,
Identifier var,
Name method,
java.util.Vector<ValueExpression> args)
Construct a call statement with a result value assigned to a variable.
|
static DeclCallStatement |
DeclCallStatement.construct(TypeExpression type,
Identifier var,
Name method,
java.util.Vector<ValueExpression> args)
Construct a call statement with a result value assigned to a variable.
|
static VariableStatement |
VariableStatement.construct(TypeExpression type,
Identifier var,
ValueExpression exp)
Construct a local variable declaration
|
static NewArrayExpression |
NewArrayExpression.construct(TypeExpression type,
ValueExpression length)
Allocation of a new object.
|
void |
SelectorExpression.setBaseType(TypeExpression btype)
Set type of base expression.
|
void |
NullLiteral.setType(TypeExpression type)
Set type of objects/arrays to which this null reference belongs.
|
void |
Selector.setType(TypeExpression type)
set type of expression after selection
|
void |
SelectorBase.setType(TypeExpression type)
set type of expression after selection
|
Constructor and Description |
---|
VariableDeclarationBase(Identifier name,
TypeExpression type)
Construct variable declaration.
|