Member predicate AnalyzedPropertyWrite::baseIsIncomplete
Holds if the flow information for the base node of this property write is incomplete
due to reason.
predicate baseIsIncomplete(Incompleteness reason)Holds if the flow information for the base node of this property write is incomplete
due to reason.
predicate baseIsIncomplete(Incompleteness reason)