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

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.TSStateChangingFlowNode
              de.unisaarland.cs.st.jerify.verifier.cfg.flownodes.typestate.TSTransitionFlowNode

public class TSTransitionFlowNode
extends TSStateChangingFlowNode

This node represents a typestate transition. E.g: "Open" -> "Close" ...

Author:

Daniel Wand (typestate@ewand.de)

Constructor Summary

TSTransitionFlowNode(AliasAnalysisVarHandle var, com.sun.source.tree.Tree tree, StateChanges stateChanges)

Method Summary

void	forwardAnalysis(CFGAnalysis<MethodTypestateAnalysis> newAnalysis)
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.TSStateChangingFlowNode

analyseRequireState, analyseRequireState, getAllStateChanges, getAllStateChangesFromSet, getAllStateChangesToSet, getChangeState, getSetStateFlowNode, TSFlowNodefromAnnotatedTree, TSFlowNodefromAnnotatedType

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

getDummyNode, getFixpointNode

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

TSTransitionFlowNode

public TSTransitionFlowNode(AliasAnalysisVarHandle var,
                            com.sun.source.tree.Tree tree,
                            StateChanges stateChanges)

Parameters:

var - The alias handle that represents the variable which state is changed by this transition

tree - The source code that cause the creation of this node (for error reporting)

stateChanges - The state changes that are to be applied.

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)

Specified by:

forwardAnalysis in class FlowNode<MethodTypestateAnalysis>