de.unisaarland.cs.st.jerify.verifier.cfg.flownodes.alias
Class TSAliasAnalysisEndOfScope

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.alias.TSAliasAnalysisEndOfScope

public class TSAliasAnalysisEndOfScope
extends TSFlowNode

Constructor Summary

TSAliasAnalysisEndOfScope(AliasAnalysisVarHandle var)

Method Summary

void	forwardAnalysis(CFGAnalysis<MethodTypestateAnalysis> newAnalysis)
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, printAll

Methods inherited from class java.lang.Object

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

Constructor Detail

TSAliasAnalysisEndOfScope

public TSAliasAnalysisEndOfScope(AliasAnalysisVarHandle var)

Method Detail

forwardAnalysis

public void forwardAnalysis(CFGAnalysis<MethodTypestateAnalysis> newAnalysis)

Specified by:

forwardAnalysis in class FlowNode<MethodTypestateAnalysis>

toString

public java.lang.String toString()

Specified by:

toString in class FlowNode<MethodTypestateAnalysis>