compiler/io.github.aplcornell.viaduct.backends.commitment/CommitmentBackend

CommitmentBackend

object CommitmentBackend : Backend

Functions

open override fun codeGenerator(context: CodeGeneratorContext): CodeGenerator

protocolFactory

open override fun protocolFactory(program: ProgramNode): ProtocolFactory

Properties

protocolComposer

open override val protocolComposer: ProtocolComposer

protocolParsers

open override val protocolParsers: Map<ProtocolName, ProtocolParser<Protocol>>

open override val protocols: Set<ProtocolName>

Protocols added by this backend.

Extensions

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

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