interpreter/io.github.aplcornell.viaduct.backend.commitment/CommitmentProtocolHashReplicaInterpreter

CommitmentProtocolHashReplicaInterpreter

class CommitmentProtocolHashReplicaInterpreter(program: ProgramNode, protocolAnalysis: ProtocolAnalysis, runtime: ViaductProcessRuntime) : SingleProtocolInterpreter<CommitmentProtocolHashReplicaInterpreter.CommitmentObject>

Commitment protocol interpreter for hash replica hosts.

Constructors

fun CommitmentProtocolHashReplicaInterpreter(program: ProgramNode, protocolAnalysis: ProtocolAnalysis, runtime: ViaductProcessRuntime)

Types

CommitmentCell

inner class CommitmentCell(var bytes: List<Byte>) : CommitmentProtocolHashReplicaInterpreter.CommitmentObject

CommitmentObject

abstract class CommitmentObject

CommitmentVector

inner class CommitmentVector(val size: Int, defaultValue: List<Byte>) : CommitmentProtocolHashReplicaInterpreter.CommitmentObject

Functions

buildExpressionObject

open suspend override fun buildExpressionObject(expr: AtomicExpressionNode): CommitmentProtocolHashReplicaInterpreter.CommitmentObject

open suspend override fun buildExpressionObject(protocol: Protocol, expr: AtomicExpressionNode): CommitmentProtocolHashReplicaInterpreter.CommitmentObject

buildObject

open suspend override fun buildObject(className: ClassName, typeArguments: List<ValueType>, arguments: List<AtomicExpressionNode>): CommitmentProtocolHashReplicaInterpreter.CommitmentObject

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

getContextMarker

open override fun getContextMarker(): Int

getNullObject

open override fun getNullObject(): CommitmentProtocolHashReplicaInterpreter.CommitmentObject

open override fun getNullObject(protocol: Protocol): CommitmentProtocolHashReplicaInterpreter.CommitmentObject

popContext

open suspend override fun popContext()

popFunctionContext

open suspend override fun popFunctionContext()

pushContext

open suspend override fun pushContext()

pushFunctionContext

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

restoreContext

open suspend override fun restoreContext(marker: Int)

runGuard

open suspend override fun runGuard(expr: AtomicExpressionNode): Value

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

runLet

open suspend override fun runLet(stmt: LetNode)

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

runOutput

open suspend override fun runOutput(stmt: OutputNode)

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

runRead

fun runRead(read: ReadNode): List<Byte>

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(stmt: UpdateNode)

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

Properties

availableProtocols

open override val availableProtocols: Set<Protocol>

program

val program: ProgramNode