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

SingleProtocolInterpreter

abstract class SingleProtocolInterpreter<Obj>(program: ProgramNode, protocol: Protocol) : AbstractProtocolInterpreter<Obj>

Interpreter for a single protocol. This class is defined for convenience, so that the protocol argument on implemented methods isn't necessary.

Constructors

fun SingleProtocolInterpreter(program: ProgramNode, protocol: Protocol)

Functions

buildExpressionObject

abstract suspend fun buildExpressionObject(expr: AtomicExpressionNode): Obj

open suspend override fun buildExpressionObject(protocol: Protocol, expr: AtomicExpressionNode): Obj

buildObject

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

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

getContextMarker

open override fun getContextMarker(): Int

getNullObject

abstract fun getNullObject(): Obj

open override fun getNullObject(protocol: Protocol): Obj

popContext

abstract suspend fun popContext()

popFunctionContext

open suspend override fun popFunctionContext()

pushContext

abstract suspend fun pushContext()

pushFunctionContext

open suspend override fun pushFunctionContext(arguments: PersistentMap<ParameterNode, Pair<Protocol, FunctionArgumentNode>>)

restoreContext

open suspend override fun restoreContext(marker: Int)

runGuard

abstract suspend fun runGuard(expr: AtomicExpressionNode): Value

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

runLet

abstract suspend fun runLet(stmt: LetNode)

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

runOutput

abstract suspend fun runOutput(stmt: OutputNode)

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

runReceive

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

runSend

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

runSimpleStatement

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

runUpdate

abstract suspend fun runUpdate(stmt: UpdateNode)

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

Properties

availableProtocols

open override val availableProtocols: Set<Protocol>

program

val program: ProgramNode

Inheritors

CommitmentProtocolCleartextInterpreter

CommitmentProtocolHashReplicaInterpreter

ZKPProverInterpreter

ZKPVerifierInterpreter