spot::hoa_abort Struct Reference

Exception thrown by the HOA lexer upon reading an "--ABORT--" marker. More...

#include <spot/parseaut/parsedecl.hh>

Collaboration diagram for spot::hoa_abort:

Public Attributes
spot::location	pos
	Location of the abort marker.

Detailed Description

Exception thrown by the HOA lexer upon reading an "--ABORT--" marker.

Member Data Documentation

pos

spot::location spot::hoa_abort::pos

Location of the abort marker.

---

The documentation for this struct was generated from the following file:

• spot/parseaut/parsedecl.hh