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

Package-level declarations

Types

data class ArgumentItem<E>(val op: Op, val index: Int, val transformation: (BackendDataItem) -> TransformationResult<E, String> = { TransformationResult.failure("No transformation given from user") }) : CanChangeTransformation<E>

Represents the argument at index given to the function call represented by op.

BackendDataItem

interface BackendDataItem

Interface for accessing info about a DataItem from the CokoBackend

BinaryConditionComponent

sealed interface BinaryConditionComponent : ConditionComponent

A ConditionComponent that has two children and a operator

BinaryLogicalConditionComponent

class BinaryLogicalConditionComponent(val left: ConditionComponent, val right: ConditionComponent, val operator: BinaryLogicalOperatorName) : BinaryConditionComponent

A BinaryConditionComponent that logically combines left and right based on operator (e.g. logical and)

BinaryLogicalOperatorName

enum BinaryLogicalOperatorName : Enum<BinaryLogicalOperatorName> , BinaryOperatorName

BinaryOperatorName

sealed interface BinaryOperatorName

CallConditionComponent

open class CallConditionComponent(val op: Op) : ConditionComponent

A ConditionComponent that represents a function call

CanChangeTransformation

sealed interface CanChangeTransformation<E> : DataItem<E>

Adds an infix function withTransformation to a DataItem.

ComparisonConditionComponent

class ComparisonConditionComponent(val left: DataItem<*>, val right: DataItem<*>, val operator: ComparisonOperatorName) : BinaryConditionComponent

A BinaryConditionComponent that compares left and right based on operator (e.g. equality or less than)

ComparisonOperatorName

enum ComparisonOperatorName : Enum<ComparisonOperatorName> , BinaryOperatorName

ConditionComponent

sealed interface ConditionComponent : ConditionNode

ConditionNode that can have children

ConditionLeaf

sealed interface ConditionLeaf : ConditionNode

ConditionNode that does not have children

ConditionNode

sealed interface ConditionNode

ContainsConditionComponent

class ContainsConditionComponent<E, T>(val item: DataItem<E>, val collection: Collection<T>) : ConditionComponent

A ConditionComponent that represents the condition that the value of item should be in collection

DataItem

sealed interface DataItem<E> : ConditionLeaf

Represents a data item such as a variable or literal.

Definition

class Definition(val fqn: String)

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

Parameter

typealias Parameter = Any?

Represents a parameter in the Signature

ParameterGroup

class ParameterGroup

Represents a group of parameters that all belong to the same index

ReturnValueItem

data class ReturnValueItem<E>(val op: Op, val transformation: (BackendDataItem) -> TransformationResult<E, String> = { TransformationResult.failure("No transformation given from user") }) : CanChangeTransformation<E>

Represents the data item that a function call represented by op returns.

Signature

class Signature

Represents a signature of a function.

UnaryConditionComponent

class UnaryConditionComponent(val conditionNode: ConditionNode, val operator: UnaryOperatorName) : ConditionComponent

A ConditionComponent that has one child, conditionNode, and a operator (e.g. negation)

UnaryOperatorName

enum UnaryOperatorName : Enum<UnaryOperatorName>

Value

data class Value<E> : DataItem<E>

A wrapper class for value to make it a DataItem.

Functions

value

fun <E> value(value: E): DataItem<E>

fun <E> value(value: DataItem<E>): DataItem<E>