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