com.oracle.graal.pointsto.typestate

Class TypeStateUtils

java.lang.Object

com.oracle.graal.pointsto.typestate.TypeStateUtils

public class TypeStateUtils
extends Object

Helper methods for type state.

Constructor Summary

Constructors

Constructor and Description
TypeStateUtils()

Method Summary

Modifier and Type	Method and Description
static BitSet	and(BitSet bs1, BitSet bs2) Logical AND two bit sets without modifying the source.
static BitSet	andNot(BitSet bs1, BitSet bs2) Logical AND-NOT of the two bit sets, i.e., clearing all bits in first operand whose corresponding bits are set in the second one, without modifying the source.
static BitSet	clear(BitSet bs1, int bitIndex) Sets the bit specified by the index to false without modifying the source.
static boolean	closeToAllInstantiated(BigBang bb, List<AnalysisType> state)
static boolean	closeToAllInstantiated(BigBang bb, TypeState state)
static AnalysisObject[]	concat(AnalysisObject[] oa1, AnalysisObject[] oa2)
static long[]	extractBitSetField(BitSet bitSet) This method gives access to the java.lang.BitSet's array of bytes.
static boolean	getSizeIsSticky(BitSet bitSet)
static int	getWordsInUse(BitSet bitSet)
static boolean	holdsSingleTypeState(AnalysisObject[] objects)
static boolean	holdsSingleTypeState(AnalysisObject[] objects, int size)
static boolean	isContextInsensitiveTypeState(BigBang bb, TypeState state) Check if a type state contains only context insensitive objects, i.e., the only information it stores is the set of types.
static boolean	isSuperset(BitSet first, BitSet second) Return true if first is a superset of second.
static boolean	needsTrim(BitSet bitSet)
static BitSet	newBitSet(int index1, int index2) Create a new bit set with the bits of the inputs IDs set.
static BitSet	or(BitSet bs1, BitSet bs2) Logical OR two bit sets without modifying the source.
static BitSet	set(BitSet bs1, int bitIndex) Sets the bit specified by the index to true without modifying the source.
static AnalysisObject[]	union(PointsToAnalysis bb, AnalysisObject[] a1, AnalysisObject[] a2) Returns the union of the two analysis object arrays of the same type.

Methods inherited from class java.lang.Object

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

Constructor Detail

TypeStateUtils

public TypeStateUtils()

Method Detail

extractBitSetField

public static long[] extractBitSetField(BitSet bitSet)

This method gives access to the java.lang.BitSet's array of bytes. We need that array for performance reasons (~30% reduction in GC pressure) so we use reflection to get the value of the array.

Parameters:

bitSet - to be intruded

Returns:

the array belonging to the bitSet. Please use this value responsibly: not modify or loose track of this value.

getWordsInUse

public static int getWordsInUse(BitSet bitSet)

getSizeIsSticky

public static boolean getSizeIsSticky(BitSet bitSet)

needsTrim

public static boolean needsTrim(BitSet bitSet)

isSuperset

public static boolean isSuperset(BitSet first,
                                 BitSet second)

Return true if first is a superset of second.

concat

public static AnalysisObject[] concat(AnalysisObject[] oa1,
                                      AnalysisObject[] oa2)

union

public static AnalysisObject[] union(PointsToAnalysis bb,
                                     AnalysisObject[] a1,
                                     AnalysisObject[] a2)

Returns the union of the two analysis object arrays of the same type.

isContextInsensitiveTypeState

public static boolean isContextInsensitiveTypeState(BigBang bb,
                                                    TypeState state)

Check if a type state contains only context insensitive objects, i.e., the only information it stores is the set of types.

holdsSingleTypeState

public static boolean holdsSingleTypeState(AnalysisObject[] objects)

holdsSingleTypeState

public static boolean holdsSingleTypeState(AnalysisObject[] objects,
                                           int size)

or

public static BitSet or(BitSet bs1,
                        BitSet bs2)

Logical OR two bit sets without modifying the source.

and

public static BitSet and(BitSet bs1,
                         BitSet bs2)

Logical AND two bit sets without modifying the source.

andNot

public static BitSet andNot(BitSet bs1,
                            BitSet bs2)

Logical AND-NOT of the two bit sets, i.e., clearing all bits in first operand whose corresponding bits are set in the second one, without modifying the source.

clear

public static BitSet clear(BitSet bs1,
                           int bitIndex)

Sets the bit specified by the index to false without modifying the source.

set

public static BitSet set(BitSet bs1,
                         int bitIndex)

Sets the bit specified by the index to true without modifying the source.

newBitSet

public static BitSet newBitSet(int index1,
                               int index2)

Create a new bit set with the bits of the inputs IDs set.

closeToAllInstantiated

public static boolean closeToAllInstantiated(BigBang bb,
                                             TypeState state)

closeToAllInstantiated

public static boolean closeToAllInstantiated(BigBang bb,
                                             List<AnalysisType> state)