runtime/edu.cornell.cs.apl.viaduct.backend/ProtocolInterpreter

ProtocolInterpreter

interface ProtocolInterpreter
Content copied to clipboard

Functions

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

Properties

availableProtocols
Link copied to clipboard
abstract val availableProtocols: Set<Protocol>
Content copied to clipboard

Inheritors

AbstractProtocolInterpreter
Link copied to clipboard