Skip to content

Conversation

@yoff
Copy link
Contributor

@yoff yoff commented Dec 10, 2025

The example shows how to build a barrier guard from a MaD row. Clearly, this should be done in a convenience predicate.

* Holds if a barrier model contributed `barrier` with the given `kind`.
*/
cached
API::Node getABarrierGuardNode(string kind, boolean branch, string model) {

Check warning

Code scanning / CodeQL

Missing QLDoc for parameter Warning

The QLDoc has no documentation for branch, but the QLDoc mentions barrier
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Projects

None yet

Development

Successfully merging this pull request may close these issues.

3 participants