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

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 and Description
static UnknownVertex	INSTANCE

Method Summary

Methods

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

Methods inherited from class java.lang.Object

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

Field Detail

INSTANCE

public static final UnknownVertex INSTANCE

Method Detail

accept

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

Specified by:

accept in class Vertex

toString

public String toString()

Overrides:

toString in class Object