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)