de.unisaarland.cs.st.jerify.verifier.cfg.flownodes
Class FlowNode<AnalysisData>

java.lang.Object
  de.unisaarland.cs.st.jerify.verifier.cfg.flownodes.FlowNode<AnalysisData>

Type Parameters:

AnalysisData -

Direct Known Subclasses:

TSFlowNode

public abstract class FlowNode<AnalysisData>
extends java.lang.Object

This class represents a node in the Control Flow Graph.

Author:

Daniel Wand (typestate@ewand.de)

Method Summary

void	addSuccessor(FlowNode<AnalysisData> successor, com.sun.source.tree.Tree tree) Add an FlowNode as a Successor to this node
abstract void	forwardAnalysis(CFGAnalysis<AnalysisData> newAnalysis)
boolean	hasSuccessors() Tests wether this node has any successors
void	printAll() print all nodes of this cfg (all reachable)
abstract java.lang.String	toString()

Methods inherited from class java.lang.Object

equals, getClass, hashCode, notify, notifyAll, wait, wait, wait

Method Detail

toString

public abstract java.lang.String toString()

Overrides:

toString in class java.lang.Object

forwardAnalysis

public abstract void forwardAnalysis(CFGAnalysis<AnalysisData> newAnalysis)

hasSuccessors

public final boolean hasSuccessors()

Tests wether this node has any successors

Returns:

true if this node has successors otherwise false

addSuccessor

public final void addSuccessor(FlowNode<AnalysisData> successor,
                               com.sun.source.tree.Tree tree)

Add an FlowNode as a Successor to this node

Parameters:

successor -

printAll

public void printAll()

print all nodes of this cfg (all reachable)