Class ExecutionTrace

java.lang.Object
org.eu.autogex.trace.ExecutionTrace
public class ExecutionTrace extends Object
Contains the complete chronological sequence of states evaluated by an automaton when processing a specific input string.

  • Constructor Details

    • ExecutionTrace

      public ExecutionTrace(String input, List<ExecutionStep> steps, boolean accepted)
      Constructs a new ExecutionTrace.
      Parameters:
      input - The original string evaluated.
      steps - The ordered list of execution steps.
      accepted - The final evaluation outcome.

  • Method Details

    • getInput

      public String getInput()
      Returns the original input string.
      Returns:
      The original input string.

    • getSteps

      public List<ExecutionStep> getSteps()
      Returns the list of execution steps.
      Returns:
      An immutable list containing all evaluation steps.

    • isAccepted

      public boolean isAccepted()
      Returns the final evaluation outcome.
      Returns:
      True if the automaton successfully accepted the string.

    • getFormattedTrace

      public String getFormattedTrace()
      Generates a beautifully formatted multiline string mapping the entire execution path. Useful for debugging and console outputs.
      Returns:
      The formatted trace log.