Feedback: Custom

A feedback message that Coq plugins can use to return structured results. Optionally, startPos and stopPos define a range of offsets in the document that the message refers to; otherwise, they will be 0. customTag is indended as a unique string that identifies what kind of payload is contained in customXML.

<feedback object="state" route="0">
  <state_id val="${stateId}"/>
  <feedback_content val="custom">
    <loc start="${startPos}" stop="${stopPos}"/>
    <string>${customTag}</string>
    ${customXML}
  </feedback_content>
</feedback>

Examples:

• LtacProf