dk.brics.tajs.solver

Class CallDependencies<CallContextType extends ICallContext<CallContextType>>

java.lang.Object

dk.brics.tajs.solver.CallDependencies<CallContextType>

public class CallDependencies<CallContextType extends ICallContext<CallContextType>>
extends Object

Keeps track of call edges that await return flow. A call edge is charged when new flow appears on the edge. It is discharged when the callee has no blocks in the worklist, nor any outgoing charged call edges. Return flow can safely ignore call edges that are not charged.

Constructor Summary

Constructors

Constructor and Description
CallDependencies()

Method Summary

Methods

Modifier and Type	Method and Description
void	assertEmpty() Checks whether all functions are inactive.
void	chargeCallEdge(AbstractNode caller, CallContextType caller_context, Function callee, CallContextType callee_context) Records a call edge that awaits return flow.
void	decrementFunctionActivityLevel(Function f, CallContextType c) Decrements the function activity level for the given function and context.
void	dischargeCallEdge(AbstractNode caller, CallContextType caller_context, Function callee, CallContextType callee_context) Discharges return flow for a call edge.
void	incrementFunctionActivityLevel(Function f, CallContextType c) Increments the function activity level for the given function and context.
boolean	isCallEdgeCharged(AbstractNode caller, CallContextType caller_context, Function callee, CallContextType callee_context) Checks whether the given edge is charged.
boolean	isFunctionActive(Function f, CallContextType c) Checks whether the given function and context pair is active, i.e.

Methods inherited from class java.lang.Object

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

Constructor Detail

CallDependencies

public CallDependencies()

Method Detail

assertEmpty

public void assertEmpty()

Checks whether all functions are inactive.

Throws:

AnalysisException - if not all functions are not inactive

chargeCallEdge

public void chargeCallEdge(AbstractNode caller,
                  CallContextType caller_context,
                  Function callee,
                  CallContextType callee_context)

Records a call edge that awaits return flow. Has no effect if charged edges are disabled.

decrementFunctionActivityLevel

public void decrementFunctionActivityLevel(Function f,
                                  CallContextType c)

Decrements the function activity level for the given function and context.

dischargeCallEdge

public void dischargeCallEdge(AbstractNode caller,
                     CallContextType caller_context,
                     Function callee,
                     CallContextType callee_context)

Discharges return flow for a call edge. Has no effect if charged edges are disabled.

incrementFunctionActivityLevel

public void incrementFunctionActivityLevel(Function f,
                                  CallContextType c)

Increments the function activity level for the given function and context.

isCallEdgeCharged

public boolean isCallEdgeCharged(AbstractNode caller,
                        CallContextType caller_context,
                        Function callee,
                        CallContextType callee_context)

Checks whether the given edge is charged. Always returns true if charged edges are disabled.

isFunctionActive

public boolean isFunctionActive(Function f,
                       CallContextType c)

Checks whether the given function and context pair is active, i.e. if a function is reachable along charged edges and the function contains a location that is in the worklist. Always returns true if charged calls are disabled.