Skip to content

Expression Pretty Printing #200

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

Merged
rcosta358 merged 13 commits into from
Apr 11, 2026
Merged

Expression Pretty Printing #200

Changes from 1 commit
Commits
Show all changes
13 commits
Select commit Hold shift + click to select a range
9c7ed97
Fix Expression Parentheses
rcosta358 Mar 31, 2026
0aa749a
Add ExpressionPrinter for Pretty Printing
rcosta358 Mar 31, 2026
a08e169
Code Refactoring
rcosta358 Mar 31, 2026
516f795
Add Javadocs
rcosta358 Mar 31, 2026
2d2fc97
Update Javadoc
rcosta358 Mar 31, 2026
f455e97
Simplify ExpressionPrinter
rcosta358 Apr 1, 2026
3db15e9
Add ExpressionPrecendence
rcosta358 Apr 1, 2026
1a12837
Renaming
rcosta358 Apr 1, 2026
76041fe
Formatting
rcosta358 Apr 1, 2026
51024ef
Rename Test Class
rcosta358 Apr 1, 2026
774a4ad
Add Format Predicate Overload
rcosta358 Apr 1, 2026
7240cb2
Minor Change
rcosta358 Apr 1, 2026
3b05d78
Rename Tests
rcosta358 Apr 1, 2026
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
Prev Previous commit
Rename Tests
  • Loading branch information
@rcosta358
rcosta358 committed Apr 1, 2026
commit 3b05d782e9ea9cc448ef3aed2ab7f7d306b40533
14 changes: 7 additions & 7 deletions liquidjava-verifier/src/test/java/liquidjava/rj_language/ast/ExpressionFormatterTest.java
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -6,13 +6,13 @@
class ExpressionFormatterTest {

@Test
void printsUnaryWithoutExtraParenthesesForAtoms() {
void formatsUnaryAtoms() {
assertEquals("!x", new UnaryExpression("!", new Var("x")).toDisplayString());
assertEquals("!false", new UnaryExpression("!", new LiteralBoolean(false)).toDisplayString());
}

@Test
void formatsInternalVariablesWithSuperscripts() {
void formatsInternalVariables() {
assertEquals("x", new Var("x").toDisplayString());
assertEquals("x²", new Var("#x_2").toDisplayString());
assertEquals("#fresh¹²", new Var("#fresh_12").toDisplayString());
Expand All @@ -21,7 +21,7 @@ void formatsInternalVariablesWithSuperscripts() {
}

@Test
void printsUnaryWithParenthesesForCompoundOperands() {
void formatsUnaryCompounds() {
Expression comparison = new BinaryExpression(new Var("x"), ">", new LiteralInt(0));

assertEquals("x > 0", comparison.toDisplayString());
Expand All @@ -31,7 +31,7 @@ void printsUnaryWithParenthesesForCompoundOperands() {
}

@Test
void printsBinaryExpressionsWithOperatorPrecedence() {
void formatsBinaryPrecedence() {
Expression sum = new BinaryExpression(new Var("a"), "+", new Var("b"));
Expression product = new BinaryExpression(new Var("b"), "*", new Var("c"));

Expand All @@ -44,7 +44,7 @@ void printsBinaryExpressionsWithOperatorPrecedence() {
}

@Test
void preservesExplicitGroupingOnRightHandSide() {
void formatsRightGrouping() {
Expression groupedSum = new GroupExpression(new BinaryExpression(new Var("b"), "+", new Var("c")));
Expression groupedComparison = new GroupExpression(
new BinaryExpression(new LiteralInt(1), ">", new LiteralInt(0)));
Expand All @@ -54,7 +54,7 @@ void preservesExplicitGroupingOnRightHandSide() {
}

@Test
void printsLogicalExpressionsWithNeededParentheses() {
void formatsLogicalExpressions() {
Expression andExpression = new BinaryExpression(new Var("a"), "&&", new Var("b"));
Expression orExpression = new BinaryExpression(new Var("b"), "||", new Var("c"));
Expression implication = new BinaryExpression(new Var("b"), "-->", new Var("c"));
Expand All @@ -69,7 +69,7 @@ void printsLogicalExpressionsWithNeededParentheses() {
}

@Test
void printsTernaryExpressionsWithNeededParentheses() {
void formatsTernaryExpressions() {
Expression ite = new Ite(new Var("a"), new Var("b"), new Var("c"));
Expression nestedElse = new Ite(new Var("c"), new Var("d"), new Var("e"));

Expand Down
Loading