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 © 2024 The Cornutum Project. All rights reserved.