harpoon.Analysis.PA2
Class InterProcAnalysisResult.Chained

java.lang.Object
  harpoon.Analysis.PA2.InterProcAnalysisResult
      harpoon.Analysis.PA2.InterProcAnalysisResult.Chained

Enclosing class:

InterProcAnalysisResult

public static class InterProcAnalysisResult.Chained
extends InterProcAnalysisResult

Nested Class Summary

Nested classes/interfaces inherited from class harpoon.Analysis.PA2.InterProcAnalysisResult

InterProcAnalysisResult.Chained

Constructor Summary

InterProcAnalysisResult.Chained(InterProcAnalysisResult ipar)

Method Summary

Set<PANode>	eomAllEsc()
Set<PANode>	eomAllGblEsc() All nodes that escape *globally* at the end of the method.
Set<PANode>	eomDirGblEsc() Nodes that escape *globally* at the end of the method and are relevant for the inter-proc analysis (we try to avoid including here nodes that are unreachable from the caller).
PAEdgeSet	eomI() Inside edges at the end of the method.
PAEdgeSet	eomO() Outside edges at the end of the method.
Set<jpaul.DataStructs.Pair<PANode,HField>>	eomWrites() Abstract fields written by the method and its transitive callees.
Set<PANode>	ex() Nodes thrown from the method as exceptions.
void	invalidateCaches() Certain methods of this object may use caching for internal performances.
Set<PANode>	ret() Nodes returned from the method.

Methods inherited from class harpoon.Analysis.PA2.InterProcAnalysisResult

getAllNodes, toString

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait

Constructor Detail

InterProcAnalysisResult.Chained

public InterProcAnalysisResult.Chained(InterProcAnalysisResult ipar)

Method Detail

eomI

public PAEdgeSet eomI()

Description copied from class: InterProcAnalysisResult

Inside edges at the end of the method.

Specified by:

eomI in class InterProcAnalysisResult

invalidateCaches

public void invalidateCaches()

Description copied from class: InterProcAnalysisResult

Certain methods of this object may use caching for internal performances. However, every time one of the components (e.g., the set of inside edges) changes, the programmer needs to invoke this method.

Overrides:

invalidateCaches in class InterProcAnalysisResult

eomO

public PAEdgeSet eomO()

Description copied from class: InterProcAnalysisResult

Outside edges at the end of the method.

Specified by:

eomO in class InterProcAnalysisResult

eomDirGblEsc

public Set<PANode> eomDirGblEsc()

Description copied from class: InterProcAnalysisResult

Nodes that escape *globally* at the end of the method and are relevant for the inter-proc analysis (we try to avoid including here nodes that are unreachable from the caller).

Specified by:

eomDirGblEsc in class InterProcAnalysisResult

eomAllGblEsc

public Set<PANode> eomAllGblEsc()

Description copied from class: InterProcAnalysisResult

All nodes that escape *globally* at the end of the method. Honestly, this is not necessary in the inter-procedural analysis (only eomDirGblEsc is); still, this class seemed the most appropriate location for this method.

Specified by:

eomAllGblEsc in class InterProcAnalysisResult

eomAllEsc

public Set<PANode> eomAllEsc()

Overrides:

eomAllEsc in class InterProcAnalysisResult

ret

public Set<PANode> ret()

Description copied from class: InterProcAnalysisResult

Nodes returned from the method.

Specified by:

ret in class InterProcAnalysisResult

ex

public Set<PANode> ex()

Description copied from class: InterProcAnalysisResult

Nodes thrown from the method as exceptions.

Specified by:

ex in class InterProcAnalysisResult

eomWrites

public Set<jpaul.DataStructs.Pair<PANode,HField>> eomWrites()

Description copied from class: InterProcAnalysisResult

Abstract fields written by the method and its transitive callees. Relevant only if Flags.RECORD_WRITES is turned on.

Overrides:

eomWrites in class InterProcAnalysisResult