public static enum Clash.ClashType extends Enum<Clash.ClashType>
| Enum Constant and Description |
|---|
ATOMIC |
BOTTOM_PROP |
DISJOINT_PROPS |
EMPTY_DATATYPE |
FUNC_MAX_CARD |
INVALID_LITERAL |
MAX_CARD |
MAX_ZERO |
MIN_MAX |
MISSING_DATATYPE |
NOMINAL |
UNEXPLAINED |
VALUE_DATATYPE |
| Modifier and Type | Method and Description |
|---|---|
String |
getExplanation() |
static Clash.ClashType |
valueOf(String name)
Returns the enum constant of this type with the specified name.
|
static Clash.ClashType[] |
values()
Returns an array containing the constants of this enum type, in
the order they are declared.
|
public static final Clash.ClashType ATOMIC
public static final Clash.ClashType MIN_MAX
public static final Clash.ClashType MAX_CARD
public static final Clash.ClashType FUNC_MAX_CARD
public static final Clash.ClashType MAX_ZERO
public static final Clash.ClashType NOMINAL
public static final Clash.ClashType EMPTY_DATATYPE
public static final Clash.ClashType VALUE_DATATYPE
public static final Clash.ClashType MISSING_DATATYPE
public static final Clash.ClashType INVALID_LITERAL
public static final Clash.ClashType DISJOINT_PROPS
public static final Clash.ClashType BOTTOM_PROP
public static final Clash.ClashType UNEXPLAINED
public static Clash.ClashType[] values()
for (Clash.ClashType c : Clash.ClashType.values()) System.out.println(c);
public static Clash.ClashType valueOf(String name)
name - the name of the enum constant to be returned.IllegalArgumentException - if this enum type has no constant with the specified nameNullPointerException - if the argument is nullpublic String getExplanation()
Copyright © 2019. All rights reserved.