data class FlagStore: Map<String, Term>, Any
Constructors
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
Parameters
Name | Description |
---|---|
flagValue: Pair
|
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
|
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
Parameters
Name | Description |
---|---|
vararg flagValues: Pair
|
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
|
A storage for flags and their values