Searched refs:DefaultEff (Results 1 – 1 of 1) sorted by relevance
661 ArgEffect DefaultEff = MayEscape) { in getPersistentSummary() argument662 RetainSummary Summ(getArgEffects(), RetEff, DefaultEff, ReceiverEff); in getPersistentSummary()