René's URL Explorer Experiment

{"@context":"https://schema.org","@type":"DiscussionForumPosting","headline":"Extract Traverser from UtBotSymbolicEngine","articleBody":"**Description**\r\n\r\nNow `UtBotSymbolicEngine` class consists of Soot traversing logic, working with symbolic variables and working with the state queue. We need to separate this logic into different classes. The first thing to do is to extract the traversal logic, as well as the logic of working with symbolic variables, into separate `Traverser` class.\r\n\r\nThis changes also requires `ExecutionState` to be refactored. We need somehow to distinguish different type of states, so it's proposed to define a common state interface and make inheritors:\r\n- TerminalState\r\n- ExecutionState\r\n\r\n**Expected behavior**\r\n\r\n`UtBotSymboicEngine.kt` is split into two parts:\r\n- UtBotSymbolicEngine.kt\r\n- Traverser.kt\r\n\r\n`ExecutionState` is refactored.\r\n\r\n**Potential alternatives**\r\n\r\nLeave all as it is.\r\n\r\n**Context**\r\n\r\nSee [this discussion](https://github.com/UnitTestBot/UTBotJava/discussions/84) on refactoring for more information.","author":{"url":"https://github.com/sergeypospelov","@type":"Person","name":"sergeypospelov"},"datePublished":"2022-06-21T09:27:18.000Z","interactionStatistic":{"@type":"InteractionCounter","interactionType":"https://schema.org/CommentAction","userInteractionCount":0},"url":"https://github.com/259/UTBotJava/issues/259"}