coko-core/de.fraunhofer.aisec.codyze.specificationLanguages.coko.core.ordering/TerminalOrderNode

TerminalOrderNode

data class TerminalOrderNode(val baseName: String, val opName: String) : OrderNode(source)

Represents an OrderToken.

Constructors

TerminalOrderNode

constructor(baseName: String, opName: String)

Properties

val baseName: String

val opName: String

Functions

open fun applyToAll(block: OrderNode.() -> Unit)

Apply the given block to each OrderNode in this OrderNode. Uses Depth First Search (DFS).

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(): OrderNode

Convert this OrderNode to a binary syntax tree