heros.fieldsens

Class ResolverTemplate<Field,Fact,Stmt,Method,Incoming>

java.lang.Object

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

heros.fieldsens.ResolverTemplate<Field,Fact,Stmt,Method,Incoming>

Direct Known Subclasses:

ControlFlowJoinResolver, ReturnSiteResolver, ZeroCallEdgeResolver

public abstract class ResolverTemplate<Field,Fact,Stmt,Method,Incoming>
extends Resolver<Field,Fact,Stmt,Method>

Field Summary

Fields

Modifier and Type	Field and Description
protected Debugger<Field,Fact,Stmt,Method>	debugger
protected java.util.Set<Incoming>	incomingEdges
protected AccessPath<Field>	resolvedAccessPath

Fields inherited from class heros.fieldsens.Resolver

analyzer

Constructor Summary

Constructors

Constructor and Description
ResolverTemplate(PerAccessPathMethodAnalyzer<Field,Fact,Stmt,Method> analyzer, AccessPath<Field> resolvedAccessPath, ResolverTemplate<Field,Fact,Stmt,Method,Incoming> parent, Debugger<Field,Fact,Stmt,Method> debugger)

Method Summary

Modifier and Type	Method and Description
void	addIncoming(Incoming inc)
protected abstract ResolverTemplate<Field,Fact,Stmt,Method,Incoming>	createNestedResolver(AccessPath<Field> newAccPath)
protected abstract AccessPath<Field>	getAccessPathOf(Incoming inc)
protected ResolverTemplate<Field,Fact,Stmt,Method,Incoming>	getOrCreateNestedResolver(AccessPath<Field> newAccPath)
protected boolean	isLocked()
protected void	lock()
protected abstract void	processIncomingGuaranteedPrefix(Incoming inc)
protected abstract void	processIncomingPotentialPrefix(Incoming inc)
void	resolve(FlowFunction.Constraint<Field> constraint, InterestCallback<Field,Fact,Stmt,Method> callback)
protected void	unlock()

Methods inherited from class heros.fieldsens.Resolver

canBeResolvedEmpty, interest, isInterestGiven, log, registerCallback

Methods inherited from class java.lang.Object

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

Field Detail

incomingEdges

protected java.util.Set<Incoming> incomingEdges

resolvedAccessPath

protected AccessPath<Field> resolvedAccessPath

debugger

protected Debugger<Field,Fact,Stmt,Method> debugger

Constructor Detail

ResolverTemplate

public ResolverTemplate(PerAccessPathMethodAnalyzer<Field,Fact,Stmt,Method> analyzer,
                        AccessPath<Field> resolvedAccessPath,
                        ResolverTemplate<Field,Fact,Stmt,Method,Incoming> parent,
                        Debugger<Field,Fact,Stmt,Method> debugger)

Method Detail

isLocked

protected boolean isLocked()

lock

protected void lock()

unlock

protected void unlock()

getAccessPathOf

protected abstract AccessPath<Field> getAccessPathOf(Incoming inc)

addIncoming

public void addIncoming(Incoming inc)

processIncomingPotentialPrefix

protected abstract void processIncomingPotentialPrefix(Incoming inc)

processIncomingGuaranteedPrefix

protected abstract void processIncomingGuaranteedPrefix(Incoming inc)

resolve

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

Specified by:

resolve in class Resolver<Field,Fact,Stmt,Method>

getOrCreateNestedResolver

protected ResolverTemplate<Field,Fact,Stmt,Method,Incoming> getOrCreateNestedResolver(AccessPath<Field> newAccPath)

createNestedResolver

protected abstract ResolverTemplate<Field,Fact,Stmt,Method,Incoming> createNestedResolver(AccessPath<Field> newAccPath)