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 com.ibm.wala.cast.js.callgraph.fieldbased.flowgraph.vertices.Vertex

toSourceLevelString

Methods inherited from class java.lang.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