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