AbstractProtocolInterpreter

Constructors

abstract suspend fun buildObject(protocol: Protocol, className: ClassName, typeArguments: List<ValueType>, arguments: List<AtomicExpressionNode>): Obj

open override fun getContextMarker(): Int

abstract fun getNullObject(protocol: Protocol): Obj

abstract suspend fun popContext()

open suspend override fun popFunctionContext()

abstract suspend fun pushContext()

open suspend override fun restoreContext(marker: Int)

abstract suspend fun runGuard(protocol: Protocol, expr: AtomicExpressionNode): Value

abstract suspend fun runLet(protocol: Protocol, stmt: LetNode)

abstract suspend fun runOutput(protocol: Protocol, stmt: OutputNode)

abstract suspend fun runReceive(sender: LetNode, sendProtocol: Protocol, receiver: SimpleStatementNode, recvProtocol: Protocol, events: ProtocolCommunication)

abstract suspend fun runSend(sender: LetNode, sendProtocol: Protocol, receiver: SimpleStatementNode, recvProtocol: Protocol, events: ProtocolCommunication)

open suspend override fun runSimpleStatement(protocol: Protocol, stmt: SimpleStatementNode)

abstract suspend fun runUpdate(protocol: Protocol, stmt: UpdateNode)