dk.brics.servletvalidator.flowgraph

Class AppendNode

java.lang.Object

dk.brics.servletvalidator.flowgraph.AbstractNode

dk.brics.servletvalidator.flowgraph.AppendNode

All Implemented Interfaces:

Node, Serializable

Direct Known Subclasses:

AppendELValueNode

public class AppendNode
extends AbstractNode

Append nodes represent a point the program where something is written to the servlet output stream. The append node contains an Automaton descriping a conservative approximation of the possible values that can be written to the stream at this point in the program. This Automaton is obtained from string analysis by the graph builder.

Author:

schwarz

See Also:

Serialized Form

Constructor Summary

Constructors

Constructor and Description
AppendNode()

Method Summary

Methods

Modifier and Type	Method and Description
void	accept(NodeVisitor n) Accepts the given visitor
dk.brics.automaton.Automaton	getAutomaton() Returns the automaton describing a conservative approximation of the string that can be written at this point
ValueBox	getValueBox()
boolean	isTaint()
void	setAutomaton(dk.brics.automaton.Automaton automaton) Sets the approximative automaton
void	setTaint(boolean taint)
void	setValueBox(ValueBox valueBox)
String	toString()

Methods inherited from class dk.brics.servletvalidator.flowgraph.AbstractNode

addPredecessor, addSucessor, getPredecessors, getSuccessors, removePredecessor, removeSuccessor

Methods inherited from class java.lang.Object

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

Constructor Detail

AppendNode

public AppendNode()

Method Detail

accept

public void accept(NodeVisitor n)

Description copied from interface: Node

Accepts the given visitor

getAutomaton

public dk.brics.automaton.Automaton getAutomaton()

Returns the automaton describing a conservative approximation of the string that can be written at this point

Returns:

getValueBox

public ValueBox getValueBox()

isTaint

public boolean isTaint()

setAutomaton

public void setAutomaton(dk.brics.automaton.Automaton automaton)

Sets the approximative automaton

Parameters:

automaton -

setTaint

public void setTaint(boolean taint)

setValueBox

public void setValueBox(ValueBox valueBox)

toString

public String toString()

Overrides:

toString in class Object