Package com.ibm.wala.dataflow.IFDS

Class UnorderedDomain<T,U>

java.lang.Object

com.ibm.wala.util.intset.MutableMapping<T>

com.ibm.wala.dataflow.IFDS.UnorderedDomain<T,U>

All Implemented Interfaces:

TabulationDomain<T,U>, OrdinalSetMapping<T>, Serializable, Iterable<T>

public class UnorderedDomain<T,U>
extends MutableMapping<T>
implements TabulationDomain<T,U>

A TabulationDomain with no build-in partial order defining priority.

See Also:

• Serialized Form

Constructor Summary

Constructors

Constructor	Description
UnorderedDomain()

Method Summary

Modifier and Type	Method	Description
boolean	hasPriorityOver(PathEdge<U> p1, PathEdge<U> p2)	returns true if p1 should be processed before p2 by the TabulationSolver

Methods inherited from class com.ibm.wala.util.intset.MutableMapping

add, deleteMappedObject, getMappedIndex, getMappedObject, getMaximumIndex, getObjects, getSize, hasMappedIndex, iterator, make, makeSingleton, put, replace, stream, toString

Methods inherited from class java.lang.Object

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

Methods inherited from interface java.lang.Iterable

forEach, iterator, spliterator

Methods inherited from interface com.ibm.wala.util.intset.OrdinalSetMapping

add, getMappedIndex, getMappedObject, getMaximumIndex, getSize, hasMappedIndex, stream

Constructor Details

UnorderedDomain

public UnorderedDomain()

Method Details

hasPriorityOver

public boolean hasPriorityOver(PathEdge<U> p1,
 PathEdge<U> p2)

Description copied from interface: TabulationDomain

returns true if p1 should be processed before p2 by the TabulationSolver

For example, if this domain supports a partial order on facts, return true if p1.d2 is weaker than p2.d2 (intuitively p1.d2 meet p2.d2 = p1.d2)

return false otherwise

Specified by:

hasPriorityOver in interface TabulationDomain<T,U>