Feedback: Error

Jump to bottom

Romain Tetley edited this page Oct 28, 2024 · 1 revision

Issued, for example, when a processed tactic has failed or is unknown. The error offsets may both be 0 if there is no particular syntax involved.

Note: offsets treat all newlines (e.g. "\r\n") as one character.

<feedback object="state" route="0">
  <state_id val="${stateId}"/>
  <feedback_content val="errormsg">
    <loc start="${sentenceOffsetBegin}" stop="${sentenceOffsetEnd}"/>
    <string>${errorMessage}</string>
  </feedback_content>
</feedback>