Small refactor to dafny java wrapper

cedar-policy · Aug 14, 2023 · d75e1ba · d75e1ba
1 parent af50183
commit d75e1ba
Showing 1 changed file with 2 additions and 3 deletions.
diff --git a/...ny-java-wrapper/src/main/java/com/CedarDefinitionalImplementation/DefinitionalEngine.java b/...ny-java-wrapper/src/main/java/com/CedarDefinitionalImplementation/DefinitionalEngine.java
@@ -51,8 +51,7 @@ public String isAuthorized_str(String json) {
     }
 
     public String eval_str(String json) {
-	    var query = deserializeEvalQuery(json);
-	    return query.map(x -> eval_json(x)).orElse("null");
+	    return deserializeEvalQuery(json).map(x -> eval_json(x)).orElse("null");
     }
 
     private Optional<difftest_mhelpers.Json> deserializeEvalQuery(String json) {
@@ -66,7 +65,7 @@ private Optional<difftest_mhelpers.Json> deserializeEvalQuery(String json) {
 
     public String eval_json(difftest_mhelpers.Json json) {
 	try {
-		var result = difftest_mmain.__default.evalJson(json);
+		difftest_mhelpers.Json result = difftest_mmain.__default.evalJson(json);
 		JsonNode serialized = DafnyUtils.convertJsonDafnyToJackson(result);
 		return mapper.writeValueAsString(serialized);
 	} catch (JsonProcessingException e) {