Minor improvements to verified
diff --git a/src/tools/VerifySmileDocs.java b/src/tools/VerifySmileDocs.java
index b79e336..20bbd5f 100644
--- a/src/tools/VerifySmileDocs.java
+++ b/src/tools/VerifySmileDocs.java
@@ -96,8 +96,35 @@
while ((t1 = jsonParser.nextToken()) != null) {
JsonToken t2 = smileParser.nextToken();
+ // first: token types must match
if (t1 != t2) {
- smileParser.close();
+ return jsonParser;
+ }
+ // and second, values as well
+ switch (t1) {
+ case VALUE_STRING:
+ case FIELD_NAME:
+ if (!jsonParser.getText().equals(smileParser.getText())) {
+ return jsonParser;
+ }
+ break;
+ case VALUE_NUMBER_INT:
+ if (jsonParser.getLongValue() != smileParser.getLongValue()) {
+ return jsonParser;
+ }
+ break;
+ case VALUE_NUMBER_FLOAT:
+ if (jsonParser.getDoubleValue() != smileParser.getDoubleValue()) {
+ return jsonParser;
+ }
+ break;
+ // others are fine:
+ // Boolean values are distinct tokens;
+ // Object/Array start/end likewise
+ }
+ }
+ if (t1 == null) {
+ if (smileParser.nextToken() != null) {
return jsonParser;
}
}