public class DataRanges extends java.util.HashMap<Variable,Range>
| Modifier and Type | Field and Description |
|---|---|
static int |
ADDED_RANGE |
static int |
MODIFIED_RANGE |
static int |
NO_CHANGE |
static int |
REMOVED_RANGE |
| Constructor and Description |
|---|
DataRanges() |
DataRanges(DataRanges ranges) |
| Modifier and Type | Method and Description |
|---|---|
Range |
get(java.lang.Object key) |
java.util.Set<Variable> |
keySet() |
java.lang.String |
toString() |
int |
update(Variable var,
Range range) |
public static final int NO_CHANGE
public static final int ADDED_RANGE
public static final int REMOVED_RANGE
public static final int MODIFIED_RANGE
public DataRanges()
public DataRanges(DataRanges ranges)