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

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.TSAliasAnalysisAssignmentFlowNode

public class TSAliasAnalysisAssignmentFlowNode
extends TSFlowNode

FlowNode that updates the alias information of one variable

Author:

Daniel Wand (typestate@ewand.de)

Constructor Summary

TSAliasAnalysisAssignmentFlowNode(AliasAnalysisVarHandle var, java.util.Set<AliasAnalysisSource> assignment)
Create a new FlowNode that updates the variable var with the alias informations it gets from the alias sources

Method Summary

void	forwardAnalysis(CFGAnalysis<MethodTypestateAnalysis> newAnalysis) perform an update of the alias information
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

TSAliasAnalysisAssignmentFlowNode

public TSAliasAnalysisAssignmentFlowNode(AliasAnalysisVarHandle var,
                                         java.util.Set<AliasAnalysisSource> assignment)

Create a new FlowNode that updates the variable var with the alias informations it gets from the alias sources

Parameters:

var - the variable to update

assignment - the alias information to update it with

Method Detail

forwardAnalysis

public void forwardAnalysis(CFGAnalysis<MethodTypestateAnalysis> newAnalysis)

perform an update of the alias information

Specified by:

forwardAnalysis in class FlowNode<MethodTypestateAnalysis>

Parameters:

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

toString

public java.lang.String toString()

Specified by:

toString in class FlowNode<MethodTypestateAnalysis>