Skip to content

58530 Antonio Rebelo #71

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Closed
TORebelo wants to merge 2 commits into from
Closed

58530 Antonio Rebelo #71

Show file tree
Hide file tree
Changes from 1 commit
Commits
Show all changes
2 commits
Select commit Hold shift + click to select a range
03f6b6f
re-add files from removed commit 60dbd55
TORebelo Oct 30, 2025
b5d3912
test: add TestLiteralStringEquals and TestOptimizationIntegration Ant…
TORebelo Oct 30, 2025
File filter

Filter by extension

Filter by extension
Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
Next Next commit
re-add files from removed commit 60dbd55
  • Loading branch information
@TORebelo
TORebelo committed Oct 30, 2025
commit 03f6b6f0213302883d6e305a6077bcb3f53d6129
3 changes: 3 additions & 0 deletions liquidjava-verifier/.vscode/settings.json
View file
Open in desktop
Original file line number Diff line number Diff line change
@@ -0,0 +1,3 @@
{
"java.configuration.updateBuildConfiguration": "interactive"
}
40 changes: 40 additions & 0 deletions liquidjava-verifier/pom.xml
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -95,6 +95,46 @@
</execution>
</executions>
</plugin>

<plugin>
<groupId>org.jacoco</groupId>
<artifactId>jacoco-maven-plugin</artifactId>
<version>0.8.14</version>
<executions>
<execution>
<id>default-prepare-agent</id>
<goals>
<goal>prepare-agent</goal>
</goals>
</execution>
<execution>
<id>default-report</id>
<goals>
<goal>report</goal>
</goals>
</execution>
<execution>
<id>default-check</id>
<goals>
<goal>check</goal>
</goals>
<configuration>
<rules>
<rule>
<element>BUNDLE</element>
<limits>
<limit>
<counter>COMPLEXITY</counter>
<value>COVEREDRATIO</value>
<minimum>0.60</minimum>
</limit>
</limits>
</rule>
</rules>
</configuration>
</execution>
</executions>
</plugin>
</plugins>
</build>

Expand Down
20 changes: 20 additions & 0 deletions liquidjava-verifier/src/test/java/liquidjava/ast/opt/TestOptimization.java
View file
Open in desktop
Original file line number Diff line number Diff line change
@@ -0,0 +1,20 @@
package liquidjava.ast.opt;

import static org.junit.Assert.assertEquals;

import org.junit.Test;

import liquidjava.rj_language.ast.BinaryExpression;
import liquidjava.rj_language.ast.LiteralInt;
import liquidjava.rj_language.opt.ConstantFolding;
import liquidjava.rj_language.opt.derivation_node.ValDerivationNode;

public class TestOptimization {
@Test
public void testBinaryFold() {
BinaryExpression b = new BinaryExpression(new LiteralInt(1), "+", new LiteralInt(2));

ValDerivationNode r = ConstantFolding.fold(new ValDerivationNode(b, null));
assertEquals(r.getValue(), new LiteralInt(3));
}
}
22 changes: 22 additions & 0 deletions liquidjava-verifier/src/test/java/liquidjava/ast/opt/TestOptimizationIntegration.java
View file
Open in desktop
Original file line number Diff line number Diff line change
@@ -0,0 +1,22 @@
package liquidjava.ast.opt;

import static org.junit.Assert.assertEquals;

import org.junit.Test;

import liquidjava.rj_language.ast.BinaryExpression;
import liquidjava.rj_language.ast.LiteralInt;
import liquidjava.rj_language.opt.ConstantFolding;
import liquidjava.rj_language.opt.derivation_node.ValDerivationNode;

public class TestOptimizationIntegration {
@Test
public void testBinaryFoldNested() {
BinaryExpression inner = new BinaryExpression(new LiteralInt(2), "+", new LiteralInt(3));
BinaryExpression outer = new BinaryExpression(new LiteralInt(1), "+", inner);
ValDerivationNode r = ConstantFolding.fold(new ValDerivationNode(outer, null));
assertEquals(new LiteralInt(6), r.getValue());
}
}

// António Rebelo - 58530
53 changes: 53 additions & 0 deletions liquidjava-verifier/src/test/java/liquidjava/rj_language/TestLiteralString.java
View file
Open in desktop
Original file line number Diff line number Diff line change
@@ -0,0 +1,53 @@

package liquidjava.rj_language;

import static org.junit.Assert.assertFalse;
import static org.junit.Assert.assertNotEquals;
import static org.junit.Assert.assertTrue;

import org.junit.Test;
import liquidjava.rj_language.ast.LiteralString;

public class TestLiteralString {
// Teste fornecido
@Test
public void testLiteralString() {
LiteralString s1 = new LiteralString("hello");
LiteralString s2 = new LiteralString("world");
assertNotEquals(s1.hashCode(), s2.hashCode());
}

@Test
public void testEqualsSameContent() {
LiteralString a = new LiteralString("hello");
LiteralString b = new LiteralString("hello");
assertTrue(a.equals(b));
assertTrue(b.equals(a));
}

@Test
public void testEqualsDifferentContent() {
LiteralString a = new LiteralString("hello");
LiteralString c = new LiteralString("world");
assertFalse(a.equals(c));
assertFalse(c.equals(a));
}

@Test
public void testEqualsSameReference() {
LiteralString a = new LiteralString("hello");
assertTrue(a.equals(a));
}

@Test
public void testEqualsNull() {
LiteralString a = new LiteralString("hello");
assertFalse(a.equals(null));
}

@Test
public void testEqualsDifferentClass() {
LiteralString a = new LiteralString("hello");
assertFalse(a.equals(new Object()));
}
}
33 changes: 33 additions & 0 deletions liquidjava-verifier/src/test/java/liquidjava/rj_language/TestLiteralStringEquals.java
View file
Open in desktop
Original file line number Diff line number Diff line change
@@ -0,0 +1,33 @@
package liquidjava.rj_language;

import static org.junit.Assert.*;
import org.junit.Test;
import liquidjava.rj_language.ast.LiteralString;

public class TestLiteralStringEquals {
@Test
public void testBothValuesNull() {
LiteralString a = new LiteralString(null);
LiteralString b = new LiteralString(null);
assertTrue(a.equals(b));
assertTrue(b.equals(a));
assertTrue(a.equals(a));
assertEquals(a.hashCode(), b.hashCode());
}

@Test
public void testThisValueNullOtherNotNull() {
LiteralString a = new LiteralString(null);
LiteralString b = new LiteralString("hello");
assertFalse(a.equals(b));
assertFalse(b.equals(a));
}

@Test
public void testOtherValueNullThisNotNull() {
LiteralString a = new LiteralString("hello");
LiteralString b = new LiteralString(null);
assertFalse(a.equals(b));
assertFalse(b.equals(a));
}
}