Module ConsistencyChecks

INTERNAL: Do not use.

Provides functionality for validating that the database and library are in a consistent state.

Import path

semmle.code.csharp.commons.ConsistencyChecks

Imports

csharp

The default C# QL library.

Predicates

consistencyFailure

Holds if element e has a consistency failure, as described by the message in m.

Modules