fmrisc.ProgramExplorer.Semantics

Interface VariableSymbol

All Superinterfaces:

Symbol

All Known Implementing Classes:

BodySymbol, ClassVariableSymbol, GlobalVariableSymbolBase, LocalVariableSymbolBase, ObjectVariableSymbol, ParameterSymbol, ThisSymbol, VariableSymbolBase

public interface VariableSymbol
extends Symbol

The interface to a symbol denoting a variable.

Method Summary

Modifier and Type	Method and Description
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 interface fmrisc.ProgramExplorer.Semantics.Symbol

getDeclaration, getName, print

Method Detail

getType

TypeExpression getType()

Get type of symbol.

Returns:

the symbol's type

setLogicType

void setLogicType(Type type)

Set logic type of symbol.

Parameters:

type - the symbol's logic type

getLogicType

Type getLogicType()

Get logic type of symbol.

Returns:

the symbol's logic type