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

protocols

fun protocols(statement: StatementNode): Set<Protocol>

Returns the set of protocols that execute statement.

fun protocols(function: FunctionDeclarationNode): Set<Protocol>

Returns the set of protocols that execute function.