Uses of Class
com.ibm.wala.cast.js.callgraph.fieldbased.flowgraph.vertices.Vertex

Packages that use Vertex

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

Uses of Vertex in com.ibm.wala.cast.js.callgraph.fieldbased

Methods in com.ibm.wala.cast.js.callgraph.fieldbased with parameters of type Vertex

Modifier and Type	Method and Description
void	WorklistBasedOptimisticCallgraphBuilder.addFlowEdge(FlowGraph flowgraph, Vertex from, Vertex to, Set<Vertex> worklist)

Method parameters in com.ibm.wala.cast.js.callgraph.fieldbased with type arguments of type Vertex

Modifier and Type	Method and Description
void	WorklistBasedOptimisticCallgraphBuilder.addFlowEdge(FlowGraph flowgraph, Vertex from, Vertex to, Set<Vertex> worklist)

Uses of Vertex in com.ibm.wala.cast.js.callgraph.fieldbased.flowgraph

Methods in com.ibm.wala.cast.js.callgraph.fieldbased.flowgraph that return types with arguments of type Vertex

Modifier and Type	Method and Description
Iterator<Vertex>	FlowGraph.getSucc(Vertex v)
Iterator<Vertex>	FlowGraph.iterator()

Methods in com.ibm.wala.cast.js.callgraph.fieldbased.flowgraph with parameters of type Vertex

Modifier and Type	Method and Description
void	FlowGraph.addEdge(Vertex from, Vertex to) Adds an edge from vertex from to vertex to, adding the vertices to the graph if they are not in there yet.
com.ibm.wala.util.intset.OrdinalSet<FuncVertex>	FlowGraph.getReachingSet(Vertex dest, com.ibm.wala.util.MonitorUtil.IProgressMonitor monitor) Computes the set of vertices that may reach dest along paths not containing an UnknownVertex.
Iterator<Vertex>	FlowGraph.getSucc(Vertex v)

Uses of Vertex in com.ibm.wala.cast.js.callgraph.fieldbased.flowgraph.vertices

Subclasses of Vertex in com.ibm.wala.cast.js.callgraph.fieldbased.flowgraph.vertices

Modifier and Type	Class and Description
class	ArgVertex A return vertex represents the 'arguments' array of a given function.
class	CallVertex A call vertex represents the possible callees of a function call or new expression.
class	CreationSiteVertex
class	FuncVertex A function vertex represents a function object (or, more precisely, all function objects arising from a single function expression or declaration).
class	GlobalVertex
class	LexicalVarVertex A lexical access vertex represents a lexical variable, i.e., a local variable that is accessed from within a nested function.
class	ParamVertex A parameter vertex represents a positional parameter of a function.
class	PropVertex A property vertex represents all properties with a given name.
class	PrototypeFieldVertex
class	RetVertex A return vertex represents all return values of a given function.
class	UnknownVertex The unknown vertex is used to model complicated data flow.
class	VarVertex A variable vertex represents an SSA variable inside a given function.

Methods in com.ibm.wala.cast.js.callgraph.fieldbased.flowgraph.vertices with parameters of type Vertex

Modifier and Type	Method and Description
T	AbstractVertexVisitor.visitVertex(Vertex vertex)