Home
last modified time | relevance | path

Searched full:contract (Results 1 – 25 of 13975) sorted by relevance

12345678910>>...559

/external/nullaway/nullaway/src/main/java/com/uber/nullaway/handlers/contract/
DContractUtils.java1 package com.uber.nullaway.handlers.contract;
34 * Parses the contract clause and returns the consequent in the contract.
36 * @param clause The contract clause.
37 * @param tree The AST Node for contract.
41 * @return consequent in the contract.
49 "Invalid @Contract annotation detected for method " in getConsequent()
53 + "(see https://www.jetbrains.com/help/idea/contract-annotations.html)."; in getConsequent()
67 * Parses the contract clause and returns the antecedents in the contract.
69 * @param clause The contract clause.
70 * @param tree The AST Node for contract.
[all …]
DContractHandler.java18 * LIABILITY, WHETHER IN AN ACTION OF CONTRACT, TORT OR OTHERWISE, ARISING FROM,
23 package com.uber.nullaway.handlers.contract;
25 import static com.uber.nullaway.handlers.contract.ContractUtils.getAntecedent;
26 import static com.uber.nullaway.handlers.contract.ContractUtils.getConsequent;
46 * This Handler parses the jetbrains @Contract annotation and honors the nullness spec defined there
49 * <p>Currently, we can only reason about cases where the contract specifies that the return value
54 * <li>@Contract("null -> true")
55 * <li>@Contract("_, null, _ -> false")
56 * <li>@Contract("!null, _ -> false; null, _ -> true")
57 * <li>@Contract("!null -> !null")
[all …]
DContractCheckHandler.java18 * LIABILITY, WHETHER IN AN ACTION OF CONTRACT, TORT OR OTHERWISE, ARISING FROM,
23 package com.uber.nullaway.handlers.contract;
25 import static com.uber.nullaway.handlers.contract.ContractUtils.getAntecedent;
26 import static com.uber.nullaway.handlers.contract.ContractUtils.getConsequent;
43 * This Handler parses the jetbrains @Contract annotation and tries to check if the contract is
46 * <p>Currently, it supports the case when there is only one clause in the contract. The clause of
65 // Check to see if this method has an @Contract annotation in onMatchMethod()
68 // Found a contract, lets parse it. in onMatchMethod()
98 // we scan the method tree for the return nodes and check the contract in onMatchMethod()
133 + " has @Contract(" in onMatchMethod()
[all …]
DContractNullnessStoreInitializer.java1 package com.uber.nullaway.handlers.contract;
24 * Nullness Store initializer in case of dataflow for contract check. The nullability of parameters
25 * in this case is determined from @Contract annotation.
62 // 1. if the contract specifies it as (!null) in getInitialStore()
/external/nullaway/nullaway/src/test/resources/com/uber/nullaway/testdata/
DCheckContractPositiveCases.java18 * LIABILITY, WHETHER IN AN ACTION OF CONTRACT, TORT OR OTHERWISE, ARISING FROM,
26 import org.jetbrains.annotations.Contract;
29 @Contract("_, !null -> !null")
33 // BUG: Diagnostic contains: Method foo has @Contract in foo()
39 @Contract("_, !null -> !null")
43 // BUG: Diagnostic contains: Method fooTwo has @Contract(_, !null -> !null), but this appears in fooTwo()
50 @Contract("_, !null, _ -> !null")
54 // BUG: Diagnostic contains: Method fooThree has @Contract(_, !null, _ -> !null), but this in fooThree()
61 @Contract("_, !null, !null, _ -> !null")
65 // BUG: Diagnostic contains: Method fooFour has @Contract(_, !null, !null, _ -> !null), but in fooFour()
[all …]
DCheckContractNegativeCases.java18 * LIABILITY, WHETHER IN AN ACTION OF CONTRACT, TORT OR OTHERWISE, ARISING FROM,
26 import org.jetbrains.annotations.Contract;
30 @Contract("_, !null -> !null")
39 @Contract("_, !null -> !null")
50 @Contract("_ -> !null")
/external/nullaway/nullaway/src/test/java/com/uber/nullaway/
DNullAwayContractsTests.java43 "import org.jetbrains.annotations.Contract;", in basicContractAnnotation()
45 " @Contract(\"_, null -> true\")", in basicContractAnnotation()
47 " @Contract(\"null -> false\")", in basicContractAnnotation()
49 " @Contract(\"null -> fail\")", in basicContractAnnotation()
82 "import org.jetbrains.annotations.Contract;", in impliesNonNullContractAnnotation()
84 " @Contract(\"!null -> !null\")", in impliesNonNullContractAnnotation()
118 "import org.jetbrains.annotations.Contract;", in malformedContractAnnotations()
120 " @Contract(\"!null -> -> !null\")", in malformedContractAnnotations()
122 " @Contract(\"!null -> !null\")", in malformedContractAnnotations()
124 " @Contract(\"jabberwocky -> !null\")", in malformedContractAnnotations()
[all …]
/external/clang/test/CodeGenCUDA/
Dfp-contract.cu8 // Explicit -ffp-contract=fast
10 // RUN: -ffp-contract=fast -disable-llvm-passes -o - %s \
13 // Explicit -ffp-contract=on -- fusing by front-end (disabled).
15 // RUN: -ffp-contract=on -disable-llvm-passes -o - %s \
18 // Explicit -ffp-contract=off should disable instruction fusing.
20 // RUN: -ffp-contract=off -disable-llvm-passes -o - %s \
/external/eigen/unsupported/test/
Dcxx11_tensor_contraction.cpp33 typedef TensorEvaluator<decltype(mat1.contract(mat2, dims3)), DefaultDevice> Evaluator; in test_evals()
34 Evaluator eval(mat1.contract(mat2, dims3), DefaultDevice()); in test_evals()
53 typedef TensorEvaluator<decltype(mat1.contract(mat2, dims4)), DefaultDevice> Evaluator2; in test_evals()
54 Evaluator2 eval2(mat1.contract(mat2, dims4), DefaultDevice()); in test_evals()
68 typedef TensorEvaluator<decltype(mat1.contract(mat3, dims6)), DefaultDevice> Evaluator3; in test_evals()
69 Evaluator3 eval3(mat1.contract(mat3, dims6), DefaultDevice()); in test_evals()
91 Tensor<float, 0, DataLayout> scalar = vec1.contract(vec2, dims); in test_scalar()
112 typedef TensorEvaluator<decltype(mat1.contract(mat2, dims)), DefaultDevice> Evaluator; in test_multidims()
113 Evaluator eval(mat1.contract(mat2, dims), DefaultDevice()); in test_multidims()
146 typedef TensorEvaluator<decltype(mat4.contract(mat5, dims2)), DefaultDevice> Evaluator2; in test_multidims()
[all …]
/external/ipsec-tools/
DNOTICE23 HOWEVER CAUSED AND ON ANY THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT
52 HOWEVER CAUSED AND ON ANY THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT
81 HOWEVER CAUSED AND ON ANY THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT
110 HOWEVER CAUSED AND ON ANY THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT
138 HOWEVER CAUSED AND ON ANY THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT
167 HOWEVER CAUSED AND ON ANY THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT
197 HOWEVER CAUSED AND ON ANY THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT
226 HOWEVER CAUSED AND ON ANY THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT
259 CONTRACT, STRICT LIABILITY, OR TORT (INCLUDING NEGLIGENCE OR OTHERWISE)
288 HOWEVER CAUSED AND ON ANY THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT
[all …]
/external/ipsec-tools/src/racoon/
DNOTICE23 HOWEVER CAUSED AND ON ANY THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT
52 HOWEVER CAUSED AND ON ANY THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT
81 HOWEVER CAUSED AND ON ANY THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT
110 HOWEVER CAUSED AND ON ANY THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT
138 HOWEVER CAUSED AND ON ANY THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT
167 HOWEVER CAUSED AND ON ANY THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT
197 HOWEVER CAUSED AND ON ANY THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT
226 HOWEVER CAUSED AND ON ANY THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT
259 CONTRACT, STRICT LIABILITY, OR TORT (INCLUDING NEGLIGENCE OR OTHERWISE)
288 HOWEVER CAUSED AND ON ANY THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT
[all …]
/external/nullaway/nullaway/src/main/java/com/uber/nullaway/handlers/
DHandlers.java18 * LIABILITY, WHETHER IN AN ACTION OF CONTRACT, TORT OR OTHERWISE, ARISING FROM,
27 import com.uber.nullaway.handlers.contract.ContractCheckHandler;
28 import com.uber.nullaway.handlers.contract.ContractHandler;
29 import com.uber.nullaway.handlers.contract.fieldcontract.EnsuresNonNullHandler;
30 import com.uber.nullaway.handlers.contract.fieldcontract.RequiresNonNullHandler;
/external/igt-gpu-tools/
DCOPYING20 ANY CLAIM, DAMAGES OR OTHER LIABILITY, WHETHER IN AN ACTION OF CONTRACT,
43 ANY CLAIM, DAMAGES OR OTHER LIABILITY, WHETHER IN AN ACTION OF CONTRACT,
64 LIABILITY, WHETHER IN AN ACTION OF CONTRACT, TORT OR OTHERWISE, ARISING
85 LIABILITY, WHETHER IN AN ACTION OF CONTRACT, TORT OR OTHERWISE, ARISING FROM,
106 LIABILITY, WHETHER IN AN ACTION OF CONTRACT, TORT OR OTHERWISE, ARISING
127 ACTION OF CONTRACT, NEGLIGENCE OR OTHER TORTIOUS ACTION, ARISING OUT OF
148 OTHER LIABILITY, WHETHER IN AN ACTION OF CONTRACT, TORT OR OTHERWISE,
DLICENSE20 ANY CLAIM, DAMAGES OR OTHER LIABILITY, WHETHER IN AN ACTION OF CONTRACT,
43 ANY CLAIM, DAMAGES OR OTHER LIABILITY, WHETHER IN AN ACTION OF CONTRACT,
64 LIABILITY, WHETHER IN AN ACTION OF CONTRACT, TORT OR OTHERWISE, ARISING
85 LIABILITY, WHETHER IN AN ACTION OF CONTRACT, TORT OR OTHERWISE, ARISING FROM,
106 LIABILITY, WHETHER IN AN ACTION OF CONTRACT, TORT OR OTHERWISE, ARISING
127 ACTION OF CONTRACT, NEGLIGENCE OR OTHER TORTIOUS ACTION, ARISING OUT OF
148 OTHER LIABILITY, WHETHER IN AN ACTION OF CONTRACT, TORT OR OTHERWISE,
/external/angle/third_party/abseil-cpp/absl/base/internal/
Dexception_safety_testing.h862 * operation, and at least one contract callback returning an assertion
891 using Contract = std::function<AssertionResult(T*)>;
903 for (const auto& contract : contracts_) {
914 if (!contract(t_ptr.get())) {
915 return AssertionFailure() << e.what() << " failed contract check";
924 Contract WrapContract(const ContractFn& contract) {
925 return [contract](T* t_ptr) { return AssertionResult(contract(t_ptr)); };
928 Contract WrapContract(StrongGuaranteeTagType) {
934 std::vector<Contract> contracts_;
939 * exception safety guarantees. Verification is done via contract assertion
[all …]
/external/cronet/third_party/abseil-cpp/absl/base/internal/
Dexception_safety_testing.h862 * operation, and at least one contract callback returning an assertion
891 using Contract = std::function<AssertionResult(T*)>;
903 for (const auto& contract : contracts_) {
914 if (!contract(t_ptr.get())) {
915 return AssertionFailure() << e.what() << " failed contract check";
924 Contract WrapContract(const ContractFn& contract) {
925 return [contract](T* t_ptr) { return AssertionResult(contract(t_ptr)); };
928 Contract WrapContract(StrongGuaranteeTagType) {
934 std::vector<Contract> contracts_;
939 * exception safety guarantees. Verification is done via contract assertion
[all …]
/external/libtextclassifier/abseil-cpp/absl/base/internal/
Dexception_safety_testing.h854 * operation, and at least one contract callback returning an assertion
883 using Contract = std::function<AssertionResult(T*)>;
895 for (const auto& contract : contracts_) {
906 if (!contract(t_ptr.get())) {
907 return AssertionFailure() << e.what() << " failed contract check";
916 Contract WrapContract(const ContractFn& contract) {
917 return [contract](T* t_ptr) { return AssertionResult(contract(t_ptr)); };
920 Contract WrapContract(StrongGuaranteeTagType) {
926 std::vector<Contract> contracts_;
931 * exception safety guarantees. Verification is done via contract assertion
[all …]
/external/rust/crates/grpcio-sys/grpc/third_party/abseil-cpp/absl/base/internal/
Dexception_safety_testing.h854 * operation, and at least one contract callback returning an assertion
883 using Contract = std::function<AssertionResult(T*)>;
895 for (const auto& contract : contracts_) {
906 if (!contract(t_ptr.get())) {
907 return AssertionFailure() << e.what() << " failed contract check";
916 Contract WrapContract(const ContractFn& contract) {
917 return [contract](T* t_ptr) { return AssertionResult(contract(t_ptr)); };
920 Contract WrapContract(StrongGuaranteeTagType) {
926 std::vector<Contract> contracts_;
931 * exception safety guarantees. Verification is done via contract assertion
[all …]
/external/abseil-cpp/absl/base/internal/
Dexception_safety_testing.h862 * operation, and at least one contract callback returning an assertion
891 using Contract = std::function<AssertionResult(T*)>;
903 for (const auto& contract : contracts_) {
914 if (!contract(t_ptr.get())) {
915 return AssertionFailure() << e.what() << " failed contract check";
924 Contract WrapContract(const ContractFn& contract) {
925 return [contract](T* t_ptr) { return AssertionResult(contract(t_ptr)); };
928 Contract WrapContract(StrongGuaranteeTagType) {
934 std::vector<Contract> contracts_;
939 * exception safety guarantees. Verification is done via contract assertion
[all …]
/external/openscreen/third_party/abseil/src/absl/base/internal/
Dexception_safety_testing.h854 * operation, and at least one contract callback returning an assertion
883 using Contract = std::function<AssertionResult(T*)>;
895 for (const auto& contract : contracts_) {
906 if (!contract(t_ptr.get())) {
907 return AssertionFailure() << e.what() << " failed contract check";
916 Contract WrapContract(const ContractFn& contract) {
917 return [contract](T* t_ptr) { return AssertionResult(contract(t_ptr)); };
920 Contract WrapContract(StrongGuaranteeTagType) {
926 std::vector<Contract> contracts_;
931 * exception safety guarantees. Verification is done via contract assertion
[all …]
/external/webrtc/third_party/abseil-cpp/absl/base/internal/
Dexception_safety_testing.h862 * operation, and at least one contract callback returning an assertion
891 using Contract = std::function<AssertionResult(T*)>;
903 for (const auto& contract : contracts_) {
914 if (!contract(t_ptr.get())) {
915 return AssertionFailure() << e.what() << " failed contract check";
924 Contract WrapContract(const ContractFn& contract) {
925 return [contract](T* t_ptr) { return AssertionResult(contract(t_ptr)); };
928 Contract WrapContract(StrongGuaranteeTagType) {
934 std::vector<Contract> contracts_;
939 * exception safety guarantees. Verification is done via contract assertion
[all …]
/external/tensorflow/third_party/absl/abseil-cpp/absl/base/internal/
Dexception_safety_testing.h862 * operation, and at least one contract callback returning an assertion
891 using Contract = std::function<AssertionResult(T*)>;
903 for (const auto& contract : contracts_) {
914 if (!contract(t_ptr.get())) {
915 return AssertionFailure() << e.what() << " failed contract check";
924 Contract WrapContract(const ContractFn& contract) {
925 return [contract](T* t_ptr) { return AssertionResult(contract(t_ptr)); };
928 Contract WrapContract(StrongGuaranteeTagType) {
934 std::vector<Contract> contracts_;
939 * exception safety guarantees. Verification is done via contract assertion
[all …]
/external/fsck_msdos/
DNOTICE23 * THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT LIABILITY, OR TORT
50 * THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT LIABILITY, OR TORT
80 * THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT LIABILITY, OR TORT
109 * THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT LIABILITY, OR TORT
137 * THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT LIABILITY, OR TORT
172 * HOWEVER CAUSED AND ON ANY THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT
200 * HOWEVER CAUSED AND ON ANY THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT
231 * HOWEVER CAUSED AND ON ANY THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT
258 * THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT LIABILITY, OR TORT
285 * THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT LIABILITY, OR TORT
/external/eigen/bench/tensors/
Dtensor_contract_sycl_bench.cc82 C.device(device_) = A.contract(B, dims); in contraction()
87 C.device(device_) = A.contract(B, dims); in contraction()
136 C.device(device_) = A.contract(B, dims); in contractionRowMajor()
141 C.device(device_) = A.contract(B, dims); in contractionRowMajor()
187 C.device(device_) = A.contract(B, dims); in contractionAT()
192 C.device(device_) = A.contract(B, dims); in contractionAT()
239 C.device(device_) = A.contract(B, dims); in contractionBT()
244 C.device(device_) = A.contract(B, dims); in contractionBT()
291 C.device(device_) = A.contract(B, dims); in contractionABT()
296 C.device(device_) = A.contract(B, dims); in contractionABT()
/external/rust/crates/cesu8/
DCOPYRIGHT-RUST.txt72 CONTRACT, STRICT LIABILITY, OR TORT (INCLUDING
118 CONTRACT, STRICT LIABILITY, OR TORT (INCLUDING
186 ACTION OF CONTRACT, TORT OR OTHERWISE, ARISING FROM, OUT
242 ACTION OF CONTRACT, TORT OR OTHERWISE, ARISING FROM, OUT
271 OF CONTRACT, TORT OR OTHERWISE, ARISING FROM, OUT OF OR
305 CONTRACT, STRICT LIABILITY, OR TORT (INCLUDING
328 OR PROFITS, WHETHER IN AN ACTION OF CONTRACT, NEGLIGENCE
365 CONTRACT, STRICT LIABILITY, OR TORT (INCLUDING
397 IN CONTRACT, STRICT LIABILITY, OR TORT (INCLUDING

12345678910>>...559