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

Signature

Represents a signature of a function.

Two Signatures are considered equal if they have the same amount of parameters and unorderedParameters. The equals function will not check the content of parameters and unorderedParameters.

Constructors

Signature

constructor()

Properties

parameters

val parameters: MutableList<Parameter>

stores Parameters of this signature in the correct order

unorderedParameters

val unorderedParameters: MutableSet<Parameter>

store all unordered Parameters of this signature. These Parameters don't correspond to a fixed index in the signature but need to flow to the function.

Functions

add

fun add(parameterGroup: ParameterGroup)

fun add(parameter: Parameter)

equals

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

Two Signatures are considered equal if they have the same amount of parameters and unorderedParameters. The equals function will not check the content of parameters and unorderedParameters.

group

fun Signature.group(vararg parameters: Parameter): ParameterGroup

inline fun Signature.group(block: ParameterGroup.() -> Unit): ParameterGroup

Create a ParameterGroup which can be added to the Signature.

hashCode

open override fun hashCode(): Int

toString

open override fun toString(): String

unaryMinus

operator fun Parameter.unaryMinus()