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

External

data class External(val path: Path) : Configuration.Profile

An external profile loaded from a filesystem location.

Constructors

constructor(path: Path)

Properties

protected open override val activeDir: Path

The active directory when using this profile.

Path to the configuration file in the filesystem.

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.