Uses of Record Class
de.firemage.autograder.span.Span

Uses of Span in de.firemage.autograder.span

Methods in de.firemage.autograder.span that return Span

Modifier and Type	Method	Description
static Span	Span.of(int lineNumber, String string)	Creates a span which covers the entire string.
Span	Span.relativeIntersection(Span other)
Span	Span.relativize(Span span)	Makes the given span relative to this span.
Span	Highlight.span()	Returns the value of the span record component.
Span	Text.span()	Returns the value of the span record component.

Methods in de.firemage.autograder.span that return types with arguments of type Span

Modifier and Type	Method	Description
Optional<Span>	Span.intersection(Span other)

Methods in de.firemage.autograder.span with parameters of type Span

Modifier and Type	Method	Description
boolean	Span.contains(Span span)
Optional<Span>	Span.intersection(Span other)
boolean	Span.isFollowedBy(Span other)
Span	Span.relativeIntersection(Span other)
Span	Span.relativize(Span span)	Makes the given span relative to this span.
Text	Text.subText(Span span)

Constructors in de.firemage.autograder.span with parameters of type Span

Modifier	Constructor	Description
	Highlight(Span span, Optional<String> label, Style style)	Creates an instance of a Highlight record class.
	Text(String text, Span span)	Creates an instance of a Text record class.