JavaScript is not currently enabled, but is required for full CodeSonar manual search and browse functionality.
If you are viewing this file in your hub's Web GUI, enable JavaScript in your browser: you will also need it for GUI functionality.
If you opened this file directly from disk, your browser may be directly suppressing JavaScript functionality: certain browsers perform this suppression on local files (but not files delivered by web servers) for security reasons.
| CodeSonar® 9.2p0 | CONFIDENTIAL | CodeSecure Inc |
A method or constructor is not called.
Methods or constructors never used in the code are often harmless, except for an increase in size of the application. In some cases, however, unused methods are the sign of a stale application interface that needs cleaning or of the necessity to introduce an abstract method.
| Class Name | Unused Method (Java) | |||
|---|---|---|---|---|
| Significance | reliability | |||
| Mnemonic | JAVA.STRUCT.UUMETH | |||
| Categories |
|
|||
| Availability | Available for Java and Kotlin. |
|||
| Enabling | Checks for this warning class are enabled by
default. To disable them, add the following WARNING_FILTER rule to the
project configuration file.
WARNING_FILTER += discard class="Unused Method (Java)" |
In the following code, the implementation of method m inside class A is never called: only its redefinitions inside classes B and C are called.
// Main.java
public class Main {
public static void main(String[] args) {
A b = new B();
A c = new C();
test(b);
test(c);
}
private static void test(A a) {
System.out.println(a.m(13));
}
}
// A.java public class A { public int m(int p) { // "Unreachable Code (Java)" warning issued here // if JAVA_ANALYSIS_ENTRY_POINTS_MODE is set to ONLY_EXPLICIT_ENTRIES or ONLY_STANDARD_ENTRIES return p + 1; } }
// B.java
public class B extends A {
@Override
public int m(int p) {
return p + 2;
}
}
// C.java
public class C extends A {
@Override
public int m(int p) {
return p * 2;
}
}
A possible resolution is to introduce an abstract definition for m inside class A and make the class A itself abstract:
// A.java, after modification
public abstract class A {
public abstract int m(int p);
}
Verify if the application interface can be simplified or an abstract method could replace a non-abstract method.
The following configuration file parameters affect checks for this warning class.
To report problems with this documentation, please visit https://support.codesecure.com/.