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)