Home
last modified time | relevance | path

Searched refs:elementTypeAsString (Results 1 – 25 of 33) sorted by relevance

12

/dports/math/cvc4/CVC4-1.7/examples/sets-translate/
H A Dsets_translate.cpp103 string elementTypeAsString = oss_type.str(); in add() local
104 elementTypeAsString.erase( in add()
105 remove_if(elementTypeAsString.begin(), elementTypeAsString.end(), nonsense), in add()
106 elementTypeAsString.end()); in add()
130 em->mkVar( std::string("emptyset") + elementTypeAsString, in add()
148 em->mkVar( std::string("union") + elementTypeAsString, in add()
166 em->mkVar( std::string("setminus") + elementTypeAsString, in add()
175 em->mkVar( std::string("member") + elementTypeAsString, in add()
182 …<<" (= emptyset" << elementTypeAsString << " (setminus" << elementTypeAsString << " s1 s2)) )" << … in add()
184 em->mkVar( std::string("subset") + elementTypeAsString, in add()
[all …]
/dports/devel/llvm-devel/llvm-project-f05c95f10fc1d8171071735af8ad3a9e87633120/clang/lib/Frontend/Rewrite/
H A DRewriteObjC.cpp1491 std::string elementTypeAsString; in RewriteObjCForCollectionStmt() local
1501 elementTypeAsString = "id"; in RewriteObjCForCollectionStmt()
1503 elementTypeAsString = ElementType.getAsString(Context->getPrintingPolicy()); in RewriteObjCForCollectionStmt()
1504 buf += elementTypeAsString; in RewriteObjCForCollectionStmt()
1517 elementTypeAsString = "id"; in RewriteObjCForCollectionStmt()
1519 elementTypeAsString = VD->getType().getAsString(Context->getPrintingPolicy()); in RewriteObjCForCollectionStmt()
1580 buf += elementTypeAsString; in RewriteObjCForCollectionStmt()
1607 buf += elementTypeAsString; in RewriteObjCForCollectionStmt()
1616 buf += elementTypeAsString; in RewriteObjCForCollectionStmt()
H A DRewriteModernObjC.cpp1695 std::string elementTypeAsString; in RewriteObjCForCollectionStmt() local
1708 elementTypeAsString = "id"; in RewriteObjCForCollectionStmt()
1710 elementTypeAsString = ElementType.getAsString(Context->getPrintingPolicy()); in RewriteObjCForCollectionStmt()
1711 buf += elementTypeAsString; in RewriteObjCForCollectionStmt()
1724 elementTypeAsString = "id"; in RewriteObjCForCollectionStmt()
1726 elementTypeAsString = VD->getType().getAsString(Context->getPrintingPolicy()); in RewriteObjCForCollectionStmt()
1787 buf += elementTypeAsString; in RewriteObjCForCollectionStmt()
1814 buf += elementTypeAsString; in RewriteObjCForCollectionStmt()
1823 buf += elementTypeAsString; in RewriteObjCForCollectionStmt()
/dports/www/chromium-legacy/chromium-88.0.4324.182/third_party/llvm/clang/lib/Frontend/Rewrite/
H A DRewriteObjC.cpp1491 std::string elementTypeAsString; in RewriteObjCForCollectionStmt() local
1501 elementTypeAsString = "id"; in RewriteObjCForCollectionStmt()
1503 elementTypeAsString = ElementType.getAsString(Context->getPrintingPolicy()); in RewriteObjCForCollectionStmt()
1504 buf += elementTypeAsString; in RewriteObjCForCollectionStmt()
1517 elementTypeAsString = "id"; in RewriteObjCForCollectionStmt()
1519 elementTypeAsString = VD->getType().getAsString(Context->getPrintingPolicy()); in RewriteObjCForCollectionStmt()
1580 buf += elementTypeAsString; in RewriteObjCForCollectionStmt()
1607 buf += elementTypeAsString; in RewriteObjCForCollectionStmt()
1616 buf += elementTypeAsString; in RewriteObjCForCollectionStmt()
H A DRewriteModernObjC.cpp1695 std::string elementTypeAsString; in RewriteObjCForCollectionStmt() local
1708 elementTypeAsString = "id"; in RewriteObjCForCollectionStmt()
1710 elementTypeAsString = ElementType.getAsString(Context->getPrintingPolicy()); in RewriteObjCForCollectionStmt()
1711 buf += elementTypeAsString; in RewriteObjCForCollectionStmt()
1724 elementTypeAsString = "id"; in RewriteObjCForCollectionStmt()
1726 elementTypeAsString = VD->getType().getAsString(Context->getPrintingPolicy()); in RewriteObjCForCollectionStmt()
1787 buf += elementTypeAsString; in RewriteObjCForCollectionStmt()
1814 buf += elementTypeAsString; in RewriteObjCForCollectionStmt()
1823 buf += elementTypeAsString; in RewriteObjCForCollectionStmt()
/dports/devel/llvm12/llvm-project-12.0.1.src/clang/lib/Frontend/Rewrite/
H A DRewriteObjC.cpp1491 std::string elementTypeAsString; in RewriteObjCForCollectionStmt() local
1501 elementTypeAsString = "id"; in RewriteObjCForCollectionStmt()
1503 elementTypeAsString = ElementType.getAsString(Context->getPrintingPolicy()); in RewriteObjCForCollectionStmt()
1504 buf += elementTypeAsString; in RewriteObjCForCollectionStmt()
1517 elementTypeAsString = "id"; in RewriteObjCForCollectionStmt()
1519 elementTypeAsString = VD->getType().getAsString(Context->getPrintingPolicy()); in RewriteObjCForCollectionStmt()
1580 buf += elementTypeAsString; in RewriteObjCForCollectionStmt()
1607 buf += elementTypeAsString; in RewriteObjCForCollectionStmt()
1616 buf += elementTypeAsString; in RewriteObjCForCollectionStmt()
H A DRewriteModernObjC.cpp1695 std::string elementTypeAsString; in RewriteObjCForCollectionStmt() local
1708 elementTypeAsString = "id"; in RewriteObjCForCollectionStmt()
1710 elementTypeAsString = ElementType.getAsString(Context->getPrintingPolicy()); in RewriteObjCForCollectionStmt()
1711 buf += elementTypeAsString; in RewriteObjCForCollectionStmt()
1724 elementTypeAsString = "id"; in RewriteObjCForCollectionStmt()
1726 elementTypeAsString = VD->getType().getAsString(Context->getPrintingPolicy()); in RewriteObjCForCollectionStmt()
1787 buf += elementTypeAsString; in RewriteObjCForCollectionStmt()
1814 buf += elementTypeAsString; in RewriteObjCForCollectionStmt()
1823 buf += elementTypeAsString; in RewriteObjCForCollectionStmt()
/dports/devel/llvm11/llvm-11.0.1.src/tools/clang/lib/Frontend/Rewrite/
H A DRewriteObjC.cpp1490 std::string elementTypeAsString; in RewriteObjCForCollectionStmt() local
1500 elementTypeAsString = "id"; in RewriteObjCForCollectionStmt()
1502 elementTypeAsString = ElementType.getAsString(Context->getPrintingPolicy()); in RewriteObjCForCollectionStmt()
1503 buf += elementTypeAsString; in RewriteObjCForCollectionStmt()
1516 elementTypeAsString = "id"; in RewriteObjCForCollectionStmt()
1518 elementTypeAsString = VD->getType().getAsString(Context->getPrintingPolicy()); in RewriteObjCForCollectionStmt()
1579 buf += elementTypeAsString; in RewriteObjCForCollectionStmt()
1606 buf += elementTypeAsString; in RewriteObjCForCollectionStmt()
1615 buf += elementTypeAsString; in RewriteObjCForCollectionStmt()
H A DRewriteModernObjC.cpp1694 std::string elementTypeAsString; in RewriteObjCForCollectionStmt() local
1707 elementTypeAsString = "id"; in RewriteObjCForCollectionStmt()
1709 elementTypeAsString = ElementType.getAsString(Context->getPrintingPolicy()); in RewriteObjCForCollectionStmt()
1710 buf += elementTypeAsString; in RewriteObjCForCollectionStmt()
1723 elementTypeAsString = "id"; in RewriteObjCForCollectionStmt()
1725 elementTypeAsString = VD->getType().getAsString(Context->getPrintingPolicy()); in RewriteObjCForCollectionStmt()
1786 buf += elementTypeAsString; in RewriteObjCForCollectionStmt()
1813 buf += elementTypeAsString; in RewriteObjCForCollectionStmt()
1822 buf += elementTypeAsString; in RewriteObjCForCollectionStmt()
/dports/devel/llvm-cheri/llvm-project-37c49ff00e3eadce5d8703fdc4497f28458c64a8/clang/lib/Frontend/Rewrite/
H A DRewriteObjC.cpp1490 std::string elementTypeAsString; in RewriteObjCForCollectionStmt() local
1500 elementTypeAsString = "id"; in RewriteObjCForCollectionStmt()
1502 elementTypeAsString = ElementType.getAsString(Context->getPrintingPolicy()); in RewriteObjCForCollectionStmt()
1503 buf += elementTypeAsString; in RewriteObjCForCollectionStmt()
1516 elementTypeAsString = "id"; in RewriteObjCForCollectionStmt()
1518 elementTypeAsString = VD->getType().getAsString(Context->getPrintingPolicy()); in RewriteObjCForCollectionStmt()
1579 buf += elementTypeAsString; in RewriteObjCForCollectionStmt()
1606 buf += elementTypeAsString; in RewriteObjCForCollectionStmt()
1615 buf += elementTypeAsString; in RewriteObjCForCollectionStmt()
H A DRewriteModernObjC.cpp1694 std::string elementTypeAsString; in RewriteObjCForCollectionStmt() local
1707 elementTypeAsString = "id"; in RewriteObjCForCollectionStmt()
1709 elementTypeAsString = ElementType.getAsString(Context->getPrintingPolicy()); in RewriteObjCForCollectionStmt()
1710 buf += elementTypeAsString; in RewriteObjCForCollectionStmt()
1723 elementTypeAsString = "id"; in RewriteObjCForCollectionStmt()
1725 elementTypeAsString = VD->getType().getAsString(Context->getPrintingPolicy()); in RewriteObjCForCollectionStmt()
1786 buf += elementTypeAsString; in RewriteObjCForCollectionStmt()
1813 buf += elementTypeAsString; in RewriteObjCForCollectionStmt()
1822 buf += elementTypeAsString; in RewriteObjCForCollectionStmt()
/dports/devel/llvm10/llvm-10.0.1.src/tools/clang/lib/Frontend/Rewrite/
H A DRewriteObjC.cpp1489 std::string elementTypeAsString; in RewriteObjCForCollectionStmt() local
1499 elementTypeAsString = "id"; in RewriteObjCForCollectionStmt()
1501 elementTypeAsString = ElementType.getAsString(Context->getPrintingPolicy()); in RewriteObjCForCollectionStmt()
1502 buf += elementTypeAsString; in RewriteObjCForCollectionStmt()
1515 elementTypeAsString = "id"; in RewriteObjCForCollectionStmt()
1517 elementTypeAsString = VD->getType().getAsString(Context->getPrintingPolicy()); in RewriteObjCForCollectionStmt()
1578 buf += elementTypeAsString; in RewriteObjCForCollectionStmt()
1605 buf += elementTypeAsString; in RewriteObjCForCollectionStmt()
1614 buf += elementTypeAsString; in RewriteObjCForCollectionStmt()
H A DRewriteModernObjC.cpp1693 std::string elementTypeAsString; in RewriteObjCForCollectionStmt() local
1706 elementTypeAsString = "id"; in RewriteObjCForCollectionStmt()
1708 elementTypeAsString = ElementType.getAsString(Context->getPrintingPolicy()); in RewriteObjCForCollectionStmt()
1709 buf += elementTypeAsString; in RewriteObjCForCollectionStmt()
1722 elementTypeAsString = "id"; in RewriteObjCForCollectionStmt()
1724 elementTypeAsString = VD->getType().getAsString(Context->getPrintingPolicy()); in RewriteObjCForCollectionStmt()
1785 buf += elementTypeAsString; in RewriteObjCForCollectionStmt()
1812 buf += elementTypeAsString; in RewriteObjCForCollectionStmt()
1821 buf += elementTypeAsString; in RewriteObjCForCollectionStmt()
/dports/devel/tinygo/tinygo-0.14.1/llvm-project/clang/lib/Frontend/Rewrite/
H A DRewriteObjC.cpp1489 std::string elementTypeAsString; in RewriteObjCForCollectionStmt() local
1499 elementTypeAsString = "id"; in RewriteObjCForCollectionStmt()
1501 elementTypeAsString = ElementType.getAsString(Context->getPrintingPolicy()); in RewriteObjCForCollectionStmt()
1502 buf += elementTypeAsString; in RewriteObjCForCollectionStmt()
1515 elementTypeAsString = "id"; in RewriteObjCForCollectionStmt()
1517 elementTypeAsString = VD->getType().getAsString(Context->getPrintingPolicy()); in RewriteObjCForCollectionStmt()
1578 buf += elementTypeAsString; in RewriteObjCForCollectionStmt()
1605 buf += elementTypeAsString; in RewriteObjCForCollectionStmt()
1614 buf += elementTypeAsString; in RewriteObjCForCollectionStmt()
H A DRewriteModernObjC.cpp1693 std::string elementTypeAsString; in RewriteObjCForCollectionStmt() local
1706 elementTypeAsString = "id"; in RewriteObjCForCollectionStmt()
1708 elementTypeAsString = ElementType.getAsString(Context->getPrintingPolicy()); in RewriteObjCForCollectionStmt()
1709 buf += elementTypeAsString; in RewriteObjCForCollectionStmt()
1722 elementTypeAsString = "id"; in RewriteObjCForCollectionStmt()
1724 elementTypeAsString = VD->getType().getAsString(Context->getPrintingPolicy()); in RewriteObjCForCollectionStmt()
1785 buf += elementTypeAsString; in RewriteObjCForCollectionStmt()
1812 buf += elementTypeAsString; in RewriteObjCForCollectionStmt()
1821 buf += elementTypeAsString; in RewriteObjCForCollectionStmt()
/dports/devel/wasi-compiler-rt13/llvm-project-13.0.1.src/clang/lib/Frontend/Rewrite/
H A DRewriteObjC.cpp1491 std::string elementTypeAsString; in RewriteObjCForCollectionStmt() local
1501 elementTypeAsString = "id"; in RewriteObjCForCollectionStmt()
1503 elementTypeAsString = ElementType.getAsString(Context->getPrintingPolicy()); in RewriteObjCForCollectionStmt()
1504 buf += elementTypeAsString; in RewriteObjCForCollectionStmt()
1517 elementTypeAsString = "id"; in RewriteObjCForCollectionStmt()
1519 elementTypeAsString = VD->getType().getAsString(Context->getPrintingPolicy()); in RewriteObjCForCollectionStmt()
1580 buf += elementTypeAsString; in RewriteObjCForCollectionStmt()
1607 buf += elementTypeAsString; in RewriteObjCForCollectionStmt()
1616 buf += elementTypeAsString; in RewriteObjCForCollectionStmt()
/dports/devel/wasi-libcxx/llvm-project-13.0.1.src/clang/lib/Frontend/Rewrite/
H A DRewriteObjC.cpp1491 std::string elementTypeAsString; in RewriteObjCForCollectionStmt() local
1501 elementTypeAsString = "id"; in RewriteObjCForCollectionStmt()
1503 elementTypeAsString = ElementType.getAsString(Context->getPrintingPolicy()); in RewriteObjCForCollectionStmt()
1504 buf += elementTypeAsString; in RewriteObjCForCollectionStmt()
1517 elementTypeAsString = "id"; in RewriteObjCForCollectionStmt()
1519 elementTypeAsString = VD->getType().getAsString(Context->getPrintingPolicy()); in RewriteObjCForCollectionStmt()
1580 buf += elementTypeAsString; in RewriteObjCForCollectionStmt()
1607 buf += elementTypeAsString; in RewriteObjCForCollectionStmt()
1616 buf += elementTypeAsString; in RewriteObjCForCollectionStmt()
H A DRewriteModernObjC.cpp1695 std::string elementTypeAsString; in RewriteObjCForCollectionStmt() local
1708 elementTypeAsString = "id"; in RewriteObjCForCollectionStmt()
1710 elementTypeAsString = ElementType.getAsString(Context->getPrintingPolicy()); in RewriteObjCForCollectionStmt()
1711 buf += elementTypeAsString; in RewriteObjCForCollectionStmt()
1724 elementTypeAsString = "id"; in RewriteObjCForCollectionStmt()
1726 elementTypeAsString = VD->getType().getAsString(Context->getPrintingPolicy()); in RewriteObjCForCollectionStmt()
1787 buf += elementTypeAsString; in RewriteObjCForCollectionStmt()
1814 buf += elementTypeAsString; in RewriteObjCForCollectionStmt()
1823 buf += elementTypeAsString; in RewriteObjCForCollectionStmt()
/dports/devel/llvm90/llvm-9.0.1.src/tools/clang/lib/Frontend/Rewrite/
H A DRewriteObjC.cpp1482 std::string elementTypeAsString; in RewriteObjCForCollectionStmt() local
1492 elementTypeAsString = "id"; in RewriteObjCForCollectionStmt()
1494 elementTypeAsString = ElementType.getAsString(Context->getPrintingPolicy()); in RewriteObjCForCollectionStmt()
1495 buf += elementTypeAsString; in RewriteObjCForCollectionStmt()
1508 elementTypeAsString = "id"; in RewriteObjCForCollectionStmt()
1510 elementTypeAsString = VD->getType().getAsString(Context->getPrintingPolicy()); in RewriteObjCForCollectionStmt()
1571 buf += elementTypeAsString; in RewriteObjCForCollectionStmt()
1598 buf += elementTypeAsString; in RewriteObjCForCollectionStmt()
1607 buf += elementTypeAsString; in RewriteObjCForCollectionStmt()
/dports/lang/rust/rustc-1.58.1-src/src/llvm-project/clang/lib/Frontend/Rewrite/
H A DRewriteObjC.cpp1491 std::string elementTypeAsString; in RewriteObjCForCollectionStmt() local
1501 elementTypeAsString = "id"; in RewriteObjCForCollectionStmt()
1503 elementTypeAsString = ElementType.getAsString(Context->getPrintingPolicy()); in RewriteObjCForCollectionStmt()
1504 buf += elementTypeAsString; in RewriteObjCForCollectionStmt()
1517 elementTypeAsString = "id"; in RewriteObjCForCollectionStmt()
1519 elementTypeAsString = VD->getType().getAsString(Context->getPrintingPolicy()); in RewriteObjCForCollectionStmt()
1580 buf += elementTypeAsString; in RewriteObjCForCollectionStmt()
1607 buf += elementTypeAsString; in RewriteObjCForCollectionStmt()
1616 buf += elementTypeAsString; in RewriteObjCForCollectionStmt()
/dports/devel/wasi-compiler-rt12/llvm-project-12.0.1.src/clang/lib/Frontend/Rewrite/
H A DRewriteObjC.cpp1491 std::string elementTypeAsString; in RewriteObjCForCollectionStmt() local
1501 elementTypeAsString = "id"; in RewriteObjCForCollectionStmt()
1503 elementTypeAsString = ElementType.getAsString(Context->getPrintingPolicy()); in RewriteObjCForCollectionStmt()
1504 buf += elementTypeAsString; in RewriteObjCForCollectionStmt()
1517 elementTypeAsString = "id"; in RewriteObjCForCollectionStmt()
1519 elementTypeAsString = VD->getType().getAsString(Context->getPrintingPolicy()); in RewriteObjCForCollectionStmt()
1580 buf += elementTypeAsString; in RewriteObjCForCollectionStmt()
1607 buf += elementTypeAsString; in RewriteObjCForCollectionStmt()
1616 buf += elementTypeAsString; in RewriteObjCForCollectionStmt()
/dports/devel/llvm13/llvm-project-13.0.1.src/clang/lib/Frontend/Rewrite/
H A DRewriteObjC.cpp1491 std::string elementTypeAsString; in RewriteObjCForCollectionStmt() local
1501 elementTypeAsString = "id"; in RewriteObjCForCollectionStmt()
1503 elementTypeAsString = ElementType.getAsString(Context->getPrintingPolicy()); in RewriteObjCForCollectionStmt()
1504 buf += elementTypeAsString; in RewriteObjCForCollectionStmt()
1517 elementTypeAsString = "id"; in RewriteObjCForCollectionStmt()
1519 elementTypeAsString = VD->getType().getAsString(Context->getPrintingPolicy()); in RewriteObjCForCollectionStmt()
1580 buf += elementTypeAsString; in RewriteObjCForCollectionStmt()
1607 buf += elementTypeAsString; in RewriteObjCForCollectionStmt()
1616 buf += elementTypeAsString; in RewriteObjCForCollectionStmt()
/dports/devel/llvm80/llvm-8.0.1.src/tools/clang/lib/Frontend/Rewrite/
H A DRewriteObjC.cpp1483 std::string elementTypeAsString; in RewriteObjCForCollectionStmt() local
1493 elementTypeAsString = "id"; in RewriteObjCForCollectionStmt()
1495 elementTypeAsString = ElementType.getAsString(Context->getPrintingPolicy()); in RewriteObjCForCollectionStmt()
1496 buf += elementTypeAsString; in RewriteObjCForCollectionStmt()
1509 elementTypeAsString = "id"; in RewriteObjCForCollectionStmt()
1511 elementTypeAsString = VD->getType().getAsString(Context->getPrintingPolicy()); in RewriteObjCForCollectionStmt()
1572 buf += elementTypeAsString; in RewriteObjCForCollectionStmt()
1599 buf += elementTypeAsString; in RewriteObjCForCollectionStmt()
1608 buf += elementTypeAsString; in RewriteObjCForCollectionStmt()
/dports/devel/llvm70/llvm-7.0.1.src/tools/clang/lib/Frontend/Rewrite/
H A DRewriteObjC.cpp1483 std::string elementTypeAsString; in RewriteObjCForCollectionStmt() local
1493 elementTypeAsString = "id"; in RewriteObjCForCollectionStmt()
1495 elementTypeAsString = ElementType.getAsString(Context->getPrintingPolicy()); in RewriteObjCForCollectionStmt()
1496 buf += elementTypeAsString; in RewriteObjCForCollectionStmt()
1509 elementTypeAsString = "id"; in RewriteObjCForCollectionStmt()
1511 elementTypeAsString = VD->getType().getAsString(Context->getPrintingPolicy()); in RewriteObjCForCollectionStmt()
1572 buf += elementTypeAsString; in RewriteObjCForCollectionStmt()
1599 buf += elementTypeAsString; in RewriteObjCForCollectionStmt()
1608 buf += elementTypeAsString; in RewriteObjCForCollectionStmt()
/dports/lang/clang-mesa/clang-13.0.1.src/lib/Frontend/Rewrite/
H A DRewriteObjC.cpp1491 std::string elementTypeAsString; in RewriteObjCForCollectionStmt() local
1501 elementTypeAsString = "id"; in RewriteObjCForCollectionStmt()
1503 elementTypeAsString = ElementType.getAsString(Context->getPrintingPolicy()); in RewriteObjCForCollectionStmt()
1504 buf += elementTypeAsString; in RewriteObjCForCollectionStmt()
1517 elementTypeAsString = "id"; in RewriteObjCForCollectionStmt()
1519 elementTypeAsString = VD->getType().getAsString(Context->getPrintingPolicy()); in RewriteObjCForCollectionStmt()
1580 buf += elementTypeAsString; in RewriteObjCForCollectionStmt()
1607 buf += elementTypeAsString; in RewriteObjCForCollectionStmt()
1616 buf += elementTypeAsString; in RewriteObjCForCollectionStmt()

12