dsl/it.unibo.collektive.path

Package-level declarations

Types

interface Digest

A factory that creates Path instances by hashing their content.

value class DigestHashingFactory(val digest: Digest = KotlinCryptoDigest(Keccak512())) : PathFactory

A factory that creates Path instances by hashing their content with a specific digest.

data class FullPath(path: List<Any?>) : Path

Non-serializable, list-based, high performance path intended for use in simulated environments. Unsuitable for practical applications.

A factory that creates Path instances by concatenating their content.

value class KotlinCryptoDigest(val backend: Digest) : Digest

A factory that creates Path instances by hashing their content with a specific backend.

@Serializable(with = PathSerializer::class)

sealed interface Path

A path represents a specific point in the AST of an aggregate program. The point in the AS is identified as a sequence of tokens.

A path represents a specific point in the AST of an aggregate program. The point in the AS is identified as a sequence of tokens.

@Serializable

value class SerializablePath(val backend: String) : Path

Serializable Path implementation that wraps a backend object.