Class VarVertex

java.lang.Object

com.ibm.wala.cast.js.callgraph.fieldbased.flowgraph.vertices.Vertex

com.ibm.wala.cast.js.callgraph.fieldbased.flowgraph.vertices.VarVertex

All Implemented Interfaces:

PointerKey

public final class VarVertex
extends Vertex
implements PointerKey

A variable vertex represents an SSA variable inside a given function.

Author:

mschaefer

Method Summary

Modifier and Type	Method	Description
<T> T	accept(VertexVisitor<T> visitor)
FuncVertex	getFunction()
int	getValueNumber()
String	toSourceLevelString(IAnalysisCacheView cache)	If possible, returns a String representation of this that refers to source-level entities rather thatn WALA-internal ones (e.g., source-level variable names rather than SSA value numbers).
String	toString()

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait

Method Details

getFunction

public FuncVertex getFunction()

getValueNumber

public int getValueNumber()

accept

public <T> T accept(VertexVisitor<T> visitor)

Specified by:

accept in class Vertex

toString

public String toString()

Overrides:

toString in class Object

toSourceLevelString

public String toSourceLevelString(IAnalysisCacheView cache)

Description copied from class: Vertex

If possible, returns a String representation of this that refers to source-level entities rather thatn WALA-internal ones (e.g., source-level variable names rather than SSA value numbers). By default, just returns the results of Object.toString()

Overrides:

toSourceLevelString in class Vertex