Predicate ModelsAsData::barrierModel

Holds if a barrier model exists for the given parameters.

Import path

import codeql.mad.static.ModelsAsData

predicate barrierModel(string namespace, string type, boolean subtypes, string name, string signature, string ext, string output, string kind, string provenance, string model)