Donate to e Foundation | Murena handsets with /e/OS | Own a part of Murena! Learn more

Commit 1162d1cd authored by Lorenzo Colitti's avatar Lorenzo Colitti
Browse files

Mark StructNdOptPref64#prefix @NonNull. 

The prefix can never be null. Mark it as such to make it clearer
that no null checks for it are needed.

Bug: 153694684
Test: atest NetworkStackTests:NduseroptMessageTest NetworkStackTests:StructNdOptPref64Test
Change-Id: Ica4f6f7545e63e0665c2a4ae4de8323f3fd93e1c
parent 4ee76530

common/netlinkclient/src/android/net/netlink/StructNdOptPref64.java

+1 −1
Original line number Diff line number Diff line
@@ -56,7 +56,7 @@ public class StructNdOptPref64 extends NdOption { 
     */

    public final int lifetime;

    /** The NAT64 prefix. */

    public final IpPrefix prefix;

    @NonNull public final IpPrefix prefix;



    static int plcToPrefixLength(int plc) {

        switch (plc) {