ReadMe Installation fixes

.github/workflows/maven-2.yml

@@ -28,11 +28,11 @@ jobs:
         distribution: 'temurin'
         cache: maven
     - name: Build with Maven
-      working-directory: latte-umbrella
+      working-directory: latte
       run: mvn -B package --file pom.xml
 
     # Optional: Uploads the full dependency graph to GitHub to improve the quality of Dependabot alerts this repository can receive
     - name: Update dependency graph
       run: |
-        cd latte-umbrella
+        cd latte
         mvn com.github.ferstl:depgraph-maven-plugin:4.0.1:graph

README.md

@@ -26,13 +26,12 @@ Local variables are not annotated and start with a default annotation that allow
 ## Project Structure
 
 ```
-latte-umbrella/
+latte/
 ├── src/
 │   └── main/
 │       └── java/
 │           ├── latte/
-│           │   └── latte_umbrella/
-│           │       └── App.java  # Main application entry point
+│           │   └── App.java  # Main application entry point
 │           └── examples/         # Test examples for the analysis
 │   └── test/
 │       └── java/
@@ -58,8 +57,8 @@ latte-umbrella/
 Clone the repository and build with Maven:
 
 ```bash
-git clone https://github.com/your-username/latte.git
-cd latte
+git clone https://github.com/CatarinaGamboa/latte.git
+cd latte/latte
 mvn clean install
 ```
 

latte-umbrella/pom.xml → latte/pom.xml

@@ -5,10 +5,10 @@
   <modelVersion>4.0.0</modelVersion>
 
   <groupId>latte</groupId>
-  <artifactId>latte-umbrella</artifactId>
+  <artifactId>latte</artifactId>
   <version>0.0.1-SNAPSHOT</version>
 
-  <name>latte-umbrella</name>
+  <name>latte</name>
   <!-- FIXME change it to the project's website -->
   <url>http://www.example.com</url>
 

latte-umbrella/src/main/java/latte/latte_umbrella/App.java → latte/src/main/java/api/App.java

@@ -1,5 +1,4 @@
-package latte.latte_umbrella;
-
+package api;
 import java.io.File;
 import java.security.InvalidParameterException;
 import java.util.Arrays;
@@ -30,7 +29,7 @@ public static void main( String[] args ){
 
 		if (args.length == 0) {
 			System.out.println("Please enter the path to the file you want to process");
-			String allPath = "latte-umbrella/src/main/java/examples/MyStackTest.java";
+			String allPath = "latte/src/main/java/examples/MyStackTest.java";
 			launcher(allPath);
 
 		} else if (args.length == 1 && args[0].equals("-multi")) {

latte-umbrella/src/main/java/latte/latte_umbrella/JsonError.java → latte/src/main/java/api/JsonError.java

@@ -1,4 +1,4 @@
-package latte.latte_umbrella;
+package api;
 
 public class JsonError {
     private int startLine;

latte-umbrella/src/test/java/latte/latte_umbrella/AppTest.java → latte/src/test/java/AppTest.java

@@ -1,4 +1,4 @@
-package latte.latte_umbrella;
+
 
 import static org.junit.Assert.assertTrue;
 import static org.junit.jupiter.api.Assertions.assertFalse;
@@ -11,7 +11,7 @@
 import context.SymbolicEnvironment;
 import context.SymbolicValue;
 import typechecking.LatteException;
-
+import api.App;
 /**
  * Unit test for simple App.
  */