java.lang.Object
swim.codec.Tag
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.- See Also:
-
Method Summary
Modifier and TypeMethodDescriptionabstract Mark
end()
Returns the last source position covered by thisTag
.abstract Tag
Returns the position of thisTag
relative to the givenmark
.abstract Mark
start()
Returns the first source position covered by thisTag
.abstract Tag
Returns aTag
that includes all source locations covered by both this tag, and someother
tag.
-
Method Details
-
start
Returns the first source position covered by thisTag
. -
end
Returns the last source position covered by thisTag
. -
union
Returns aTag
that includes all source locations covered by both this tag, and someother
tag. -
shift
Returns the position of thisTag
relative to the givenmark
.
-