Skip to content

Commit 5b2c8fe

Browse files
alcidesalcides
committed
Fixed Readme
1 parent e30149b commit 5b2c8fe

File tree

5 files changed

+44
-44
lines changed

5 files changed

+44
-44
lines changed

‎.pre-commit-config.yaml‎

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -3,4 +3,4 @@ repos:
33
rev: v0.3.3
44
hooks:
55
- id: maven
6-
args: [clean compile clean]
6+
args: [clean compile]

‎README.md‎

Lines changed: 12 additions & 13 deletions
Original file line numberDiff line numberDiff line change
@@ -28,8 +28,8 @@ You can find out more about LiquidJava in the following resources:
2828

2929
## Setup the project
3030
1. Clone the repository;
31-
2. Open Eclipse and do `Ìmport...\ Existing Maven Project` selecting the folder `liquidjava-umbrella` and waiting for the build process to finish (bottom right update bar)
32-
3. Select the `liquidjava-umbrella` folder, right click it and select `Run as...\Maven install...`
31+
2. Open Eclipse and do `Ìmport...\ Existing Maven Project` selecting the current folder and waiting for the build process to finish (bottom right update bar)
32+
3. Select the current folder, right click it and select `Run as...\Maven install...`
3333
4. If inside the `liquidjava-verifier` build path there is not a `target/generated-sources/antr4`: Select `liquidjava-verifier`, on right-click, go to `Build Path\Link Source...` and browse for `liquidjava-verifier\target\generated-sources\antlr4` and select `Finish`
3434

3535
## Run verification
@@ -45,14 +45,13 @@ Make sure to run these tests after making changes in the verification code.
4545

4646
## Project structure
4747
- **docs**: documents used for the design of the language. The folder includes a readme to a full artifact used in the design process, here are some initial documents used to prepare the design of the refinements language at its evaluation
48-
- **liquidjava-umbrella**: maven project with the different sub-folders with api, examples and the verifier.
49-
- **liquidjava-api**: inlcudes the annotations that can be introduced in the Java programs to add the refinements
50-
- **liquidjava-examples**: includes a main folder with the current example that the verifier is testing; and inlcudes the classes for the tests
51-
- **liquidjava-verifier**: has the project for verification of the classes
52-
- *api*: classes that test the verifier. Includes the `CommandLineLauncher` that runs the verification on a given class or on the main folder of `liquidjava-examples` if no argument is given. This package includes the JUnit tests to verify if the examples in `liquidjava-example/tests` are correctly verified.
53-
- *ast*: represents the abstract syntax tree of the refinement's language.
54-
- *errors*: package for reporting the errors.
55-
- *processor*: package that handles the type checking.
56-
- *rj_language*: handles the processing of the strings with refinements.
57-
- *smt*: package that handles the translation to the smt solver and the processing of the results the smt solver produces.
58-
- *utils*: includes useful methods for all the previous packages.
48+
- **liquidjava-api**: inlcudes the annotations that can be introduced in the Java programs to add the refinements
49+
- **liquidjava-examples**: includes a main folder with the current example that the verifier is testing; and inlcudes the classes for the tests
50+
- **liquidjava-verifier**: has the project for verification of the classes
51+
- *api*: classes that test the verifier. Includes the `CommandLineLauncher` that runs the verification on a given class or on the main folder of `liquidjava-examples` if no argument is given. This package includes the JUnit tests to verify if the examples in `liquidjava-example/tests` are correctly verified.
52+
- *ast*: represents the abstract syntax tree of the refinement's language.
53+
- *errors*: package for reporting the errors.
54+
- *processor*: package that handles the type checking.
55+
- *rj_language*: handles the processing of the strings with refinements.
56+
- *smt*: package that handles the translation to the smt solver and the processing of the results the smt solver produces.
57+
- *utils*: includes useful methods for all the previous packages.

‎liquidjava-verifier/pom.xml‎

