dk.brics.servletvalidator.flowgraph

Class URLTagSharpener.State<N,S,A>

java.lang.Object

dk.brics.servletvalidator.flowgraph.URLTagSharpener.State<N,S,A>

Direct Known Subclasses:

URLTagSharpener.ParameterState, URLTagSharpener.ValueState

Enclosing class:

URLTagSharpener

public abstract class URLTagSharpener.State<N,S,A>
extends Object

Constructor Summary

Constructors

Constructor and Description
URLTagSharpener.State()

Method Summary

Methods

Modifier and Type	Method and Description
abstract void	assign(Node fromNode, LinkedList<Node> worklist, Node toNode)
abstract Map<S,A>	bindOut(EntryNode entry, Map<S,A> map)
protected Map<S,A>	getValuesForNode(Map<N,Map<S,A>> values, LinkedList<N> worklist, N n)
abstract boolean	producesValue(Node n)
abstract void	produceValue(LinkedList<Node> worklist, Node node)
abstract void	propagate(LinkedList<Node> worklist, Node fromNode, Node toNode)
protected void	propagateAssign(Map<N,Map<S,A>> values, Map<S,A> entryValues, LinkedList<N> worklist, N toNode)

Methods inherited from class java.lang.Object

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

Constructor Detail

URLTagSharpener.State

public URLTagSharpener.State()

Method Detail

assign

public abstract void assign(Node fromNode,
          LinkedList<Node> worklist,
          Node toNode)

bindOut

public abstract Map<S,A> bindOut(EntryNode entry,
               Map<S,A> map)

getValuesForNode

protected Map<S,A> getValuesForNode(Map<N,Map<S,A>> values,
                        LinkedList<N> worklist,
                        N n)

producesValue

public abstract boolean producesValue(Node n)

produceValue

public abstract void produceValue(LinkedList<Node> worklist,
                Node node)

propagate

public abstract void propagate(LinkedList<Node> worklist,
             Node fromNode,
             Node toNode)

propagateAssign

protected void propagateAssign(Map<N,Map<S,A>> values,
                   Map<S,A> entryValues,
                   LinkedList<N> worklist,
                   N toNode)