Message

class pantograph.message.Message(data: str, pos: pantograph.message.Position, pos_end: Optional[pantograph.message.Position] = None, severity: pantograph.message.Severity = <Severity.ERROR: 3>, kind: Optional[str] = None)

exception pantograph.message.ParseError

Indicates a logical error in the server.

class pantograph.message.Position(line: int, column: int)

Position in a file

exception pantograph.message.ServerError

Indicates a logical error in the server.

class pantograph.message.Severity(value, names=None, *, module=None, qualname=None, type=None, start=1, boundary=None)

exception pantograph.message.TacticFailure

Indicates a tactic failed to execute