cetus.hir

Class DerefSymbol

java.lang.Object

cetus.hir.PseudoSymbol

cetus.hir.DerefSymbol

All Implemented Interfaces:

Symbol

public class DerefSymbol
extends PseudoSymbol
implements Symbol

Class DerefSymbol represents symbol object that does not exist in the IR as a variable declarator but is accessible through pointer dereferencing.

Constructor Summary

Constructors

Constructor and Description
DerefSymbol(Symbol symbol) Constructs a new deref symbol from the given reference symbol object.

Method Summary

Methods

Modifier and Type	Method and Description
boolean	equals(java.lang.Object o) Checks if this deref symbol equals to the given object.
static Symbol	get(Symbol symbol) Checks if the given symbol produces an deref symbol and returns a single-depth deref symbol if it does.
java.util.List	getArraySpecifiers() Returns the list of array specifiers of the reference symbol.
int	getDepth() Returns the depth of dereferencing.
Symbol	getIRSymbol() Returns the IR symbol that represents this deref symbol.
Symbol	getRefSymbol() Returns the reference symbol (e.g., ref_symbol == &this_deref).
java.lang.String	getSymbolName() Returns the name of this deref symbol.
java.util.List	getTypeSpecifiers() Returns the list of specifiers for this deref symbol.
Symbol	getVisibleSymbol() Returns the visible symbol corresponding to this deref symbol.
int	hashCode() Returns the hash code of the current deref symbol.
Expression	toExpression() Returns an expression instantiation of this deref symbol.

Methods inherited from class cetus.hir.PseudoSymbol

getDeclaration, setName, toString

Methods inherited from class java.lang.Object

getClass, notify, notifyAll, wait, wait, wait

Methods inherited from interface cetus.hir.Symbol

getDeclaration, setName

Constructor Detail

DerefSymbol

public DerefSymbol(Symbol symbol)

Constructs a new deref symbol from the given reference symbol object.

Parameters:

symbol - the reference symbol.

Method Detail

get

public static Symbol get(Symbol symbol)

Checks if the given symbol produces an deref symbol and returns a single-depth deref symbol if it does.

Parameters:

symbol - the given symbol object.

Returns:

a new deref symbol if possible, null otherwise.

getTypeSpecifiers

public java.util.List getTypeSpecifiers()

Returns the list of specifiers for this deref symbol.

Specified by:

getTypeSpecifiers in interface Symbol

Returns:

the list of specifiers.

getArraySpecifiers

public java.util.List getArraySpecifiers()

Returns the list of array specifiers of the reference symbol.

Specified by:

getArraySpecifiers in interface Symbol

Returns:

the list of array specifiers.

getSymbolName

public java.lang.String getSymbolName()

Returns the name of this deref symbol.

Specified by:

getSymbolName in interface Symbol

Returns:

the name string for this deref symbol.

getRefSymbol

public Symbol getRefSymbol()

Returns the reference symbol (e.g., ref_symbol == &this_deref).

Returns:

the reference symbol to this deref symbol.

getIRSymbol

public Symbol getIRSymbol()

Returns the IR symbol that represents this deref symbol. It returns, basically, the reference symbol, but may return the IR symbol by recursively searching for the IR symbol if necessary (e.g., if the reference symbol is not an IR symbol).

Specified by:

getIRSymbol in class PseudoSymbol

Returns:

the representative IR symbol.

getDepth

public int getDepth()

Returns the depth of dereferencing.

Returns:

the depth.

getVisibleSymbol

public Symbol getVisibleSymbol()

Returns the visible symbol corresponding to this deref symbol. getIRSymbol provides similar functionality but provides base symbol in case of StructSymbol. See SymbolTools

Returns:

visible symbol

toExpression

public Expression toExpression()

Returns an expression instantiation of this deref symbol.

Returns:

a new instance of expression from this deref symbol.

equals

public boolean equals(java.lang.Object o)

Checks if this deref symbol equals to the given object.

Specified by:

equals in class PseudoSymbol

Parameters:

o - the object to be compared with.

Returns:

true if they are equal, false otherwise.

hashCode

public int hashCode()

Returns the hash code of the current deref symbol.

Specified by:

hashCode in class PseudoSymbol