René's URL Explorer Experiment

{"@context":"https://schema.org","@type":"DiscussionForumPosting","headline":"No tests are generated for methods in enums with nested anonymous classes","articleBody":"**Description**\r\n\r\nNo tests can't be generated by the symbolic engine for methods in enum classes whose values have corresponding anonymous classes.\r\n\r\nNote: I am not currently sure that there are no cases where tests would be generated, this question has to be investigated. See #300 for a sample configuration for the contest estimator that will be useful for collecting data.\r\n\r\n**To Reproduce**\r\n\r\nGenerate the test suite for the `State.findStateByCode()` method in the following code.\r\n```\r\npublic enum State {\r\n    OPEN(255) {\r\n        @Override\r\n        public String toString() {\r\n            return \"\u003copen\u003e\";\r\n        }\r\n    },\r\n    CLOSED(127) {\r\n        @Override\r\n        public String toString() {\r\n            return \"\u003cclosed\u003e\";\r\n        }\r\n    },\r\n    UNKNOWN(0) {\r\n        @Override\r\n        public String toString() {\r\n            return \"\u003cunknown\u003e\";\r\n        }\r\n    };\r\n\r\n    private final int code;\r\n\r\n    State(int code) {\r\n        this.code = code;\r\n    }\r\n    \r\n    public int getCode() {\r\n        return code;\r\n    }\r\n\r\n    public static State findStateByCode(int code) {\r\n        for (State state: values()) {\r\n            if (state.getCode() == code) {\r\n                return state;\r\n            }\r\n        }\r\n        return UNKNOWN;\r\n    }\r\n}\r\n\r\n```\r\n\r\n**Expected behavior**\r\n\r\nA non-empty test suite should be generated, no errors should be reported.\r\n\r\n**Actual behavior**\r\n\r\nNo tests are generated, the error message is displayed: \"UtBot failed to generate any test cases for class State\".\r\n\r\n**Environment**\r\n\r\nThis behavior does not depend on the specific test framework configuration and mocking settings. It can be reproduced in both Java 8 and Java 11, as well as on fuzzer settings.\r\n\r\n**Additional context**\r\n\r\nEnum constructor does not prevent test generation, anonymous nested classes do.\r\n\r\nThe issue is probably related to the limited support of anonymous classes in the code generator. It may be reproduced even with fuzzing turned on, and even with fuzzing only, so it seems that it is a codegen error. At the same time, anonymous class processing in the symbolic engine should be checked too.\r\n","author":{"url":"https://github.com/dtim","@type":"Person","name":"dtim"},"datePublished":"2022-07-30T20:02:42.000Z","interactionStatistic":{"@type":"InteractionCounter","interactionType":"https://schema.org/CommentAction","userInteractionCount":1},"url":"https://github.com/617/UTBotJava/issues/617"}