Profile

sealed class Profile

Configuration profiles.

Constructors

protected constructor()

A builtin profile provided by the Grader, in the form of config.<profile>.properties in the resources directory.

The default profile defined in config.properties.

An external profile loaded from a filesystem location.

protected abstract val activeDir: Path

The active directory when using this profile.

Creates a new InputStream to read from the configuration file.

Resolves relPath against the active directory of this profile. Does nothing if relPath is an absolute path.