harpoon.Analysis.Instr
Class Check

java.lang.Object
  harpoon.Analysis.Instr.Check

public class Check
extends Object

Constructor Summary

Check()

Method Summary

static void	allLiveVarsHaveDefs(Code code, BasicBlock.Factory bbf, CFGrapher cfger, UseDefer uder, ReachingDefs rdefs, LiveTemps liveTemps)
static void	liveSetsAreConsistent(Code code, BasicBlock.Factory bbf, CFGrapher cfger, UseDefer uder, LiveTemps liveTemps, Set initSet)

Methods inherited from class java.lang.Object

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

Constructor Detail

Check

public Check()

Method Detail

liveSetsAreConsistent

public static void liveSetsAreConsistent(Code code,
                                         BasicBlock.Factory bbf,
                                         CFGrapher cfger,
                                         UseDefer uder,
                                         LiveTemps liveTemps,
                                         Set initSet)

allLiveVarsHaveDefs

public static void allLiveVarsHaveDefs(Code code,
                                       BasicBlock.Factory bbf,
                                       CFGrapher cfger,
                                       UseDefer uder,
                                       ReachingDefs rdefs,
                                       LiveTemps liveTemps)