org.jooq.impl.DivideBy Maven / Gradle / Ivy
/*
* Licensed under the Apache License, Version 2.0 (the "License");
* you may not use this file except in compliance with the License.
* You may obtain a copy of the License at
*
* https://www.apache.org/licenses/LICENSE-2.0
*
* Unless required by applicable law or agreed to in writing, software
* distributed under the License is distributed on an "AS IS" BASIS,
* WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
* See the License for the specific language governing permissions and
* limitations under the License.
*
* Other licenses:
* -----------------------------------------------------------------------------
* Commercial licenses for this work are available. These replace the above
* Apache-2.0 license and offer limited warranties, support, maintenance, and
* commercial database integrations.
*
* For more information, please visit: https://www.jooq.org/legal/licensing
*
*
*
*
*
*
*
*
*
*
*
*
*
*
*
*
*/
package org.jooq.impl;
import static org.jooq.impl.DSL.condition;
import static org.jooq.impl.DSL.exists;
import static org.jooq.impl.DSL.notExists;
import static org.jooq.impl.DSL.selectDistinct;
import static org.jooq.impl.DSL.selectOne;
import java.util.ArrayList;
import java.util.Arrays;
import java.util.Collection;
import java.util.List;
import org.jooq.Condition;
import org.jooq.DivideByOnConditionStep;
import org.jooq.DivideByOnStep;
import org.jooq.Field;
import org.jooq.Operator;
import org.jooq.QueryPart;
import org.jooq.Record;
import org.jooq.SQL;
import org.jooq.Select;
import org.jooq.Table;
/**
* @author Lukas Eder
*/
final class DivideBy
implements
DivideByOnStep,
DivideByOnConditionStep {
private final Table> dividend;
private final Table> divisor;
private final ConditionProviderImpl condition;
private final QueryPartList> returning;
DivideBy(Table> dividend, Table> divisor) {
this.dividend = dividend;
this.divisor = divisor;
this.condition = new ConditionProviderImpl();
this.returning = new QueryPartList<>();
}
// ------------------------------------------------------------------------
// XXX: Table API
// ------------------------------------------------------------------------
/**
* Transform the relational division operation into SQL.
*
* Various nice examples of how this can be achieved are found here: http://www.simple-talk.com/sql/t-sql-programming/divided-we-stand-the-
* sql-of-relational-division/
*/
private final Table table() {
ConditionProviderImpl selfJoin = new ConditionProviderImpl();
List> select = new ArrayList<>(returning.size());
Table> outer = dividend.as("dividend");
for (Field> field : returning) {
Field> outerField = outer.field(field);
// Fields from the RETURNING clause are added AS-IS to the SELECT
// statement, if they're not contained in the dividend table
if (outerField == null) {
select.add(field);
}
// Fields from the RETURNING clause need proper aliasing if they're
// contained in the dividend table
else {
select.add(outerField);
selfJoin(selfJoin, outer, dividend, field);
}
}
// Apply relational division using double-nested NOT EXISTS clauses
// There are more efficient ways to express division in SQL, but those
// are hard to emulate with jOOQ
return selectDistinct(select)
.from(outer)
.whereNotExists(
selectOne()
.from(divisor)
.whereNotExists(
selectOne()
.from(dividend)
.where(selfJoin)
.and(condition)))
.asTable();
}
/**
* Extracted method for type-safety
*/
private final void selfJoin(org.jooq.ConditionProvider selfJoin, Table> outer, Table> inner, Field field) {
Field outerField = outer.field(field);
Field innerField = inner.field(field);
if (outerField != null && innerField != null)
selfJoin.addConditions(outerField.equal(innerField));
}
// ------------------------------------------------------------------------
// XXX: DivideBy API
// ------------------------------------------------------------------------
@Override
public final DivideByOnConditionStep on(Condition conditions) {
condition.addConditions(conditions);
return this;
}
@Override
public final DivideByOnConditionStep on(Condition... conditions) {
condition.addConditions(conditions);
return this;
}
@Override
public final DivideByOnConditionStep on(Field c) {
return on(condition(c));
}
@Override
public final DivideByOnConditionStep on(SQL sql) {
and(sql);
return this;
}
@Override
public final DivideByOnConditionStep on(String sql) {
and(sql);
return this;
}
@Override
public final DivideByOnConditionStep on(String sql, Object... bindings) {
and(sql, bindings);
return this;
}
@Override
public final DivideByOnConditionStep on(String sql, QueryPart... parts) {
and(sql, parts);
return this;
}
@Override
public final Table returning(Field>... fields) {
return returning(Arrays.asList(fields));
}
@Override
public final Table returning(Collection extends Field>> fields) {
returning.addAll(fields);
return table();
}
@Override
public final DivideByOnConditionStep and(Condition c) {
condition.addConditions(c);
return this;
}
@Override
public final DivideByOnConditionStep and(Field c) {
return and(condition(c));
}
@Override
public final DivideByOnConditionStep and(SQL sql) {
return and(condition(sql));
}
@Override
public final DivideByOnConditionStep and(String sql) {
return and(condition(sql));
}
@Override
public final DivideByOnConditionStep and(String sql, Object... bindings) {
return and(condition(sql, bindings));
}
@Override
public final DivideByOnConditionStep and(String sql, QueryPart... parts) {
return and(condition(sql, parts));
}
@Override
public final DivideByOnConditionStep andNot(Condition c) {
return and(c.not());
}
@Override
public final DivideByOnConditionStep andNot(Field c) {
return andNot(condition(c));
}
@Override
public final DivideByOnConditionStep andExists(Select> select) {
return and(exists(select));
}
@Override
public final DivideByOnConditionStep andNotExists(Select> select) {
return and(notExists(select));
}
@Override
public final DivideByOnConditionStep or(Condition c) {
condition.addConditions(Operator.OR, c);
return this;
}
@Override
public final DivideByOnConditionStep or(Field c) {
return or(condition(c));
}
@Override
public final DivideByOnConditionStep or(SQL sql) {
return or(condition(sql));
}
@Override
public final DivideByOnConditionStep or(String sql) {
return or(condition(sql));
}
@Override
public final DivideByOnConditionStep or(String sql, Object... bindings) {
return or(condition(sql, bindings));
}
@Override
public final DivideByOnConditionStep or(String sql, QueryPart... parts) {
return or(condition(sql, parts));
}
@Override
public final DivideByOnConditionStep orNot(Condition c) {
return or(c.not());
}
@Override
public final DivideByOnConditionStep orNot(Field c) {
return orNot(condition(c));
}
@Override
public final DivideByOnConditionStep orExists(Select> select) {
return or(exists(select));
}
@Override
public final DivideByOnConditionStep orNotExists(Select> select) {
return or(notExists(select));
}
}