heros.fieldsens

Class Resolver<Field,Fact,Stmt,Method>

java.lang.Object

heros.fieldsens.Resolver<Field,Fact,Stmt,Method>

Direct Known Subclasses:

ResolverTemplate

public abstract class Resolver<Field,Fact,Stmt,Method>
extends java.lang.Object

Field Summary

Fields

Modifier and Type	Field and Description
protected PerAccessPathMethodAnalyzer<Field,Fact,Stmt,Method>	analyzer

Constructor Summary

Constructors

Constructor and Description
Resolver(PerAccessPathMethodAnalyzer<Field,Fact,Stmt,Method> analyzer)

Method Summary

Modifier and Type	Method and Description
protected void	canBeResolvedEmpty()
void	interest(Resolver<Field,Fact,Stmt,Method> resolver)
boolean	isInterestGiven()
protected abstract void	log(java.lang.String message)
protected void	registerCallback(InterestCallback<Field,Fact,Stmt,Method> callback)
abstract void	resolve(FlowFunction.Constraint<Field> constraint, InterestCallback<Field,Fact,Stmt,Method> callback)

Methods inherited from class java.lang.Object

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

Field Detail

analyzer

protected PerAccessPathMethodAnalyzer<Field,Fact,Stmt,Method> analyzer

Constructor Detail

Resolver

public Resolver(PerAccessPathMethodAnalyzer<Field,Fact,Stmt,Method> analyzer)

Method Detail

resolve

public abstract void resolve(FlowFunction.Constraint<Field> constraint,
                             InterestCallback<Field,Fact,Stmt,Method> callback)

interest

public void interest(Resolver<Field,Fact,Stmt,Method> resolver)

canBeResolvedEmpty

protected void canBeResolvedEmpty()

isInterestGiven

public boolean isInterestGiven()

registerCallback

protected void registerCallback(InterestCallback<Field,Fact,Stmt,Method> callback)

log

protected abstract void log(java.lang.String message)