compiler/io.github.aplcornell.viaduct.backends/Backend

Backend

interface Backend

A compiler extension that adds support for a cryptographic backend.

Functions

abstract fun codeGenerator(context: CodeGeneratorContext): CodeGenerator

protocolFactory

abstract fun protocolFactory(program: ProgramNode): ProtocolFactory

Properties

protocolComposer

abstract val protocolComposer: ProtocolComposer

protocolParsers

abstract val protocolParsers: Map<ProtocolName, ProtocolParser<Protocol>>

abstract val protocols: Set<ProtocolName>

Protocols added by this backend.

Inheritors

CodeGenerationBackend

DefaultCombinedBackend

CleartextBackend

CommitmentBackend

Extensions

fun Backend.filter(predicate: (ProtocolName) -> Boolean): Backend

Restricts the given back end to only use protocols satisfying predicate.