heros.fieldsens

Class ControlFlowJoinResolver<Field,Fact,Stmt,Method>

java.lang.Object

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

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

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

public class ControlFlowJoinResolver<Field,Fact,Stmt,Method>
extends ResolverTemplate<Field,Fact,Stmt,Method,WrappedFact<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
ControlFlowJoinResolver(FactMergeHandler<Fact> factMergeHandler, PerAccessPathMethodAnalyzer<Field,Fact,Stmt,Method> analyzer, Stmt joinStmt, Debugger<Field,Fact,Stmt,Method> debugger)

Method Summary

Modifier and Type	Method and Description
protected ResolverTemplate<Field,Fact,Stmt,Method,WrappedFact<Field,Fact,Stmt,Method>>	createNestedResolver(AccessPath<Field> newAccPath)
protected AccessPath<Field>	getAccessPathOf(WrappedFact<Field,Fact,Stmt,Method> inc)
Stmt	getJoinStmt()
protected void	log(java.lang.String message)
protected void	processIncomingGuaranteedPrefix(WrappedFact<Field,Fact,Stmt,Method> fact)
protected void	processIncomingPotentialPrefix(WrappedFact<Field,Fact,Stmt,Method> fact)
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

ControlFlowJoinResolver

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

Method Detail

getAccessPathOf

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

Specified by:

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

processIncomingGuaranteedPrefix

protected void processIncomingGuaranteedPrefix(WrappedFact<Field,Fact,Stmt,Method> fact)

Specified by:

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

processIncomingPotentialPrefix

protected void processIncomingPotentialPrefix(WrappedFact<Field,Fact,Stmt,Method> fact)

Specified by:

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

createNestedResolver

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

Specified by:

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

log

protected void log(java.lang.String message)

Specified by:

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

toString

public java.lang.String toString()

Overrides:

toString in class java.lang.Object

getJoinStmt

public Stmt getJoinStmt()