| Package | Description |
|---|---|
| org.sonar.java.se.checks | |
| org.sonar.java.se.constraint | |
| org.sonar.java.se.symbolicvalues |
| Modifier and Type | Method and Description |
|---|---|
Constraint |
DivisionByZeroCheck.ZeroConstraint.copyOver(RelationalSymbolicValue.Kind kind) |
| Modifier and Type | Method and Description |
|---|---|
default Constraint |
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.
|
| Modifier and Type | Field and Description |
|---|---|
protected RelationalSymbolicValue.Kind |
BinaryRelation.kind |
| Modifier and Type | Method and Description |
|---|---|
RelationalSymbolicValue.Kind |
RelationalSymbolicValue.Kind.inverse() |
RelationalSymbolicValue.Kind |
RelationalSymbolicValue.Kind.symmetric() |
static RelationalSymbolicValue.Kind |
RelationalSymbolicValue.Kind.valueOf(String name)
Returns the enum constant of this type with the specified name.
|
static RelationalSymbolicValue.Kind[] |
RelationalSymbolicValue.Kind.values()
Returns an array containing the constants of this enum type, in
the order they are declared.
|
| Constructor and Description |
|---|
RelationalSymbolicValue(RelationalSymbolicValue.Kind kind) |
Copyright © 2012–2017 SonarSource. All rights reserved.