Home | History | Annotate | Download | only in Checkers

Lines Matching defs:Receiver

389   /// Receiver - If this summary applies to an Objective-C message expression,
390 /// this is the effect applied to the state of the receiver.
391 ArgEffect Receiver;
400 : Args(A), DefaultArgEffect(defaultEff), Receiver(ReceiverEff), Ret(R) {}
427 /// Sets the effect on the receiver of the message.
428 void setReceiverEffect(ArgEffect e) { Receiver = e; }
430 /// getReceiverEffect - Returns the effect on the receiver of the call.
432 ArgEffect getReceiverEffect() const { return Receiver; }
439 Receiver == Other.Receiver && Ret == Other.Ret;
446 ID.Add(Receiver);
1347 // Effects on the receiver.
1456 // -self is handled specially by the ExprEngine to propagate the receiver.
1465 // should stop tracking the reference count for the receiver. This is
1508 // FIXME: The receiver could be a reference to a class, meaning that
1560 // receiver.
1565 // claims the receiver and returns a retained object.
2020 if (const Expr *receiver = ME->getInstanceReceiver())
2021 if (CurrSt->getSValAsScalarOrLoc(receiver, LCtx)
2023 // The symbol we are tracking is the receiver.
2784 // Evaluate the effect on the message receiver.
2831 // Evaluate the effect on the message receiver.
3175 // If the receiver is unknown, conjure a return value.