HomeSort by: relevance | last modified time | path
    Searched refs:contract (Results 1 - 25 of 56) sorted by relevancy

1 2 3

  /src/external/gpl3/gcc/dist/gcc/cp/
contracts.cc 1 /* Definitions for C++ contract levels
23 A function is called a "guarded" function if it has pre or post contract
24 attributes. A contract is considered an "active" contract if runtime code is
25 needed for the contract under the current contract configuration.
27 pre and post contract attributes are parsed and stored in DECL_ATTRIBUTES.
30 contract:
51 definition in a TU that includes <contract>.
58 Parsing of pre and post contract conditions need to be deferred when th
653 tree contract = TREE_VALUE (TREE_VALUE (attributes)); local
749 tree contract; local
1076 tree contract = CONTRACT_STATEMENT (attr); local
1492 tree contract = TREE_VALUE (TREE_VALUE (as)); local
1848 tree contract = CONTRACT_STATEMENT (attrs); local
1890 tree contract = CONTRACT_STATEMENT (attr); local
2130 tree contract = CONTRACT_STATEMENT (ca); local
    [all...]
  /src/external/cddl/osnet/sys/sys/
proc.h 27 * CONTRACT, STRICT LIABILITY, OR TORT (INCLUDING NEGLIGENCE OR OTHERWISE)
52 * HOWEVER CAUSED AND ON ANY THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT
89 struct contract { struct
  /src/external/gpl3/gcc/dist/libstdc++-v3/src/experimental/
contract.cc 26 #include <experimental/contract>
41 std::cerr << "contract violation in function " << violation.function_name()
Makefile.am 42 contract.cc
  /src/crypto/external/bsd/openssl/dist/crypto/lhash/
lhash.c 44 static void contract(OPENSSL_LHASH *lh);
158 contract(lh);
257 static void contract(OPENSSL_LHASH *lh) function
  /src/crypto/external/bsd/openssl.old/dist/crypto/lhash/
lhash.c 44 static void contract(OPENSSL_LHASH *lh);
151 contract(lh);
260 static void contract(OPENSSL_LHASH *lh) function
  /src/crypto/external/apache2/openssl/dist/crypto/lhash/
lhash.c 44 static void contract(OPENSSL_LHASH *lh);
167 contract(lh);
286 static void contract(OPENSSL_LHASH *lh) function
  /src/external/gpl3/gcc.old/dist/gcc/d/dmd/
dscope.d 55 require = 0x0040, /// inside in contract code
56 ensure = 0x0060, /// inside out contract code
57 contract = 0x0060, /// [mask] we're inside contract code
75 SCOPE.contract | SCOPE.debug_ | SCOPE.ctfe | SCOPE.compile | SCOPE.constraint |
semantic3.d 284 //printf(" sc.incontract = %d\n", (sc.flags & SCOPE.contract));
307 // Remember whether we need to generate an 'out' contract.
336 sc2.flags = sc.flags & ~SCOPE.contract;
553 // Pre/Postcondition contract
573 // scope of out contract (need for vresult.semantic)
991 sc2.flags = (sc2.flags & ~SCOPE.contract) | SCOPE.require;
1023 sc2.flags = (sc2.flags & ~SCOPE.contract) | SCOPE.ensure;
1583 * funcdecl has an in contract.
1594 funcdecl.error("cannot have an in contract when overridden function `%s` does not have an in contract", fdv.toPrettyChars())
    [all...]
declaration.d 370 if (scx.func == parent && (scx.flags & SCOPE.contract))
374 error(loc, "cannot modify %s `%s` in contract", s, toChars());
385 if (scx.func == vthis.parent && (scx.flags & SCOPE.contract))
388 error(loc, "cannot modify parameter `this` in contract");
  /src/external/apache2/llvm/dist/llvm/lib/AsmParser/
LLLexer.cpp 562 KEYWORD(contract);
  /src/external/gpl3/gcc/lib/libstdc++-v3/arch/aarch64/
defs.mk 60 G_experimental_headers=experimental/algorithm experimental/any experimental/array experimental/buffer experimental/chrono experimental/contract experimental/deque experimental/executor experimental/forward_list experimental/functional experimental/internet experimental/io_context experimental/iterator experimental/list experimental/map experimental/memory experimental/memory_resource experimental/net experimental/netfwd experimental/numeric experimental/optional experimental/propagate_const experimental/random experimental/ratio experimental/regex experimental/scope experimental/set experimental/simd experimental/socket experimental/source_location experimental/string experimental/string_view experimental/synchronized_value experimental/system_error experimental/timer experimental/tuple experimental/type_traits experimental/unordered_map experimental/unordered_set experimental/utility experimental/vector experimental/filesystem
  /src/external/gpl3/gcc/lib/libstdc++-v3/arch/aarch64eb/
defs.mk 60 G_experimental_headers=experimental/algorithm experimental/any experimental/array experimental/buffer experimental/chrono experimental/contract experimental/deque experimental/executor experimental/forward_list experimental/functional experimental/internet experimental/io_context experimental/iterator experimental/list experimental/map experimental/memory experimental/memory_resource experimental/net experimental/netfwd experimental/numeric experimental/optional experimental/propagate_const experimental/random experimental/ratio experimental/regex experimental/scope experimental/set experimental/simd experimental/socket experimental/source_location experimental/string experimental/string_view experimental/synchronized_value experimental/system_error experimental/timer experimental/tuple experimental/type_traits experimental/unordered_map experimental/unordered_set experimental/utility experimental/vector experimental/filesystem
  /src/external/gpl3/gcc/lib/libstdc++-v3/arch/alpha/
defs.mk 60 G_experimental_headers=experimental/algorithm experimental/any experimental/array experimental/buffer experimental/chrono experimental/contract experimental/deque experimental/executor experimental/forward_list experimental/functional experimental/internet experimental/io_context experimental/iterator experimental/list experimental/map experimental/memory experimental/memory_resource experimental/net experimental/netfwd experimental/numeric experimental/optional experimental/propagate_const experimental/random experimental/ratio experimental/regex experimental/scope experimental/set experimental/simd experimental/socket experimental/source_location experimental/string experimental/string_view experimental/synchronized_value experimental/system_error experimental/timer experimental/tuple experimental/type_traits experimental/unordered_map experimental/unordered_set experimental/utility experimental/vector experimental/filesystem
  /src/external/gpl3/gcc/lib/libstdc++-v3/arch/earm/
defs.mk 60 G_experimental_headers=experimental/algorithm experimental/any experimental/array experimental/buffer experimental/chrono experimental/contract experimental/deque experimental/executor experimental/forward_list experimental/functional experimental/internet experimental/io_context experimental/iterator experimental/list experimental/map experimental/memory experimental/memory_resource experimental/net experimental/netfwd experimental/numeric experimental/optional experimental/propagate_const experimental/random experimental/ratio experimental/regex experimental/scope experimental/set experimental/simd experimental/socket experimental/source_location experimental/string experimental/string_view experimental/synchronized_value experimental/system_error experimental/timer experimental/tuple experimental/type_traits experimental/unordered_map experimental/unordered_set experimental/utility experimental/vector experimental/filesystem
  /src/external/gpl3/gcc/lib/libstdc++-v3/arch/earmeb/
defs.mk 60 G_experimental_headers=experimental/algorithm experimental/any experimental/array experimental/buffer experimental/chrono experimental/contract experimental/deque experimental/executor experimental/forward_list experimental/functional experimental/internet experimental/io_context experimental/iterator experimental/list experimental/map experimental/memory experimental/memory_resource experimental/net experimental/netfwd experimental/numeric experimental/optional experimental/propagate_const experimental/random experimental/ratio experimental/regex experimental/scope experimental/set experimental/simd experimental/socket experimental/source_location experimental/string experimental/string_view experimental/synchronized_value experimental/system_error experimental/timer experimental/tuple experimental/type_traits experimental/unordered_map experimental/unordered_set experimental/utility experimental/vector experimental/filesystem
  /src/external/gpl3/gcc/lib/libstdc++-v3/arch/earmhf/
defs.mk 60 G_experimental_headers=experimental/algorithm experimental/any experimental/array experimental/buffer experimental/chrono experimental/contract experimental/deque experimental/executor experimental/forward_list experimental/functional experimental/internet experimental/io_context experimental/iterator experimental/list experimental/map experimental/memory experimental/memory_resource experimental/net experimental/netfwd experimental/numeric experimental/optional experimental/propagate_const experimental/random experimental/ratio experimental/regex experimental/scope experimental/set experimental/simd experimental/socket experimental/source_location experimental/string experimental/string_view experimental/synchronized_value experimental/system_error experimental/timer experimental/tuple experimental/type_traits experimental/unordered_map experimental/unordered_set experimental/utility experimental/vector experimental/filesystem
  /src/external/gpl3/gcc/lib/libstdc++-v3/arch/earmhfeb/
defs.mk 60 G_experimental_headers=experimental/algorithm experimental/any experimental/array experimental/buffer experimental/chrono experimental/contract experimental/deque experimental/executor experimental/forward_list experimental/functional experimental/internet experimental/io_context experimental/iterator experimental/list experimental/map experimental/memory experimental/memory_resource experimental/net experimental/netfwd experimental/numeric experimental/optional experimental/propagate_const experimental/random experimental/ratio experimental/regex experimental/scope experimental/set experimental/simd experimental/socket experimental/source_location experimental/string experimental/string_view experimental/synchronized_value experimental/system_error experimental/timer experimental/tuple experimental/type_traits experimental/unordered_map experimental/unordered_set experimental/utility experimental/vector experimental/filesystem
  /src/external/gpl3/gcc/lib/libstdc++-v3/arch/earmv4/
defs.mk 60 G_experimental_headers=experimental/algorithm experimental/any experimental/array experimental/buffer experimental/chrono experimental/contract experimental/deque experimental/executor experimental/forward_list experimental/functional experimental/internet experimental/io_context experimental/iterator experimental/list experimental/map experimental/memory experimental/memory_resource experimental/net experimental/netfwd experimental/numeric experimental/optional experimental/propagate_const experimental/random experimental/ratio experimental/regex experimental/scope experimental/set experimental/simd experimental/socket experimental/source_location experimental/string experimental/string_view experimental/synchronized_value experimental/system_error experimental/timer experimental/tuple experimental/type_traits experimental/unordered_map experimental/unordered_set experimental/utility experimental/vector experimental/filesystem
  /src/external/gpl3/gcc/lib/libstdc++-v3/arch/earmv4eb/
defs.mk 60 G_experimental_headers=experimental/algorithm experimental/any experimental/array experimental/buffer experimental/chrono experimental/contract experimental/deque experimental/executor experimental/forward_list experimental/functional experimental/internet experimental/io_context experimental/iterator experimental/list experimental/map experimental/memory experimental/memory_resource experimental/net experimental/netfwd experimental/numeric experimental/optional experimental/propagate_const experimental/random experimental/ratio experimental/regex experimental/scope experimental/set experimental/simd experimental/socket experimental/source_location experimental/string experimental/string_view experimental/synchronized_value experimental/system_error experimental/timer experimental/tuple experimental/type_traits experimental/unordered_map experimental/unordered_set experimental/utility experimental/vector experimental/filesystem
  /src/external/gpl3/gcc/lib/libstdc++-v3/arch/earmv6/
defs.mk 60 G_experimental_headers=experimental/algorithm experimental/any experimental/array experimental/buffer experimental/chrono experimental/contract experimental/deque experimental/executor experimental/forward_list experimental/functional experimental/internet experimental/io_context experimental/iterator experimental/list experimental/map experimental/memory experimental/memory_resource experimental/net experimental/netfwd experimental/numeric experimental/optional experimental/propagate_const experimental/random experimental/ratio experimental/regex experimental/scope experimental/set experimental/simd experimental/socket experimental/source_location experimental/string experimental/string_view experimental/synchronized_value experimental/system_error experimental/timer experimental/tuple experimental/type_traits experimental/unordered_map experimental/unordered_set experimental/utility experimental/vector experimental/filesystem
  /src/external/gpl3/gcc/lib/libstdc++-v3/arch/earmv6eb/
defs.mk 60 G_experimental_headers=experimental/algorithm experimental/any experimental/array experimental/buffer experimental/chrono experimental/contract experimental/deque experimental/executor experimental/forward_list experimental/functional experimental/internet experimental/io_context experimental/iterator experimental/list experimental/map experimental/memory experimental/memory_resource experimental/net experimental/netfwd experimental/numeric experimental/optional experimental/propagate_const experimental/random experimental/ratio experimental/regex experimental/scope experimental/set experimental/simd experimental/socket experimental/source_location experimental/string experimental/string_view experimental/synchronized_value experimental/system_error experimental/timer experimental/tuple experimental/type_traits experimental/unordered_map experimental/unordered_set experimental/utility experimental/vector experimental/filesystem
  /src/external/gpl3/gcc/lib/libstdc++-v3/arch/earmv6hf/
defs.mk 60 G_experimental_headers=experimental/algorithm experimental/any experimental/array experimental/buffer experimental/chrono experimental/contract experimental/deque experimental/executor experimental/forward_list experimental/functional experimental/internet experimental/io_context experimental/iterator experimental/list experimental/map experimental/memory experimental/memory_resource experimental/net experimental/netfwd experimental/numeric experimental/optional experimental/propagate_const experimental/random experimental/ratio experimental/regex experimental/scope experimental/set experimental/simd experimental/socket experimental/source_location experimental/string experimental/string_view experimental/synchronized_value experimental/system_error experimental/timer experimental/tuple experimental/type_traits experimental/unordered_map experimental/unordered_set experimental/utility experimental/vector experimental/filesystem
  /src/external/gpl3/gcc/lib/libstdc++-v3/arch/earmv6hfeb/
defs.mk 60 G_experimental_headers=experimental/algorithm experimental/any experimental/array experimental/buffer experimental/chrono experimental/contract experimental/deque experimental/executor experimental/forward_list experimental/functional experimental/internet experimental/io_context experimental/iterator experimental/list experimental/map experimental/memory experimental/memory_resource experimental/net experimental/netfwd experimental/numeric experimental/optional experimental/propagate_const experimental/random experimental/ratio experimental/regex experimental/scope experimental/set experimental/simd experimental/socket experimental/source_location experimental/string experimental/string_view experimental/synchronized_value experimental/system_error experimental/timer experimental/tuple experimental/type_traits experimental/unordered_map experimental/unordered_set experimental/utility experimental/vector experimental/filesystem
  /src/external/gpl3/gcc/lib/libstdc++-v3/arch/earmv7/
defs.mk 60 G_experimental_headers=experimental/algorithm experimental/any experimental/array experimental/buffer experimental/chrono experimental/contract experimental/deque experimental/executor experimental/forward_list experimental/functional experimental/internet experimental/io_context experimental/iterator experimental/list experimental/map experimental/memory experimental/memory_resource experimental/net experimental/netfwd experimental/numeric experimental/optional experimental/propagate_const experimental/random experimental/ratio experimental/regex experimental/scope experimental/set experimental/simd experimental/socket experimental/source_location experimental/string experimental/string_view experimental/synchronized_value experimental/system_error experimental/timer experimental/tuple experimental/type_traits experimental/unordered_map experimental/unordered_set experimental/utility experimental/vector experimental/filesystem

Completed in 57 milliseconds

1 2 3