heros.fieldsens

Class ReturnSiteResolver<Field,Fact,Stmt,Method>

java.lang.Object

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

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

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

public class ReturnSiteResolver<Field,Fact,Stmt,Method>
extends ResolverTemplate<Field,Fact,Stmt,Method,ReturnEdge<Field,Fact,Stmt,Method>>

Field Summary

Fields inherited from class heros.fieldsens.ResolverTemplate

debugger, incomingEdges, resolvedAccessPath

Fields inherited from class heros.fieldsens.Resolver

analyzer

Constructor Summary

Constructors

Constructor and Description
ReturnSiteResolver(FactMergeHandler<Fact> factMergeHandler, PerAccessPathMethodAnalyzer<Field,Fact,Stmt,Method> analyzer, Stmt returnSite, Debugger<Field,Fact,Stmt,Method> debugger)

Method Summary

Modifier and Type	Method and Description
void	addIncoming(WrappedFact<Field,Fact,Stmt,Method> fact, Resolver<Field,Fact,Stmt,Method> resolverAtCaller, AccessPath.Delta<Field> callDelta)
protected ResolverTemplate<Field,Fact,Stmt,Method,ReturnEdge<Field,Fact,Stmt,Method>>	createNestedResolver(AccessPath<Field> newAccPath)
protected AccessPath<Field>	getAccessPathOf(ReturnEdge<Field,Fact,Stmt,Method> inc)
Stmt	getReturnSite()
protected void	log(java.lang.String message)
protected void	processIncomingGuaranteedPrefix(ReturnEdge<Field,Fact,Stmt,Method> retEdge)
protected void	processIncomingPotentialPrefix(ReturnEdge<Field,Fact,Stmt,Method> retEdge)
protected void	resolveViaCallSiteResolver(ReturnEdge<Field,Fact,Stmt,Method> retEdge, AccessPath<Field> currAccPath)
java.lang.String	toString()

Methods inherited from class heros.fieldsens.ResolverTemplate

addIncoming, getOrCreateNestedResolver, isLocked, lock, resolve, unlock

Methods inherited from class heros.fieldsens.Resolver

canBeResolvedEmpty, interest, isInterestGiven, registerCallback

Methods inherited from class java.lang.Object

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

Constructor Detail

ReturnSiteResolver

public ReturnSiteResolver(FactMergeHandler<Fact> factMergeHandler,
                          PerAccessPathMethodAnalyzer<Field,Fact,Stmt,Method> analyzer,
                          Stmt returnSite,
                          Debugger<Field,Fact,Stmt,Method> debugger)

Method Detail

toString

public java.lang.String toString()

Overrides:

toString in class java.lang.Object

getAccessPathOf

protected AccessPath<Field> getAccessPathOf(ReturnEdge<Field,Fact,Stmt,Method> inc)

Specified by:

getAccessPathOf in class ResolverTemplate<Field,Fact,Stmt,Method,ReturnEdge<Field,Fact,Stmt,Method>>

addIncoming

public void addIncoming(WrappedFact<Field,Fact,Stmt,Method> fact,
                        Resolver<Field,Fact,Stmt,Method> resolverAtCaller,
                        AccessPath.Delta<Field> callDelta)

processIncomingGuaranteedPrefix

protected void processIncomingGuaranteedPrefix(ReturnEdge<Field,Fact,Stmt,Method> retEdge)

Specified by:

processIncomingGuaranteedPrefix in class ResolverTemplate<Field,Fact,Stmt,Method,ReturnEdge<Field,Fact,Stmt,Method>>

processIncomingPotentialPrefix

protected void processIncomingPotentialPrefix(ReturnEdge<Field,Fact,Stmt,Method> retEdge)

Specified by:

processIncomingPotentialPrefix in class ResolverTemplate<Field,Fact,Stmt,Method,ReturnEdge<Field,Fact,Stmt,Method>>

log

protected void log(java.lang.String message)

Specified by:

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

createNestedResolver

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

Specified by:

createNestedResolver in class ResolverTemplate<Field,Fact,Stmt,Method,ReturnEdge<Field,Fact,Stmt,Method>>

getReturnSite

public Stmt getReturnSite()

resolveViaCallSiteResolver

protected void resolveViaCallSiteResolver(ReturnEdge<Field,Fact,Stmt,Method> retEdge,
                                          AccessPath<Field> currAccPath)