Description of a source location. Tags are used to annotate input sources, particularly for diagnostic purposes. A Mark tag annotates a source position. A Span tag annotate a source range.
Diagnostic
Returns the last source position covered by this Tag.
Tag
Returns the position of this Tag relative to the given mark.
mark
Returns the first source position covered by this Tag.
Returns a Tag that includes all source locations covered by both this tag, and that tag.
that
Description of a source location. Tags are used to annotate input sources, particularly for diagnostic purposes. A Mark tag annotates a source position. A Span tag annotate a source range.
Diagnostic