Update version from 0.0.3 to 0.0.4

Readme.md

@@ -8,7 +8,7 @@ The Integration of the static analyzer [Goblint](https://github.com/goblint/anal
 
 1. Install [Goblint](https://github.com/goblint/analyzer#installing).
 2. Download [GobPie plugin](https://nightly.link/goblint/GobPie/workflows/build/master/gobpie-plugin.zip) and unzip the archive.
-3. Install the extension into VSCode with `code --install-extension gobpie-0.0.3.vsix`.
+3. Install the extension into VSCode with `code --install-extension gobpie-0.0.4.vsix`.
 
 When installing goblint locally (as recommended), **make sure that GobPie can find the correct version Goblint**.
 This can be done in two ways:

pom.xml

@@ -4,7 +4,7 @@
     <modelVersion>4.0.0</modelVersion>
     <groupId>goblint</groupId>
     <artifactId>gobpie</artifactId>
-    <version>0.0.3-SNAPSHOT</version>
+    <version>0.0.4-SNAPSHOT</version>
     <dependencies>
 
         <!-- lsp4j DAP -->

src/main/java/abstractdebugging/AbstractDebuggingServer.java

@@ -33,6 +33,7 @@
  * Implements the core logic of abstract debugging with the lsp4j DAP interface.
  *
  * @author Juhan Oskar Hennoste
+ * @since 0.0.4
  */
 public class AbstractDebuggingServer implements IDebugProtocolServer {
 

src/main/java/abstractdebugging/AbstractDebuggingServerLauncher.java

@@ -23,6 +23,7 @@
  * Responsible for exposing the DAP-based abstract debugging server over a UNIX domain socket.
  *
  * @author Juhan Oskar Hennoste
+ * @since 0.0.4
  */
 public class AbstractDebuggingServerLauncher {
 

src/main/java/abstractdebugging/BreakpointInfo.java

@@ -3,6 +3,10 @@
 import javax.annotation.Nullable;
 import java.util.List;
 
+/**
+ * @since 0.0.4
+ */
+
 public record BreakpointInfo(
         CFGNodeInfo cfgNode,
         @Nullable ConditionalExpression condition,

src/main/java/abstractdebugging/CFGEdgeInfo.java

@@ -1,5 +1,9 @@
 package abstractdebugging;
 
+/**
+ * @since 0.0.4
+ */
+
 public class CFGEdgeInfo extends EdgeInfo {
 
     private final String statementDisplayString;

src/main/java/abstractdebugging/CFGNodeInfo.java

@@ -2,6 +2,10 @@
 
 import api.messages.GoblintLocation;
 
+/**
+ * @since 0.0.4
+ */
+
 public record CFGNodeInfo(
         String cfgNodeId,
         GoblintLocation location

src/main/java/abstractdebugging/ConditionalExpression.java

@@ -5,6 +5,10 @@
 
 import java.util.Locale;
 
+/**
+ * @since 0.0.4
+ */
+
 public record ConditionalExpression(boolean must, String expression) {
 
     private static final String EXPLICIT_MODE_PREFIX = "\\";

src/main/java/abstractdebugging/EdgeInfo.java

@@ -1,5 +1,9 @@
 package abstractdebugging;
 
+/**
+ * @since 0.0.4
+ */
+
 public class EdgeInfo {
 
     private final String nodeId;

src/main/java/abstractdebugging/FunctionCallEdgeInfo.java

@@ -2,6 +2,10 @@
 
 import java.util.List;
 
+/**
+ * @since 0.0.4
+ */
+
 public class FunctionCallEdgeInfo extends EdgeInfo {
 
     private final String function;

src/main/java/abstractdebugging/IllegalStepException.java

@@ -3,6 +3,8 @@
 /**
  * Thrown when the requested step is invalid.
  * Usually this occurs because the target node is ambiguous for some thread.
+ *
+ * @since 0.0.4
  */
 public class IllegalStepException extends Exception {
 

src/main/java/abstractdebugging/NodeInfo.java

@@ -7,12 +7,14 @@
 
 /**
  * Represents information about an ARG node.
- * @param nodeId The ARG node id assigned by Goblint
+ *
+ * @param nodeId    The ARG node id assigned by Goblint
  * @param cfgNodeId The corresponding CFG node id assigned by Goblint
  * @param contextId The corresponding context id assigned by Goblint
- * @param pathId The corresponding path id assigned by Goblint
- * @param location Location of node in source code
- * @param function Name of function that contains this node
+ * @param pathId    The corresponding path id assigned by Goblint
+ * @param location  Location of node in source code
+ * @param function  Name of function that contains this node
+ * @since 0.0.4
  */
 public record NodeInfo(
         String nodeId,

src/main/java/abstractdebugging/RequestFailedException.java

@@ -5,6 +5,8 @@
 /**
  * Exception thrown by {@link AbstractDebuggingServer} {@link GoblintService} wrapper methods
  * when a syntactically valid request to the Goblint server fails for a known/expected reason.
+ *
+ * @since 0.0.4
  */
 public class RequestFailedException extends RuntimeException {
 

src/main/java/abstractdebugging/ResultsService.java

@@ -14,6 +14,8 @@
 /**
  * Synchronous convenience methods for working with GoblintService for abstract debugging.
  * In the future this can be converted to an interface and mocked for testing purposes.
+ *
+ * @since 0.0.4
  */
 public class ResultsService {
 

src/main/java/abstractdebugging/StackFrameState.java

@@ -2,6 +2,10 @@
 
 import javax.annotation.Nullable;
 
+/**
+ * @since 0.0.4
+ */
+
 public class StackFrameState {
 
     private NodeInfo node;

src/main/java/abstractdebugging/ThreadState.java

@@ -8,6 +8,9 @@
  * <p>
  * A note about terminology: The topmost frame is the frame that was added by the latest function call and contains the current location of the thread.
  * It is located at index 0 in the list of frames.
+ *
+ * @author Juhan Oskar Hennoste
+ * @since 0.0.4
  */
 public class ThreadState {
 

src/main/java/api/messages/ARGStateParams.java

@@ -1,5 +1,9 @@
 package api.messages;
 
+/**
+ * @since 0.0.4
+ */
+
 public class ARGStateParams {
 
     private String node;

src/main/java/api/messages/CFGLookupParams.java

@@ -1,5 +1,9 @@
 package api.messages;
 
+/**
+ * @since 0.0.4
+ */
+
 public class CFGLookupParams {
 
     private String node;

src/main/java/api/messages/EvalIntQueryParams.java

@@ -1,5 +1,9 @@
 package api.messages;
 
+/**
+ * @since 0.0.4
+ */
+
 public class EvalIntQueryParams {
 
     private String node;

src/main/java/api/messages/EvalIntResult.java

@@ -6,6 +6,9 @@
 import javax.annotation.Nullable;
 import java.math.BigInteger;
 
+/**
+ * @since 0.0.4
+ */
 public class EvalIntResult {
 
     private JsonElement raw;

src/main/java/api/messages/EvalQueryParams.java

@@ -1,5 +1,9 @@
 package api.messages;
 
+/**
+ * @since 0.0.4
+ */
+
 public class EvalQueryParams {
 
     private String node;

src/main/java/api/messages/GlobalStateParams.java

@@ -1,5 +1,9 @@
 package api.messages;
 
+/**
+ * @since 0.0.4
+ */
+
 public class GlobalStateParams {
 
     private Long vid;

src/main/java/api/messages/GoblintARGLookupResult.java

@@ -9,6 +9,10 @@
 
 import java.util.List;
 
+/**
+ * @since 0.0.4
+ */
+
 public class GoblintARGLookupResult {
 
     private String node;

src/main/java/api/messages/GoblintARGResult.java

@@ -1,12 +1,12 @@
 package api.messages;
 
 /**
- * The Class GoblintCFGResult.
+ * The Class GoblintARGResult.
  * <p>
  * Corresponding object to the Goblint cfg request response results in JSON.
  *
- * @author Karoliine Holter
- * @since 0.0.3
+ * @author Juhan Oskar Hennoste
+ * @since 0.0.4
  */
 
 public class GoblintARGResult {

src/main/java/api/messages/GoblintCFGLookupResult.java

@@ -2,6 +2,10 @@
 
 import abstractdebugging.CFGNodeInfo;
 
+/**
+ * @since 0.0.4
+ */
+
 public class GoblintCFGLookupResult {
 
     private String node;

src/main/java/api/messages/GoblintLocation.java

@@ -9,7 +9,7 @@
  * Goblint CIL location.
  *
  * @author Juhan Oskar Hennoste
- * @since 0.0.3
+ * @since 0.0.4
  */
 public class GoblintLocation {
 

src/main/java/api/messages/GoblintVarinfo.java

@@ -2,6 +2,10 @@
 
 import javax.annotation.Nullable;
 
+/**
+ * @since 0.0.4
+ */
+
 public class GoblintVarinfo {
 
     private long vid;

src/main/java/api/messages/LookupParams.java

@@ -1,5 +1,9 @@
 package api.messages;
 
+/**
+ * @since 0.0.4
+ */
+
 public class LookupParams {
 
     private String node;

src/main/java/api/messages/NodeParams.java

@@ -1,5 +1,9 @@
 package api.messages;
 
+/**
+ * @since 0.0.4
+ */
+
 public class NodeParams {
 
     private String nid;

vscode/installGobPie.sh

@@ -1,4 +1,4 @@
 mvn clean -f "../../GobPie/pom.xml"
 mvn install -f "../../GobPie/pom.xml"
 echo y | vsce package
-code --install-extension gobpie-0.0.3.vsix
+code --install-extension gobpie-0.0.4.vsix

vscode/install_and_test.sh

@@ -1,5 +1,5 @@
 # Load environment variables from .env
 export $(grep -v '^#' .env | xargs)
 
-code --install-extension gobpie-0.0.3.vsix
+code --install-extension gobpie-0.0.4.vsix
 code $GOBPIE_TEST_PROJECT

vscode/package.json

@@ -4,7 +4,7 @@
   "description": "The interactive Goblint analyzer extension",
   "author": "Karoliine Holter",
   "license": "MIT",
-  "version": "0.0.3",
+  "version": "0.0.4",
   "repository": {
     "type": "git",
     "url": "https://github.com/goblint/GobPie.git"
@@ -94,7 +94,7 @@
     ]
   },
   "scripts": {
-    "vscode:prepublish": "shx cp ../target/gobpie-0.0.3-SNAPSHOT.jar gobpie-0.0.3-SNAPSHOT.jar && npm run package",
+    "vscode:prepublish": "shx cp ../target/gobpie-0.0.4-SNAPSHOT.jar gobpie-0.0.4-SNAPSHOT.jar && npm run package",
     "webpack": "webpack --mode development",
     "webpack-dev": "webpack --mode development --watch",
     "package": "webpack --mode production --devtool hidden-source-map",

vscode/src/extension.ts

@@ -31,7 +31,7 @@ export function activate(context: ExtensionContext) {
     const adbSocketPath = `gobpie_adb_${crypto.randomBytes(6).toString('base64url')}.sock`
 
     const script = 'java';
-    const args = ['-jar', context.asAbsolutePath('gobpie-0.0.3-SNAPSHOT.jar'), adbSocketPath];
+    const args = ['-jar', context.asAbsolutePath('gobpie-0.0.4-SNAPSHOT.jar'), adbSocketPath];
 
     // Use this for communicating on stdio 
     let serverOptions: ServerOptions = {