common/dev.ust.zinc.grader.model/Configuration/Profile/BuiltIn

BuiltIn

data class BuiltIn(val name: String) : Configuration.Profile

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

Constructors

constructor(name: String)

Properties

protected open override val activeDir: Path

The active directory when using this profile.

val name: String

The name of the profile to load.

Functions

open override fun newInputStream(): InputStream?

Creates a new InputStream to read from the configuration file.

fun resolveActive(relPath: Path): Path

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