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

DataItem

sealed interface DataItem<E> : ConditionLeaf(source)

Represents a data item such as a variable or literal.

transformation is a function that transforms data from the CokoBackend into an object with type E

Inheritors

CanChangeTransformation

Properties

abstract val transformation: (BackendDataItem) -> TransformationResult<E, String>

Functions

abstract override fun toString(): String