René's URL Explorer Experiment

{"@context":"https://schema.org","@type":"DiscussionForumPosting","headline":"Make UtEnumConstantModel and UtClassRefModel subclasses of UtReferenceModel","articleBody":"**Description**\r\n\r\nAlthough `Enum` is a reference type, `UtEnumConstantModel` is not currently a subtype of `UtReferenceModel` and does not have any `id` that would allow the reference comparison of `Enum` values. As a result, we can't use `Enum` values as elements of generic collections (`Map\u003cK, V\u003e`, `List\u003cE\u003e` etc).\r\n\r\nThe intended solution:\r\n  * `UtEnumConstantModel` and `UtClassRefModel` should be subtypes of `UtReferenceModel`.\r\n  * The address assigned to a `UtEnumConstantModel` should be equal to one and only one address assigned to models of the static fields of the corresponding `Enum` class, and reference equality must hold.\r\n  * The addresses should be assigned to `UtClassRefModel` with respect to class equality condition: all models of the same class should have the same address, models of different classes should have different addresses,\r\n\r\nRelated issue: #230 \r\n\r\n**Expected behavior**\r\n\r\n`UtEnumConstantModel` is a subtype of `UtReferenceModel`, and enum values can be used as elements of any generic collection.\r\n\r\n**Environment**\r\n\r\nThe intended behavior does not depend on any specific environment.\r\n","author":{"url":"https://github.com/dtim","@type":"Person","name":"dtim"},"datePublished":"2022-07-05T10:09:28.000Z","interactionStatistic":{"@type":"InteractionCounter","interactionType":"https://schema.org/CommentAction","userInteractionCount":0},"url":"https://github.com/414/UTBotJava/issues/414"}