compiler/io.github.aplcornell.viaduct.selection/AbstractProtocolComposer

AbstractProtocolComposer

abstract class AbstractProtocolComposer : ProtocolComposer

A ProtocolComposer with sensible defaults.

Constructors

Link copied to clipboard

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
abstract fun visibleGuardHosts(protocol: Protocol): Set<Host>

Inheritors

Link copied to clipboard
Link copied to clipboard
Link copied to clipboard
Link copied to clipboard

Extensions

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

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