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

CodeGenerator

interface CodeGenerator

Functions

constructorCall

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

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

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

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

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

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

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

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

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

Inheritors

AbstractCodeGenerator

CodeGeneratorDispatcher