Merge pull request #69 from goblint/contexts

Read and show contexts in warnings if available
goblint · Feb 19, 2024 · b042082 · b042082
2 parents 80651da + 1d360b9
commit b042082
Showing 1 changed file with 7 additions and 1 deletion.
diff --git a/src/main/java/api/messages/GoblintMessagesResult.java b/src/main/java/api/messages/GoblintMessagesResult.java
@@ -58,6 +58,11 @@ public interface MultiPiece {
     public static class Piece implements MultiPiece {
         private String text;
         private GoblintLocation loc;
+        private context context;
+
+        public static class context {
+            private Integer tag;
+        }
 
         /**
          * Converts the Single (Piece type of) Goblint messages from the
@@ -70,7 +75,8 @@ public static class Piece implements MultiPiece {
          */
         public List<AnalysisResult> convert(List<Tag> tags, String severity, boolean explode) {
             GoblintPosition pos = getLocation(loc);
-            String msg = joinTags(tags) + " " + text;
+            String ctx = context == null || context.tag == null ? "" : " in context " + context.tag;
+            String msg = joinTags(tags) + " " + text + ctx;
             GoblintMessagesAnalysisResult result = new GoblintMessagesAnalysisResult(pos, msg, severity);
             return List.of(result);
         }