compiler/io.github.aplcornell.viaduct.codegeneration

Package-level declarations

Types

AbstractCodeGenerator

abstract class AbstractCodeGenerator(val context: CodeGeneratorContext) : CodeGenerator

CodeGenerationException

abstract class CodeGenerationException(message: String) : RuntimeException

interface CodeGenerator

CodeGeneratorContext

interface CodeGeneratorContext

CodeGeneratorDispatcher

abstract class CodeGeneratorDispatcher : CodeGenerator

Dispatches to different CodeGenerators based on Protocol.

UnsupportedOperatorException

class UnsupportedOperatorException(protocol: Protocol, node: Node) : CodeGenerationException

Thrown when a protocol is assigned an operator it cannot implement. Usually indicates a bug in protocol selection.

Functions

compileToKotlin

fun ProgramNode.compileToKotlin(fileName: String, packageName: String, codeGenerator: (context: CodeGeneratorContext) -> CodeGenerator, protocolComposer: ProtocolComposer): FileSpec

receiveReplicated

fun receiveReplicated(sender: LetNode, events: Set<CommunicationEvent>, context: CodeGeneratorContext, typeAnalysis: TypeAnalysis): CodeBlock

fun typeTranslator(viaductType: ValueType): TypeName

fun Iterable<Pair<Set<ProtocolName>, CodeGenerator>>.unions(): CodeGenerator

Combines code generators for different protocols into one generator that can handle all protocols.

Properties

val ValueType.valueClass: KClass<out Value>

Returns the KClass object for values of this type.