heros.solver

Class JumpFunctions<N,D,L>

java.lang.Object

heros.solver.JumpFunctions<N,D,L>

public class JumpFunctions<N,D,L>
extends java.lang.Object

The IDE algorithm uses a list of jump functions. Instead of a list, we use a set of three maps that are kept in sync. This allows for efficient indexing: the algorithm accesses elements from the list through three different indices.

Field Summary

Fields

Modifier and Type	Field and Description
protected <any>	nonEmptyForwardLookup
protected java.util.Map<N,<any>>	nonEmptyLookupByTargetNode
protected <any>	nonEmptyReverseLookup

Constructor Summary

Constructors

Constructor and Description
JumpFunctions(EdgeFunction<L> allTop)

Method Summary

Modifier and Type	Method and Description
void	addFunction(D sourceVal, N target, D targetVal, EdgeFunction<L> function) Records a jump function.
void	clear() Removes all jump functions
java.util.Map<D,EdgeFunction<L>>	forwardLookup(D sourceVal, N target) Returns, for a given source value and target statement all associated target values, and for each the associated edge function.
java.util.Set<<any>>	lookupByTarget(N target) Returns for a given target statement all jump function records with this target.
boolean	removeFunction(D sourceVal, N target, D targetVal) Removes a jump function.
java.util.Map<D,EdgeFunction<L>>	reverseLookup(N target, D targetVal) Returns, for a given target statement and value all associated source values, and for each the associated edge function.

Methods inherited from class java.lang.Object

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

Field Detail

nonEmptyReverseLookup

protected <any> nonEmptyReverseLookup

nonEmptyForwardLookup

protected <any> nonEmptyForwardLookup

nonEmptyLookupByTargetNode

protected java.util.Map<N,<any>> nonEmptyLookupByTargetNode

Constructor Detail

JumpFunctions

public JumpFunctions(EdgeFunction<L> allTop)

Method Detail

addFunction

public void addFunction(D sourceVal,
                        N target,
                        D targetVal,
                        EdgeFunction<L> function)

Records a jump function. The source statement is implicit.

See Also:

PathEdge

reverseLookup

public java.util.Map<D,EdgeFunction<L>> reverseLookup(N target,
                                                      D targetVal)

Returns, for a given target statement and value all associated source values, and for each the associated edge function. The return value is a mapping from source value to function.

forwardLookup

public java.util.Map<D,EdgeFunction<L>> forwardLookup(D sourceVal,
                                                      N target)

Returns, for a given source value and target statement all associated target values, and for each the associated edge function. The return value is a mapping from target value to function.

lookupByTarget

public java.util.Set<<any>> lookupByTarget(N target)

Returns for a given target statement all jump function records with this target. The return value is a set of records of the form (sourceVal,targetVal,edgeFunction).

removeFunction

public boolean removeFunction(D sourceVal,
                              N target,
                              D targetVal)

Removes a jump function. The source statement is implicit.

Returns:

True if the function has actually been removed. False if it was not there anyway.

See Also:

PathEdge

clear

public void clear()

Removes all jump functions