src/std/traits.d

693                  attrs & FA.pure_ ? " pure" : "",
1429     real func(real x) pure nothrow @safe
1460         int pureF() pure { return 0; }
1502     int pure_nothrow() nothrow pure;
1521         int pure_const() const pure { return 0; }
1522         int pure_sharedconst() const shared pure { return 0; }
1555             case "pure":      res |= pure_; break;
1609     real func(real x) pure nothrow @safe;
1610     static assert(hasFunctionAttributes!(func, "@safe", "pure"));
1618     static assert(hasFunctionAttributes!(myFunc!bool, "@safe", "pure", "@nogc", "nothrow"));
1641         int pureF() pure;
1649     static assert(!hasFunctionAttributes!(S.noF, "@system", "pure"));
1657     static assert(!hasFunctionAttributes!(S.immutableF, "immutable", "@system", "pure"));
1661     static assert(!hasFunctionAttributes!(S.inoutF, "inout", "@system", "pure"));
1669     static assert(!hasFunctionAttributes!(S.refF, "ref", "@system", "return", "pure"));
1695     static assert(hasFunctionAttributes!(S.pureF, "pure", "@system"));
1696     static assert(hasFunctionAttributes!(typeof(S.pureF), "pure", "@system"));
1697     static assert(!hasFunctionAttributes!(S.pureF, "pure", "@system", "ref"));
1699     int pure_nothrow() nothrow pure { return 0; }
1704     static assert(hasFunctionAttributes!(pure_nothrow, "pure", "nothrow", "@safe"));
1705     static assert(hasFunctionAttributes!(typeof(pure_nothrow), "pure", "nothrow", "@safe"));
1706     static assert(!hasFunctionAttributes!(pure_nothrow, "pure", "nothrow", "@safe", "@trusted"));
1710     static assert(hasFunctionAttributes!(safe_nothrow, "@safe", "nothrow", "pure"));
1711     static assert(!hasFunctionAttributes!(safe_nothrow, "@safe", "nothrow", "pure", "@trusted"));
1724         int pure_const() const pure { return 0; }
1725         int pure_sharedconst() const shared pure { return 0; }
1728     static assert(hasFunctionAttributes!(S2.pure_const, "const", "pure", "@system"));
1729     static assert(hasFunctionAttributes!(typeof(S2.pure_const), "const", "pure", "@system"));
1730     static assert(!hasFunctionAttributes!(S2.pure_const, "const", "pure", "@system", "ref"));
1732     static assert(hasFunctionAttributes!(S2.pure_sharedconst, "const", "shared", "pure", "@system"));
1733     static assert(hasFunctionAttributes!(typeof(S2.pure_sharedconst), "const", "shared", "pure", "@system"));
1734     static assert(!hasFunctionAttributes!(S2.pure_sharedconst, "const", "shared", "pure", "@system", "@nogc"));
1736     static assert(hasFunctionAttributes!((int a) { }, "pure", "nothrow", "@nogc", "@safe"));
1737     static assert(hasFunctionAttributes!(typeof((int a) { }), "pure", "nothrow", "@nogc", "@safe"));
1738     static assert(!hasFunctionAttributes!((int a) { }, "pure", "nothrow", "@nogc", "@safe", "ref"));
1741     static assert(hasFunctionAttributes!(safeDel, "pure", "nothrow", "@nogc", "@safe"));
1742     static assert(hasFunctionAttributes!(typeof(safeDel), "pure", "nothrow", "@nogc", "@safe"));
1743     static assert(!hasFunctionAttributes!(safeDel, "pure", "nothrow", "@nogc", "@safe", "@system"));
1746     static assert(hasFunctionAttributes!(trustedDel, "pure", "nothrow", "@nogc", "@trusted"));
1747     static assert(hasFunctionAttributes!(typeof(trustedDel), "pure", "nothrow", "@nogc", "@trusted"));
1748     static assert(!hasFunctionAttributes!(trustedDel, "pure", "nothrow", "@nogc", "@trusted", "ref"));
1751     static assert(hasFunctionAttributes!(systemDel, "pure", "nothrow", "@nogc", "@system"));
1752     static assert(hasFunctionAttributes!(typeof(systemDel), "pure", "nothrow", "@nogc", "@system"));
1753     static assert(!hasFunctionAttributes!(systemDel, "pure", "nothrow", "@nogc", "@system", "@property"));
2186             result ~= " pure";
3697         static void f2() pure nothrow @nogc @safe;
3709         void m2() const pure nothrow @nogc @safe;
3735         static void f2() pure nothrow @nogc @safe;
3747         final void m2() const pure nothrow @nogc @safe;
4903          *  - overrider can add pure and nothrow, but can't remove them
7403   static if (is(typeof({ return x; }) : int delegate() pure))   // issue 9148
7404     static assert(mangledName!((int a) { return a+x; }) == "DFNaNbNiNfiZi");  // pure nothrow @safe @nogc