From fdd1b6b64718de1de35bfc110dd2ee8d19b9bf29 Mon Sep 17 00:00:00 2001
From: Lukas Eder <lukas.eder@gmail.com>
Date: Mon, 11 May 2020 14:16:38 +0200
Subject: [PATCH] [jOOQ/jOOQ#10178] Add Field.is[Not]DistinctFrom(Select)

---
 jOOQ/src/main/java/org/jooq/Field.java        | 58 +++++++++++++++++++
 .../java/org/jooq/impl/AbstractField.java     | 10 ++++
 .../main/java/org/jooq/impl/FieldProxy.java   | 10 ++++
 3 files changed, 78 insertions(+)

diff --git a/jOOQ/src/main/java/org/jooq/Field.java b/jOOQ/src/main/java/org/jooq/Field.java
index 4beffcfd4b..930d656362 100644
--- a/jOOQ/src/main/java/org/jooq/Field.java
+++ b/jOOQ/src/main/java/org/jooq/Field.java
@@ -1170,6 +1170,35 @@ extends
     @Support
     Condition isDistinctFrom(Field<T> field);
 
+    /**
+     * Create a condition to check if this field is <code>DISTINCT</code> from
+     * another field.
+     * <p>
+     * In {@link SQLDialect#MYSQL} and {@link SQLDialect#MARIADB}, this can be
+     * emulated through <code><pre>not([this] &lt;=&gt; [value])</pre></code>
+     * <p>
+     * In {@link SQLDialect#SQLITE}, this can be emulated through
+     * <code><pre>[this] IS NOT [value]</pre></code>
+     * <p>
+     * In databases that support <code>INTERSECT</code> (see
+     * {@link Select#intersect(Select)}, this predicate can be emulated as
+     * follows: <code><pre>
+     * NOT EXISTS (SELECT [this] INTERSECT SELECT [value])
+     * </pre></code>
+     * <p>
+     * If this is not supported by the underlying database, jOOQ will render
+     * this instead: <code><pre>
+     * CASE WHEN [this] IS     NULL AND [field] IS     NULL THEN FALSE
+     *      WHEN [this] IS     NULL AND [field] IS NOT NULL THEN TRUE
+     *      WHEN [this] IS NOT NULL AND [field] IS     NULL THEN TRUE
+     *      WHEN [this] =               [field]             THEN FALSE
+     *      ELSE                                                 TRUE
+     * END
+     * </pre></code> SQL: <code>this is distinct from field</code>
+     */
+    @Support
+    Condition isDistinctFrom(Select<? extends Record1<T>> select);
+
     /**
      * Create a condition to check if this field is <code>NOT DISTINCT</code>
      * from another value.
@@ -1228,6 +1257,35 @@ extends
     @Support
     Condition isNotDistinctFrom(Field<T> field);
 
+    /**
+     * Create a condition to check if this field is <code>NOT DISTINCT</code>
+     * from another field.
+     * <p>
+     * In {@link SQLDialect#MYSQL} and {@link SQLDialect#MARIADB}, this can be
+     * emulated through <code><pre>[this] &lt;=&gt; [value]</pre></code>
+     * <p>
+     * In {@link SQLDialect#SQLITE}, this can be emulated through
+     * <code><pre>[this] IS [value]</pre></code>
+     * <p>
+     * In databases that support <code>INTERSECT</code> (see
+     * {@link Select#intersect(Select)}, this predicate can be emulated as
+     * follows: <code><pre>
+     * EXISTS (SELECT [this] INTERSECT SELECT [value])
+     * </pre></code>
+     * <p>
+     * If this is not supported by the underlying database, jOOQ will render
+     * this instead: <code><pre>
+     * CASE WHEN [this] IS     NULL AND [field] IS     NULL THEN TRUE
+     *      WHEN [this] IS     NULL AND [field] IS NOT NULL THEN FALSE
+     *      WHEN [this] IS NOT NULL AND [field] IS     NULL THEN FALSE
+     *      WHEN [this] =               [value]             THEN TRUE
+     *      ELSE                                                 FALSE
+     * END
+     * </pre></code> SQL: <code>this is not distinct from field</code>
+     */
+    @Support
+    Condition isNotDistinctFrom(Select<? extends Record1<T>> select);
+
     // ------------------------------------------------------------------------
     // LIKE_REGEX predicates
     // ------------------------------------------------------------------------
diff --git a/jOOQ/src/main/java/org/jooq/impl/AbstractField.java b/jOOQ/src/main/java/org/jooq/impl/AbstractField.java
index e0005bc376..91069b1b36 100644
--- a/jOOQ/src/main/java/org/jooq/impl/AbstractField.java
+++ b/jOOQ/src/main/java/org/jooq/impl/AbstractField.java
@@ -670,6 +670,11 @@ abstract class AbstractField<T> extends AbstractTypedNamed<T> implements Field<T
         return compare(IS_DISTINCT_FROM, field);
     }
 
+    @Override
+    public final Condition isDistinctFrom(Select<? extends Record1<T>> select) {
+        return isDistinctFrom(DSL.field(select));
+    }
+
     @Override
     public final Condition isNotDistinctFrom(T value) {
         return isNotDistinctFrom(Tools.field(value, this));
@@ -680,6 +685,11 @@ abstract class AbstractField<T> extends AbstractTypedNamed<T> implements Field<T
         return compare(IS_NOT_DISTINCT_FROM, field);
     }
 
+    @Override
+    public final Condition isNotDistinctFrom(Select<? extends Record1<T>> select) {
+        return isNotDistinctFrom(DSL.field(select));
+    }
+
     @SuppressWarnings({ "unchecked" })
     @Override
     public final Condition isTrue() {
diff --git a/jOOQ/src/main/java/org/jooq/impl/FieldProxy.java b/jOOQ/src/main/java/org/jooq/impl/FieldProxy.java
index 980a4c7f7d..dbf0f558d5 100644
--- a/jOOQ/src/main/java/org/jooq/impl/FieldProxy.java
+++ b/jOOQ/src/main/java/org/jooq/impl/FieldProxy.java
@@ -609,6 +609,11 @@ final class FieldProxy<T> implements TableField<Record, T>, QueryPartInternal {
         return delegate.isDistinctFrom(field);
     }
 
+    @Override
+    public final Condition isDistinctFrom(Select<? extends Record1<T>> select) {
+        return delegate.isDistinctFrom(select);
+    }
+
     @Override
     public final Condition isNotDistinctFrom(T value) {
         return delegate.isNotDistinctFrom(value);
@@ -619,6 +624,11 @@ final class FieldProxy<T> implements TableField<Record, T>, QueryPartInternal {
         return delegate.isNotDistinctFrom(field);
     }
 
+    @Override
+    public final Condition isNotDistinctFrom(Select<? extends Record1<T>> select) {
+        return delegate.isNotDistinctFrom(select);
+    }
+
     @Override
     public final Condition isTrue() {
         return delegate.isTrue();