🥮 mooncakes.io

    finos/morphir-execution/diagnostics does not have a README file

    DiagnosticError

    source
    pub(all) suberror DiagnosticError {
      InvalidDiagnostic(String)
    } derive(
    Debug    )

    Location

    source
    pub(all) struct Location {
      owner : String
      original : String
      allocated : String
      source : Span?
    } derive(Eq, 
    Debug    )

    Authored spelling and final allocation stay separate in each related location.

    Location::equal

    source
    fn Location::equal(Location, Location) -> Bool

    Location::not_equal

    source
    fn Location::not_equal(x : Location, y : Location) -> Bool

    Location::to_repr

    source

    Span

    source
    pub(all) struct Span {
      start_line : Int
      start_column : Int
      end_line : Int
      end_column : Int
    } derive(Eq, 
    Debug    )

    Parser coordinates, interpreted according to the warning's producer.

    Span::equal

    source
    fn Span::equal(Span, Span) -> Bool

    Span::not_equal

    source
    fn Span::not_equal(x : Span, y : Span) -> Bool

    Span::to_repr

    source

    Warning

    source
    pub(all) struct Warning {
      code : String
      stage : String
      message : String
      locations : Array[Location]
      fix : String
    } derive(Eq, 
    Debug    )

    A recoverable diagnostic independent of optional observation sinks.

    Warning::display

    source
    fn Warning::display(self : Warning) -> String

    Warning::equal

    source
    fn Warning::equal(Warning, Warning) -> Bool

    Warning::key

    source
    fn Warning::key(self : Warning) -> String

    Length prefixes prevent separator-bearing owner strings from aliasing keys.

    Warning::not_equal

    source
    fn Warning::not_equal(x : Warning, y : Warning) -> Bool

    Warning::to_ion

    source

    Warning::to_repr

    source

    warning_from_ion

    source
    fn warning_from_ion(value : 
    Ion    ) -> Warning? raise DiagnosticError

    Unknown provenance is preserved by the caller and is not a warning.

    Source Files