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

primaryProtocol

fun primaryProtocol(statement: SimpleStatementNode): Protocol
Content copied to clipboard

Returns the protocol that coordinates the execution of statement.


fun primaryProtocol(read: ReadNode): Protocol
Content copied to clipboard

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


fun primaryProtocol(parameter: ParameterNode): Protocol
Content copied to clipboard

Returns the protocol that coordinates the execution of parameter.


fun primaryProtocol(argument: FunctionArgumentNode): Protocol
Content copied to clipboard

Returns the protocol that coordinates the execution of argument.