public static enum DivisionByZeroCheck.ZeroConstraint extends Enum<DivisionByZeroCheck.ZeroConstraint> implements Constraint
| Modifier and Type | Method and Description |
|---|---|
Constraint |
copyOver(RelationalSymbolicValue.Kind kind)
Return constraint which should be applied to the rhs of the relation,
if this constraint is set on the lhs of the relation.
|
Constraint |
inverse() |
boolean |
isValidWith(Constraint constraint) |
String |
valueAsString() |
static DivisionByZeroCheck.ZeroConstraint |
valueOf(String name)
Returns the enum constant of this type with the specified name.
|
static DivisionByZeroCheck.ZeroConstraint[] |
values()
Returns an array containing the constants of this enum type, in
the order they are declared.
|
public static final DivisionByZeroCheck.ZeroConstraint ZERO
public static final DivisionByZeroCheck.ZeroConstraint NON_ZERO
public static DivisionByZeroCheck.ZeroConstraint[] values()
for (DivisionByZeroCheck.ZeroConstraint c : DivisionByZeroCheck.ZeroConstraint.values()) System.out.println(c);
public static DivisionByZeroCheck.ZeroConstraint 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 valueAsString()
valueAsString in interface Constraintpublic boolean isValidWith(@Nullable Constraint constraint)
isValidWith in interface Constraint@Nullable public Constraint copyOver(RelationalSymbolicValue.Kind kind)
ConstraintcopyOver in interface Constraintkind - kind of relation over which constraint is copiedpublic Constraint inverse()
inverse in interface ConstraintCopyright © 2012–2017 SonarSource. All rights reserved.