coko-core/de.fraunhofer.aisec.codyze.specificationLanguages.coko.core.dsl/Condition

Condition

class Condition(source)

This class exists to restrict where the functions can be called

Constructors

Condition

constructor()

Properties

list

val list: ListBuilder

Can be used to build a list like list[x,y,z]

Functions

and

infix fun ConditionComponent.and(other: ConditionComponent): BinaryLogicalConditionComponent

Connects two ConditionComponents with a logical and.

call

fun call(op: Op): CallConditionComponent

Builds a CallConditionComponent that specifies that op should be called.

infix fun DataItem<*>.eq(other: DataItem<*>): ComparisonConditionComponent

Builds a ComparisonConditionComponent that specifies that the value of this DataItem should be equal to the value of other.

infix fun Any.eq(other: Any): ComparisonConditionComponent

Builds a ComparisonConditionComponent that specifies that the value of this should be equal to the value of other.

geq

infix fun DataItem<*>.geq(other: DataItem<*>): ComparisonConditionComponent

Builds a ComparisonConditionComponent that specifies that the value of this DataItem should be greater or equal to the value of other.

infix fun Any.geq(other: Any): ComparisonConditionComponent

Builds a ComparisonConditionComponent that specifies that the value of this should be greater or equal to the value of other.

infix fun DataItem<*>.gt(other: DataItem<*>): ComparisonConditionComponent

Builds a ComparisonConditionComponent that specifies that the value of this DataItem should be greater than the value of other.

infix fun Any.gt(other: Any): ComparisonConditionComponent

Builds a ComparisonConditionComponent that specifies that the value of this should be greater than the value of other.

leq

infix fun DataItem<*>.leq(other: DataItem<*>): ComparisonConditionComponent

Builds a ComparisonConditionComponent that specifies that the value of this DataItem should be less or equal to the value of other.

infix fun Any.leq(other: Any): ComparisonConditionComponent

Builds a ComparisonConditionComponent that specifies that the value of this should be less or equal to the value of other.

infix fun DataItem<*>.lt(other: DataItem<*>): ComparisonConditionComponent

Builds a ComparisonConditionComponent that specifies that the value of this DataItem should be less than the value of other.

infix fun Any.lt(other: Any): ComparisonConditionComponent

Builds a ComparisonConditionComponent that specifies that the value of this should be less than the value of other.

neq

infix fun DataItem<*>.neq(other: DataItem<*>): ComparisonConditionComponent

Builds a ComparisonConditionComponent that specifies that the value of this DataItem should not be equal to the value of other.

infix fun Any.neq(other: Any): ComparisonConditionComponent

Builds a ComparisonConditionComponent that specifies that the value of this should not be equal to the value of other.

not

fun not(conditionComponent: ConditionComponent): UnaryConditionComponent

Negates a ConditionComponent

infix fun ConditionComponent.or(other: ConditionComponent): BinaryLogicalConditionComponent

Connects two ConditionComponents with a logical or.

within

infix fun DataItem<*>.within(collection: Collection<*>): ContainsConditionComponent<out Any?, Any?>

Builds a ContainsConditionComponent that specifies that the value of this DataItem should be contained in collection.