Skip to content

Get Refinements needs to visit the variable first#252

Merged
CatarinaGamboa merged 3 commits into
mainfrom
if-read-variable
Jun 13, 2026
Merged

Get Refinements needs to visit the variable first#252
CatarinaGamboa merged 3 commits into
mainfrom
if-read-variable

Conversation

@CatarinaGamboa

Copy link
Copy Markdown
Collaborator

Description

Closes #241

Example

Examples added

   float readAverageStoredCondition(Connection conn) throws SQLException {
        Statement parentstmt = conn.createStatement();
        ResultSet parentMessage =
                parentstmt.executeQuery("SELECT SUM(IMPORTANCE) AS IMPAVG FROM MAIL");
        boolean b = parentMessage.next();
        if( b ) { // was not getting the correct refinement before
            float avgsum = parentMessage.getFloat("IMPAVG");
            return avgsum;
        } else {
            return 0.0f;
        }
    }

Type of change

  • Bug fix
  • New feature
  • Documentation update
  • Code refactoring

Checklist

  • Added/updated tests under liquidjava-example/src/main/java/testSuite/ (Correct* / Error*)
  • mvn test passes locally
  • Updated docs/README if behavior or API changed

@CatarinaGamboa CatarinaGamboa requested a review from rcosta358 June 13, 2026 17:37

@rcosta358 rcosta358 left a comment

Copy link
Copy Markdown
Collaborator

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Nice!

@CatarinaGamboa CatarinaGamboa merged commit efa5a0f into main Jun 13, 2026
1 check passed
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

Typestate transition lost when state-changing call is stored in a boolean variable before the if

2 participants