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

OrderSetGetOperator

class OrderSetGetOperator(source)

Allows the syntactic sugar to create a set with the 'get' operator.

Constructors

Link copied to clipboard
constructor()

Functions

Link copied to clipboard
operator fun get(vararg tokens: OrderToken): OrderSet