- java.lang.Object
-
- swim.codec.Tag
-
public abstract class Tag extends Object implements Display, Debug
Description of a source location. Tags are used to annotate input sources, particularly fordiagnosticpurposes. AMarktag annotates a source position. ASpantag annotate a source range.- See Also:
Diagnostic
-
-
Constructor Summary
Constructors Constructor Description Tag()
-
Method Summary
All Methods Instance Methods Abstract Methods Modifier and Type Method Description abstract Markend()Returns the last source position covered by thisTag.abstract Tagshift(Mark mark)Returns the position of thisTagrelative to the givenmark.abstract Markstart()Returns the first source position covered by thisTag.abstract Tagunion(Tag other)Returns aTagthat includes all source locations covered by both this tag, and someothertag.
-
-
-
Method Detail
-
start
public abstract Mark start()
Returns the first source position covered by thisTag.
-
end
public abstract Mark end()
Returns the last source position covered by thisTag.
-
union
public abstract Tag union(Tag other)
Returns aTagthat includes all source locations covered by both this tag, and someothertag.
-
-