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

CommitmentDispatchCodeGenerator

class CommitmentDispatchCodeGenerator(context: CodeGeneratorContext) : CodeGenerator
Content copied to clipboard

Functions

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

Properties

context
Link copied to clipboard
val context: CodeGeneratorContext
Content copied to clipboard