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

ProtocolComposer

abstract class ProtocolComposer
Content copied to clipboard

Functions

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

Inheritors

AbstractProtocolComposer
Link copied to clipboard

Extensions

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

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