dk.brics.servletvalidator.flowgraph

Class URLTagSharpener.ValueState

java.lang.Object

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

dk.brics.servletvalidator.flowgraph.URLTagSharpener.ValueState

Enclosing class:

URLTagSharpener

public class URLTagSharpener.ValueState
extends URLTagSharpener.State<Node,String,dk.brics.automaton.Automaton>

Constructor Summary

Constructors

Constructor and Description
URLTagSharpener.ValueState(Map<Node,Map<String,dk.brics.automaton.Automaton>> entryValues)

Method Summary

Methods

Modifier and Type	Method and Description
void	assign(Node fromNode, LinkedList<Node> worklist, Node toNode)
Map<String,dk.brics.automaton.Automaton>	bindOut(EntryNode entry, Map<String,dk.brics.automaton.Automaton> stringSetMap)
boolean	producesValue(Node node)
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.ValueState

public URLTagSharpener.ValueState(Map<Node,Map<String,dk.brics.automaton.Automaton>> entryValues)

Method Detail

assign

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

Specified by:

assign in class URLTagSharpener.State<Node,String,dk.brics.automaton.Automaton>

bindOut

public Map<String,dk.brics.automaton.Automaton> bindOut(EntryNode entry,
                                               Map<String,dk.brics.automaton.Automaton> stringSetMap)

Specified by:

bindOut in class URLTagSharpener.State<Node,String,dk.brics.automaton.Automaton>

producesValue

public boolean producesValue(Node node)

Specified by:

producesValue in class URLTagSharpener.State<Node,String,dk.brics.automaton.Automaton>

produceValue

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

Specified by:

produceValue in class URLTagSharpener.State<Node,String,dk.brics.automaton.Automaton>

propagate

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

Specified by:

propagate in class URLTagSharpener.State<Node,String,dk.brics.automaton.Automaton>