de.unisaarland.cs.st.jerify.verifier.cfg.flownodes.typestate
Class TSDummyFlowNode

java.lang.Object
  de.unisaarland.cs.st.jerify.verifier.cfg.flownodes.FlowNode<MethodTypestateAnalysis>
      de.unisaarland.cs.st.jerify.verifier.cfg.flownodes.typestate.TSFlowNode
          de.unisaarland.cs.st.jerify.verifier.cfg.flownodes.typestate.TSDummyFlowNode

public class TSDummyFlowNode
extends TSFlowNode

FlowNode that passes the Analysis on without changing it.

Author:

Daniel Wand (typestate@ewand.de)

Constructor Summary

TSDummyFlowNode(java.lang.String id)
Create a Dummy Flow node that has the name id (for debug purposes)

Method Summary

void	forwardAnalysis(CFGAnalysis<MethodTypestateAnalysis> newAnalysis) pass analysis on
void	printAll() print all nodes of this cfg (all reachable)
java.lang.String	toString()

Methods inherited from class de.unisaarland.cs.st.jerify.verifier.cfg.flownodes.typestate.TSFlowNode

getDummyNode, getFixpointNode, TSFlowNodefromAnnotatedTree

Methods inherited from class de.unisaarland.cs.st.jerify.verifier.cfg.flownodes.FlowNode

addSuccessor, hasSuccessors

Methods inherited from class java.lang.Object

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

Constructor Detail

TSDummyFlowNode

public TSDummyFlowNode(java.lang.String id)

Create a Dummy Flow node that has the name id (for debug purposes)

Parameters:

id - the debug name of this dummy node (will pre prepended with "Dummy ")

Method Detail

toString

public final java.lang.String toString()

Specified by:

toString in class FlowNode<MethodTypestateAnalysis>

printAll

public final void printAll()

Description copied from class: FlowNode

print all nodes of this cfg (all reachable)

Overrides:

printAll in class FlowNode<MethodTypestateAnalysis>

forwardAnalysis

public final void forwardAnalysis(CFGAnalysis<MethodTypestateAnalysis> newAnalysis)

pass analysis on

Specified by:

forwardAnalysis in class FlowNode<MethodTypestateAnalysis>

Parameters:

newAnalysis - the current analysis that is propagated through the control flow graph.