com.oracle.graal.pointsto.typestate

Class MultiTypeState.Range

java.lang.Object

com.oracle.graal.pointsto.typestate.MultiTypeState.Range

Enclosing class:

MultiTypeState

public static class MultiTypeState.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
protected static MultiTypeState.Range	range(int up, int low)
String	toString()

Methods inherited from class java.lang.Object

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

Field Detail

right

protected final int right

An exclusive right end point.

Method Detail

range

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

toString

public String toString()

Overrides:

toString in class Object