Member predicate AnalysedExpr::inCondition
Holds if this
occurs at or below the controlling expression of an if
,
while
, ?:
, or similar.
predicate inCondition()
Holds if this
occurs at or below the controlling expression of an if
,
while
, ?:
, or similar.
predicate inCondition()