coko-core/de.fraunhofer.aisec.codyze.specificationLanguages.coko.core.modelling/Definition

Definition

class Definition(val fqn: String)(source)

Represents the definitions of a function with the fully qualified name fqn.

Constructors

constructor(fqn: String)

Properties

val fqn: String

val signatures: MutableSet<Signature>

stores all possible Signatures for this function

Functions

fun add(signature: Signature)

open operator override fun equals(other: Any?): Boolean

open override fun hashCode(): Int

fun Definition.signature(vararg parameters: Parameter): Signature

Create a Signature which can be added to the Definition. The Parameters are passed through the vararg.

inline fun Definition.signature(unordered: Array<out Parameter> = emptyArray(), block: Signature.() -> Unit): Signature

Create a Signature which can be added to the Definition. The Parameters are defined in the block.

open override fun toString(): String