Class UnknownVertex

java.lang.Object

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

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

public class UnknownVertex
extends Vertex

The unknown vertex is used to model complicated data flow. For instance, thrown exceptions flow into Unknown, and catch blocks read their values from it.

Author:

mschaefer

Field Summary

Fields

Modifier and Type	Field	Description
static final UnknownVertex	INSTANCE

Method Summary

Modifier and Type	Method	Description
<T> T	accept(VertexVisitor<T> visitor)
String	toString()

Methods inherited from class Vertex

toSourceLevelString

Modifier and Type	Method	Description
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).

Methods inherited from class Object

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

Field Details

INSTANCE

public static final UnknownVertex INSTANCE

Method Details

accept

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

Specified by:

accept in class Vertex

toString

public String toString()

Overrides:

toString in class Object