compiler/edu.cornell.cs.apl.viaduct.backends.commitment/CommitmentBackend

CommitmentBackend

object CommitmentBackend : Backend
Content copied to clipboard

Functions

codeGenerator
Link copied to clipboard
open override fun codeGenerator(context: CodeGeneratorContext): CodeGenerator
Content copied to clipboard
protocolFactory
Link copied to clipboard
open override fun protocolFactory(program: ProgramNode): ProtocolFactory
Content copied to clipboard

Properties

protocolComposer
Link copied to clipboard
open override val protocolComposer: ProtocolComposer
Content copied to clipboard
protocolParsers
Link copied to clipboard
open override val protocolParsers: Map<ProtocolName, ProtocolParser<Protocol>>
Content copied to clipboard
protocols
Link copied to clipboard
open override val protocols: Set<ProtocolName>
Content copied to clipboard

Protocols added by this backend.