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)