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

ProtocolComposer

abstract class ProtocolComposer

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
abstract fun communicateOrNull(source: Protocol, destination: Protocol): ProtocolCommunication?
Link copied to clipboard
abstract fun mandatoryParticipatingHosts(protocol: Protocol, statement: SimpleStatementNode): Set<Host>
Link copied to clipboard
abstract fun visibleGuardHosts(protocol: Protocol): Set<Host>

Inheritors

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.