Member predicate AnalyzedVarDef::isIncomplete
Holds if flow analysis results for this node may be incomplete
due to the given cause
.
predicate isIncomplete(Incompleteness cause)
Holds if flow analysis results for this node may be incomplete
due to the given cause
.
predicate isIncomplete(Incompleteness cause)