Module CastConsistency

INTERNAL: Do not use. Query predicates used to check invariants that should hold for all Cast nodes. To run all consistency queries for the ASTs, including the ones below, run “semmle/code/cpp/ASTConsistency.ql”.

Import path

import cpp

Predicates

missingSemanticConversionString	Holds if the cast has no result for `Cast.getSemanticConversionString()`.
multipleSemanticConversionStrings	Holds if the cast has more than one result for `Cast.getSemanticConversionString()`.
unknownSemanticConversionString	Holds if the cast has a result for `Cast.getSemanticConversionString()` that indicates that the kind of its semantic conversion is not known.