harpoon.Analysis.PA2
Class IntraProc

java.lang.Object
  harpoon.Analysis.PA2.IntraProc

public class IntraProc
extends Object

IntraProc

Version:

$Id: IntraProc.java,v 1.8 2006/01/09 05:14:19 salcianu Exp $

Author:

Alexandru Salcianu <salcianu@alum.mit.edu>

Field Summary

jpaul.Constraints.ConstraintSystem

cs

Constructor Summary

IntraProc(HMethod hm, boolean flowSensitivity, PointerAnalysis pa)

Method Summary

FullAnalysisResult

fullSolve()

Methods inherited from class java.lang.Object

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

Field Detail

cs

public final jpaul.Constraints.ConstraintSystem cs

Constructor Detail

IntraProc

public IntraProc(HMethod hm,
                 boolean flowSensitivity,
                 PointerAnalysis pa)

Method Detail

fullSolve

public FullAnalysisResult fullSolve()