Skip to content

Commit

Permalink
unchecked annotations
Browse files Browse the repository at this point in the history
Signed-off-by: Justin Florentine <[email protected]>
  • Loading branch information
jflo committed Oct 17, 2023
1 parent 919686b commit b84c719
Showing 1 changed file with 4 additions and 2 deletions.
Original file line number Diff line number Diff line change
Expand Up @@ -17,9 +17,11 @@
import static com.google.common.base.Preconditions.checkArgument;

import com.fasterxml.jackson.annotation.JsonCreator;
import org.checkerframework.checker.signedness.qual.Unsigned;

public class UnsignedLongParameter {

@Unsigned
private final long value;

@JsonCreator
Expand All @@ -33,11 +35,11 @@ public UnsignedLongParameter(final String value) {
}

@JsonCreator
public UnsignedLongParameter(final long value) {
public UnsignedLongParameter(final @Unsigned long value) {
this.value = value;
}

public long getValue() {
public @Unsigned long getValue() {
return value;
}
}

0 comments on commit b84c719

Please sign in to comment.