fmrisc.ProgramExplorer.Semantics

Class LogicTypeTable

java.lang.Object

fmrisc.ProgramExplorer.Semantics.LogicTypeTable

public class LogicTypeTable
extends java.lang.Object

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

Field Summary

Fields

Modifier and Type	Field and Description
static BitType	bitType
static BooleanType	booleanType
static IntType	intType
static NatType	natType
static RealType	realType
static StringType	stringType

Constructor Summary

Constructors

Constructor and Description
LogicTypeTable(ErrorStream error) Construct a table for making types unique.

Method Summary

Modifier and Type	Method and Description
Type	process(Type type) Return (if possible) canonical version of the type
void	resetStateContext() Reset the current state context.
LogicChecking	setChecker(LogicChecking checker) Set checker to be used for type-checking terms in types; must be called before process() is called.
void	setStateContext(StateType stateType, Name[] stateVars, Name[] stateExcs) Set the current state context.

Methods inherited from class java.lang.Object

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

Field Detail

booleanType

public static final BooleanType booleanType

bitType

public static final BitType bitType

natType

public static final NatType natType

intType

public static final IntType intType

realType

public static final RealType realType

stringType

public static final StringType stringType

Constructor Detail

LogicTypeTable

public LogicTypeTable(ErrorStream error)

Construct a table for making types unique.

Parameters:

error - the stream on which to print errors.

Method Detail

setChecker

public LogicChecking setChecker(LogicChecking checker)

Set checker to be used for type-checking terms in types; must be called before process() is called.

Parameters:

checker - the checker for type-checking terms in types (null means that no checker is in use)

Returns:

old the old checker (null, if none)

setStateContext

public void setStateContext(StateType stateType,
                            Name[] stateVars,
                            Name[] stateExcs)

Set the current state context.

Parameters:

stateType - the current state type.

stateVars - the assignable variables.

stateExcs - the throwable exceptions.

resetStateContext

public void resetStateContext()

Reset the current state context.

process

public Type process(Type type)

Return (if possible) canonical version of the type

Parameters:

type - the type to be checked

Returns:

a type equivalent to the input type or null, if an error occurred