| /external/nullaway/nullaway/src/main/java/com/uber/nullaway/handlers/contract/ |
| D | ContractUtils.java | 1 package com.uber.nullaway.handlers.contract;
35 * Parses the contract clause and returns the consequent in the contract.
37 * @param clause The contract clause.
38 * @param tree The AST Node for contract.
42 * @return consequent in the contract.
50 "Invalid @Contract annotation detected for method " in getConsequent()
54 + "(see https://www.jetbrains.com/help/idea/contract-annotations.html)."; in getConsequent()
69 * Parses the contract clause and returns the antecedents in the contract.
71 * @param clause The contract clause.
72 * @param tree The AST Node for contract.
[all …]
|
| D | ContractCheckHandler.java | 18 * 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 …]
|
| D | ContractHandler.java | 18 * LIABILITY, WHETHER IN AN ACTION OF CONTRACT, TORT OR OTHERWISE, ARISING FROM,
23 package com.uber.nullaway.handlers.contract;
26 import static com.uber.nullaway.handlers.contract.ContractUtils.getAntecedent;
27 import static com.uber.nullaway.handlers.contract.ContractUtils.getConsequent;
54 * This Handler parses the jetbrains @Contract annotation and honors the nullness spec defined there
57 * <p>Currently, we can only reason about cases where the contract specifies that the return value
62 * <li>@Contract("null -> true")
63 * <li>@Contract("_, null, _ -> false")
64 * <li>@Contract("!null, _ -> false; null, _ -> true")
65 * <li>@Contract("!null -> !null")
[all …]
|
| /external/nullaway/nullaway/src/test/resources/com/uber/nullaway/testdata/ |
| D | CheckContractPositiveCases.java | 18 * 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 …]
|
| D | CheckContractNegativeCases.java | 18 * 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/ |
| D | NullAwayContractsTests.java | 43 "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()
86 "import org.jetbrains.annotations.Contract;", in impliesNonNullContractAnnotation()
88 " @Contract(\"!null -> !null\")", in impliesNonNullContractAnnotation()
122 "import org.jetbrains.annotations.Contract;", in malformedContractAnnotations()
124 " @Contract(\"!null -> -> !null\")", in malformedContractAnnotations()
126 " @Contract(\"!null -> !null\")", in malformedContractAnnotations()
128 " @Contract(\"jabberwocky -> !null\")", in malformedContractAnnotations()
[all …]
|
| /external/android_onboarding/java/com/android/onboarding/activity/ |
| D | OnboardingActivity.kt | 17 /** An activity base for onboarding components linking them directly to a given [contract]. */
31 protected abstract val contract: C constant in com.android.onboarding.activity.OnboardingActivity
34 * Argument extracted for this activity instance via the provided [contract].
50 contract.metadata.specificationType > OnboardingNode.SpecificationType.BASELINE in <lambda>()
55 attachResult = contract.attach(this, rawIntent) in onCreate()
56 runCatching { contract.extractArgument(rawIntent) } in onCreate()
62 * Sets the activity [result] via [contract].
67 contract.setResult(this, result) in setResult()
108 * An actual contract is selected during [onCreate] and cached for the entire lifecycle of the
109 * [Activity]. The expectation is that most of the consumers would be able to determine the contract
[all …]
|
| /external/android_onboarding/java/com/android/onboarding/contracts/ |
| D | ActivityLauncher.kt | 11 /** A wrapper around a request to launch a particular activity via a contract. */
13 internal constructor(protected val context: Context, protected open val contract: Launchable<I>) { constant in com.android.onboarding.contracts.ActivityLauncher
16 contract.launcher.createIntentDirectly(context, args) in prepareIntent()
25 /** Launches an activity with given [flags] and contract arguments [args]. */
42 fun <I> Context.registerForActivityLaunch(contract: Launchable<I>) =
43 ActivityLauncher(this, contract)
47 contract: LaunchableForResult<I, O>,
50 registerForActivityResult(contract.launcher.toActivityResultContract(), callback)
|
| D | OnboardingActivityApiContract.kt | 9 import androidx.activity.result.contract.ActivityResultContract
27 * A Contract used for launching an activity as part of the Onboarding flow.
35 * Extracted [OnboardingNode] metadata for this contract.
84 /** Creates an {@link Intent} for this contract containing the given argument. */ in extractNodeId()
95 * Creates an [Intent] for this contract containing the given argument. in extractNodeId()
131 /** Extracts an argument passed into the current activity using the contract. */ in extractNodeId()
156 /** Sets a result for this contract. */
175 private val contract: OnboardingActivityApiContract<I, O>, constant in com.android.onboarding.contracts.OnboardingActivityApiContract.OnboardingLifecycleObserver
185 contract.javaClass, in maybeLogFinish()
207 OnboardingEvent.ActivityNodeResumed(nodeId, contract.javaClass) in onStateChanged()
[all …]
|
| D | OnboardingActivity.kt | 6 * Marks a given [Activity] as an Onboarding entity fulfilling the given [contract].
8 * Readers should see the documentation of [contract] for details on the expectations of callers.
10 * @property contract fulfilled by this activity
14 annotation class OnboardingActivity(val contract: KClass<out OnboardingActivityApiContract<*, *>>) constant in com.android.onboarding.contracts.OnboardingActivity
|
| /external/android_onboarding/java/com/android/onboarding/tasks/ |
| D | OnboardingTaskContract.kt | 12 * Abstract class representing the contract for an onboarding task.
14 * This class defines the contract for an onboarding task, specifying how task arguments and results
31 /** The `ComponentName` for this contract. */
60 * Encodes task arguments additional contract information into a [PersistableBundle] object. in validate()
67 // We save the name of the contract class to facilitate creating an instance of the contract in in validate()
144 * Attempts to create an instance of the specified contract class using reflection. This in performExtractResult()
145 * function takes a Class object representing the contract class and attempts to instantiate it in performExtractResult()
149 * @param contractClass The Class object representing the contract class. in performExtractResult()
150 * @return An instance of the contract class, or `null` if instantiation fails. in performExtractResult()
157 Log.w(TAG, "Error instantiating contract: $e") in performExtractResult()
|
| D | OnboardingTaskManager.kt | 16 * @param taskContract The contract defining the task's arguments and result for the onboarding
27 * @param taskContract The contract defining task's arguments and result for the onboarding task.
41 * @param taskContract The contract defining task's arguments and result for the onboarding task.
58 * @param taskContract The contract defining task's arguments and result for the onboarding task.
78 * @param taskContract The contract defining task's arguments and result for the onboarding task.
97 * @param taskContract The contract defining task's arguments and result for the onboarding task.
|
| /external/aws-sdk-java-v2/services/managedblockchainquery/src/main/resources/codegen-resources/ |
| D | service-2.json | 39 "requestUri":"/get-asset-contract",
52 …"documentation":"<p>Gets the information about a specific contract deployed on the blockchain.</p>…
71 …specific token, including native tokens, for a given address (wallet or contract) on the blockchai…
108 …ntation":"<p>Lists all the contracts for a given contract type deployed by an address (either a co…
126 …ddress (either a contract address or a wallet address).</p> </li> <li> <p>Lists all token balances…
162 …tation":"<p>Lists all of the transactions on a given wallet address or to a specific contract.</p>"
192 …"documentation":"<p>The container for the contract identifier containing its blockchain network an…
196 "documentation":"<p>The token standard of the contract.</p>"
200 "documentation":"<p>The address of the contract deployer.</p>"
203 "documentation":"<p>This container contains information about an contract.</p>"
[all …]
|
| /external/clang/test/CodeGenCUDA/ |
| D | fp-contract.cu | 8 // 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/android_onboarding/java/com/android/onboarding/contracts/testing/ |
| D | OnboardingActivityApiContractTester.kt | 77 /** Assert that a contract's arguments encode correctly. */
78 fun <I> assertArgumentEncodesCorrectly(contract: OnboardingActivityApiContract<I, *>, argument: I) { in assertArgumentEncodesCorrectly()
80 val intent = contract.createIntent(context, argument) in assertArgumentEncodesCorrectly()
81 val out = contract.extractArgument(intent) in assertArgumentEncodesCorrectly()
87 * Assert that a contract's result encodes correctly.
91 fun <O> assertReturnValueEncodesCorrectly(contract: OnboardingActivityApiContract<*, O>, value: O) { in assertReturnValueEncodesCorrectly()
99 contract.setResult(activity, value) in assertReturnValueEncodesCorrectly()
101 val result = contract.parseResult(shadowActivity.resultCode, shadowActivity.resultIntent) in assertReturnValueEncodesCorrectly()
|
| /external/android_onboarding/java/com/android/onboarding/bedsteadonboarding/ |
| D | OnboardingTestsRule.kt | 126 /** Creates a fake activity node from given node contract [nodeToFake]. */ in <lambda>()
172 * contract arguments. It will wait indefinitely until the activity starts. Each call to this in <lambda>()
231 // Find contract identifier of the node of interest given its contract class. in <lambda>()
319 * Creates an [Intent] to launch the node for contract [activityContract] using [contractArgs]. in <lambda>()
336 as? Intent ?: error("Unable to create valid Intent for contract $activityContract") in <lambda>()
346 "Couldn't find $INTENT_CREATION_METHOD_NAME method for contract $activityContract" in <lambda>()
405 * Checks if the activity launched has been validated using the correct contract with which it was in <lambda>()
419 …"Please use the correct contract to validate the launched activity. Invalid event is $invalidEvent" in <lambda>()
503 /** Get the [Intent] action to launch Trampoline Activity of the application owning [contract]. */ in <lambda>()
505 contract: OnboardingActivityApiContract<*, *> in <lambda>()
[all …]
|
| /external/android_onboarding/java/com/android/onboarding/bedsteadonboarding/contractutils/ |
| D | ContractUtils.kt | 22 /** Returns a string uniquely identifying a node's contract given its [contractClass]. */
28 /** Returns a string uniquely identifying the contract for the given [node]. */ in getContractIdentifier()
33 * Returns a string uniquely identifying a node's contract given its [nodeComponent] and in getContractIdentifier()
58 Log.e(TAG, "Error while fetching fake contract response of contract $contractIdentifier", t) in getContractIdentifier()
95 Log.e(TAG, "Error while fetching fake contract response of node $contractIdentifier", t) in getContractResultForContractIdentifier()
|
| /external/eigen/unsupported/test/ |
| D | cxx11_tensor_contraction.cpp | 33 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/rust/crates/bytemuck/src/ |
| D | transparent.rs | 15 /// The safety contract of `TransparentWrapper` is relatively simple:
134 // SAFETY: The unsafe contract requires that `Self` and `Inner` have in wrap()
149 // SAFETY: The unsafe contract requires that these two have in wrap_ref()
167 // SAFETY: The unsafe contract requires that these two have in wrap_mut()
185 // SAFETY: The unsafe contract requires that these two have in wrap_slice()
202 // SAFETY: The unsafe contract requires that these two have in wrap_slice_mut()
228 // SAFETY: The unsafe contract requires that these two have in peel_ref()
246 // SAFETY: The unsafe contract requires that these two have in peel_mut()
264 // SAFETY: The unsafe contract requires that these two have in peel_slice()
281 // SAFETY: The unsafe contract requires that these two have in peel_slice_mut()
|
| /external/jetpack-camera-app/app/src/androidTest/java/com/google/jetpackcamera/ |
| D | VideoRecordingDeviceTest.kt | 25 import androidx.activity.result.contract.ActivityResultContract in <lambda>()
26 import androidx.activity.result.contract.ActivityResultContracts in <lambda>()
81 contract: ActivityResultContract<I, O>, in <lambda>()
85 // contract.create in <lambda>()
86 val launchIntent = contract.createIntent( in <lambda>()
|
| /external/android_onboarding/java/com/android/onboarding/tasks/crossApp/ |
| D | OnboardingTaskServiceItem.kt | 41 fun runTask(contract: OnboardingTaskContract<Any?, Any?>, args: Any?): OnboardingTaskToken { in runTask()
43 bindServiceIntent = contract.taskServiceIntent in runTask()
46 taskContractClass = contract::class.java.name, in runTask()
47 taskComponentName = contract.componentName, in runTask()
53 val persistableBundle = contract.encodeArgs(args) in runTask()
|
| /external/ipsec-tools/ |
| D | NOTICE | 23 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/igt-gpu-tools/ |
| D | LICENSE | 20 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,
|
| D | COPYING | 20 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/tink/java_src/src/test/java/com/google/crypto/tink/internal/ |
| D | Field25519Test.java | 69 BigInteger result = new BigInteger(reverse(Field25519.contract(output))); in testBasicSum()
83 BigInteger result = new BigInteger(reverse(Field25519.contract(output))); in testBasicSub()
98 BigInteger result = new BigInteger(reverse(Field25519.contract(output))); in testBasicProduct()
111 BigInteger result = new BigInteger(reverse(Field25519.contract(output))); in testBasicMult()
126 BigInteger result = new BigInteger(reverse(Field25519.contract(output))); in testBasicScalarProduct()
140 BigInteger result = new BigInteger(reverse(Field25519.contract(output))); in testBasicSquare()
152 BigInteger result = new BigInteger(reverse(Field25519.contract(output))); in testBasicInverse()
161 byte[] result = Field25519.contract(Field25519.expand(xBytes)); in testContractExpand()
|