Class KindViolation
A type should have at most one kind, except for missing referenced types where the interface/class is unknown.
Import path
import semmle.code.cil.ConsistencyChecksDirect supertypes
Indirect supertypes
Predicates
Inherited predicates
| getType | Gets the type containing the violation. | from TypeViolation |
| toString | from TypeViolation |