saealib.core.compiler.Diagnostic#

class saealib.core.compiler.Diagnostic(*, severity, code, message, path, related=(), resolutions=())[source]#

Bases: object

A structured compiler finding attached to a contract path.

Parameters:

  • severity (Severity)

  • code (str)

  • message (str)

  • path (ContractPath)

  • related (tuple[ContractPath, ...])

  • resolutions (tuple[str, ...])

Methods

__init__

Method Details

Diagnostic.__init__(*, severity, code, message, path, related=(), resolutions=())#
Parameters:

  • severity (Severity)

  • code (str)

  • message (str)

  • path (ContractPath)

  • related (tuple[ContractPath, ...])

  • resolutions (tuple[str, ...])

Return type:

None