Class WrongPragmaOptionError

A Lexer warning signaling that a pragma option is wrong wrt that given to the Gobstones lexer in the WordsDef argument.

Constructors

new WrongPragmaOptionError(optionPragma, selectedOption, baseOption, span?): WrongPragmaOptionError
The constructor for Gobstones lexer WrongPragmaOptionError warning.
Parameters
- optionPragma: string
- selectedOption: string
  A string indicating the selected value for the pragma option.
- baseOption: string
  A string indicating the value for the pragma option used by the LexerG.
- Optional span: Span
  The span in the source where the token where error was detected started. It may be undefined, in which case an Unknown span is used (with both start and end as UnknownPosition).
Returns WrongPragmaOptionError
Overrides LexerGError.constructor