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)