ProtocolAnalysis

Associates each StatementNode with the Protocols involved in its execution.

Constructors

ProtocolAnalysis

directReaderProtocols

Returns the set of protocols that direct read the let binding.

directRemoteReaders

hostsToSync

Returns the set of hosts that will synchronize with statement.

participatingHosts

Returns the set of hosts that participate in the execution of statement.

participatingProtocols

Return the protocols participating for node.

primaryProtocol

Returns the protocol that coordinates the execution of argument.

Returns the protocol that coordinates the execution of parameter.

Returns the protocol that coordinates the execution of the let node read by read.

Returns the protocol that coordinates the execution of statement.

protocols

Returns the set of protocols that execute function.

Returns the set of protocols that execute statement.

relevantCommunicationEvents

Return the relevant communication events for the read.

Return the relevant communication events for reader reading from letNode.

program