AbstractCodeGenerator

Functions

cleartextExp

declaration

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

exp

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

guard

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

let

abstract fun let(protocol: Protocol, stmt: LetNode): CodeBlock

output

abstract 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(protocol: Protocol, stmt: UpdateNode): CodeBlock

value

fun value(value: Value): CodeBlock

context

CleartextCodeGenerator

SingleProtocolCodeGenerator