compiler/edu.cornell.cs.apl.viaduct.analysis/ProtocolAnalysis/relevantCommunicationEvents

relevantCommunicationEvents

fun relevantCommunicationEvents(read: ReadNode): ProtocolCommunication
Content copied to clipboard

Return the relevant communication events for the read.


fun relevantCommunicationEvents(letNode: LetNode, reader: SimpleStatementNode): ProtocolCommunication
Content copied to clipboard

Return the relevant communication events for reader reading from letNode.