From 41a2d5ea403c5238b2de944dd88e8b650488739a Mon Sep 17 00:00:00 2001 From: Martin Lippert Date: Mon, 6 Jan 2025 08:54:18 +0100 Subject: [PATCH] minor polish --- .../boot/index/cache/IndexCacheOnDiscDeltaBased.java | 8 ++++---- 1 file changed, 4 insertions(+), 4 deletions(-) diff --git a/headless-services/spring-boot-language-server/src/main/java/org/springframework/ide/vscode/boot/index/cache/IndexCacheOnDiscDeltaBased.java b/headless-services/spring-boot-language-server/src/main/java/org/springframework/ide/vscode/boot/index/cache/IndexCacheOnDiscDeltaBased.java index 12d02ae5c..da7760507 100644 --- a/headless-services/spring-boot-language-server/src/main/java/org/springframework/ide/vscode/boot/index/cache/IndexCacheOnDiscDeltaBased.java +++ b/headless-services/spring-boot-language-server/src/main/java/org/springframework/ide/vscode/boot/index/cache/IndexCacheOnDiscDeltaBased.java @@ -613,10 +613,10 @@ public class IndexCacheOnDiscDeltaBased implements IndexCache { /** * gson adapter to store subtype information for symbol addon informations */ - private static class DeltaStorageAdapter implements JsonSerializer, JsonDeserializer { + private static class DeltaStorageAdapter implements JsonSerializer>, JsonDeserializer> { @Override - public JsonElement serialize(DeltaStorage deltaElement, Type typeOfSrc, JsonSerializationContext context) { + public JsonElement serialize(DeltaStorage deltaElement, Type typeOfSrc, JsonSerializationContext context) { JsonObject result = new JsonObject(); result.add("type", new JsonPrimitive(deltaElement.storedElement.getClass().getName())); result.add("data", context.serialize(deltaElement.storedElement)); @@ -624,13 +624,13 @@ public class IndexCacheOnDiscDeltaBased implements IndexCache { } @Override - public DeltaStorage deserialize(JsonElement json, Type type, JsonDeserializationContext context) throws JsonParseException { + public DeltaStorage deserialize(JsonElement json, Type type, JsonDeserializationContext context) throws JsonParseException { JsonObject parsedObject = json.getAsJsonObject(); String className = parsedObject.get("type").getAsString(); JsonElement element = parsedObject.get("data"); try { - return new DeltaStorage(context.deserialize(element, Class.forName(className))); + return new DeltaStorage<>(context.deserialize(element, Class.forName(className))); } catch (ClassNotFoundException cnfe) { throw new JsonParseException("cannot parse data from unknown SymbolAddOnInformation subtype: " + type, cnfe); }