interpreter/io.github.aplcornell.viaduct.backend/BackendInterpreter

BackendInterpreter

class BackendInterpreter(host: Host, program: ProgramNode, protocolAnalysis: ProtocolAnalysis, protocolInterpreters: List<ProtocolInterpreter>, runtime: ViaductProcessRuntime)

Constructors

Link copied to clipboard
fun BackendInterpreter(host: Host, program: ProgramNode, protocolAnalysis: ProtocolAnalysis, protocolInterpreters: List<ProtocolInterpreter>, runtime: ViaductProcessRuntime)

Functions

Link copied to clipboard
suspend fun run()
suspend fun run(function: FunctionName, stmt: StatementNode)
Link copied to clipboard
suspend fun synchronize(senders: Set<Host>, receivers: Set<Host>)

Synchronize hosts.