CodeGenerator

interface CodeGenerator

Functions

guard
Link copied to clipboard
abstract fun guard(protocol: Protocol, expr: AtomicExpressionNode): CodeBlock
receive
Link copied to clipboard
abstract fun receive(sender: LetNode, sendProtocol: Protocol, receiveProtocol: Protocol, events: ProtocolCommunication): CodeBlock
send
Link copied to clipboard
abstract fun send(sender: LetNode, sendProtocol: Protocol, receiveProtocol: Protocol, events: ProtocolCommunication): CodeBlock
simpleStatement
Link copied to clipboard
abstract fun simpleStatement(protocol: Protocol, stmt: SimpleStatementNode): CodeBlock

Inheritors

CommitmentDispatchCodeGenerator
Link copied to clipboard
AbstractCodeGenerator
Link copied to clipboard