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