compiler/io.github.aplcornell.viaduct.analysis/ProtocolAnalysis/primaryProtocol

primaryProtocol

fun primaryProtocol(statement: SimpleStatementNode): Protocol

Returns the protocol that coordinates the execution of statement.

fun primaryProtocol(read: ReadNode): Protocol

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

fun primaryProtocol(parameter: ParameterNode): Protocol

Returns the protocol that coordinates the execution of parameter.

fun primaryProtocol(argument: FunctionArgumentNode): Protocol

Returns the protocol that coordinates the execution of argument.