harpoon.Analysis.PA2
Class TypeFilter

java.lang.Object
  harpoon.Analysis.PA2.TypeFilter

public abstract class TypeFilter
extends Object

TypeFilter

Version:

$Id: TypeFilter.java,v 1.2 2005/09/01 00:01:43 salcianu Exp $

Author:

Alexandru Salcianu <salcianu@alum.mit.edu>

Constructor Summary

TypeFilter()

Method Summary

static boolean	compatible(PANode node, HClass hClass)
static void	initClassHierarchy(ClassHierarchy ch)
static boolean	mayHaveField(PANode node, HField hf)
static boolean	mayPointTo(HField hf, PANode node)
static void	releaseClassHierarchy()

Methods inherited from class java.lang.Object

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

Constructor Detail

TypeFilter

public TypeFilter()

Method Detail

initClassHierarchy

public static void initClassHierarchy(ClassHierarchy ch)

releaseClassHierarchy

public static void releaseClassHierarchy()

compatible

public static boolean compatible(PANode node,
                                 HClass hClass)

mayHaveField

public static boolean mayHaveField(PANode node,
                                   HField hf)

mayPointTo

public static boolean mayPointTo(HField hf,
                                 PANode node)