python/javascript/ruby: mark internal predicates

This commit is contained in:
yoff
2026-01-22 15:09:43 +01:00
parent 7f00a7f67e
commit d05901ad3f
6 changed files with 33 additions and 2 deletions

View File

@@ -649,7 +649,14 @@ module ExternalBarrierGuard {
)
}
/** Gets a node that is an external barrier of the given kind. */
/**
* Gets a node that is an external barrier of the given kind.
*
* This only provides external barrier nodes defined as guards. To get all externally defined barrer nodes,
* use `ModelOutput::barrierNode(node, kind)`.
*
* INTERNAL: Do not use.
*/
ExprNode getAnExternalBarrierNode(string kind) {
result = ParameterizedBarrierGuard<string, guardCheck/4>::getABarrierNode(kind)
}