harpoon.Analysis.PA2
Class FullAnalysisResult

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

public abstract class FullAnalysisResult
extends InterProcAnalysisResult

FullAnalysisResult models the full information that pointer analysis was able to compute about an analyzed method. It extends InterProcAnalysisResult with information about the program points inside the method.

Version:

$Id: FullAnalysisResult.java,v 1.1 2005/08/10 02:58:19 salcianu Exp $

Author:

Alexandru Salcianu <salcianu@alum.mit.edu>

Nested Class Summary

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

InterProcAnalysisResult.Chained

Constructor Summary

FullAnalysisResult()

Method Summary

abstract Set<PANode>	lv(Temp t) Nodes pointed to by variabke t.
abstract Set<PANode>	postEsc(Quad q) Nodes that escape right after q
abstract PAEdgeSet	postI(Quad q) Inside edges right after q
abstract Set<PANode>	preEsc(Quad q) Nodes that escape right before q
abstract PAEdgeSet	preI(Quad q) Inside edges right before q

Methods inherited from class harpoon.Analysis.PA2.InterProcAnalysisResult

eomAllEsc, eomAllGblEsc, eomDirGblEsc, eomI, eomO, eomWrites, ex, getAllNodes, invalidateCaches, ret, toString

Methods inherited from class java.lang.Object

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

Constructor Detail

FullAnalysisResult

public FullAnalysisResult()

Method Detail

preI

public abstract PAEdgeSet preI(Quad q)

Inside edges right before q

postI

public abstract PAEdgeSet postI(Quad q)

Inside edges right after q

preEsc

public abstract Set<PANode> preEsc(Quad q)

Nodes that escape right before q

postEsc

public abstract Set<PANode> postEsc(Quad q)

Nodes that escape right after q

lv

public abstract Set<PANode> lv(Temp t)

Nodes pointed to by variabke t. We assume SSA is used, so this information is flow-sensitive