harpoon.Analysis.Realtime
Class QuantaChecker

java.lang.Object
  extended by harpoon.Analysis.Transformation.MethodMutator
      extended by harpoon.Analysis.Realtime.QuantaChecker
All Implemented Interfaces:
Serializable

public class QuantaChecker
extends MethodMutator

Version:
$Id: QuantaChecker.java,v 1.10 2004/02/08 01:53:47 cananian Exp $
Author:
Bryan Fink <wingman@mit.edu>
See Also:
Serialized Form

Constructor Summary
QuantaChecker(HCodeFactory hcf)
           
 
Method Summary
protected  NATIVECALL addCheck(TreeFactory tf, HCodeElement source, DerivationGenerator dg)
           
protected  Stm addJump(Linker linker, HCode hc, TreeFactory tf, Stm e)
           
protected static Exp DECLARE(DerivationGenerator dg, HClass hc, Exp exp)
           
protected static Exp DECLARE(DerivationGenerator dg, HClass hc, Temp t, Exp exp)
           
protected  HCode mutateHCode(HCodeAndMaps input)
          Override this method to effect transformations on split methods.
 
Methods inherited from class harpoon.Analysis.Transformation.MethodMutator
cloneHCode, codeFactory, mutateCodeName
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Constructor Detail

QuantaChecker

public QuantaChecker(HCodeFactory hcf)
Method Detail

mutateHCode

protected HCode mutateHCode(HCodeAndMaps input)
Description copied from class: MethodMutator
Override this method to effect transformations on split methods.

Overrides:
mutateHCode in class MethodMutator

addJump

protected Stm addJump(Linker linker,
                      HCode hc,
                      TreeFactory tf,
                      Stm e)

addCheck

protected NATIVECALL addCheck(TreeFactory tf,
                              HCodeElement source,
                              DerivationGenerator dg)

DECLARE

protected static Exp DECLARE(DerivationGenerator dg,
                             HClass hc,
                             Exp exp)

DECLARE

protected static Exp DECLARE(DerivationGenerator dg,
                             HClass hc,
                             Temp t,
                             Exp exp)