compiler/edu.cornell.cs.apl.viaduct.selection/AbstractProtocolComposer

AbstractProtocolComposer

abstract class AbstractProtocolComposer : ProtocolComposer

A ProtocolComposer with sensible defaults.

Constructors

AbstractProtocolComposer

fun AbstractProtocolComposer()

Functions

canCommunicate

fun canCommunicate(source: Protocol, destination: Protocol): Boolean

communicate

fun communicate(source: Protocol, destination: Protocol): ProtocolCommunication

communicateOrNull

override fun communicateOrNull(source: Protocol, destination: Protocol): ProtocolCommunication?

mandatoryParticipatingHosts

override fun mandatoryParticipatingHosts(protocol: Protocol, statement: SimpleStatementNode): Set<Host>

visibleGuardHosts

abstract fun visibleGuardHosts(protocol: Protocol): Set<Host>

Inheritors

ABYProtocolComposer

CleartextProtocolComposer

CommitmentProtocolComposer

ZKPProtocolComposer