mirror of
https://github.com/github/codeql.git
synced 2025-12-19 18:33:16 +01:00
a9db1c52e5
This is a non-overridable predicate that concatenates all the getAPrimaryQlClass() results into a comma-separated string.
10 lines
248 B
Plaintext
10 lines
248 B
Plaintext
/*
|
|
* @name Checks for model consistency
|
|
*/
|
|
|
|
import semmle.code.csharp.commons.ConsistencyChecks
|
|
|
|
from Element e, string m
|
|
where consistencyFailure(e, m)
|
|
select e, "Element class " + e.getPrimaryQlClasses() + " has consistency check failed: " + m
|