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

Configuration

class Configuration(profileName: String? = null) : ConfigVerifiable

Runtime configuration for various aspects of the grader.

The profile is read during runtime with the following priority:

--profile flag if running from standalone JAR
VM options, i.e. -Dgrader.profile=
profile in config.properties

Constructors

Configuration

constructor(profileName: String? = null)

Types

BuildInfo

data class BuildInfo(val _version: String, val git: Configuration.BuildInfo.GitInfo)

Build information fields.

Companion

object Companion

Compat

data class Compat(val pipelineStage: Configuration.Compat.PipelineStage, val _useSharedDirForEnvFiles: String = "")

Compatibility properties fields (compat.*).

Context

Context properties fields (context.*).

Database

data class Database(val url: String, val driver: String, val username: String, val password: String)

Database properties fields (database.*).

Debug

data class Debug(val dockerDaemonDispatcher: Configuration.Debug.DockerDaemonDispatcher)

Debug properties fields (debug.*).

Docker

data class Docker(val daemon: Configuration.Docker.Daemon, val host_reservation: Configuration.Docker.HostReservation, val overcommit: Configuration.Docker.Overcommit) : ConfigVerifiable

Docker properties fields (docker.*).

PipelineStage

data class PipelineStage(val _paths: String, val _stageResultValidationMode: String = "", val outputTrunc: Configuration.PipelineStage.OutputTruncation = OutputTruncation(32_000_000, 128_000)) : ConfigVerifiable

Pipeline stage properties fields (pipelineStage.*).

Prefix

annotation class Prefix(val value: String)

Indicates to fromProperties that properties with the namespace of value should be used to parse the configuration.

Profile

sealed class Profile

Configuration profiles.

Redis

data class Redis(val host: String, val _port: String) : ConfigVerifiable

Redis properties fields (redis.*).

Report

data class Report(val json: Configuration.Report.ReportFormat, val yaml: Configuration.Report.ReportFormat, val _emitScoreReport: String = "") : ConfigVerifiable

Report properties fields (report.*).

Properties

buildInfo

val buildInfo: Configuration.BuildInfo

compat

val compat: Configuration.Compat

context

val context: Configuration.Context

database

val database: Configuration.Database

debug

val debug: Configuration.Debug

docker

val docker: Configuration.Docker

pipelineStage

val pipelineStage: Configuration.PipelineStage

profile

val profile: Configuration.Profile

redis

val redis: Configuration.Redis

report

val report: Configuration.Report

Functions

dumpFields

fun dumpFields(): String

Dumps all fields of this configuration into a string, in the form of key=value pairs.

toProperties

private fun toProperties(): Properties

Outputs this configuration into a Properties object, which can then be serialized into a file.

verifyAll

open fun verifyAll()

Verifies that the required constraints of this object is met.

verifyImpl

open fun verifyImpl()

Additional checks for verifying constraints on fields which do not implement ConfigVerifiable.