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

Uses of Position in de.firemage.autograder.span

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

Modifier and Type	Method	Description
Position	Span.end()	Returns the value of the end record component.
static Position	Position.fromOffset(int offset, CharSequence string)
Position	Span.start()	Returns the value of the start record component.

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

Modifier and Type	Method	Description
int	Position.compareTo(Position other)

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

Modifier	Constructor	Description
	Span(Position start, Position end)	Creates an instance of a Span record class.