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

Package-level declarations

Types

class Commitment(val cleartextHost: Host, val hashHosts: Set<Host>) : Protocol

CommitmentBackend

object CommitmentBackend : Backend

CommitmentDispatchCodeGenerator

class CommitmentDispatchCodeGenerator(context: CodeGeneratorContext) : CodeGeneratorDispatcher

CommitmentProtocolComposer

object CommitmentProtocolComposer : AbstractProtocolComposer

CommitmentProtocolFactory

class CommitmentProtocolFactory(val program: ProgramNode) : ProtocolFactory

CommitmentProtocolParser

object CommitmentProtocolParser : ProtocolParser<Commitment>

Parser for the Commitment protocol.