/dports/math/cvc4/CVC4-1.7/examples/sets-translate/ |
H A D | sets_translate.cpp | 103 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 D | RewriteObjC.cpp | 1491 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 D | RewriteModernObjC.cpp | 1695 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 D | RewriteObjC.cpp | 1491 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 D | RewriteModernObjC.cpp | 1695 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 D | RewriteObjC.cpp | 1491 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 D | RewriteModernObjC.cpp | 1695 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 D | RewriteObjC.cpp | 1490 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 D | RewriteModernObjC.cpp | 1694 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 D | RewriteObjC.cpp | 1490 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 D | RewriteModernObjC.cpp | 1694 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 D | RewriteObjC.cpp | 1489 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 D | RewriteModernObjC.cpp | 1693 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 D | RewriteObjC.cpp | 1489 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 D | RewriteModernObjC.cpp | 1693 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 D | RewriteObjC.cpp | 1491 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 D | RewriteObjC.cpp | 1491 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 D | RewriteModernObjC.cpp | 1695 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 D | RewriteObjC.cpp | 1482 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 D | RewriteObjC.cpp | 1491 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 D | RewriteObjC.cpp | 1491 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 D | RewriteObjC.cpp | 1491 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 D | RewriteObjC.cpp | 1483 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 D | RewriteObjC.cpp | 1483 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 D | RewriteObjC.cpp | 1491 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()
|