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

Order

class Order : OrderBuilder(source)

OrderBuilder subclass to hide some implementation details of OrderBuilder to coko users.

Constructors

constructor()

Properties

val userDefinedOps: MutableMap<String, Op>

Functions

fun add(op: Op): OrderNode

Add an Op to the userDefinedOps.

fun add(fragment: OrderFragment): OrderNode

Add an OrderFragment to the orderNodes. All instances of the fragment object are removed from the list before the OrderNode from fragment is added.

fun add(token: OrderToken): OrderNode

Add an OrderToken to the orderNodes

fun OrderBuilder.group(vararg tokens: OrderToken): OrderNode

Minimalist way to create a group with a function call. However, this minimalist group constructor only works with OrderTokens

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.

fun remove(fragment: OrderFragment)

Remove all instance of fragment from the orderNodes

open override fun toNode(): OrderNode

Represent this OrderFragment as a binary syntax tree.

operator fun Op.unaryMinus(): OrderNode

Add an Op to the userDefinedOps

operator fun OrderFragment.unaryMinus(): OrderNode

Add an OrderFragment to the orderNodes

operator fun OrderToken.unaryMinus(): OrderNode

Add an OrderToken to the orderNodes