Performs the given action for all key-value pairs contained in this multimap.

Returns the value of the bit with the specified index. The value is {@code true} if the bit with the index {@code bitIndex} is currently set in this {

Stores a key-value pair in this multimap. @return {@code true} if the multimap changed.

Creates a bit set that contains given bits.

Tests the elements in a given collection and returns a list of elements that can pass the test. The resulting list is unmodifiable.

Returns the number of bits of space actually in use by this {@code BitSet} to represent bit values. The maximum element in the set is the size - 1st e

@return the current {@code World} instance.

Returns true if this {@code BitSet} contains no bits that are set to {@code true}. @return boolean indicating whether this {@code BitSet} is empty

Returns {@code true} if this {@code BitSet} contains all set bits in the specified {@code BitSet}. @param set bit set to be checked for containment i

@return the type of this pointer

@return the context of the context-sensitive element.

@return true if this set contains given object, otherwise false.

Adds all objects in given pts to this set. @return true if this points-to set changed as a result of the call, otherwise false.

Sets the bit at the specified index to {@code true}. @param bitIndex a bit index @return {@code true} if this BitSet changed as a result of the call

@return whether this set if empty.

@return {@code true} if this multimap contains at least one key-value pair with the key {@code key}.

@return the number of objects in this set.

If the specified key-pair is not already associated with a value, attempts to compute its value using the given mapping function and enters it into th

@return the declaring class of the reference.

@return the IR of the method this CFG represents.

Stores a key-value pair in this multimap for each of {@code values}, all using the same key, {@code key}.=

@return the corresponding object of the given index.

Removes a single key-value pair with the key {@code key} and the value {@code value} from this multimap, if such exists. @return {@code true} if the

@return a context-sensitive variable for given context and variable.

@return the method this CFG represents.

@return pointer analysis result.

Sets the bit specified by the index to {@code false}. @param bitIndex the index of the bit to be cleared @return {@code true} if this BitSet changed

@return the method reference of this invoke. @see MethodRef

@return the base pointer analysis result.

@return type of this expression.

@return the allocation of the object.

Constructs a context by appending a context element to a parent context. The length of the resulting context will be restricted by given limit. @retu

Returns the "logical size" of this {@code BitSet}: the index of the highest set bit in the {@code BitSet} plus one. Returns zero if the {@code BitSet}

@return the i-th {@link Var} in this IR. The indexes start from 0.

@return an unmodifiable view of all key-value pairs contained in this multimap, as {@link Map.Entry} instances.

@return the invocation expression of this invoke. @see InvokeExp

@return an unmodifiable view of all <i>distinct</i> keys contained in this multimap. Note that the key set contains a key if and only if this multimap

@return the call site (without context).

Attempts to retrieve the method with the given name. @throws AmbiguousMemberException if this class has multiple methods

Retrieves variable from a call site and index.

@return a unique index for given node in this CFG.

Applies this function to the given arguments. @param t the first input argument @param u the second function argument @param v the third function arg

Removes all values associated with the key {@code key}. <p>Once this method returns, {@code key} will not be mapped to any values, so it will not app

@return an unmodifiable view collection containing the <i>value</i> from each key-value pair contained in this multimap, without collapsing duplicates

@return a {@link DotAttributes} containing attributes specified by input.

Adds an edge "source -> target" to the PFG.

Registers models for specific native methods.

@return the target node of the edge.

@return the source node of the edge.

Creates and returns a copy of this object. @return a copy of this object.

@return all annotations in this annotated object.