Lines changed: 12 additions & 12 deletions
Original file line numberDiff line numberDiff line change
@@ -23,20 +23,20 @@
2323
<artifactId>formatter-maven-plugin</artifactId>
2424
<version>2.16.0</version>
2525
<executions>
26-
<execution>
27-
<id>validate</id>
28-
<phase>validate</phase>
29-
<goals>
30-
<goal>format</goal>
31-
</goals>
32-
</execution>
26+
<execution>
27+
<id>validate</id>
28+
<phase>validate</phase>
29+
<goals>
30+
<goal>format</goal>
31+
</goals>
32+
</execution>
3333
</executions>
3434
<configuration>
3535
<compilerSource>1.8</compilerSource>
3636
<compilerCompliance>1.8</compilerCompliance>
3737
<compilerTargetPlatform>1.8</compilerTargetPlatform>
38-
</configuration>
39-
</plugin>
38+
</configuration>
39+
</plugin>
4040
<!-- <plugin>
4141
<groupId>org.apache.maven.plugins</groupId>
4242
<artifactId>maven-checkstyle-plugin</artifactId>
@@ -138,9 +138,9 @@
138138
</dependency>
139139
<!-- https://mvnrepository.com/artifact/fr.inria.gforge.spoon/spoon-core -->
140140
<dependency>
141-
<groupId>fr.inria.gforge.spoon</groupId>
142-
<artifactId>spoon-core</artifactId>
143-
<version>7.3.0</version>
141+
<groupId>fr.inria.gforge.spoon</groupId>
142+
<artifactId>spoon-core</artifactId>
143+
<version>7.3.0</version>
144144
</dependency>
145145
<dependency>
146146
<groupId>tools.aqua</groupId>

‎pom.xml‎

Lines changed: 19 additions & 17 deletions
Original file line numberDiff line numberDiff line change
@@ -1,22 +1,24 @@
1-
<project xmlns="http://maven.apache.org/POM/4.0.0" xmlns:xsi="http://www.w3.org/2001/XMLSchema-instance" xsi:schemaLocation="http://maven.apache.org/POM/4.0.0 https://maven.apache.org/xsd/maven-4.0.0.xsd">
2-
3-
<modelVersion>4.0.0</modelVersion>
4-
5-
<groupId>liquidjava</groupId>
6-
<artifactId>liquidjava-umbrella</artifactId>
7-
<version>1.0</version>
8-
9-
<packaging>pom</packaging>
10-
11-
<modules>
12-
<module>liquidjava-api</module>
13-
<module>liquidjava-verifier</module>
14-
<module>liquidjava-example</module>
15-
</modules>
16-
1+
<project xmlns="http://maven.apache.org/POM/4.0.0"
2+
xmlns:xsi="http://www.w3.org/2001/XMLSchema-instance"
3+
xsi:schemaLocation="http://maven.apache.org/POM/4.0.0 https://maven.apache.org/xsd/maven-4.0.0.xsd">
4+
5+
<modelVersion>4.0.0</modelVersion>
6+
7+
<groupId>liquidjava</groupId>
8+
<artifactId>liquidjava-umbrella</artifactId>
9+
<version>1.0</version>
10+
11+
<packaging>pom</packaging>
12+
13+
<modules>
14+
<module>liquidjava-api</module>
15+
<module>liquidjava-verifier</module>
16+
<module>liquidjava-example</module>
17+
</modules>
18+
1719
<properties>
1820
<project.build.sourceEncoding>UTF-8</project.build.sourceEncoding>
1921
<maven.compiler.source>1.8</maven.compiler.source>
2022
<maven.compiler.target>1.8</maven.compiler.target>
21-
</properties>
23+
</properties>
2224
</project>

‎setup.sh‎

Lines changed: 0 additions & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -62,7 +62,6 @@ extensions=\${jpf-core},\${jpf-nhandler},\${jpf-symbc}
6262
cd -
6363

6464
# Cleans installs the maven dependencies
65-
cd liquidjava-umbrella
6665
mvn clean install
6766
cd ..
6867

0 commit comments

Comments
 (0)