Record Class AlwaysTrueResultSet

java.lang.Object
java.lang.Record
tools.refinery.store.query.resultset.AlwaysTrueResultSet
Record Components:
adapter - The ModelQueryAdapter for this ResultSet.
query - The query that this ResultSet should always return true for. Must be a query of arity 0.
All Implemented Interfaces:
AnyResultSet, ResultSet<Boolean>

public record AlwaysTrueResultSet(ModelQueryAdapter adapter, RelationalQuery query) extends Record implements ResultSet<Boolean>
A ResultSet that always returns true for the empty tuple.
  • Constructor Details

    • AlwaysTrueResultSet

      public AlwaysTrueResultSet(ModelQueryAdapter adapter, RelationalQuery query)
      Creates an instance of a AlwaysTrueResultSet record class.
      Parameters:
      adapter - the value for the adapter record component
      query - the value for the query record component
  • Method Details