René's URL Explorer Experiment

{"@context":"https://schema.org","@type":"DiscussionForumPosting","headline":"Do not set final fields with direct accessors in UtAssembleModel","articleBody":"Suppose we have a class with a public final field whose content can be modified (e.g., an array):\r\n\r\n```\r\npublic class PublicFinalFieldExample {\r\n  public final int[] data = {1, 2};\r\n \r\n  public boolean foo(int x) {\r\n     return x == data[0];\r\n  }\r\n}\r\n```\r\nExpected behavior: \r\nUtAssembleModel is not created, final field is set via reflection.\r\n\r\nActual behavior:\r\nThe generated tests for foo contain the direct assignment to the data field instead of assignment to the array elements or changing the field value using reflection:\r\n\r\n```\r\n@Test\r\n--\r\n@DisplayName(\"foo: return data[0] == x : False -\u003e return data[0] == x\")\r\npublic void testFoo_0OfDataNotEqualsX() throws Throwable {\r\n  PublicFinalArrayExample publicFinalArrayExample = new PublicFinalArrayExample();\r\n  int[] intArray = new int[1];\r\n  intArray[0] = 1;\r\n  publicFinalArrayExample.data = intArray; // Error: this line does not compile\r\n \r\n  boolean actual = publicFinalArrayExample.foo(-224);\r\n \r\n  assertFalse(actual);\r\n}\r\n```\r\n\r\nTesting instructions:\r\nAssembleModelGeneratorTests should be enlarged with one more test for objects with final fields.\r\nOther tests should still pass.","author":{"url":"https://github.com/EgorkaKulikov","@type":"Person","name":"EgorkaKulikov"},"datePublished":"2022-05-24T13:31:45.000Z","interactionStatistic":{"@type":"InteractionCounter","interactionType":"https://schema.org/CommentAction","userInteractionCount":0},"url":"https://github.com/14/UTBotJava/issues/14"}