public class ConstantEnumeration extends AtomicDataRange
| Modifier and Type | Method and Description |
|---|---|
static ConstantEnumeration |
create(Constant[] constants) |
Constant |
getConstant(int index) |
LiteralDataRange |
getNegation() |
int |
getNumberOfConstants() |
boolean |
isAlwaysFalse() |
boolean |
isAlwaysTrue() |
String |
toString(Prefixes prefixes) |
isInternalDatatype, isNegatedInternalDatatypeequals, getClass, hashCode, notify, notifyAll, wait, wait, waitgetAritypublic int getNumberOfConstants()
public Constant getConstant(int index)
index - indexpublic LiteralDataRange getNegation()
getNegation in class AtomicDataRangepublic boolean isAlwaysTrue()
isAlwaysTrue in class DataRangepublic boolean isAlwaysFalse()
isAlwaysFalse in class DataRangepublic String toString(Prefixes prefixes)
toString in interface DLPredicatetoString in class DataRangeprefixes - prefixespublic static ConstantEnumeration create(Constant[] constants)
constants - constantsCopyright © 2020. All rights reserved.