titus.errors.PFASemanticException

class titus.errors.PFASemanticException(message, pos)[source]

Bases: titus.errors.PFAException

Exception for PFA semantic errors (higher-level PFA rules are broken, such as type mismatches).

__init__(message, pos)
Parameters:
  • message (string) – semantic error message
  • pos (string or None) – source file position