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

OrderSet

class OrderSet(negate: Boolean) : OrderBuilder(source)

Represents a regex set. Its toNode method converts the set into a group with OR expressions to simplify the resulting binary tree

Constructors

constructor(negate: Boolean)

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 OrderSet (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