Package org.checkerframework.dataflow.cfg.node

Class AbstractNodeVisitor<R,P>

java.lang.Object
org.checkerframework.dataflow.cfg.node.AbstractNodeVisitor<R,P>
Type Parameters:
R - return type of the visitor
P - parameter type of the visitor
All Implemented Interfaces:
NodeVisitor<R,P>
Direct Known Subclasses:
CFAbstractTransfer, ConstantPropagationTransfer, LiveVarTransfer
public abstract class AbstractNodeVisitor<R,P> extends Object implements NodeVisitor<R,P>
A default implementation of the node visitor interface. The class introduces several 'summary' methods, that can be overridden to change the behavior of several related visit methods at once. An example is the visitValueLiteral method, that is called for every ValueLiteralNode.

This is useful to implement a visitor that performs the same operation (e.g., nothing) for most Nodes and only has special behavior for a few.