fmrisc.ProgramExplorer.Semantics

Class VariableSymbolBase

java.lang.Object

fmrisc.ProgramExplorer.Semantics.SymbolBase

fmrisc.ProgramExplorer.Semantics.VariableSymbolBase

All Implemented Interfaces:

Symbol, VariableSymbol

Direct Known Subclasses:

GlobalVariableSymbolBase, LocalVariableSymbolBase

public abstract class VariableSymbolBase
extends SymbolBase
implements VariableSymbol

A symbol denoting a variable.

Method Summary

Modifier and Type	Method and Description
static java.util.Set<VariableSymbol>	apply(java.util.Map<Symbol,Symbol> map, java.util.Set<VariableSymbol> symbols) Apply map to set of variable symbols.
Type	getLogicType() Get logic type of symbol.
TypeExpression	getType() Get type of symbol.
void	setLogicType(Type type) Set logic type of symbol.

Methods inherited from class fmrisc.ProgramExplorer.Semantics.SymbolBase

getDeclaration, getName

Methods inherited from class java.lang.Object

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

Methods inherited from interface fmrisc.ProgramExplorer.Semantics.Symbol

getDeclaration, getName, print

Method Detail

getType

public TypeExpression getType()

Get type of symbol.

Specified by:

getType in interface VariableSymbol

Returns:

the symbol's type

setLogicType

public void setLogicType(Type type)

Set logic type of symbol.

Specified by:

setLogicType in interface VariableSymbol

Parameters:

type - the symbol's logic type

getLogicType

public Type getLogicType()

Get logic type of symbol.

Specified by:

getLogicType in interface VariableSymbol

Returns:

the symbol's logic type

apply

public static java.util.Set<VariableSymbol> apply(java.util.Map<Symbol,Symbol> map,
                                                  java.util.Set<VariableSymbol> symbols)

Apply map to set of variable symbols.

Parameters:

map - a mapping of symbols to symbols.

symbols - a set of variable symbols.

Returns:

the result of applying the map to the symbol set (if a symbol is not in the domain of the map, it remains unchanged)