heros.fieldsens

Class ZeroCallEdgeResolver<Field,Fact,Stmt,Method>

java.lang.Object

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

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

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

public class ZeroCallEdgeResolver<Field,Fact,Stmt,Method>
extends ResolverTemplate<Field,Fact,Stmt,Method,CallEdge<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
ZeroCallEdgeResolver(PerAccessPathMethodAnalyzer<Field,Fact,Stmt,Method> analyzer, ZeroHandler<Field> zeroHandler, Debugger<Field,Fact,Stmt,Method> debugger)

Method Summary

Modifier and Type	Method and Description
void	applySummaries(WrappedFactAtStatement<Field,Fact,Stmt,Method> factAtStmt)
protected ResolverTemplate<Field,Fact,Stmt,Method,CallEdge<Field,Fact,Stmt,Method>>	createNestedResolver(AccessPath<Field> newAccPath)
boolean	equals(java.lang.Object obj)
protected AccessPath<Field>	getAccessPathOf(CallEdge<Field,Fact,Stmt,Method> inc)
protected ZeroCallEdgeResolver<Field,Fact,Stmt,Method>	getOrCreateNestedResolver(AccessPath<Field> newAccPath)
int	hashCode()
boolean	hasIncomingEdges()
void	interest(Resolver<Field,Fact,Stmt,Method> resolver)
protected void	log(java.lang.String message)
protected void	processIncomingGuaranteedPrefix(CallEdge<Field,Fact,Stmt,Method> inc)
protected void	processIncomingPotentialPrefix(CallEdge<Field,Fact,Stmt,Method> inc)
void	resolve(FlowFunction.Constraint<Field> constraint, InterestCallback<Field,Fact,Stmt,Method> callback)
java.lang.String	toString()

Methods inherited from class heros.fieldsens.ResolverTemplate

addIncoming, isLocked, lock, unlock

Methods inherited from class heros.fieldsens.Resolver

canBeResolvedEmpty, isInterestGiven, registerCallback

Methods inherited from class java.lang.Object

clone, finalize, getClass, notify, notifyAll, wait, wait, wait

Constructor Detail

ZeroCallEdgeResolver

public ZeroCallEdgeResolver(PerAccessPathMethodAnalyzer<Field,Fact,Stmt,Method> analyzer,
                            ZeroHandler<Field> zeroHandler,
                            Debugger<Field,Fact,Stmt,Method> debugger)

Method Detail

resolve

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

Overrides:

resolve in class ResolverTemplate<Field,Fact,Stmt,Method,CallEdge<Field,Fact,Stmt,Method>>

interest

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

Overrides:

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

getOrCreateNestedResolver

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

Overrides:

getOrCreateNestedResolver in class ResolverTemplate<Field,Fact,Stmt,Method,CallEdge<Field,Fact,Stmt,Method>>

toString

public java.lang.String toString()

hashCode

public int hashCode()

Overrides:

hashCode in class java.lang.Object

equals

public boolean equals(java.lang.Object obj)

Overrides:

equals in class java.lang.Object

getAccessPathOf

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

Specified by:

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

processIncomingGuaranteedPrefix

protected void processIncomingGuaranteedPrefix(CallEdge<Field,Fact,Stmt,Method> inc)

Specified by:

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

processIncomingPotentialPrefix

protected void processIncomingPotentialPrefix(CallEdge<Field,Fact,Stmt,Method> inc)

Specified by:

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

createNestedResolver

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

Specified by:

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

applySummaries

public void applySummaries(WrappedFactAtStatement<Field,Fact,Stmt,Method> factAtStmt)

log

protected void log(java.lang.String message)

Specified by:

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

hasIncomingEdges

public boolean hasIncomingEdges()