René's URL Explorer Experiment

Title: Stricter check for enum classes in EnumModelProvider #558 by dtim · Pull Request #559 · UnitTestBot/UTBotJava · GitHub

Open Graph Title: Stricter check for enum classes in EnumModelProvider #558 by dtim · Pull Request #559 · UnitTestBot/UTBotJava

X Title: Stricter check for enum classes in EnumModelProvider #558 by dtim · Pull Request #559 · UnitTestBot/UTBotJava

Description: Co-author: @volivan239 Description Java enums allow users to declare anonymous classes corresponding to constants. These classes are commonly used to overload toString or methods declared in the enum class. These classes are not enums themselves. According to the comment in the java.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 classes Foo$1 and Foo$2 are (non-direct) subtypes of java.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 is Foo. These specialized anonymous classes do not have enum constants themselves, and getEnumConstants method will return null 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 on com.google.common.base.CaseFormat class of the Guava library by editing main function body in ContestEstimator.kt: methodFilter = "com.google.common.base.CaseFormat.*" projectFilter = null Tests (probably with errors due to other issues) should be generated. Without the fix, a NullPointerException 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

Open Graph Description: Co-author: @volivan239 Description Java enums allow users to declare anonymous classes corresponding to constants. These classes are commonly used to overload toString or methods declared in the en...

X Description: Co-author: @volivan239 Description Java enums allow users to declare anonymous classes corresponding to constants. These classes are commonly used to overload toString or methods declared in the en...

Opengraph URL: https://github.com/UnitTestBot/UTBotJava/pull/559

X: @github

direct link

Domain: github.com

Links:

Viewport: width=device-width