diff options
| author | Chalard Jean <jchalard@google.com> | 2019-12-03 20:30:59 +0900 |
|---|---|---|
| committer | Chalard Jean <jchalard@google.com> | 2020-02-04 16:28:20 +0900 |
| commit | 9956bada813f912df6b72198c1996fcc6af2419e (patch) | |
| tree | 0087d3cbc8826f6170b48fed05f4ea99b114cf5e /tools/aapt2/java/JavaClassGenerator_test.cpp | |
| parent | 59954c819e8c86359bd7d22c21b3eda8b3c650af (diff) | |
[NS A31] Simplification
The condition this is testing for cannot actually be false.
The only place where the code writes a null value into this
map is at the end of computeRequestReassignmentForNetwork :
reassignedRequests.put(nri, null).
This proves the code the if() block, which proves that
newNetwork.isSatisfyingRequest(nri.request.requestId) is true.
By definition newNetwork.isSatisfyingRequest(nri) implies that
nri.mSatifier == newNetwork, which proves that
previousSatisfier == newNetwork whenever newSatisfier is null.
Fixes: 146482072
Test: FrameworksNetTests
Change-Id: Ifd6faedce7d49757b82a5f341076ab208b0ccfcb
Diffstat (limited to 'tools/aapt2/java/JavaClassGenerator_test.cpp')
0 files changed, 0 insertions, 0 deletions