fmrisc.ProgramExplorer.Semantics

Class TypeTable

java.lang.Object

fmrisc.ProgramExplorer.Semantics.TypeTable

public class TypeTable
extends java.lang.Object

Make type expressions unique such that they can be compared by reference.

Field Summary

Fields

Modifier and Type	Field and Description
TypeExpression	booleanType
TypeExpression	charType
TypeExpression	exceptionType
TypeExpression	intType
TypeExpression	nullType
TypeExpression	voidType

Constructor Summary

Constructors

Constructor and Description
TypeTable() Construct a table for making types unique.

Method Summary

Modifier and Type	Method and Description
ClassSymbol	getStringClass() Get string class.
TypeExpression	getStringType() Get string type.
TypeExpression	process(TypeExpression type) Return unique version of a type.
TypeExpression[]	process(TypeExpression[] types) Return unique version of a sequence of types.
void	setStringType(ClassSymbol symbol) Set string type to class.

Methods inherited from class java.lang.Object

equals, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Field Detail

booleanType

public final TypeExpression booleanType

charType

public final TypeExpression charType

intType

public final TypeExpression intType

voidType

public final TypeExpression voidType

nullType

public final TypeExpression nullType

exceptionType

public final TypeExpression exceptionType

Constructor Detail

TypeTable

public TypeTable()

Construct a table for making types unique.

Method Detail

getStringType

public TypeExpression getStringType()

Get string type.

Returns:

the string type.

getStringClass

public ClassSymbol getStringClass()

Get string class.

Returns:

the string class (may be null, if none).

setStringType

public void setStringType(ClassSymbol symbol)

Set string type to class.

Parameters:

symbol - the symbol denoting the class (null, if none).

process

public TypeExpression process(TypeExpression type)

Return unique version of a type.

Parameters:

type - a type.

Returns:

the unique version of the type (i.e. equality can be checked by pointer comparison) or null if an error occurred.

process

public TypeExpression[] process(TypeExpression[] types)

Return unique version of a sequence of types.

Parameters:

types - a sequence of types.

Returns:

the unique version of these types (i.e. equality can be checked by pointer comparison) or null if an error occurred.