AbstractProtocolInterpreter

abstract class AbstractProtocolInterpreter<Obj>(program: ProgramNode) : ProtocolInterpreter

Functions

buildExpressionObject
Link copied to clipboard
abstract suspend fun buildExpressionObject(protocol: Protocol, expr: AtomicExpressionNode): Obj
buildObject
Link copied to clipboard
abstract suspend fun buildObject(protocol: Protocol, className: ClassName, typeArguments: List<ValueType>, arguments: List<AtomicExpressionNode>): Obj
getContextMarker
Link copied to clipboard
open override fun getContextMarker(): Int
getNullObject
Link copied to clipboard
abstract fun getNullObject(protocol: Protocol): Obj
popContext
Link copied to clipboard
abstract suspend fun popContext()
popFunctionContext
Link copied to clipboard
open suspend override fun popFunctionContext()
pushContext
Link copied to clipboard
abstract suspend fun pushContext()
pushFunctionContext
Link copied to clipboard
open suspend override fun pushFunctionContext(arguments: PersistentMap<ParameterNode, Pair<Protocol, FunctionArgumentNode>>)
restoreContext
Link copied to clipboard
open suspend override fun restoreContext(marker: Int)
runGuard
Link copied to clipboard
abstract suspend fun runGuard(protocol: Protocol, expr: AtomicExpressionNode): Value
runLet
Link copied to clipboard
abstract suspend fun runLet(protocol: Protocol, stmt: LetNode)
runOutput
Link copied to clipboard
abstract suspend fun runOutput(protocol: Protocol, stmt: OutputNode)
runReceive
Link copied to clipboard
abstract suspend fun runReceive(sender: LetNode, sendProtocol: Protocol, receiver: SimpleStatementNode, recvProtocol: Protocol, events: ProtocolCommunication)
runSend
Link copied to clipboard
abstract suspend fun runSend(sender: LetNode, sendProtocol: Protocol, receiver: SimpleStatementNode, recvProtocol: Protocol, events: ProtocolCommunication)
runSimpleStatement
Link copied to clipboard
open suspend override fun runSimpleStatement(protocol: Protocol, stmt: SimpleStatementNode)
runUpdate
Link copied to clipboard
abstract suspend fun runUpdate(protocol: Protocol, stmt: UpdateNode)

Properties

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

Inheritors

SingleProtocolInterpreter
Link copied to clipboard
PlaintextProtocolInterpreter
Link copied to clipboard
ABYProtocolInterpreter
Link copied to clipboard