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