PlaintextProtocolInterpreter

Types

Companion

buildExpressionObject

buildObject

open suspend override fun buildObject(protocol: Protocol, className: ClassName, typeArguments: List<ValueType>, arguments: List<AtomicExpressionNode>): PlaintextClassObject

getContextMarker

open override fun getContextMarker(): Int

getNullObject

popContext

open suspend override fun popContext()

popFunctionContext

open suspend override fun popFunctionContext()

pushContext

open suspend override fun pushContext()

pushFunctionContext

restoreContext

open suspend override fun restoreContext(marker: Int)

runGuard

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

runLet

open suspend override fun runLet(protocol: Protocol, stmt: LetNode)

runOutput

open suspend override fun runOutput(protocol: Protocol, stmt: OutputNode)

runReceive

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

runSend

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

runSimpleStatement

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

runUpdate

open suspend override fun runUpdate(protocol: Protocol, stmt: UpdateNode)

availableProtocols

program