Add IntRange for getIpFilterContextId API

Test: make -j44 dist
Bug: 170966271
Change-Id: Ia9afba71b6ac40444bfb258c0f9cb8e8a0de3e18
This commit is contained in:
Amy Zhang
2020-10-15 14:05:55 -07:00
parent f82f0bc28e
commit ec298d044b
3 changed files with 4 additions and 2 deletions

View File

@@ -5293,7 +5293,7 @@ package android.media.tv.tuner.filter {
method @NonNull public static android.media.tv.tuner.filter.IpFilterConfiguration.Builder builder();
method @NonNull @Size(min=4, max=16) public byte[] getDstIpAddress();
method public int getDstPort();
method public int getIpFilterContextId();
method @IntRange(from=0, to=61439) public int getIpFilterContextId();
method @NonNull @Size(min=4, max=16) public byte[] getSrcIpAddress();
method public int getSrcPort();
method public int getType();

View File

@@ -16,6 +16,7 @@
package android.media.tv.tuner.filter;
import android.annotation.IntRange;
import android.annotation.NonNull;
import android.annotation.Nullable;
import android.annotation.Size;
@@ -101,6 +102,7 @@ public final class IpFilterConfiguration extends FilterConfiguration {
* <p>This API is only supported by Tuner HAL 1.1 or higher. Unsupported version would return
* default value. Use {@link TunerVersionChecker.getTunerVersion()} to check the version.
*/
@IntRange(from = 0, to = 0xefff)
public int getIpFilterContextId() {
return mIpFilterContextId;
}

View File

@@ -5233,7 +5233,7 @@ package android.media.tv.tuner.filter {
method @NonNull public static android.media.tv.tuner.filter.IpFilterConfiguration.Builder builder();
method @NonNull @Size(min=4, max=16) public byte[] getDstIpAddress();
method public int getDstPort();
method public int getIpFilterContextId();
method @IntRange(from=0, to=61439) public int getIpFilterContextId();
method @NonNull @Size(min=4, max=16) public byte[] getSrcIpAddress();
method public int getSrcPort();
method public int getType();