fmrisc.ProgramExplorer.Semantics

Class ThisSymbol

java.lang.Object

fmrisc.ProgramExplorer.Semantics.SymbolBase

fmrisc.ProgramExplorer.Semantics.VariableSymbolBase

fmrisc.ProgramExplorer.Semantics.LocalVariableSymbolBase

fmrisc.ProgramExplorer.Semantics.ThisSymbol

All Implemented Interfaces:

Symbol, VariableSymbol

public final class ThisSymbol
extends LocalVariableSymbolBase

The symbol for "this" object in a non-static context.

Method Summary

Modifier and Type	Method and Description
static ThisSymbol	construct(ClassSymbol csymbol) Construct "this" symbol.
ClassSymbol	getClassSymbol() Get the class of this symbol.
void	print(java.io.PrintWriter out) Print symbol on output stream.

Methods inherited from class fmrisc.ProgramExplorer.Semantics.VariableSymbolBase

apply, getLogicType, getType, setLogicType

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

Method Detail

construct

public static ThisSymbol construct(ClassSymbol csymbol)

Construct "this" symbol.

Parameters:

csymbol - the class of the "this" object.

Returns:

the symbol or null if a problem occurred.

print

public void print(java.io.PrintWriter out)

Print symbol on output stream.

Parameters:

out - the output stream.

getClassSymbol

public ClassSymbol getClassSymbol()

Get the class of this symbol.

Returns:

the symbol of the class.