compiler/io.github.aplcornell.viaduct.backends.cleartext/CleartextCodeGenerator

CleartextCodeGenerator

class CleartextCodeGenerator(val context: CodeGeneratorContext) : AbstractCodeGenerator

Constructors

CleartextCodeGenerator

fun CleartextCodeGenerator(context: CodeGeneratorContext)

Functions

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

constructorCall

open override fun constructorCall(protocol: Protocol, objectType: ObjectTypeNode, arguments: Arguments<AtomicExpressionNode>): CodeBlock

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

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

open override fun kotlinType(protocol: Protocol, sourceType: ObjectType): TypeName

open override fun kotlinType(protocol: Protocol, sourceType: ValueType): TypeName

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

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

open override fun setup(protocol: Protocol): Iterable<PropertySpec>

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

fun value(value: Value): CodeBlock

Properties

val context: CodeGeneratorContext