Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Interning annotations #3

Open
wants to merge 8 commits into
base: master
Choose a base branch
from
+159 −35
Open

Interning annotations #3

Changes from 1 commit
Commits
Show all changes
8 commits
Select commit Hold shift + click to select a range
535d5b9
Adjust build system to run checker
PRITI1999 May 29, 2020
bd4ece5
Added annotations for nullness in gson/
PRITI1999 Jun 1, 2020
46bb5a3
Add remaining annotations to gson/
PRITI1999 Jun 4, 2020
2354aa4
Remove nullness annotations from master
PRITI1999 Jun 15, 2020
993d4bc
add interning annotations
PRITI1999 Jun 29, 2020
e2e27c7
add build files
PRITI1999 Jun 29, 2020
14d2de0
remove unwanted annotations
PRITI1999 Jun 29, 2020
09922cb
remove unnecessary import
PRITI1999 Jun 30, 2020
File filter

Filter by extension

Filter by extension
Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
Prev Previous commit
Next Next commit
remove unwanted annotations
@PRITI1999
PRITI1999 committed Jun 29, 2020
commit 14d2de02a6818e04cbfa88aec6fee2010e3037d3
3 changes: 1 addition & 2 deletions gson/src/main/java/com/google/gson/DefaultDateTypeAdapter.java
View file
Original file line number Diff line number Diff line change
@@ -33,7 +33,6 @@
import com.google.gson.stream.JsonReader;
import com.google.gson.stream.JsonToken;
import com.google.gson.stream.JsonWriter;
import org.checkerframework.checker.nullness.qual.Nullable;

/**
* This type adapter supports three subclasses of date: Date, Timestamp, and
@@ -121,7 +120,7 @@ public void write(JsonWriter out, Date value) throws IOException {
}

@Override
public @Nullable Date read(JsonReader in) throws IOException {
public Date read(JsonReader in) throws IOException {
if (in.peek() == JsonToken.NULL) {
in.nextNull();
return null;