public static class NumberDomain.Range extends Object
| Constructor and Description |
|---|
Range(String min,
boolean minExclusive,
String max,
boolean maxExclusive,
Set<String> excluded)
Creates a new Range instance.
|
| Modifier and Type | Method and Description |
|---|---|
Set<String> |
getExcluded()
Returns the values excluded from this range.
|
String |
getMax()
Returns the maximum of this range.
|
String |
getMin()
Returns the minimum of this range.
|
boolean |
isConstant()
Return true if this range contains a single constant value.
|
boolean |
isMaxExclusive()
Returns true if the maximum is exclusive.
|
boolean |
isMinExclusive()
Returns true if the minimum is exclusive.
|
static NumberDomain.Range |
of(String op,
String bound)
Returns the Range represented by the given number binding.
|
static NumberDomain.Range |
of(VarBinding binding)
Returns the Range represented by the given number binding.
|
String |
toString() |
public String getMin()
public boolean isMinExclusive()
public String getMax()
public boolean isMaxExclusive()
public boolean isConstant()
public static NumberDomain.Range of(String op, String bound)
public static NumberDomain.Range of(VarBinding binding)
Copyright © 2020 The Cornutum Project. All rights reserved.