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

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:

com.ibm.wala.ipa.callgraph.propagation.PointerKey

public final class VarVertex
extends Vertex
implements com.ibm.wala.ipa.callgraph.propagation.PointerKey

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

Author:

mschaefer

Method Summary

Methods

Modifier and Type	Method and Description
<T> T	accept(VertexVisitor<T> visitor)
FuncVertex	getFunction()
int	getValueNumber()
String	toString()

Methods inherited from class java.lang.Object

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

Method Detail

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