GV

GeezerVison

The World Wide Web, restored to 800 pixels of glory.

Home|About|Gaming cabinet|Archives|How it works|Starter sites

On this site

  • Sign in
  • ActionsCI/CD and automation
  • CodespacesCloud development environments
  • All Features
  • Documentation
  • Training
  • Certifications
  • Build with Copilot
  • Customize Copilot
  • Integrations
  • Trending repos
  • GitHub Sponsors
  • Developer articles
  • Enterprises

This view

  • Original page
  • New address

GeezerVison is showing github.com — False error: a boolean query (_ == true --> open(this)) in a class fails at its return · Issue #509 · liquid-java/liquidjava

False error: a boolean query (_ == true --> open(this)) in a class fails at its return #509

New issue
Copy link
New issue
Copy link
Open
Open
False error: a boolean query (_ == true --> open(this)) in a class fails at its return#509
Copy link
Labels
bugSomething isn't workingSomething isn't working

Description

@CatarinaGamboa
CatarinaGamboa
opened on Nov 9, 2026
Issue body actions

Problem. A boolean query in an ordinary class, a method whose return refinement relates its result to the state of this, fails when its body is checked:

import liquidjava.specification.*;

@StateSet({"unlocked", "locked"})
public class QueryShorthand {
    @StateRefinement(to = "locked(this)")
    public QueryShorthand() {}

    @Refinement("_ == true --> unlocked(this)")
    public boolean isUnlocked() {
        return true;
    }
}
Argument Mismatch Error: Argument '#ret_1' and its respective parameter of ghost 'QueryShorthand.state1' types are incompatible: expected QueryShorthand, got boolean

The same refinement works on an external spec (_ == true --> hasMore(this) on Scanner.hasNext()), whose methods have no body. When the return is checked, the state's argument seems to become the returned value instead of this.

Found while writing tests for #502.

Activity

  1. CatarinaGamboa
    added
    bugSomething isn't workingSomething isn't working
    on Nov 9, 2026
  2. CatarinaGamboa
    added a commit that references this issue on Nov 9, 2026

    Accept a state written as a value of its set: phase(this) == open (#510)

    7236063
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Metadata

Metadata

Assignees

No one assigned

    Labels

    bugSomething isn't workingSomething isn't working

    Type

    No type

    Projects

    No projects

      Milestone

      No milestone

      Relationships

      None yet

      Development

      No branches or pull requests

      Issue actions
      You are visitor 01402503 — GeezerVison does not store the pages you look up.
      Best viewed with Netscape Navigator 4.7 or Internet Explorer 6 at 800×600. No cookies required.