dk.brics.servletvalidator.flowgraph

Class FlowGraph

java.lang.Object

dk.brics.servletvalidator.flowgraph.FlowGraph

All Implemented Interfaces:

Serializable

public class FlowGraph
extends Object
implements Serializable

A reprensentation of a flow graph as defined in [KiM�] section 2. The elements are append nodes that put data on the output, invoke nodes that call methods, entry nodes that mark the beginning of a method and nop nodes that represent join points in the graph.

Author:

schwarz

See Also:

Serialized Form

Constructor Summary

Constructors

Constructor and Description
FlowGraph(AnalysisFactory fac)

Method Summary

Methods

Modifier and Type	Method and Description
List<EntryNode>	getEntries()
CodeLocation	getLocation(dk.brics.automaton.Automaton a)
<E extends Serializable> E	getResult(Class<? extends dk.brics.webflow.ExtraAnalysis<E>> e)
void	setAnalysisFactory(AnalysisFactory fac)

Methods inherited from class java.lang.Object

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

Constructor Detail

FlowGraph

public FlowGraph(AnalysisFactory fac)

Method Detail

getEntries

public List<EntryNode> getEntries()

getLocation

public CodeLocation getLocation(dk.brics.automaton.Automaton a)

getResult

public <E extends Serializable> E getResult(Class<? extends dk.brics.webflow.ExtraAnalysis<E>> e)

setAnalysisFactory

public void setAnalysisFactory(AnalysisFactory fac)