Import path
import semmle.code.cil.ConsistencyChecksDirect supertypes
Indirect supertypes
Fields
Predicates
Inherited predicates
| getMethod | Gets the method containing the violation. | from MethodViolation |
| toString | from MethodViolation |
import semmle.code.cil.ConsistencyChecks| getMethod | Gets the method containing the violation. | from MethodViolation |
| toString | from MethodViolation |