CleartextCodeGenerator

Functions

cleartextExp

declaration

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

exp

open override fun exp(protocol: Protocol, expr: ExpressionNode): CodeBlock

guard

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

let

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

output

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

receive

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

send

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

simpleStatement

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

update

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

value

fun value(value: Value): CodeBlock

context

nameAnalysis

protocolAnalysis

typeAnalysis