Class TypeViolation
A consistency violation in a type.
Import path
import semmle.code.cil.ConsistencyChecksDirect supertypes
Indirect supertypes
Known direct subtypes
Predicates
| getMessage | |
| getType | Gets the type containing the violation. |
| toString |
A consistency violation in a type.
import semmle.code.cil.ConsistencyChecks| getMessage | |
| getType | Gets the type containing the violation. |
| toString |