reference, declaration → definition definition → references, declarations, derived classes, virtual overrides reference to multiple definitions → definitions unreferenced |
622 ArgEffect Effect = Summ.getArg(idx); 649 Summ.getReceiverEffect(), hasErr, C); 653 } else if (Summ.getReceiverEffect().getKind() == Dealloc) { 661 state = updateSymbol(state, Sym, *T, Summ.getThisEffect(), 679 RetEffect RE = Summ.getRetEffect(); 700 updateOutParameters(state, Summ, CallOrMsg);