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
protected static BitSet	and(BitSet bs1, BitSet bs2) Logical AND two bit sets without modifying the source.
protected static BitSet	clear(BitSet bs1, int bitIndex) Sets the bit specified by the index to false without modifying the source.
static boolean	closeToAllInstantiated(PointsToAnalysis bb, TypeState state)
protected static AnalysisObject[]	concat(AnalysisObject[] oa1, AnalysisObject[] oa2)
protected static AnalysisObject[]	intersection(PointsToAnalysis bb, AnalysisObject[] a1, AnalysisObject[] a2) Returns the intersection of the two analysis object arrays of the same type.
protected static BitSet	or(BitSet bs1, BitSet bs2) Logical OR two bit sets without modifying the source.
protected static BitSet	set(BitSet bs1, int bitIndex) Sets the bit specified by the index to true without modifying the source.
protected 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, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Detail

TypeStateUtils

public TypeStateUtils()

Method Detail

concat

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

union

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

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

intersection

protected static AnalysisObject[] intersection(PointsToAnalysis bb,
                                               AnalysisObject[] a1,
                                               AnalysisObject[] a2)

Returns the intersection of the two analysis object arrays of the same type. If one of them contains a single context insensitive object, the other array is returned.

or

protected static BitSet or(BitSet bs1,
                           BitSet bs2)

Logical OR two bit sets without modifying the source.

and

protected static BitSet and(BitSet bs1,
                            BitSet bs2)

Logical AND two bit sets without modifying the source.

clear

protected static BitSet clear(BitSet bs1,
                              int bitIndex)

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

set

protected static BitSet set(BitSet bs1,
                            int bitIndex)

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

closeToAllInstantiated

public static boolean closeToAllInstantiated(PointsToAnalysis bb,
                                             TypeState state)