FlagStore

data class FlagStore: Map<String, Term>, Any

A storage for flags and their values

Constructors

<init>

constructor(flags: Map<String, Term>)

A storage for flags and their values

Parameters

Name Description
flags: Map<String, Term>

Methods

get

operator fun get(notableFlag: NotableFlag): Term?

Parameters

Name Description
notableFlag: NotableFlag

ReturnValue

Name Description
Term?

set

fun set(name: String, value: Term): FlagStore

Parameters

Name Description
name: String
value: Term

ReturnValue

Name Description
FlagStore

set

fun set(notableFlag: NotableFlag): FlagStore

Parameters

Name Description
notableFlag: NotableFlag

ReturnValue

Name Description
FlagStore

set

fun set(notableFlag: NotableFlag, value: Atom): FlagStore

Parameters

Name Description
notableFlag: NotableFlag
value: Atom

ReturnValue

Name Description
FlagStore

plus

fun plus(name: String, value: Term): FlagStore

Parameters

Name Description
name: String
value: Term

ReturnValue

Name Description
FlagStore

plus

operator fun plus(flagValue: Pair<String, Term>): FlagStore

Parameters

Name Description
flagValue: Pair<String, Term>

ReturnValue

Name Description
FlagStore

plus

operator fun plus(notableFlagValue: NotableFlag): FlagStore

Parameters

Name Description
notableFlagValue: NotableFlag

ReturnValue

Name Description
FlagStore

plus

operator fun plus(flags: Map<String, Term>): FlagStore

Parameters

Name Description
flags: Map<String, Term>

ReturnValue

Name Description
FlagStore

minus

operator fun minus(flagName: String): FlagStore

Parameters

Name Description
flagName: String

ReturnValue

Name Description
FlagStore

minus

operator fun minus(flagNames: Iterable<String>): FlagStore

Parameters

Name Description
flagNames: Iterable<String>

ReturnValue

Name Description
FlagStore

CompanionObject

FlagStore

data class FlagStore: Map<String, Term>, Any

A storage for flags and their values

Fields

Name Description
val EMPTY: FlagStore
val DEFAULT: @JvmField

Methods

of

fun of(vararg flagValues: Pair<String, Term>): FlagStore

Parameters

Name Description
vararg flagValues: Pair<String, Term>

ReturnValue

Name Description
FlagStore

of

fun of(flags: Map<String, Term>): FlagStore

Parameters

Name Description
flags: Map<String, Term>

ReturnValue

Name Description
FlagStore

of

fun of(vararg notableFlagValues: NotableFlag): FlagStore

Parameters

Name Description
vararg notableFlagValues: NotableFlag

ReturnValue

Name Description
FlagStore

empty

fun empty(): FlagStore

ReturnValue

Name Description
FlagStore