Co-author:@volivan239

Description

Java enums allow users to declare anonymous classes corresponding to constants. These classes are commonly used to overloadtoString or methods declared in the enum class. These classes are not enums themselves. According to the comment in thejava.lang.Class#isEnum method:

        // An enum must both directly extend java.lang.Enum and have        // the ENUM bit set; classes for specialized enum constants        // don't do the former.

Suppose we have an enum:

public enum Foo {    A {        @Override        public String toString() { return "It's A"; }    },    B {        @Override        public String toString() { return "It's B"; }    }}

Anonymous inner classesFoo$1 andFoo$2 are (non-direct) subtypes ofjava.lang.Enum, but are not declared as enums, and are not considered enums from the point of view of the Java specification: their direct superclass isFoo.

These specialized anonymous classes do not have enum constants themselves, andgetEnumConstants method will returnnull for them.

Fixes#558

Type of Change

• Bug fix (non-breaking change which fixes an issue)
• Refactoring (typos and non-functional changes)

How Has This Been Tested?

Automated Testing

No new unit tests are added. All existing tests should pass.

Manual Scenario

Run the contest estimator oncom.google.common.base.CaseFormat class of the Guava library by editingmain function body inContestEstimator.kt:

methodFilter = "com.google.common.base.CaseFormat.*"projectFilter = null

Tests (probably with errors due to other issues) should be generated. Without the fix, aNullPointerException would be thrown, and no tests would be generated.

Checklist:

• The change followed the style guidelines of the UTBot project
• Self-review of the code is passed
• The change contains enough commentaries, particularly in hard-to-understand areas
• New documentation is provided or existed one is altered
• No new warnings
• New tests have been added
• All fuzzer tests pass locally with my changes