dk.brics.servletvalidator.flowgraph

Class URLTagSharpener.ParameterState

java.lang.Object

dk.brics.servletvalidator.flowgraph.URLTagSharpener.State<Node,String,Set<String>>

dk.brics.servletvalidator.flowgraph.URLTagSharpener.ParameterState

Enclosing class:

URLTagSharpener

public class URLTagSharpener.ParameterState
extends URLTagSharpener.State<Node,String,Set<String>>

Constructor Summary

Constructors

Constructor and Description
URLTagSharpener.ParameterState(Map<Node,Map<String,Set<String>>> parameterEntries)

Method Summary

Methods

Modifier and Type	Method and Description
void	assign(Node fromNode, LinkedList<Node> worklist, Node toNode)
Map<String,Set<String>>	bindOut(EntryNode entry, Map<String,Set<String>> stringSetMap)
boolean	producesValue(Node n)
void	produceValue(LinkedList<Node> worklist, Node node)
void	propagate(LinkedList<Node> worklist, Node fromNode, Node toNode)

Methods inherited from class dk.brics.servletvalidator.flowgraph.URLTagSharpener.State

getValuesForNode, propagateAssign

Methods inherited from class java.lang.Object

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

Constructor Detail

URLTagSharpener.ParameterState

public URLTagSharpener.ParameterState(Map<Node,Map<String,Set<String>>> parameterEntries)

Method Detail

assign

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

Specified by:

assign in class URLTagSharpener.State<Node,String,Set<String>>

bindOut

public Map<String,Set<String>> bindOut(EntryNode entry,
                              Map<String,Set<String>> stringSetMap)

Specified by:

bindOut in class URLTagSharpener.State<Node,String,Set<String>>

producesValue

public boolean producesValue(Node n)

Specified by:

producesValue in class URLTagSharpener.State<Node,String,Set<String>>

produceValue

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

Specified by:

produceValue in class URLTagSharpener.State<Node,String,Set<String>>

propagate

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

Specified by:

propagate in class URLTagSharpener.State<Node,String,Set<String>>