compiler/io.github.aplcornell.viaduct.codegeneration/CodeGeneratorDispatcher

CodeGeneratorDispatcher

abstract class CodeGeneratorDispatcher : CodeGenerator

Dispatches to different CodeGenerators based on Protocol.

Constructors

CodeGeneratorDispatcher

fun CodeGeneratorDispatcher()

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

Inheritors

CommitmentDispatchCodeGenerator