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