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

OrderBuilder

open class OrderBuilder : OrderFragment(source)

Base class for Order, OrderGroup and OrderSet. Creates a binary tree of the given regex with its toNode method.

Inheritors

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