runner-api/dev.ust.zinc.grader.util/CmdLang/DiffIgnoreFlag

DiffIgnoreFlag

open class DiffIgnoreFlag(val flagsMap: Map<Settings.DiffIgnoreFlag, String>)

An interface for diff ignore flags that allows for choosing implementations.

Inheritors

Constructors

Link copied to clipboard
constructor(flagsMap: Map<Settings.DiffIgnoreFlag, String>)

Types

Link copied to clipboard
object GitDiff : CmdLang.DiffIgnoreFlag

Git diff is platform-agnostic, so it can work with basically all command line languages.

Properties

Link copied to clipboard

Functions

Link copied to clipboard
fun toFlag(flagSymbol: Settings.DiffIgnoreFlag): String

Converts a flag enum parsed in a pipeline config into flag used for command building.