compiler/edu.cornell.cs.apl.viaduct.backends.cleartext/CleartextProtocolComposer

CleartextProtocolComposer

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