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

ProtocolInterpreter

interface ProtocolInterpreter

Functions

Link copied to clipboard
abstract fun getContextMarker(): Int
Link copied to clipboard
abstract suspend fun popContext()
Link copied to clipboard
abstract suspend fun popFunctionContext()
Link copied to clipboard
abstract suspend fun pushContext()
Link copied to clipboard
abstract suspend fun pushFunctionContext(arguments: PersistentMap<ParameterNode, Pair<Protocol, FunctionArgumentNode>>)
Link copied to clipboard
abstract suspend fun restoreContext(marker: Int)
Link copied to clipboard
abstract suspend fun runGuard(protocol: Protocol, expr: AtomicExpressionNode): Value
Link copied to clipboard
abstract suspend fun runReceive(sender: LetNode, sendProtocol: Protocol, receiver: SimpleStatementNode, recvProtocol: Protocol, events: ProtocolCommunication)
Link copied to clipboard
abstract suspend fun runSend(sender: LetNode, sendProtocol: Protocol, receiver: SimpleStatementNode, recvProtocol: Protocol, events: ProtocolCommunication)
Link copied to clipboard
abstract suspend fun runSimpleStatement(protocol: Protocol, stmt: SimpleStatementNode)

Properties

Link copied to clipboard

Inheritors

Link copied to clipboard