2023-10-18 14:26:59 +02:00
|
|
|
include::../description-common.adoc[]
|
2023-08-17 15:53:33 +02:00
|
|
|
|
2023-10-18 14:26:59 +02:00
|
|
|
=== Code examples
|
2023-08-17 15:53:33 +02:00
|
|
|
|
2023-10-18 14:26:59 +02:00
|
|
|
==== Noncompliant code example
|
2023-08-17 15:53:33 +02:00
|
|
|
|
2023-10-18 14:26:59 +02:00
|
|
|
[source,java,diff-id=1,diff-type=noncompliant]
|
2023-08-17 15:53:33 +02:00
|
|
|
----
|
2023-10-18 14:26:59 +02:00
|
|
|
public class MyClass {
|
|
|
|
public void doThings(boolean b, boolean c) {
|
|
|
|
a = true;
|
|
|
|
if (a) { // Noncompliant
|
|
|
|
doSomething();
|
|
|
|
}
|
|
|
|
|
|
|
|
if (b && a) { // Noncompliant; "a" is always "true"
|
|
|
|
doSomething();
|
|
|
|
}
|
|
|
|
|
|
|
|
if (c || !a) { // Noncompliant; "!a" is always "false"
|
|
|
|
doSomething();
|
|
|
|
}
|
|
|
|
|
|
|
|
if (c || (!c && b)) { // Noncompliant; c || (!c && b) is equal to c || b
|
|
|
|
doSomething();
|
|
|
|
}
|
|
|
|
}
|
2023-08-17 15:53:33 +02:00
|
|
|
}
|
|
|
|
----
|
|
|
|
|
2023-10-18 14:26:59 +02:00
|
|
|
==== Compliant solution
|
2023-08-17 15:53:33 +02:00
|
|
|
|
2023-10-18 14:26:59 +02:00
|
|
|
[source,java,diff-id=1,diff-type=compliant]
|
2023-08-17 15:53:33 +02:00
|
|
|
----
|
2023-10-18 14:26:59 +02:00
|
|
|
public class MyClass {
|
|
|
|
public void doThings(boolean b, boolean c) {
|
|
|
|
a = true;
|
|
|
|
if (foo(a)) {
|
|
|
|
doSomething();
|
|
|
|
}
|
|
|
|
|
|
|
|
if (b) {
|
|
|
|
doSomething();
|
|
|
|
}
|
|
|
|
|
|
|
|
if (c) {
|
|
|
|
doSomething();
|
|
|
|
}
|
|
|
|
|
|
|
|
if (c || b) {
|
|
|
|
doSomething();
|
|
|
|
}
|
|
|
|
}
|
2023-08-17 15:53:33 +02:00
|
|
|
}
|
|
|
|
----
|
|
|
|
|
|
|
|
include::../see.adoc[]
|
2021-06-02 20:44:38 +02:00
|
|
|
|
2021-06-03 09:05:38 +02:00
|
|
|
ifdef::env-github,rspecator-view[]
|
2021-09-20 15:38:42 +02:00
|
|
|
|
|
|
|
'''
|
|
|
|
== Implementation Specification
|
|
|
|
(visible only on this page)
|
|
|
|
|
|
|
|
include::../message.adoc[]
|
|
|
|
|
|
|
|
include::../highlighting.adoc[]
|
|
|
|
|
2021-06-08 15:52:13 +02:00
|
|
|
'''
|
2021-06-02 20:44:38 +02:00
|
|
|
== Comments And Links
|
|
|
|
(visible only on this page)
|
|
|
|
|
|
|
|
include::../comments-and-links.adoc[]
|
2023-06-22 10:38:01 +02:00
|
|
|
|
2021-06-03 09:05:38 +02:00
|
|
|
endif::env-github,rspecator-view[]
|