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

Op

sealed interface Op : OrderFragment(source)

Inheritors

Properties

open val arguments: Arguments

abstract val ownerClassFqn: String

open val returnValue: ReturnValueItem<Any>

Functions

infix fun OrderFragment.or(other: OrderFragment): OrderFragment

infix fun OrderFragment.or(other: OrderToken): OrderFragment

Adds an alternation token (|) between the current OrderFragment and other. All OrderToken are converted into OrderFragments.

open override fun toNode(): TerminalOrderNode

Convert this OrderFragment to a binary syntax tree

infix fun Op.with(conditionOp: Op): ConditionalOp

Create a ConditionalOp with this as the ConditionalOp.resultOp and conditionOp as the ConditionalOp.conditionOp