harpoon.Analysis
Class UseDefChecker.ReachingDefsFactory

java.lang.Object
  harpoon.Analysis.UseDefChecker.ReachingDefsFactory

Enclosing class:

UseDefChecker

public abstract static class UseDefChecker.ReachingDefsFactory
extends Object

The UseDefChecker constructor takes a ReachingDefsFactory argument to specify which ReachingDefs implementation it should use.

Constructor Summary

UseDefChecker.ReachingDefsFactory()

Method Summary

abstract ReachingDefs

makeReachingDefs(HCode hc)

Methods inherited from class java.lang.Object

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

Constructor Detail

UseDefChecker.ReachingDefsFactory

public UseDefChecker.ReachingDefsFactory()

Method Detail

makeReachingDefs

public abstract ReachingDefs makeReachingDefs(HCode hc)