com.oracle.graal.pointsto.flow.context.bytecode

Class ContextSensitiveMultiTypeState.Range

java.lang.Object

com.oracle.graal.pointsto.flow.context.bytecode.ContextSensitiveMultiTypeState.Range

Enclosing class:

ContextSensitiveMultiTypeState

public static class ContextSensitiveMultiTypeState.Range
extends Object

A [left, right) range (interval), i.e., left is inclusive, right is exclusive. The values in the defined range can be naturally iterated using for(int i = left; i < right; i++) {} . A range with left equal to right is an empty range.

Field Summary

Fields

Modifier and Type	Field and Description
protected int	right An exclusive right end point.

Method Summary

Modifier and Type	Method and Description
int	left()
protected static ContextSensitiveMultiTypeState.Range	range(int up, int low)
int	right()
String	toString()

Methods inherited from class java.lang.Object

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

Field Detail

right

protected final int right

An exclusive right end point.

Method Detail

range

protected static ContextSensitiveMultiTypeState.Range range(int up,
                                                            int low)

left

public int left()

right

public int right()

toString

public String toString()

Overrides:

toString in class Object