Iterates all set bits in this set and takes action on them.

Returns a largest int on this priority queue. @return a largest int on this priority queue @throws NoSuchElementException if this priority queue is e

@return true if this analysis needs to perform transfer for given edge, otherwise false.

@return new fact in boundary conditions, i.e., the fact for entry (exit) node in forward (backward) analysis.

Stores the analysis result with the key.

Coverts string to index.

Converts a CSObj of string constant to corresponding String. If the object is not a string constant, then return null.

@return an unmodifiable view of all <i>distinct</i> two-key pairs contained in this two-key map. Note that the result contains a two-key pair if and o

Performs a logical <b>AND</b> of this target bit set with the argument bit set. This bit set is modified so that each bit in it has the value {@code t

Concatenates two lists and removes duplicate items in the resulting list.

@return all call edges in this call graph.

The valid automaton states for ending a {@link #visitClassBound()} method call are: <ul> <li>{@link #visitFormalTypeParameter(String)}</li> <l

The valid automaton states for ending a {@link #visitInterfaceBound()} method call are: <ul> <li>{@link #visitFormalTypeParameter(String)}</li>

Ensures that the BitSet can hold enough words. @param wordsRequired the minimum acceptable number of words.

Ensure {@link #relevantStmts} points to an instance other than {@link RelevantStmts#EMPTY}.

@return the value of given variable in this fact, or UNDEF the variable is absent in this fact.

@return the method containing the allocation site of this object. For some special objects, e.g., string constants, which are not allocated in any met

@return the dominators of {@code node}.

@return the number of in edges of the given node.

@return the kind of the edge. @see CFGEdge.Kind

Given a JClass, Type, or ClassMember, return the corresponding meta object. @throws IllegalArgumentException if type of {@code classOrTypeOrMember}

@return the method containing this Var.

Obtains a method by its signature. @param methodSig of the method @return the {@link JMethod} for signature if found; otherwise, null. @throws pascal

@return the nodes dominated by the {@code dominator}.

@return set of Obj pointed to by var.

Obtains the required analyses of given analysis (represented by AnalysisConfig). This computation is based on the options given in PlanConfig, thus th

@return the return variable of the IR being built.

@return a list of right-value expressions used in this Stmt.

@return a list of expressions which are used by (contained in) this Exp.

@return the variables in this IR.

Analyzes the static initializer (i.e., &lt;clinit&gt;) of given class. @param cls the class to be initialized.

@return true if the given node is the entry of this CFG, otherwise false.

@return true if the given node is the exit of this CFG, otherwise false.

Helper functions for compares and swaps.

@return a context with last k elements of given context.

Returns the index of the first bit that is set to {@code true} that occurs on or after the specified starting index. If no such bit exists then {@code

Sets the field wordsInUse to the logical size in words of the bit set. WARNING:This method assumes that the number of words actually in use is less th

Resize the bit array. Moves the entries in the bits array of this SparseBitSet into an array whose size (which may be larger or smaller) is the given

Selects heap contexts for new-created abstract objects. @param method the (context-sensitive) method that contains the allocation site

Converts a collection to a string. The elements in the collection are <b>sorted</b> by their string representation (in alphabet order) in the resultin

Converts a CSObj of class to corresponding type. If the object is not a class constant, then return null.

Node Transfer function for the analysis. The function transfers data-flow from in (out) fact to out (in) fact for forward (backward) analysis. @retur

Performs a logical <b>XOR</b> of this bit set with the bit set argument. This bit set is modified so that a bit in it has the value {@code true} if an

Adds an obj to this model. This method also sets index for given obj. Each obj should be passed to this method only once.

Adds new invokedynamic call edge. The callee is decided by given receiver object (may be null) and MethodHandle.