clang  6.0.0svn
RewriteObjCFoundationAPI.cpp
Go to the documentation of this file.
1 //===--- RewriteObjCFoundationAPI.cpp - Foundation API Rewriter -----------===//
2 //
3 // The LLVM Compiler Infrastructure
4 //
5 // This file is distributed under the University of Illinois Open Source
6 // License. See LICENSE.TXT for details.
7 //
8 //===----------------------------------------------------------------------===//
9 //
10 // Rewrites legacy method calls to modern syntax.
11 //
12 //===----------------------------------------------------------------------===//
13 
14 #include "clang/Edit/Rewriters.h"
15 #include "clang/AST/ASTContext.h"
16 #include "clang/AST/ExprCXX.h"
17 #include "clang/AST/ExprObjC.h"
18 #include "clang/AST/NSAPI.h"
19 #include "clang/AST/ParentMap.h"
20 #include "clang/Edit/Commit.h"
21 #include "clang/Lex/Lexer.h"
22 
23 using namespace clang;
24 using namespace edit;
25 
27  IdentifierInfo *&ClassId,
28  const LangOptions &LangOpts) {
29  if (!Msg || Msg->isImplicit() || !Msg->getMethodDecl())
30  return false;
31 
32  const ObjCInterfaceDecl *Receiver = Msg->getReceiverInterface();
33  if (!Receiver)
34  return false;
35  ClassId = Receiver->getIdentifier();
36 
38  return true;
39 
40  // When in ARC mode we also convert "[[.. alloc] init]" messages to literals,
41  // since the change from +1 to +0 will be handled fine by ARC.
42  if (LangOpts.ObjCAutoRefCount) {
44  if (const ObjCMessageExpr *Rec = dyn_cast<ObjCMessageExpr>(
46  if (Rec->getMethodFamily() == OMF_alloc)
47  return true;
48  }
49  }
50  }
51 
52  return false;
53 }
54 
55 //===----------------------------------------------------------------------===//
56 // rewriteObjCRedundantCallWithLiteral.
57 //===----------------------------------------------------------------------===//
58 
60  const NSAPI &NS, Commit &commit) {
61  IdentifierInfo *II = nullptr;
63  return false;
64  if (Msg->getNumArgs() != 1)
65  return false;
66 
67  const Expr *Arg = Msg->getArg(0)->IgnoreParenImpCasts();
68  Selector Sel = Msg->getSelector();
69 
70  if ((isa<ObjCStringLiteral>(Arg) &&
74 
75  (isa<ObjCArrayLiteral>(Arg) &&
79 
80  (isa<ObjCDictionaryLiteral>(Arg) &&
85 
86  commit.replaceWithInner(Msg->getSourceRange(),
87  Msg->getArg(0)->getSourceRange());
88  return true;
89  }
90 
91  return false;
92 }
93 
94 //===----------------------------------------------------------------------===//
95 // rewriteToObjCSubscriptSyntax.
96 //===----------------------------------------------------------------------===//
97 
98 /// \brief Check for classes that accept 'objectForKey:' (or the other selectors
99 /// that the migrator handles) but return their instances as 'id', resulting
100 /// in the compiler resolving 'objectForKey:' as the method from NSDictionary.
101 ///
102 /// When checking if we can convert to subscripting syntax, check whether
103 /// the receiver is a result of a class method from a hardcoded list of
104 /// such classes. In such a case return the specific class as the interface
105 /// of the receiver.
106 ///
107 /// FIXME: Remove this when these classes start using 'instancetype'.
108 static const ObjCInterfaceDecl *
110  const Expr *Receiver,
111  ASTContext &Ctx) {
112  assert(IFace && Receiver);
113 
114  // If the receiver has type 'id'...
115  if (!Ctx.isObjCIdType(Receiver->getType().getUnqualifiedType()))
116  return IFace;
117 
118  const ObjCMessageExpr *
119  InnerMsg = dyn_cast<ObjCMessageExpr>(Receiver->IgnoreParenCasts());
120  if (!InnerMsg)
121  return IFace;
122 
123  QualType ClassRec;
124  switch (InnerMsg->getReceiverKind()) {
127  return IFace;
128 
130  ClassRec = InnerMsg->getClassReceiver();
131  break;
133  ClassRec = InnerMsg->getSuperType();
134  break;
135  }
136 
137  if (ClassRec.isNull())
138  return IFace;
139 
140  // ...and it is the result of a class message...
141 
142  const ObjCObjectType *ObjTy = ClassRec->getAs<ObjCObjectType>();
143  if (!ObjTy)
144  return IFace;
145  const ObjCInterfaceDecl *OID = ObjTy->getInterface();
146 
147  // ...and the receiving class is NSMapTable or NSLocale, return that
148  // class as the receiving interface.
149  if (OID->getName() == "NSMapTable" ||
150  OID->getName() == "NSLocale")
151  return OID;
152 
153  return IFace;
154 }
155 
157  const ObjCMessageExpr *Msg,
158  ASTContext &Ctx,
159  Selector subscriptSel) {
160  const Expr *Rec = Msg->getInstanceReceiver();
161  if (!Rec)
162  return false;
163  IFace = maybeAdjustInterfaceForSubscriptingCheck(IFace, Rec, Ctx);
164 
165  if (const ObjCMethodDecl *MD = IFace->lookupInstanceMethod(subscriptSel)) {
166  if (!MD->isUnavailable())
167  return true;
168  }
169  return false;
170 }
171 
172 static bool subscriptOperatorNeedsParens(const Expr *FullExpr);
173 
174 static void maybePutParensOnReceiver(const Expr *Receiver, Commit &commit) {
175  if (subscriptOperatorNeedsParens(Receiver)) {
176  SourceRange RecRange = Receiver->getSourceRange();
177  commit.insertWrap("(", RecRange, ")");
178  }
179 }
180 
182  Commit &commit) {
183  if (Msg->getNumArgs() != 1)
184  return false;
185  const Expr *Rec = Msg->getInstanceReceiver();
186  if (!Rec)
187  return false;
188 
189  SourceRange MsgRange = Msg->getSourceRange();
190  SourceRange RecRange = Rec->getSourceRange();
191  SourceRange ArgRange = Msg->getArg(0)->getSourceRange();
192 
194  ArgRange.getBegin()),
196  commit.replaceWithInner(SourceRange(ArgRange.getBegin(), MsgRange.getEnd()),
197  ArgRange);
198  commit.insertWrap("[", ArgRange, "]");
199  maybePutParensOnReceiver(Rec, commit);
200  return true;
201 }
202 
204  const ObjCMessageExpr *Msg,
205  const NSAPI &NS,
206  Commit &commit) {
207  if (!canRewriteToSubscriptSyntax(IFace, Msg, NS.getASTContext(),
209  return false;
210  return rewriteToSubscriptGetCommon(Msg, commit);
211 }
212 
214  const ObjCMessageExpr *Msg,
215  const NSAPI &NS,
216  Commit &commit) {
217  if (!canRewriteToSubscriptSyntax(IFace, Msg, NS.getASTContext(),
219  return false;
220  return rewriteToSubscriptGetCommon(Msg, commit);
221 }
222 
224  const ObjCMessageExpr *Msg,
225  const NSAPI &NS,
226  Commit &commit) {
227  if (!canRewriteToSubscriptSyntax(IFace, Msg, NS.getASTContext(),
229  return false;
230 
231  if (Msg->getNumArgs() != 2)
232  return false;
233  const Expr *Rec = Msg->getInstanceReceiver();
234  if (!Rec)
235  return false;
236 
237  SourceRange MsgRange = Msg->getSourceRange();
238  SourceRange RecRange = Rec->getSourceRange();
239  SourceRange Arg0Range = Msg->getArg(0)->getSourceRange();
240  SourceRange Arg1Range = Msg->getArg(1)->getSourceRange();
241 
243  Arg0Range.getBegin()),
246  Arg1Range.getBegin()),
247  CharSourceRange::getTokenRange(Arg0Range));
248  commit.replaceWithInner(SourceRange(Arg1Range.getBegin(), MsgRange.getEnd()),
249  Arg1Range);
250  commit.insertWrap("[", CharSourceRange::getCharRange(Arg0Range.getBegin(),
251  Arg1Range.getBegin()),
252  "] = ");
253  maybePutParensOnReceiver(Rec, commit);
254  return true;
255 }
256 
258  const ObjCMessageExpr *Msg,
259  const NSAPI &NS,
260  Commit &commit) {
261  if (!canRewriteToSubscriptSyntax(IFace, Msg, NS.getASTContext(),
263  return false;
264 
265  if (Msg->getNumArgs() != 2)
266  return false;
267  const Expr *Rec = Msg->getInstanceReceiver();
268  if (!Rec)
269  return false;
270 
271  SourceRange MsgRange = Msg->getSourceRange();
272  SourceRange RecRange = Rec->getSourceRange();
273  SourceRange Arg0Range = Msg->getArg(0)->getSourceRange();
274  SourceRange Arg1Range = Msg->getArg(1)->getSourceRange();
275 
276  SourceLocation LocBeforeVal = Arg0Range.getBegin();
277  commit.insertBefore(LocBeforeVal, "] = ");
278  commit.insertFromRange(LocBeforeVal, Arg1Range, /*afterToken=*/false,
279  /*beforePreviousInsertions=*/true);
280  commit.insertBefore(LocBeforeVal, "[");
282  Arg0Range.getBegin()),
284  commit.replaceWithInner(SourceRange(Arg0Range.getBegin(), MsgRange.getEnd()),
285  Arg0Range);
286  maybePutParensOnReceiver(Rec, commit);
287  return true;
288 }
289 
291  const NSAPI &NS, Commit &commit) {
292  if (!Msg || Msg->isImplicit() ||
294  return false;
295  const ObjCMethodDecl *Method = Msg->getMethodDecl();
296  if (!Method)
297  return false;
298 
299  const ObjCInterfaceDecl *IFace =
301  if (!IFace)
302  return false;
303  Selector Sel = Msg->getSelector();
304 
306  return rewriteToArraySubscriptGet(IFace, Msg, NS, commit);
307 
309  return rewriteToDictionarySubscriptGet(IFace, Msg, NS, commit);
310 
311  if (Msg->getNumArgs() != 2)
312  return false;
313 
315  return rewriteToArraySubscriptSet(IFace, Msg, NS, commit);
316 
318  return rewriteToDictionarySubscriptSet(IFace, Msg, NS, commit);
319 
320  return false;
321 }
322 
323 //===----------------------------------------------------------------------===//
324 // rewriteToObjCLiteralSyntax.
325 //===----------------------------------------------------------------------===//
326 
327 static bool rewriteToArrayLiteral(const ObjCMessageExpr *Msg,
328  const NSAPI &NS, Commit &commit,
329  const ParentMap *PMap);
330 static bool rewriteToDictionaryLiteral(const ObjCMessageExpr *Msg,
331  const NSAPI &NS, Commit &commit);
332 static bool rewriteToNumberLiteral(const ObjCMessageExpr *Msg,
333  const NSAPI &NS, Commit &commit);
334 static bool rewriteToNumericBoxedExpression(const ObjCMessageExpr *Msg,
335  const NSAPI &NS, Commit &commit);
336 static bool rewriteToStringBoxedExpression(const ObjCMessageExpr *Msg,
337  const NSAPI &NS, Commit &commit);
338 
340  const NSAPI &NS, Commit &commit,
341  const ParentMap *PMap) {
342  IdentifierInfo *II = nullptr;
343  if (!checkForLiteralCreation(Msg, II, NS.getASTContext().getLangOpts()))
344  return false;
345 
346  if (II == NS.getNSClassId(NSAPI::ClassId_NSArray))
347  return rewriteToArrayLiteral(Msg, NS, commit, PMap);
349  return rewriteToDictionaryLiteral(Msg, NS, commit);
351  return rewriteToNumberLiteral(Msg, NS, commit);
353  return rewriteToStringBoxedExpression(Msg, NS, commit);
354 
355  return false;
356 }
357 
358 /// \brief Returns true if the immediate message arguments of \c Msg should not
359 /// be rewritten because it will interfere with the rewrite of the parent
360 /// message expression. e.g.
361 /// \code
362 /// [NSDictionary dictionaryWithObjects:
363 /// [NSArray arrayWithObjects:@"1", @"2", nil]
364 /// forKeys:[NSArray arrayWithObjects:@"A", @"B", nil]];
365 /// \endcode
366 /// It will return true for this because we are going to rewrite this directly
367 /// to a dictionary literal without any array literals.
369  const NSAPI &NS);
370 
371 //===----------------------------------------------------------------------===//
372 // rewriteToArrayLiteral.
373 //===----------------------------------------------------------------------===//
374 
375 /// \brief Adds an explicit cast to 'id' if the type is not objc object.
376 static void objectifyExpr(const Expr *E, Commit &commit);
377 
378 static bool rewriteToArrayLiteral(const ObjCMessageExpr *Msg,
379  const NSAPI &NS, Commit &commit,
380  const ParentMap *PMap) {
381  if (PMap) {
382  const ObjCMessageExpr *ParentMsg =
383  dyn_cast_or_null<ObjCMessageExpr>(PMap->getParentIgnoreParenCasts(Msg));
384  if (shouldNotRewriteImmediateMessageArgs(ParentMsg, NS))
385  return false;
386  }
387 
388  Selector Sel = Msg->getSelector();
389  SourceRange MsgRange = Msg->getSourceRange();
390 
391  if (Sel == NS.getNSArraySelector(NSAPI::NSArr_array)) {
392  if (Msg->getNumArgs() != 0)
393  return false;
394  commit.replace(MsgRange, "@[]");
395  return true;
396  }
397 
399  if (Msg->getNumArgs() != 1)
400  return false;
401  objectifyExpr(Msg->getArg(0), commit);
402  SourceRange ArgRange = Msg->getArg(0)->getSourceRange();
403  commit.replaceWithInner(MsgRange, ArgRange);
404  commit.insertWrap("@[", ArgRange, "]");
405  return true;
406  }
407 
410  if (Msg->getNumArgs() == 0)
411  return false;
412  const Expr *SentinelExpr = Msg->getArg(Msg->getNumArgs() - 1);
413  if (!NS.getASTContext().isSentinelNullExpr(SentinelExpr))
414  return false;
415 
416  for (unsigned i = 0, e = Msg->getNumArgs() - 1; i != e; ++i)
417  objectifyExpr(Msg->getArg(i), commit);
418 
419  if (Msg->getNumArgs() == 1) {
420  commit.replace(MsgRange, "@[]");
421  return true;
422  }
423  SourceRange ArgRange(Msg->getArg(0)->getLocStart(),
424  Msg->getArg(Msg->getNumArgs()-2)->getLocEnd());
425  commit.replaceWithInner(MsgRange, ArgRange);
426  commit.insertWrap("@[", ArgRange, "]");
427  return true;
428  }
429 
430  return false;
431 }
432 
433 //===----------------------------------------------------------------------===//
434 // rewriteToDictionaryLiteral.
435 //===----------------------------------------------------------------------===//
436 
437 /// \brief If \c Msg is an NSArray creation message or literal, this gets the
438 /// objects that were used to create it.
439 /// \returns true if it is an NSArray and we got objects, or false otherwise.
440 static bool getNSArrayObjects(const Expr *E, const NSAPI &NS,
442  if (!E)
443  return false;
444 
445  E = E->IgnoreParenCasts();
446  if (!E)
447  return false;
448 
449  if (const ObjCMessageExpr *Msg = dyn_cast<ObjCMessageExpr>(E)) {
450  IdentifierInfo *Cls = nullptr;
451  if (!checkForLiteralCreation(Msg, Cls, NS.getASTContext().getLangOpts()))
452  return false;
453 
454  if (Cls != NS.getNSClassId(NSAPI::ClassId_NSArray))
455  return false;
456 
457  Selector Sel = Msg->getSelector();
458  if (Sel == NS.getNSArraySelector(NSAPI::NSArr_array))
459  return true; // empty array.
460 
462  if (Msg->getNumArgs() != 1)
463  return false;
464  Objs.push_back(Msg->getArg(0));
465  return true;
466  }
467 
470  if (Msg->getNumArgs() == 0)
471  return false;
472  const Expr *SentinelExpr = Msg->getArg(Msg->getNumArgs() - 1);
473  if (!NS.getASTContext().isSentinelNullExpr(SentinelExpr))
474  return false;
475 
476  for (unsigned i = 0, e = Msg->getNumArgs() - 1; i != e; ++i)
477  Objs.push_back(Msg->getArg(i));
478  return true;
479  }
480 
481  } else if (const ObjCArrayLiteral *ArrLit = dyn_cast<ObjCArrayLiteral>(E)) {
482  for (unsigned i = 0, e = ArrLit->getNumElements(); i != e; ++i)
483  Objs.push_back(ArrLit->getElement(i));
484  return true;
485  }
486 
487  return false;
488 }
489 
491  const NSAPI &NS, Commit &commit) {
492  Selector Sel = Msg->getSelector();
493  SourceRange MsgRange = Msg->getSourceRange();
494 
496  if (Msg->getNumArgs() != 0)
497  return false;
498  commit.replace(MsgRange, "@{}");
499  return true;
500  }
501 
502  if (Sel == NS.getNSDictionarySelector(
504  if (Msg->getNumArgs() != 2)
505  return false;
506 
507  objectifyExpr(Msg->getArg(0), commit);
508  objectifyExpr(Msg->getArg(1), commit);
509 
510  SourceRange ValRange = Msg->getArg(0)->getSourceRange();
511  SourceRange KeyRange = Msg->getArg(1)->getSourceRange();
512  // Insert key before the value.
513  commit.insertBefore(ValRange.getBegin(), ": ");
514  commit.insertFromRange(ValRange.getBegin(),
516  /*afterToken=*/false, /*beforePreviousInsertions=*/true);
517  commit.insertBefore(ValRange.getBegin(), "@{");
518  commit.insertAfterToken(ValRange.getEnd(), "}");
519  commit.replaceWithInner(MsgRange, ValRange);
520  return true;
521  }
522 
523  if (Sel == NS.getNSDictionarySelector(
526  if (Msg->getNumArgs() % 2 != 1)
527  return false;
528  unsigned SentinelIdx = Msg->getNumArgs() - 1;
529  const Expr *SentinelExpr = Msg->getArg(SentinelIdx);
530  if (!NS.getASTContext().isSentinelNullExpr(SentinelExpr))
531  return false;
532 
533  if (Msg->getNumArgs() == 1) {
534  commit.replace(MsgRange, "@{}");
535  return true;
536  }
537 
538  for (unsigned i = 0; i < SentinelIdx; i += 2) {
539  objectifyExpr(Msg->getArg(i), commit);
540  objectifyExpr(Msg->getArg(i+1), commit);
541 
542  SourceRange ValRange = Msg->getArg(i)->getSourceRange();
543  SourceRange KeyRange = Msg->getArg(i+1)->getSourceRange();
544  // Insert value after key.
545  commit.insertAfterToken(KeyRange.getEnd(), ": ");
546  commit.insertFromRange(KeyRange.getEnd(), ValRange, /*afterToken=*/true);
547  commit.remove(CharSourceRange::getCharRange(ValRange.getBegin(),
548  KeyRange.getBegin()));
549  }
550  // Range of arguments up until and including the last key.
551  // The sentinel and first value are cut off, the value will move after the
552  // key.
553  SourceRange ArgRange(Msg->getArg(1)->getLocStart(),
554  Msg->getArg(SentinelIdx-1)->getLocEnd());
555  commit.insertWrap("@{", ArgRange, "}");
556  commit.replaceWithInner(MsgRange, ArgRange);
557  return true;
558  }
559 
560  if (Sel == NS.getNSDictionarySelector(
563  if (Msg->getNumArgs() != 2)
564  return false;
565 
567  if (!getNSArrayObjects(Msg->getArg(0), NS, Vals))
568  return false;
569 
571  if (!getNSArrayObjects(Msg->getArg(1), NS, Keys))
572  return false;
573 
574  if (Vals.size() != Keys.size())
575  return false;
576 
577  if (Vals.empty()) {
578  commit.replace(MsgRange, "@{}");
579  return true;
580  }
581 
582  for (unsigned i = 0, n = Vals.size(); i < n; ++i) {
583  objectifyExpr(Vals[i], commit);
584  objectifyExpr(Keys[i], commit);
585 
586  SourceRange ValRange = Vals[i]->getSourceRange();
587  SourceRange KeyRange = Keys[i]->getSourceRange();
588  // Insert value after key.
589  commit.insertAfterToken(KeyRange.getEnd(), ": ");
590  commit.insertFromRange(KeyRange.getEnd(), ValRange, /*afterToken=*/true);
591  }
592  // Range of arguments up until and including the last key.
593  // The first value is cut off, the value will move after the key.
594  SourceRange ArgRange(Keys.front()->getLocStart(),
595  Keys.back()->getLocEnd());
596  commit.insertWrap("@{", ArgRange, "}");
597  commit.replaceWithInner(MsgRange, ArgRange);
598  return true;
599  }
600 
601  return false;
602 }
603 
605  const NSAPI &NS) {
606  if (!Msg)
607  return false;
608 
609  IdentifierInfo *II = nullptr;
610  if (!checkForLiteralCreation(Msg, II, NS.getASTContext().getLangOpts()))
611  return false;
612 
614  return false;
615 
616  Selector Sel = Msg->getSelector();
617  if (Sel == NS.getNSDictionarySelector(
620  if (Msg->getNumArgs() != 2)
621  return false;
622 
624  if (!getNSArrayObjects(Msg->getArg(0), NS, Vals))
625  return false;
626 
628  if (!getNSArrayObjects(Msg->getArg(1), NS, Keys))
629  return false;
630 
631  if (Vals.size() != Keys.size())
632  return false;
633 
634  return true;
635  }
636 
637  return false;
638 }
639 
640 //===----------------------------------------------------------------------===//
641 // rewriteToNumberLiteral.
642 //===----------------------------------------------------------------------===//
643 
644 static bool rewriteToCharLiteral(const ObjCMessageExpr *Msg,
645  const CharacterLiteral *Arg,
646  const NSAPI &NS, Commit &commit) {
647  if (Arg->getKind() != CharacterLiteral::Ascii)
648  return false;
650  Msg->getSelector())) {
651  SourceRange ArgRange = Arg->getSourceRange();
652  commit.replaceWithInner(Msg->getSourceRange(), ArgRange);
653  commit.insert(ArgRange.getBegin(), "@");
654  return true;
655  }
656 
657  return rewriteToNumericBoxedExpression(Msg, NS, commit);
658 }
659 
660 static bool rewriteToBoolLiteral(const ObjCMessageExpr *Msg,
661  const Expr *Arg,
662  const NSAPI &NS, Commit &commit) {
664  Msg->getSelector())) {
665  SourceRange ArgRange = Arg->getSourceRange();
666  commit.replaceWithInner(Msg->getSourceRange(), ArgRange);
667  commit.insert(ArgRange.getBegin(), "@");
668  return true;
669  }
670 
671  return rewriteToNumericBoxedExpression(Msg, NS, commit);
672 }
673 
674 namespace {
675 
676 struct LiteralInfo {
677  bool Hex, Octal;
678  StringRef U, F, L, LL;
679  CharSourceRange WithoutSuffRange;
680 };
681 
682 }
683 
684 static bool getLiteralInfo(SourceRange literalRange,
685  bool isFloat, bool isIntZero,
686  ASTContext &Ctx, LiteralInfo &Info) {
687  if (literalRange.getBegin().isMacroID() ||
688  literalRange.getEnd().isMacroID())
689  return false;
690  StringRef text = Lexer::getSourceText(
691  CharSourceRange::getTokenRange(literalRange),
692  Ctx.getSourceManager(), Ctx.getLangOpts());
693  if (text.empty())
694  return false;
695 
696  Optional<bool> UpperU, UpperL;
697  bool UpperF = false;
698 
699  struct Suff {
700  static bool has(StringRef suff, StringRef &text) {
701  if (text.endswith(suff)) {
702  text = text.substr(0, text.size()-suff.size());
703  return true;
704  }
705  return false;
706  }
707  };
708 
709  while (1) {
710  if (Suff::has("u", text)) {
711  UpperU = false;
712  } else if (Suff::has("U", text)) {
713  UpperU = true;
714  } else if (Suff::has("ll", text)) {
715  UpperL = false;
716  } else if (Suff::has("LL", text)) {
717  UpperL = true;
718  } else if (Suff::has("l", text)) {
719  UpperL = false;
720  } else if (Suff::has("L", text)) {
721  UpperL = true;
722  } else if (isFloat && Suff::has("f", text)) {
723  UpperF = false;
724  } else if (isFloat && Suff::has("F", text)) {
725  UpperF = true;
726  } else
727  break;
728  }
729 
730  if (!UpperU.hasValue() && !UpperL.hasValue())
731  UpperU = UpperL = true;
732  else if (UpperU.hasValue() && !UpperL.hasValue())
733  UpperL = UpperU;
734  else if (UpperL.hasValue() && !UpperU.hasValue())
735  UpperU = UpperL;
736 
737  Info.U = *UpperU ? "U" : "u";
738  Info.L = *UpperL ? "L" : "l";
739  Info.LL = *UpperL ? "LL" : "ll";
740  Info.F = UpperF ? "F" : "f";
741 
742  Info.Hex = Info.Octal = false;
743  if (text.startswith("0x"))
744  Info.Hex = true;
745  else if (!isFloat && !isIntZero && text.startswith("0"))
746  Info.Octal = true;
747 
748  SourceLocation B = literalRange.getBegin();
749  Info.WithoutSuffRange =
750  CharSourceRange::getCharRange(B, B.getLocWithOffset(text.size()));
751  return true;
752 }
753 
755  const NSAPI &NS, Commit &commit) {
756  if (Msg->getNumArgs() != 1)
757  return false;
758 
759  const Expr *Arg = Msg->getArg(0)->IgnoreParenImpCasts();
760  if (const CharacterLiteral *CharE = dyn_cast<CharacterLiteral>(Arg))
761  return rewriteToCharLiteral(Msg, CharE, NS, commit);
762  if (const ObjCBoolLiteralExpr *BE = dyn_cast<ObjCBoolLiteralExpr>(Arg))
763  return rewriteToBoolLiteral(Msg, BE, NS, commit);
764  if (const CXXBoolLiteralExpr *BE = dyn_cast<CXXBoolLiteralExpr>(Arg))
765  return rewriteToBoolLiteral(Msg, BE, NS, commit);
766 
767  const Expr *literalE = Arg;
768  if (const UnaryOperator *UOE = dyn_cast<UnaryOperator>(literalE)) {
769  if (UOE->getOpcode() == UO_Plus || UOE->getOpcode() == UO_Minus)
770  literalE = UOE->getSubExpr();
771  }
772 
773  // Only integer and floating literals, otherwise try to rewrite to boxed
774  // expression.
775  if (!isa<IntegerLiteral>(literalE) && !isa<FloatingLiteral>(literalE))
776  return rewriteToNumericBoxedExpression(Msg, NS, commit);
777 
778  ASTContext &Ctx = NS.getASTContext();
779  Selector Sel = Msg->getSelector();
781  MKOpt = NS.getNSNumberLiteralMethodKind(Sel);
782  if (!MKOpt)
783  return false;
785 
786  bool CallIsUnsigned = false, CallIsLong = false, CallIsLongLong = false;
787  bool CallIsFloating = false, CallIsDouble = false;
788 
789  switch (MK) {
790  // We cannot have these calls with int/float literals.
796  return rewriteToNumericBoxedExpression(Msg, NS, commit);
797 
800  CallIsUnsigned = true;
801  LLVM_FALLTHROUGH;
804  break;
805 
807  CallIsUnsigned = true;
808  LLVM_FALLTHROUGH;
810  CallIsLong = true;
811  break;
812 
814  CallIsUnsigned = true;
815  LLVM_FALLTHROUGH;
817  CallIsLongLong = true;
818  break;
819 
821  CallIsDouble = true;
822  LLVM_FALLTHROUGH;
824  CallIsFloating = true;
825  break;
826  }
827 
828  SourceRange ArgRange = Arg->getSourceRange();
829  QualType ArgTy = Arg->getType();
830  QualType CallTy = Msg->getArg(0)->getType();
831 
832  // Check for the easy case, the literal maps directly to the call.
833  if (Ctx.hasSameType(ArgTy, CallTy)) {
834  commit.replaceWithInner(Msg->getSourceRange(), ArgRange);
835  commit.insert(ArgRange.getBegin(), "@");
836  return true;
837  }
838 
839  // We will need to modify the literal suffix to get the same type as the call.
840  // Try with boxed expression if it came from a macro.
841  if (ArgRange.getBegin().isMacroID())
842  return rewriteToNumericBoxedExpression(Msg, NS, commit);
843 
844  bool LitIsFloat = ArgTy->isFloatingType();
845  // For a float passed to integer call, don't try rewriting to objc literal.
846  // It is difficult and a very uncommon case anyway.
847  // But try with boxed expression.
848  if (LitIsFloat && !CallIsFloating)
849  return rewriteToNumericBoxedExpression(Msg, NS, commit);
850 
851  // Try to modify the literal make it the same type as the method call.
852  // -Modify the suffix, and/or
853  // -Change integer to float
854 
855  LiteralInfo LitInfo;
856  bool isIntZero = false;
857  if (const IntegerLiteral *IntE = dyn_cast<IntegerLiteral>(literalE))
858  isIntZero = !IntE->getValue().getBoolValue();
859  if (!getLiteralInfo(ArgRange, LitIsFloat, isIntZero, Ctx, LitInfo))
860  return rewriteToNumericBoxedExpression(Msg, NS, commit);
861 
862  // Not easy to do int -> float with hex/octal and uncommon anyway.
863  if (!LitIsFloat && CallIsFloating && (LitInfo.Hex || LitInfo.Octal))
864  return rewriteToNumericBoxedExpression(Msg, NS, commit);
865 
866  SourceLocation LitB = LitInfo.WithoutSuffRange.getBegin();
867  SourceLocation LitE = LitInfo.WithoutSuffRange.getEnd();
868 
870  LitInfo.WithoutSuffRange);
871  commit.insert(LitB, "@");
872 
873  if (!LitIsFloat && CallIsFloating)
874  commit.insert(LitE, ".0");
875 
876  if (CallIsFloating) {
877  if (!CallIsDouble)
878  commit.insert(LitE, LitInfo.F);
879  } else {
880  if (CallIsUnsigned)
881  commit.insert(LitE, LitInfo.U);
882 
883  if (CallIsLong)
884  commit.insert(LitE, LitInfo.L);
885  else if (CallIsLongLong)
886  commit.insert(LitE, LitInfo.LL);
887  }
888  return true;
889 }
890 
891 // FIXME: Make determination of operator precedence more general and
892 // make it broadly available.
893 static bool subscriptOperatorNeedsParens(const Expr *FullExpr) {
894  const Expr* Expr = FullExpr->IgnoreImpCasts();
895  if (isa<ArraySubscriptExpr>(Expr) ||
896  isa<CallExpr>(Expr) ||
897  isa<DeclRefExpr>(Expr) ||
898  isa<CXXNamedCastExpr>(Expr) ||
899  isa<CXXConstructExpr>(Expr) ||
900  isa<CXXThisExpr>(Expr) ||
901  isa<CXXTypeidExpr>(Expr) ||
902  isa<CXXUnresolvedConstructExpr>(Expr) ||
903  isa<ObjCMessageExpr>(Expr) ||
904  isa<ObjCPropertyRefExpr>(Expr) ||
905  isa<ObjCProtocolExpr>(Expr) ||
906  isa<MemberExpr>(Expr) ||
907  isa<ObjCIvarRefExpr>(Expr) ||
908  isa<ParenExpr>(FullExpr) ||
909  isa<ParenListExpr>(Expr) ||
910  isa<SizeOfPackExpr>(Expr))
911  return false;
912 
913  return true;
914 }
915 static bool castOperatorNeedsParens(const Expr *FullExpr) {
916  const Expr* Expr = FullExpr->IgnoreImpCasts();
917  if (isa<ArraySubscriptExpr>(Expr) ||
918  isa<CallExpr>(Expr) ||
919  isa<DeclRefExpr>(Expr) ||
920  isa<CastExpr>(Expr) ||
921  isa<CXXNewExpr>(Expr) ||
922  isa<CXXConstructExpr>(Expr) ||
923  isa<CXXDeleteExpr>(Expr) ||
924  isa<CXXNoexceptExpr>(Expr) ||
925  isa<CXXPseudoDestructorExpr>(Expr) ||
926  isa<CXXScalarValueInitExpr>(Expr) ||
927  isa<CXXThisExpr>(Expr) ||
928  isa<CXXTypeidExpr>(Expr) ||
929  isa<CXXUnresolvedConstructExpr>(Expr) ||
930  isa<ObjCMessageExpr>(Expr) ||
931  isa<ObjCPropertyRefExpr>(Expr) ||
932  isa<ObjCProtocolExpr>(Expr) ||
933  isa<MemberExpr>(Expr) ||
934  isa<ObjCIvarRefExpr>(Expr) ||
935  isa<ParenExpr>(FullExpr) ||
936  isa<ParenListExpr>(Expr) ||
937  isa<SizeOfPackExpr>(Expr) ||
938  isa<UnaryOperator>(Expr))
939  return false;
940 
941  return true;
942 }
943 
944 static void objectifyExpr(const Expr *E, Commit &commit) {
945  if (!E) return;
946 
947  QualType T = E->getType();
948  if (T->isObjCObjectPointerType()) {
949  if (const ImplicitCastExpr *ICE = dyn_cast<ImplicitCastExpr>(E)) {
950  if (ICE->getCastKind() != CK_CPointerToObjCPointerCast)
951  return;
952  } else {
953  return;
954  }
955  } else if (!T->isPointerType()) {
956  return;
957  }
958 
959  SourceRange Range = E->getSourceRange();
961  commit.insertWrap("(", Range, ")");
962  commit.insertBefore(Range.getBegin(), "(id)");
963 }
964 
965 //===----------------------------------------------------------------------===//
966 // rewriteToNumericBoxedExpression.
967 //===----------------------------------------------------------------------===//
968 
969 static bool isEnumConstant(const Expr *E) {
970  if (const DeclRefExpr *DRE = dyn_cast<DeclRefExpr>(E->IgnoreParenImpCasts()))
971  if (const ValueDecl *VD = DRE->getDecl())
972  return isa<EnumConstantDecl>(VD);
973 
974  return false;
975 }
976 
978  const NSAPI &NS, Commit &commit) {
979  if (Msg->getNumArgs() != 1)
980  return false;
981 
982  const Expr *Arg = Msg->getArg(0);
983  if (Arg->isTypeDependent())
984  return false;
985 
986  ASTContext &Ctx = NS.getASTContext();
987  Selector Sel = Msg->getSelector();
989  MKOpt = NS.getNSNumberLiteralMethodKind(Sel);
990  if (!MKOpt)
991  return false;
993 
994  const Expr *OrigArg = Arg->IgnoreImpCasts();
995  QualType FinalTy = Arg->getType();
996  QualType OrigTy = OrigArg->getType();
997  uint64_t FinalTySize = Ctx.getTypeSize(FinalTy);
998  uint64_t OrigTySize = Ctx.getTypeSize(OrigTy);
999 
1000  bool isTruncated = FinalTySize < OrigTySize;
1001  bool needsCast = false;
1002 
1003  if (const ImplicitCastExpr *ICE = dyn_cast<ImplicitCastExpr>(Arg)) {
1004  switch (ICE->getCastKind()) {
1005  case CK_LValueToRValue:
1006  case CK_NoOp:
1007  case CK_UserDefinedConversion:
1008  break;
1009 
1010  case CK_IntegralCast: {
1011  if (MK == NSAPI::NSNumberWithBool && OrigTy->isBooleanType())
1012  break;
1013  // Be more liberal with Integer/UnsignedInteger which are very commonly
1014  // used.
1015  if ((MK == NSAPI::NSNumberWithInteger ||
1017  !isTruncated) {
1018  if (OrigTy->getAs<EnumType>() || isEnumConstant(OrigArg))
1019  break;
1020  if ((MK==NSAPI::NSNumberWithInteger) == OrigTy->isSignedIntegerType() &&
1021  OrigTySize >= Ctx.getTypeSize(Ctx.IntTy))
1022  break;
1023  }
1024 
1025  needsCast = true;
1026  break;
1027  }
1028 
1029  case CK_PointerToBoolean:
1030  case CK_IntegralToBoolean:
1031  case CK_IntegralToFloating:
1032  case CK_FloatingToIntegral:
1033  case CK_FloatingToBoolean:
1034  case CK_FloatingCast:
1035  case CK_FloatingComplexToReal:
1036  case CK_FloatingComplexToBoolean:
1037  case CK_IntegralComplexToReal:
1038  case CK_IntegralComplexToBoolean:
1039  case CK_AtomicToNonAtomic:
1040  case CK_AddressSpaceConversion:
1041  needsCast = true;
1042  break;
1043 
1044  case CK_Dependent:
1045  case CK_BitCast:
1046  case CK_LValueBitCast:
1047  case CK_BaseToDerived:
1048  case CK_DerivedToBase:
1049  case CK_UncheckedDerivedToBase:
1050  case CK_Dynamic:
1051  case CK_ToUnion:
1052  case CK_ArrayToPointerDecay:
1053  case CK_FunctionToPointerDecay:
1054  case CK_NullToPointer:
1055  case CK_NullToMemberPointer:
1056  case CK_BaseToDerivedMemberPointer:
1057  case CK_DerivedToBaseMemberPointer:
1058  case CK_MemberPointerToBoolean:
1059  case CK_ReinterpretMemberPointer:
1060  case CK_ConstructorConversion:
1061  case CK_IntegralToPointer:
1062  case CK_PointerToIntegral:
1063  case CK_ToVoid:
1064  case CK_VectorSplat:
1065  case CK_CPointerToObjCPointerCast:
1066  case CK_BlockPointerToObjCPointerCast:
1067  case CK_AnyPointerToBlockPointerCast:
1068  case CK_ObjCObjectLValueCast:
1069  case CK_FloatingRealToComplex:
1070  case CK_FloatingComplexCast:
1071  case CK_FloatingComplexToIntegralComplex:
1072  case CK_IntegralRealToComplex:
1073  case CK_IntegralComplexCast:
1074  case CK_IntegralComplexToFloatingComplex:
1075  case CK_ARCProduceObject:
1076  case CK_ARCConsumeObject:
1077  case CK_ARCReclaimReturnedObject:
1078  case CK_ARCExtendBlockObject:
1079  case CK_NonAtomicToAtomic:
1080  case CK_CopyAndAutoreleaseBlockObject:
1081  case CK_BuiltinFnToFnPtr:
1082  case CK_ZeroToOCLEvent:
1083  case CK_ZeroToOCLQueue:
1084  case CK_IntToOCLSampler:
1085  return false;
1086 
1087  case CK_BooleanToSignedIntegral:
1088  llvm_unreachable("OpenCL-specific cast in Objective-C?");
1089  }
1090  }
1091 
1092  if (needsCast) {
1093  DiagnosticsEngine &Diags = Ctx.getDiagnostics();
1094  // FIXME: Use a custom category name to distinguish migration diagnostics.
1095  unsigned diagID = Diags.getCustomDiagID(DiagnosticsEngine::Warning,
1096  "converting to boxing syntax requires casting %0 to %1");
1097  Diags.Report(Msg->getExprLoc(), diagID) << OrigTy << FinalTy
1098  << Msg->getSourceRange();
1099  return false;
1100  }
1101 
1102  SourceRange ArgRange = OrigArg->getSourceRange();
1103  commit.replaceWithInner(Msg->getSourceRange(), ArgRange);
1104 
1105  if (isa<ParenExpr>(OrigArg) || isa<IntegerLiteral>(OrigArg))
1106  commit.insertBefore(ArgRange.getBegin(), "@");
1107  else
1108  commit.insertWrap("@(", ArgRange, ")");
1109 
1110  return true;
1111 }
1112 
1113 //===----------------------------------------------------------------------===//
1114 // rewriteToStringBoxedExpression.
1115 //===----------------------------------------------------------------------===//
1116 
1118  const ObjCMessageExpr *Msg,
1119  const NSAPI &NS, Commit &commit) {
1120  const Expr *Arg = Msg->getArg(0);
1121  if (Arg->isTypeDependent())
1122  return false;
1123 
1124  ASTContext &Ctx = NS.getASTContext();
1125 
1126  const Expr *OrigArg = Arg->IgnoreImpCasts();
1127  QualType OrigTy = OrigArg->getType();
1128  if (OrigTy->isArrayType())
1129  OrigTy = Ctx.getArrayDecayedType(OrigTy);
1130 
1131  if (const StringLiteral *
1132  StrE = dyn_cast<StringLiteral>(OrigArg->IgnoreParens())) {
1133  commit.replaceWithInner(Msg->getSourceRange(), StrE->getSourceRange());
1134  commit.insert(StrE->getLocStart(), "@");
1135  return true;
1136  }
1137 
1138  if (const PointerType *PT = OrigTy->getAs<PointerType>()) {
1139  QualType PointeeType = PT->getPointeeType();
1140  if (Ctx.hasSameUnqualifiedType(PointeeType, Ctx.CharTy)) {
1141  SourceRange ArgRange = OrigArg->getSourceRange();
1142  commit.replaceWithInner(Msg->getSourceRange(), ArgRange);
1143 
1144  if (isa<ParenExpr>(OrigArg) || isa<IntegerLiteral>(OrigArg))
1145  commit.insertBefore(ArgRange.getBegin(), "@");
1146  else
1147  commit.insertWrap("@(", ArgRange, ")");
1148 
1149  return true;
1150  }
1151  }
1152 
1153  return false;
1154 }
1155 
1157  const NSAPI &NS, Commit &commit) {
1158  Selector Sel = Msg->getSelector();
1159 
1163  if (Msg->getNumArgs() != 1)
1164  return false;
1165  return doRewriteToUTF8StringBoxedExpressionHelper(Msg, NS, commit);
1166  }
1167 
1169  if (Msg->getNumArgs() != 2)
1170  return false;
1171 
1172  const Expr *encodingArg = Msg->getArg(1);
1173  if (NS.isNSUTF8StringEncodingConstant(encodingArg) ||
1174  NS.isNSASCIIStringEncodingConstant(encodingArg))
1175  return doRewriteToUTF8StringBoxedExpressionHelper(Msg, NS, commit);
1176  }
1177 
1178  return false;
1179 }
Selector getObjectAtIndexedSubscriptSelector() const
Returns selector for "objectAtIndexedSubscript:".
Definition: NSAPI.h:147
The receiver is the instance of the superclass object.
Definition: ExprObjC.h:1009
Defines the clang::ASTContext interface.
bool remove(CharSourceRange range)
Definition: Commit.cpp:86
The receiver is an object instance.
Definition: ExprObjC.h:1005
Smart pointer class that efficiently represents Objective-C method names.
if(T->getSizeExpr()) TRY_TO(TraverseStmt(T -> getSizeExpr()))
PointerType - C99 6.7.5.1 - Pointer Declarators.
Definition: Type.h:2222
A (possibly-)qualified type.
Definition: Type.h:614
bool isArrayType() const
Definition: Type.h:5805
bool rewriteToObjCSubscriptSyntax(const ObjCMessageExpr *Msg, const NSAPI &NS, Commit &commit)
Selector getSelector() const
Definition: ExprObjC.cpp:306
bool rewriteToObjCLiteralSyntax(const ObjCMessageExpr *Msg, const NSAPI &NS, Commit &commit, const ParentMap *PMap)
bool insertWrap(StringRef before, CharSourceRange range, StringRef after)
Definition: Commit.cpp:98
QualType getPointeeType() const
If this is a pointer, ObjC object pointer, or block pointer, this returns the respective pointee...
Definition: Type.cpp:435
static CharSourceRange getTokenRange(SourceRange R)
ObjCInterfaceDecl * getReceiverInterface() const
Retrieve the Objective-C interface to which this message is being directed, if known.
Definition: ExprObjC.cpp:327
static bool rewriteToSubscriptGetCommon(const ObjCMessageExpr *Msg, Commit &commit)
NSNumberLiteralMethodKind
Enumerates the NSNumber methods used to generate literals.
Definition: NSAPI.h:170
DiagnosticsEngine & getDiagnostics() const
DiagnosticBuilder Report(SourceLocation Loc, unsigned DiagID)
Issue the message to the client.
Definition: Diagnostic.h:1205
bool insertAfterToken(SourceLocation loc, StringRef text, bool beforePreviousInsertions=false)
Definition: Commit.h:69
bool insertFromRange(SourceLocation loc, CharSourceRange range, bool afterToken=false, bool beforePreviousInsertions=false)
Definition: Commit.cpp:59
static bool rewriteToNumberLiteral(const ObjCMessageExpr *Msg, const NSAPI &NS, Commit &commit)
const T * getAs() const
Member-template getAs<specific type>&#39;.
Definition: Type.h:6099
ObjCMethodDecl - Represents an instance or class method declaration.
Definition: DeclObjC.h:113
Defines the clang::Expr interface and subclasses for C++ expressions.
IdentifierInfo * getIdentifier() const
getIdentifier - Get the identifier that names this declaration, if there is one.
Definition: Decl.h:232
Expr * IgnoreImpCasts() LLVM_READONLY
IgnoreImpCasts - Skip past any implicit casts which might surround this expression.
Definition: Expr.h:2866
bool insert(SourceLocation loc, StringRef text, bool afterToken=false, bool beforePreviousInsertions=false)
Definition: Commit.cpp:43
One of these records is kept for each identifier that is lexed.
Selector getSetObjectForKeyedSubscriptSelector() const
Returns selector for "setObject:forKeyedSubscript".
Definition: NSAPI.h:153
bool isObjCIdType(QualType T) const
Definition: ASTContext.h:2392
Represents a class type in Objective C.
Definition: Type.h:5023
ObjCMethodDecl * lookupInstanceMethod(Selector Sel) const
Lookup an instance method for a given selector.
Definition: DeclObjC.h:1766
Holds long-lived AST nodes (such as types and decls) that can be referred to throughout the semantic ...
Definition: ASTContext.h:128
static bool isEnumConstant(const Expr *E)
Selector getNSStringSelector(NSStringMethodKind MK) const
The Objective-C NSString selectors.
Definition: NSAPI.cpp:43
static void objectifyExpr(const Expr *E, Commit &commit)
Adds an explicit cast to &#39;id&#39; if the type is not objc object.
static bool rewriteToArraySubscriptGet(const ObjCInterfaceDecl *IFace, const ObjCMessageExpr *Msg, const NSAPI &NS, Commit &commit)
Keeps track of the various options that can be enabled, which controls the dialect of C or C++ that i...
Definition: LangOptions.h:48
ObjCArrayLiteral - used for objective-c array containers; as in: @["Hello", NSApp, [NSNumber numberWithInt:42]];.
Definition: ExprObjC.h:144
Optional< NSNumberLiteralMethodKind > getNSNumberLiteralMethodKind(Selector Sel) const
Return NSNumberLiteralMethodKind if Sel is such a selector.
Definition: NSAPI.cpp:379
bool replace(CharSourceRange range, StringRef text)
Definition: Commit.cpp:111
static bool rewriteToDictionarySubscriptGet(const ObjCInterfaceDecl *IFace, const ObjCMessageExpr *Msg, const NSAPI &NS, Commit &commit)
Concrete class used by the front-end to report problems and issues.
Definition: Diagnostic.h:147
Expr * IgnoreParenCasts() LLVM_READONLY
IgnoreParenCasts - Ignore parentheses and casts.
Definition: Expr.cpp:2462
bool isTypeDependent() const
isTypeDependent - Determines whether this expression is type-dependent (C++ [temp.dep.expr]), which means that its type could change from one template instantiation to the next.
Definition: Expr.h:167
Represents an ObjC class declaration.
Definition: DeclObjC.h:1108
ObjCInterfaceDecl * getInterface() const
Gets the interface declaration for this object type, if the base type really is an interface...
Definition: Type.h:5253
static bool getNSArrayObjects(const Expr *E, const NSAPI &NS, SmallVectorImpl< const Expr *> &Objs)
If Msg is an NSArray creation message or literal, this gets the objects that were used to create it...
static const ObjCInterfaceDecl * maybeAdjustInterfaceForSubscriptingCheck(const ObjCInterfaceDecl *IFace, const Expr *Receiver, ASTContext &Ctx)
Check for classes that accept &#39;objectForKey:&#39; (or the other selectors that the migrator handles) but ...
SourceLocation getLocEnd() const LLVM_READONLY
Definition: Stmt.cpp:270
static bool castOperatorNeedsParens(const Expr *FullExpr)
static StringRef getSourceText(CharSourceRange Range, const SourceManager &SM, const LangOptions &LangOpts, bool *Invalid=nullptr)
Returns a string for the source that the range encompasses.
Definition: Lexer.cpp:916
ValueDecl - Represent the declaration of a variable (in which case it is an lvalue) a function (in wh...
Definition: Decl.h:593
Expr - This represents one expression.
Definition: Expr.h:106
Represents a character-granular source range.
Selector getNSArraySelector(NSArrayMethodKind MK) const
The Objective-C NSArray selectors.
Definition: NSAPI.cpp:90
static bool rewriteToDictionaryLiteral(const ObjCMessageExpr *Msg, const NSAPI &NS, Commit &commit)
const FunctionProtoType * T
ASTContext & getASTContext() const
Definition: NSAPI.h:28
static bool doRewriteToUTF8StringBoxedExpressionHelper(const ObjCMessageExpr *Msg, const NSAPI &NS, Commit &commit)
bool isSignedIntegerType() const
Return true if this is an integer type that is signed, according to C99 6.2.5p4 [char, signed char, short, int, long..], or an enum decl which has a signed representation.
Definition: Type.cpp:1765
QualType getType() const
Definition: Expr.h:128
An expression that sends a message to the given Objective-C object or class.
Definition: ExprObjC.h:860
static bool subscriptOperatorNeedsParens(const Expr *FullExpr)
SourceLocation getEnd() const
UnaryOperator - This represents the unary-expression&#39;s (except sizeof and alignof), the postinc/postdec operators from postfix-expression, and various extensions.
Definition: Expr.h:1717
ReceiverKind getReceiverKind() const
Determine the kind of receiver that this message is being sent to.
Definition: ExprObjC.h:1136
bool rewriteObjCRedundantCallWithLiteral(const ObjCMessageExpr *Msg, const NSAPI &NS, Commit &commit)
static bool checkForLiteralCreation(const ObjCMessageExpr *Msg, IdentifierInfo *&ClassId, const LangOptions &LangOpts)
bool isNull() const
Return true if this QualType doesn&#39;t point to a type yet.
Definition: Type.h:681
bool isNSUTF8StringEncodingConstant(const Expr *E) const
Returns true if the expression.
Definition: NSAPI.h:64
Expr * getArg(unsigned Arg)
getArg - Return the specified argument.
Definition: ExprObjC.h:1290
static CharSourceRange getCharRange(SourceRange R)
static bool rewriteToArrayLiteral(const ObjCMessageExpr *Msg, const NSAPI &NS, Commit &commit, const ParentMap *PMap)
unsigned getNumArgs() const
Return the number of actual arguments in this message, not counting the receiver. ...
Definition: ExprObjC.h:1277
Encodes a location in the source.
A helper class that allows the use of isa/cast/dyncast to detect TagType objects of enums...
Definition: Type.h:3864
const internal::ArgumentAdaptingMatcherFunc< internal::HasMatcher > LLVM_ATTRIBUTE_UNUSED has
Matches AST nodes that have child AST nodes that match the provided matcher.
Definition: ASTMatchers.h:2435
bool isObjCObjectPointerType() const
Definition: Type.h:5841
ImplicitCastExpr - Allows us to explicitly represent implicit type conversions, which have no direct ...
Definition: Expr.h:2823
bool isImplicit() const
Indicates whether the message send was implicitly generated by the implementation.
Definition: ExprObjC.h:1132
CharacterKind getKind() const
Definition: Expr.h:1365
unsigned getCustomDiagID(Level L, const char(&FormatString)[N])
Return an ID for a diagnostic with the specified format string and level.
Definition: Diagnostic.h:689
const ObjCMethodDecl * getMethodDecl() const
Definition: ExprObjC.h:1251
bool hasSameUnqualifiedType(QualType T1, QualType T2) const
Determine whether the given types are equivalent after cvr-qualifiers have been removed.
Definition: ASTContext.h:2165
IdentifierInfo * getNSClassId(NSClassIdKindKind K) const
Definition: NSAPI.cpp:23
SourceLocation getExprLoc() const LLVM_READONLY
getExprLoc - Return the preferred location for the arrow when diagnosing a problem with a generic exp...
Definition: Expr.cpp:216
QualType getArrayDecayedType(QualType T) const
Return the properly qualified result of decaying the specified array type to a pointer.
Expr * getInstanceReceiver()
Returns the object expression (receiver) for an instance message, or null for a message that is not a...
Definition: ExprObjC.h:1155
static bool rewriteToDictionarySubscriptSet(const ObjCInterfaceDecl *IFace, const ObjCMessageExpr *Msg, const NSAPI &NS, Commit &commit)
CanQualType CharTy
Definition: ASTContext.h:967
static bool rewriteToArraySubscriptSet(const ObjCInterfaceDecl *IFace, const ObjCMessageExpr *Msg, const NSAPI &NS, Commit &commit)
Dataflow Directional Tag Classes.
bool isSentinelNullExpr(const Expr *E)
static bool rewriteToBoolLiteral(const ObjCMessageExpr *Msg, const Expr *Arg, const NSAPI &NS, Commit &commit)
QualType getSuperType() const
Retrieve the type referred to by &#39;super&#39;.
Definition: ExprObjC.h:1231
static bool rewriteToStringBoxedExpression(const ObjCMessageExpr *Msg, const NSAPI &NS, Commit &commit)
static bool canRewriteToSubscriptSyntax(const ObjCInterfaceDecl *&IFace, const ObjCMessageExpr *Msg, ASTContext &Ctx, Selector subscriptSel)
bool isBooleanType() const
Definition: Type.h:6026
bool isNSNumberLiteralSelector(NSNumberLiteralMethodKind MK, Selector Sel) const
Definition: NSAPI.h:195
Expr * IgnoreParenImpCasts() LLVM_READONLY
IgnoreParenImpCasts - Ignore parentheses and implicit casts.
Definition: Expr.cpp:2549
static bool rewriteToNumericBoxedExpression(const ObjCMessageExpr *Msg, const NSAPI &NS, Commit &commit)
bool isMacroID() const
QualType getClassReceiver() const
Returns the type of a class message send, or NULL if the message is not a class message.
Definition: ExprObjC.h:1174
bool hasSameType(QualType T1, QualType T2) const
Determine whether the given types T1 and T2 are equivalent.
Definition: ASTContext.h:2140
uint64_t getTypeSize(QualType T) const
Return the size of the specified (complete) type T, in bits.
Definition: ASTContext.h:1961
SourceManager & getSourceManager()
Definition: ASTContext.h:618
Selector getNSDictionarySelector(NSDictionaryMethodKind MK) const
The Objective-C NSDictionary selectors.
Definition: NSAPI.cpp:167
QualType getUnqualifiedType() const
Retrieve the unqualified variant of the given type, removing as little sugar as possible.
Definition: Type.h:5623
static void maybePutParensOnReceiver(const Expr *Receiver, Commit &commit)
const ObjCInterfaceDecl * getObjContainingInterface(const NamedDecl *ND) const
Returns the Objective-C interface that ND belongs to if it is an Objective-C method/property/ivar etc...
static bool getLiteralInfo(SourceRange literalRange, bool isFloat, bool isIntZero, ASTContext &Ctx, LiteralInfo &Info)
The receiver is a class.
Definition: ExprObjC.h:1003
SourceRange getSourceRange() const LLVM_READONLY
SourceLocation tokens are not useful in isolation - they are low level value objects created/interpre...
Definition: Stmt.cpp:245
StringLiteral - This represents a string literal expression, e.g.
Definition: Expr.h:1509
StringRef getName() const
getName - Get the name of identifier for this declaration as a StringRef.
Definition: Decl.h:237
bool insertBefore(SourceLocation loc, StringRef text)
Definition: Commit.h:73
Stmt * getParentIgnoreParenCasts(Stmt *) const
Definition: ParentMap.cpp:133
CanQualType IntTy
Definition: ASTContext.h:973
ObjCBoolLiteralExpr - Objective-C Boolean Literal.
Definition: ExprObjC.h:60
A reference to a declared variable, function, enum, etc.
Definition: Expr.h:956
static bool shouldNotRewriteImmediateMessageArgs(const ObjCMessageExpr *Msg, const NSAPI &NS)
Returns true if the immediate message arguments of Msg should not be rewritten because it will interf...
bool replaceWithInner(CharSourceRange range, CharSourceRange innerRange)
Definition: Commit.cpp:127
bool isPointerType() const
Definition: Type.h:5766
bool isFloatingType() const
Definition: Type.cpp:1842
A trivial tuple used to represent a source range.
A boolean literal, per ([C++ lex.bool] Boolean literals).
Definition: ExprCXX.h:486
Selector getObjectForKeyedSubscriptSelector() const
Returns selector for "objectForKeyedSubscript:".
Definition: NSAPI.h:141
The receiver is a superclass.
Definition: ExprObjC.h:1007
static bool rewriteToCharLiteral(const ObjCMessageExpr *Msg, const CharacterLiteral *Arg, const NSAPI &NS, Commit &commit)
SourceLocation getLocStart() const LLVM_READONLY
Definition: Stmt.cpp:257
SourceLocation getBegin() const
const LangOptions & getLangOpts() const
Definition: ASTContext.h:661
Expr * IgnoreParens() LLVM_READONLY
IgnoreParens - Ignore parentheses.
Definition: Expr.cpp:2431
bool isNSASCIIStringEncodingConstant(const Expr *E) const
Returns true if the expression.
Definition: NSAPI.h:70
Selector getSetObjectAtIndexedSubscriptSelector() const
Returns selector for "setObject:atIndexedSubscript".
Definition: NSAPI.h:159