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

CommitmentDispatchCodeGenerator

class CommitmentDispatchCodeGenerator(context: CodeGeneratorContext) : CodeGeneratorDispatcher

Constructors

CommitmentDispatchCodeGenerator

fun CommitmentDispatchCodeGenerator(context: CodeGeneratorContext)

Functions

constructorCall

override fun constructorCall(protocol: Protocol, objectType: ObjectTypeNode, arguments: Arguments<AtomicExpressionNode>): CodeBlock

override fun exp(protocol: Protocol, expr: ExpressionNode): CodeBlock

override fun guard(protocol: Protocol, expr: AtomicExpressionNode): CodeBlock

override fun kotlinType(protocol: Protocol, sourceType: ObjectType): TypeName

override fun kotlinType(protocol: Protocol, sourceType: ValueType): TypeName

override fun receive(sender: LetNode, sendProtocol: Protocol, receiveProtocol: Protocol, events: ProtocolCommunication): CodeBlock

override fun send(sender: LetNode, sendProtocol: Protocol, receiveProtocol: Protocol, events: ProtocolCommunication): CodeBlock

override fun setup(protocol: Protocol): Iterable<PropertySpec>

override fun update(protocol: Protocol, stmt: UpdateNode): CodeBlock