HHH-18979 prototype for Restrictions

Make Range a user-visible abstraction (so that it
can be the parameter type of a repository method)

Author: gavinking

hibernate-core/src/main/java/org/hibernate/query/AttributeRange.java

@@ -0,0 +1,29 @@
+/*
+ * SPDX-License-Identifier: LGPL-2.1-or-later
+ * Copyright Red Hat Inc. and Hibernate Authors
+ */
+package org.hibernate.query;
+
+import jakarta.persistence.criteria.CriteriaBuilder;
+import jakarta.persistence.criteria.Predicate;
+import jakarta.persistence.criteria.Root;
+import jakarta.persistence.metamodel.SingularAttribute;
+import org.hibernate.query.range.Range;
+
+/**
+ * Restricts an attribute of an entity to a given {@link Range}.
+ *
+ * @param <X> The entity type
+ * @param <U> The attribute type
+ */
+record AttributeRange<X, U>(SingularAttribute<X, U> attribute, Range<U> range) implements Restriction<X> {
+	@Override
+	public Restriction<X> negated() {
+		return new Negation<>( this );
+	}
+
+	@Override
+	public Predicate toPredicate(Root<? extends X> root, CriteriaBuilder builder) {
+		return range.toPredicate( root, attribute, builder );
+	}
+}

hibernate-core/src/main/java/org/hibernate/query/Conjunction.java

@@ -0,0 +1,30 @@
+/*
+ * SPDX-License-Identifier: LGPL-2.1-or-later
+ * Copyright Red Hat Inc. and Hibernate Authors
+ */
+package org.hibernate.query;
+
+import jakarta.persistence.criteria.CriteriaBuilder;
+import jakarta.persistence.criteria.Predicate;
+import jakarta.persistence.criteria.Root;
+
+/**
+ * A compound restriction constructed using logical AND.
+ *
+ * @param restrictions The restrictions to be AND-ed
+ * @param <X> The entity type
+ */
+record Conjunction<X>(java.util.List<? extends Restriction<? super X>> restrictions)
+		implements Restriction<X> {
+	@Override
+	public Restriction<X> negated() {
+		return new Disjunction<>( restrictions.stream().map( Restriction::negated ).toList() );
+	}
+
+	@Override
+	public Predicate toPredicate(Root<? extends X> root, CriteriaBuilder builder) {
+		return builder.and( restrictions.stream()
+				.map( restriction -> restriction.toPredicate( root, builder ) )
+				.toList() );
+	}
+}

hibernate-core/src/main/java/org/hibernate/query/Disjunction.java

@@ -0,0 +1,30 @@
+/*
+ * SPDX-License-Identifier: LGPL-2.1-or-later
+ * Copyright Red Hat Inc. and Hibernate Authors
+ */
+package org.hibernate.query;
+
+import jakarta.persistence.criteria.CriteriaBuilder;
+import jakarta.persistence.criteria.Predicate;
+import jakarta.persistence.criteria.Root;
+
+/**
+ * A compound restriction constructed using logical OR.
+ *
+ * @param restrictions The restrictions to be OR-ed
+ * @param <X> The entity type
+ */
+record Disjunction<X>(java.util.List<? extends Restriction<? super X>> restrictions)
+		implements Restriction<X> {
+	@Override
+	public Restriction<X> negated() {
+		return new Conjunction<>( restrictions.stream().map( Restriction::negated ).toList() );
+	}
+
+	@Override
+	public Predicate toPredicate(Root<? extends X> root, CriteriaBuilder builder) {
+		return builder.or( restrictions.stream()
+				.map( restriction -> restriction.toPredicate( root, builder ) )
+				.toList() );
+	}
+}

hibernate-core/src/main/java/org/hibernate/query/Domain.java

@@ -0,0 +1,27 @@
+/*
+ * SPDX-License-Identifier: LGPL-2.1-or-later
+ * Copyright Red Hat Inc. and Hibernate Authors
+ */
+package org.hibernate.query;
+
+import jakarta.persistence.criteria.CriteriaBuilder;
+import jakarta.persistence.criteria.Predicate;
+import jakarta.persistence.criteria.Root;
+
+/**
+ * Negates a restriction; a logical NOT.
+ *
+ * @param restriction The restriction to be negated
+ * @param <X> The entity type
+ */
+record Negation<X>(Restriction<X> restriction) implements Restriction<X> {
+	@Override
+	public Restriction<X> negated() {
+		return restriction;
+	}
+
+	@Override
+	public Predicate toPredicate(Root<? extends X> root, CriteriaBuilder builder) {
+		return builder.not( restriction.toPredicate( root, builder ) );
+	}
+}