attribute unparse

In file: Location.sv

aspect production loc

top ::= filename::String line::Integer column::Integer endLine::Integer endColumn::Integer index::Integer endIndex::Integer

In file: Location.sv

aspect production txtLoc

top ::= text::String

In file: Location.sv

nonterminal Message

In file: Message.sv

abstract production err

top::Message ::= l::Location m::String

In file: Message.sv

abstract production wrn

top::Message ::= l::Location m::String

In file: Message.sv

abstract production info

top::Message ::= l::Location m::String

In file: Message.sv

abstract production nested

top::Message ::= l::Location m::String others::[Message]

In file: Message.sv

function nestedOutputHelper

String ::= header::String msg::Message

In file: Message.sv

function containsErrors

Boolean ::= l::[Message] wError::Boolean

In file: Message.sv

function messagesToString

String ::= msgs::[Message]

In file: Message.sv

function messageLte

Boolean ::= m1::Message m2::Message

In file: Message.sv