A user that is authenticated by a JWT:

A grouped collection of some type that allows iteration. @param <T> th type of the collection

A single check that can validate some class properties. It accepts a single {@link CompiledFile} and can use its source or bytecode to make a decision

An exception while parsing a check.

A parser for a check. @param <T> the type of the check

Contains parsers that parse some input to a proper check.

The result of executing a single {@link Check}.

A class that runs a given suit of tests against a {@link CompiledSubmission}, reporting the output.

A class that can (de-)serialize checks to/from json.

Represents an operation that accepts a single input argument, returns no result but could possibly throw an exception. @param <T> the type of the inp

Represents a function that accepts a single input argument, returns a result and could possibly throw an exception. @param <T> the type of the input

A manager for compiled class files.

A matcher for comments.

A parser for comments

The compiler output for a whole collection of files.

A submitted file that was successfully compiled.

Returns a compiled version of a Submission.

A compiler that is able to compile a {@link Submission}.

A complete task that can be passed to the input of an Executor.

A helper to create a configured {@link Gson} instance.

Allows read only access to a database.

Allows read and write access to a database.

Provides access to a database.

A matcher matching error messages.

Allows capturing {@link System#err}.

A {@link Parser} for an {@link ErrorIoMatcher}.

The main driver class. An executor reads the task from a given reader, compiles it, runs it and writes the results to the passed out stream.

A parser for an {@link InterleavedStaticIOCheck}.