compiler/edu.cornell.cs.apl.viaduct.codegeneration/SingleProtocolCodeGenerator

SingleProtocolCodeGenerator

abstract class SingleProtocolCodeGenerator(context: CodeGeneratorContext) : AbstractCodeGenerator

Functions

cleartextExp

fun cleartextExp(protocol: Protocol, expr: AtomicExpressionNode): CodeBlock

declaration

fun declaration(protocol: Protocol, stmt: DeclarationNode): CodeBlock

exp

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

guard

abstract fun guard(expr: AtomicExpressionNode): CodeBlock

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

let

abstract fun let(stmt: LetNode): CodeBlock

open override fun let(protocol: Protocol, stmt: LetNode): CodeBlock

output

abstract fun output(stmt: OutputNode): CodeBlock

open override fun output(protocol: Protocol, stmt: OutputNode): CodeBlock

receive

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

send

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

simpleStatement

open override fun simpleStatement(protocol: Protocol, stmt: SimpleStatementNode): CodeBlock

update

abstract fun update(stmt: UpdateNode): CodeBlock

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

value

fun value(value: Value): CodeBlock

Properties

context

val context: CodeGeneratorContext