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

Default

object Default : Configuration.Profile

The default profile defined in config.properties.

Properties

Link copied to clipboard
protected open override val activeDir: Path

The active directory when using this profile.

Functions

Link copied to clipboard
open override fun newInputStream(): InputStream?

Creates a new InputStream to read from the configuration file.

Link copied to clipboard
fun resolveActive(relPath: Path): Path

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