compiler/io.github.aplcornell.viaduct.backends.commitment/CommitmentProtocolComposer

CommitmentProtocolComposer

object CommitmentProtocolComposer : AbstractProtocolComposer

Functions

Link copied to clipboard
fun canCommunicate(source: Protocol, destination: Protocol): Boolean
Link copied to clipboard
fun communicate(source: Protocol, destination: Protocol): ProtocolCommunication
Link copied to clipboard
override fun communicateOrNull(source: Protocol, destination: Protocol): ProtocolCommunication?
Link copied to clipboard
override fun mandatoryParticipatingHosts(protocol: Protocol, statement: SimpleStatementNode): Set<Host>
Link copied to clipboard
open override fun visibleGuardHosts(protocol: Protocol): Set<Host>

Extensions

Link copied to clipboard
fun ProtocolComposer.cached(): ProtocolComposer

Caches values returned by ProtocolComposer.communicateOrNull so it is called once per source/destination pair.