Examples with org.jaxdb.www.ddlx_0_5.xLygluGCXAA.$Integer org.jaxdb.www.ddlx_0_5.xLygluGCXAA.$Integer used on opensource projects

Example 21 with org.jaxdb.www.ddlx_0_5.xLygluGCXAA.$Integer

use of org.jaxdb.www.ddlx_0_5.xLygluGCXAA.$Integer in project packages-jpl by SWI-Prolog.

the class Test_QueryBuilder method testTerm1.

// /////////////////////////////////////////////////////////////////////////////
// SUPPORTING CODE
// /////////////////////////////////////////////////////////////////////////////
// /////////////////////////////////////////////////////////////////////////////
// TESTS
// /////////////////////////////////////////////////////////////////////////////
@Test
public void testTerm1() {
    Term args = Term.textToTerm("[1,2,3,4,5]");
    Term t = new Compound("member", new Term[] { new Integer(1), args });
    Query q = new Query(t);
    assertTrue("Query should have succeded, but it did not!", q.hasSolution());
}

Example 22 with org.jaxdb.www.ddlx_0_5.xLygluGCXAA.$Integer

use of org.jaxdb.www.ddlx_0_5.xLygluGCXAA.$Integer in project packages-jpl by SWI-Prolog.

the class Test_Dict method test_dict4.

@Test
public void test_dict4() {
    Map<Atom, Term> map = new HashMap<Atom, Term>();
    map.put(new Atom("x"), new org.jpl7.Integer(12));
    map.put(new Atom("y"), new org.jpl7.Integer(23));
    map.put(new Atom("z"), new Integer(312));
    Dict dict = new Dict(new Variable("W"), map);
    assertEquals("W{x:12, z:312, y:23}", dict.toString());
    assertEquals(Prolog.DICT, dict.type());
}

Example 23 with org.jaxdb.www.ddlx_0_5.xLygluGCXAA.$Integer

use of org.jaxdb.www.ddlx_0_5.xLygluGCXAA.$Integer in project jaxdb by jaxdb.

the class Compiler method createConstraints.

private CreateStatement createConstraints(final Map<String, ColumnRef> columnNameToColumn, final $Table table) throws GeneratorExecutionException {
    final StringBuilder constraintsBuilder = new StringBuilder();
    if (table.getConstraints() != null) {
        final $Constraints constraints = table.getConstraints();
        // UNIQUE constraint
        final List<$Columns> uniques = constraints.getUnique();
        if (uniques != null) {
            final StringBuilder uniqueString = new StringBuilder();
            final StringBuilder uniqueBuilder = new StringBuilder();
            for (final $Columns unique : uniques) {
                final List<$Named> columns = unique.getColumn();
                final int[] columnIndexes = new int[columns.size()];
                for (int i = 0, len = columns.size(); i < len; ++i) {
                    if (i > 0)
                        uniqueBuilder.append(", ");
                    final String columnName = columns.get(i).getName$().text();
                    uniqueBuilder.append(q(columnName));
                    columnIndexes[i] = columnNameToColumn.get(columnName).index;
                }
                uniqueString.append(",\n  CONSTRAINT ").append(q(getConstraintName("uq", table, null, columnIndexes))).append(" UNIQUE (").append(uniqueBuilder).append(')');
                uniqueBuilder.setLength(0);
            }
            constraintsBuilder.append(uniqueString);
        }
        // CHECK constraint
        final List<$CheckReference> checks = constraints.getCheck();
        if (checks != null) {
            final StringBuilder checkBuilder = new StringBuilder();
            for (final $CheckReference check : checks) {
                final String checkRule = recurseCheckRule(check);
                final String checkClause = checkRule.startsWith("(") ? checkRule : "(" + checkRule + ")";
                checkBuilder.append(",\n  CONSTRAINT ").append(q(getConstraintName("ck", new StringBuilder(hash(table.getName$().text() + checkClause))))).append(" CHECK ").append(checkClause);
            }
            constraintsBuilder.append(checkBuilder);
        }
        // PRIMARY KEY constraint
        final String primaryKeyConstraint = blockPrimaryKey(table, constraints, columnNameToColumn);
        if (primaryKeyConstraint != null)
            constraintsBuilder.append(primaryKeyConstraint);
        // FOREIGN KEY constraints
        final List<$ForeignKeyComposite> foreignKeyComposites = constraints.getForeignKey();
        if (foreignKeyComposites != null) {
            for (final $ForeignKeyComposite foreignKeyComposite : foreignKeyComposites) {
                final List<$ForeignKeyComposite.Column> columns = foreignKeyComposite.getColumn();
                final int[] columnIndexes = new int[columns.size()];
                final String[] foreignKeyColumns = new String[columns.size()];
                final String[] foreignKeyReferences = new String[columns.size()];
                for (int i = 0, len = columns.size(); i < len; ++i) {
                    final $ForeignKeyComposite.Column column = columns.get(i);
                    final String columnName = column.getName$().text();
                    foreignKeyColumns[i] = q(columnName);
                    foreignKeyReferences[i] = q(column.getReferences$().text());
                    columnIndexes[i] = columnNameToColumn.get(columnName).index;
                }
                constraintsBuilder.append(",\n  ").append(foreignKey(table, foreignKeyComposite.getReferences$(), columnIndexes)).append(" (").append(ArrayUtil.toString(foreignKeyColumns, ", "));
                constraintsBuilder.append(") REFERENCES ").append(q(foreignKeyComposite.getReferences$().text()));
                constraintsBuilder.append(" (").append(ArrayUtil.toString(foreignKeyReferences, ", ")).append(')');
                appendOnDeleteOnUpdate(constraintsBuilder, foreignKeyComposite);
            }
        }
    }
    if (table.getColumn() != null) {
        final List<$Column> columns = table.getColumn();
        for (int c = 0, len = columns.size(); c < len; ++c) {
            final $Column column = columns.get(c);
            final $ForeignKeyUnary foreignKey = column.getForeignKey();
            if (foreignKey != null) {
                constraintsBuilder.append(",\n  ").append(foreignKey(table, foreignKey.getReferences$(), c)).append(" (").append(q(column.getName$().text()));
                constraintsBuilder.append(") REFERENCES ").append(q(foreignKey.getReferences$().text()));
                constraintsBuilder.append(" (").append(q(foreignKey.getColumn$().text())).append(')');
                appendOnDeleteOnUpdate(constraintsBuilder, foreignKey);
            }
        }
        // Parse the min & max constraints of numeric types
        for (int c = 0, len = columns.size(); c < len; ++c) {
            final $Column column = columns.get(c);
            String minCheck = null;
            String maxCheck = null;
            if (column instanceof $Integer) {
                if (column instanceof $Tinyint) {
                    final $Tinyint type = ($Tinyint) column;
                    minCheck = type.getMin$() != null ? String.valueOf(type.getMin$().text()) : null;
                    maxCheck = type.getMax$() != null ? String.valueOf(type.getMax$().text()) : null;
                } else if (column instanceof $Smallint) {
                    final $Smallint type = ($Smallint) column;
                    minCheck = type.getMin$() != null ? String.valueOf(type.getMin$().text()) : null;
                    maxCheck = type.getMax$() != null ? String.valueOf(type.getMax$().text()) : null;
                } else if (column instanceof $Int) {
                    final $Int type = ($Int) column;
                    minCheck = type.getMin$() != null ? String.valueOf(type.getMin$().text()) : null;
                    maxCheck = type.getMax$() != null ? String.valueOf(type.getMax$().text()) : null;
                } else if (column instanceof $Bigint) {
                    final $Bigint type = ($Bigint) column;
                    minCheck = type.getMin$() != null ? String.valueOf(type.getMin$().text()) : null;
                    maxCheck = type.getMax$() != null ? String.valueOf(type.getMax$().text()) : null;
                } else {
                    throw new UnsupportedOperationException("Unsupported type: " + column.getClass().getName());
                }
            } else if (column instanceof $Float) {
                final $Float type = ($Float) column;
                minCheck = type.getMin$() != null ? String.valueOf(type.getMin$().text()) : null;
                maxCheck = type.getMax$() != null ? String.valueOf(type.getMax$().text()) : null;
            } else if (column instanceof $Double) {
                final $Double type = ($Double) column;
                minCheck = type.getMin$() != null ? String.valueOf(type.getMin$().text()) : null;
                maxCheck = type.getMax$() != null ? String.valueOf(type.getMax$().text()) : null;
            } else if (column instanceof $Decimal) {
                final $Decimal type = ($Decimal) column;
                minCheck = type.getMin$() != null ? String.valueOf(type.getMin$().text()) : null;
                maxCheck = type.getMax$() != null ? String.valueOf(type.getMax$().text()) : null;
            }
            final String minCheckExp = minCheck == null ? null : q(column.getName$().text()) + " >= " + minCheck;
            final String maxCheckExp = maxCheck == null ? null : q(column.getName$().text()) + " <= " + maxCheck;
            if (minCheck != null) {
                if (maxCheck != null)
                    constraintsBuilder.append(",\n  ").append(check(table, c, Operator.GTE, minCheck, Operator.LTE, maxCheck)).append(" (").append(minCheckExp).append(" AND ").append(maxCheckExp).append(')');
                else
                    constraintsBuilder.append(",\n  ").append(check(table, c, Operator.GTE, minCheck, null, null)).append(" (").append(minCheckExp).append(')');
            } else if (maxCheck != null) {
                constraintsBuilder.append(",\n  ").append(check(table, c, Operator.LTE, maxCheck, null, null)).append(" (").append(maxCheckExp).append(')');
            }
        }
        // parse the <check/> element per type
        for (int c = 0, len = columns.size(); c < len; ++c) {
            final $Column column = columns.get(c);
            Operator operator = null;
            String condition = null;
            if (column instanceof $Char) {
                final $Char type = ($Char) column;
                if (type.getCheck() != null) {
                    operator = Operator.valueOf(type.getCheck().getOperator$().text());
                    condition = "'" + type.getCheck().getValue$().text() + "'";
                }
            } else if (column instanceof $Tinyint) {
                final $Tinyint type = ($Tinyint) column;
                if (type.getCheck() != null) {
                    operator = Operator.valueOf(type.getCheck().getOperator$().text());
                    condition = String.valueOf(type.getCheck().getValue$().text());
                }
            } else if (column instanceof $Smallint) {
                final $Smallint type = ($Smallint) column;
                if (type.getCheck() != null) {
                    operator = Operator.valueOf(type.getCheck().getOperator$().text());
                    condition = String.valueOf(type.getCheck().getValue$().text());
                }
            } else if (column instanceof $Int) {
                final $Int type = ($Int) column;
                if (type.getCheck() != null) {
                    operator = Operator.valueOf(type.getCheck().getOperator$().text());
                    condition = String.valueOf(type.getCheck().getValue$().text());
                }
            } else if (column instanceof $Bigint) {
                final $Bigint type = ($Bigint) column;
                if (type.getCheck() != null) {
                    operator = Operator.valueOf(type.getCheck().getOperator$().text());
                    condition = String.valueOf(type.getCheck().getValue$().text());
                }
            } else if (column instanceof $Float) {
                final $Float type = ($Float) column;
                if (type.getCheck() != null) {
                    operator = Operator.valueOf(type.getCheck().getOperator$().text());
                    condition = String.valueOf(type.getCheck().getValue$().text());
                }
            } else if (column instanceof $Double) {
                final $Double type = ($Double) column;
                if (type.getCheck() != null) {
                    operator = Operator.valueOf(type.getCheck().getOperator$().text());
                    condition = String.valueOf(type.getCheck().getValue$().text());
                }
            } else if (column instanceof $Decimal) {
                final $Decimal type = ($Decimal) column;
                if (type.getCheck() != null) {
                    operator = Operator.valueOf(type.getCheck().getOperator$().text());
                    condition = String.valueOf(type.getCheck().getValue$().text());
                }
            }
            if (operator != null) {
                if (condition != null)
                    constraintsBuilder.append(",\n  ").append(check(table, c, operator, condition, null, null)).append(" (").append(q(column.getName$().text())).append(' ').append(operator.symbol).append(' ').append(condition).append(')');
                else
                    throw new UnsupportedOperationException("Unsupported 'null' condition encountered on column '" + column.getName$().text());
            } else if (condition != null) {
                throw new UnsupportedOperationException("Unsupported 'null' operator encountered on column '" + column.getName$().text());
            }
        }
    }
    return constraintsBuilder.length() == 0 ? null : new CreateStatement(constraintsBuilder.toString());
}

Example 24 with org.jaxdb.www.ddlx_0_5.xLygluGCXAA.$Integer

use of org.jaxdb.www.ddlx_0_5.xLygluGCXAA.$Integer in project jaxdb by jaxdb.

the class Compiler method $default.

String $default(final $Column column) {
    if (column instanceof $Char) {
        final $Char type = ($Char) column;
        if (type.getDefault$() == null)
            return null;
        if (type.getDefault$().text().length() > type.getLength$().text())
            throw new IllegalArgumentException(type.name().getPrefix() + ":" + type.name().getLocalPart() + " column '" + column.getName$().text() + "' DEFAULT '" + type.getDefault$().text() + "' is longer than declared LENGTH(" + type.getLength$().text() + ")");
        return "'" + type.getDefault$().text() + "'";
    }
    if (column instanceof $Binary) {
        final $Binary type = ($Binary) column;
        if (type.getDefault$() == null)
            return null;
        if (type.getDefault$().text().getBytes().length > type.getLength$().text())
            throw new IllegalArgumentException(type.name().getPrefix() + ":" + type.name().getLocalPart() + " column '" + column.getName$().text() + "' DEFAULT '" + type.getDefault$().text() + "' is longer than declared LENGTH " + type.getLength$().text());
        return compileBinary(type.getDefault$().text().toString());
    }
    if (column instanceof $Integer) {
        final Number _default;
        final Byte precision;
        final Number min;
        final Number max;
        if (column instanceof $Tinyint) {
            final $Tinyint type = ($Tinyint) column;
            _default = type.getDefault$() == null ? null : type.getDefault$().text();
            precision = type.getPrecision$() == null ? null : type.getPrecision$().text();
            min = type.getMin$() == null ? null : type.getMin$().text();
            max = type.getMax$() == null ? null : type.getMax$().text();
        } else if (column instanceof $Smallint) {
            final $Smallint type = ($Smallint) column;
            _default = type.getDefault$() == null ? null : type.getDefault$().text();
            precision = type.getPrecision$() == null ? null : type.getPrecision$().text();
            min = type.getMin$() == null ? null : type.getMin$().text();
            max = type.getMax$() == null ? null : type.getMax$().text();
        } else if (column instanceof $Int) {
            final $Int type = ($Int) column;
            _default = type.getDefault$() == null ? null : type.getDefault$().text();
            precision = type.getPrecision$() == null ? null : type.getPrecision$().text();
            min = type.getMin$() == null ? null : type.getMin$().text();
            max = type.getMax$() == null ? null : type.getMax$().text();
        } else if (column instanceof $Bigint) {
            final $Bigint type = ($Bigint) column;
            _default = type.getDefault$() == null ? null : type.getDefault$().text();
            precision = type.getPrecision$() == null ? null : type.getPrecision$().text();
            min = type.getMin$() == null ? null : type.getMin$().text();
            max = type.getMax$() == null ? null : type.getMax$().text();
        } else {
            throw new UnsupportedOperationException("Unsupported type: " + column.getClass().getName());
        }
        if (_default == null)
            return null;
        checkNumericDefault(column, precision == null ? null : Integer.valueOf(precision), _default, min, max);
        return String.valueOf(_default);
    }
    if (column instanceof $Float) {
        final $Float type = ($Float) column;
        if (type.getDefault$() == null)
            return null;
        checkNumericDefault(type, null, type.getDefault$().text(), type.getMin$() == null ? null : type.getMin$().text(), type.getMax$() == null ? null : type.getMax$().text());
        return type.getDefault$().text().toString();
    }
    if (column instanceof $Double) {
        final $Double type = ($Double) column;
        if (type.getDefault$() == null)
            return null;
        checkNumericDefault(type, null, type.getDefault$().text(), type.getMin$() == null ? null : type.getMin$().text(), type.getMax$() == null ? null : type.getMax$().text());
        return type.getDefault$().text().toString();
    }
    if (column instanceof $Decimal) {
        final $Decimal type = ($Decimal) column;
        if (type.getDefault$() == null)
            return null;
        checkNumericDefault(type, type.getPrecision$() == null ? null : type.getPrecision$().text(), type.getDefault$().text(), type.getMin$() == null ? null : type.getMin$().text(), type.getMax$() == null ? null : type.getMax$().text());
        return type.getDefault$().text().toString();
    }
    if (column instanceof $Date) {
        final $Date type = ($Date) column;
        return type.getDefault$() == null ? null : compileDate(type.getDefault$().text());
    }
    if (column instanceof $Time) {
        final $Time type = ($Time) column;
        return type.getDefault$() == null ? null : compileTime(type.getDefault$().text());
    }
    if (column instanceof $Datetime) {
        final $Datetime type = ($Datetime) column;
        return type.getDefault$() == null ? null : compileDateTime(type.getDefault$().text());
    }
    if (column instanceof $Boolean) {
        final $Boolean type = ($Boolean) column;
        return type.getDefault$() == null ? null : type.getDefault$().text().toString();
    }
    if (column instanceof $Enum) {
        final $Enum type = ($Enum) column;
        return type.getDefault$() == null ? null : "'" + type.getDefault$().text() + "'";
    }
    if (column instanceof $Clob || column instanceof $Blob)
        return null;
    throw new UnsupportedOperationException("Unknown type: " + column.getClass().getName());
}

Example 25 with org.jaxdb.www.ddlx_0_5.xLygluGCXAA.$Integer

use of org.jaxdb.www.ddlx_0_5.xLygluGCXAA.$Integer in project jaxdb by jaxdb.

the class DerbyDecompiler method makeColumn.

@Override
$Column makeColumn(final String columnName, final String typeName, final long size, final int decimalDigits, final String _default, final Boolean nullable, final Boolean autoIncrement) {
    final $Column column;
    if ("BIGINT".equals(typeName)) {
        final $Bigint type = newColumn($Bigint.class);
        // type.setPrecision$(new $Bigint.Precision$((byte)size));
        if (_default != null && !"GENERATED_BY_DEFAULT".equals(_default))
            type.setDefault$(new $Bigint.Default$(Long.valueOf(getDefault(_default))));
        if (autoIncrement != null && autoIncrement)
            type.setGenerateOnInsert$(new $Bigint.GenerateOnInsert$($Integer.GenerateOnInsert$.AUTO_5FINCREMENT));
        column = type;
    } else if ("CHAR () FOR BIT DATA".equals(typeName) || "VARCHAR () FOR BIT DATA".equals(typeName)) {
        final $Binary type = newColumn($Binary.class);
        if (typeName.startsWith("VARCHAR"))
            type.setVarying$(new $Binary.Varying$(true));
        type.setLength$(new $Binary.Length$(size));
        column = type;
    } else if ("BLOB".equals(typeName)) {
        final $Blob type = newColumn($Blob.class);
        type.setLength$(new $Blob.Length$(size));
        column = type;
    } else if ("BOOLEAN".equals(typeName)) {
        final $Boolean type = newColumn($Boolean.class);
        if (_default != null)
            type.setDefault$(new $Boolean.Default$(Boolean.valueOf(_default)));
        column = type;
    } else if ("VARCHAR".equals(typeName) || "CHAR".equals(typeName)) {
        final $Char type = newColumn($Char.class);
        if ("VARCHAR".equals(typeName))
            type.setVarying$(new $Char.Varying$(true));
        type.setLength$(new $Char.Length$(size));
        if (_default != null)
            type.setDefault$(new $Char.Default$(_default.substring(1, _default.length() - 1)));
        column = type;
    } else if ("CLOB".equals(typeName)) {
        final $Clob type = newColumn($Clob.class);
        type.setLength$(new $Clob.Length$(size));
        column = type;
    } else if ("DATE".equals(typeName)) {
        final $Date type = newColumn($Date.class);
        if (_default != null)
            type.setDefault$(new $Date.Default$(_default.substring(1, _default.length() - 1)));
        column = type;
    } else if ("TIMESTAMP".equals(typeName)) {
        final $Datetime type = newColumn($Datetime.class);
        // type.setPrecision$(new $Datetime.Precision$((byte)size));
        if (_default != null)
            type.setDefault$(new $Datetime.Default$(_default.substring(1, _default.length() - 1)));
        column = type;
    } else if ("DECIMAL".equals(typeName)) {
        final int precision = (int) size;
        final $Decimal type = newColumn($Decimal.class);
        type.setPrecision$(new $Decimal.Precision$(precision));
        type.setScale$(new $Decimal.Scale$(decimalDigits));
        if (_default != null)
            type.setDefault$(new $Decimal.Default$(new BigDecimal(_default)));
        column = type;
    } else if ("DOUBLE".equals(typeName)) {
        final $Double type = newColumn($Double.class);
        if (_default != null)
            type.setDefault$(new $Double.Default$(Double.valueOf(_default)));
        column = type;
    } else // }
    if ("FLOAT".equals(typeName)) {
        final $Float type = newColumn($Float.class);
        if (_default != null)
            type.setDefault$(new $Float.Default$(Float.valueOf(_default)));
        column = type;
    } else if ("INTEGER".equals(typeName)) {
        final $Int type = newColumn($Int.class);
        type.setPrecision$(new $Int.Precision$((byte) size));
        if (_default != null && !"GENERATED_BY_DEFAULT".equals(_default))
            type.setDefault$(new $Int.Default$(Integer.valueOf(getDefault(_default))));
        if (autoIncrement != null && autoIncrement)
            type.setGenerateOnInsert$(new $Int.GenerateOnInsert$($Integer.GenerateOnInsert$.AUTO_5FINCREMENT));
        column = type;
    } else if ("SMALLINT".equals(typeName)) {
        final $Smallint type = newColumn($Smallint.class);
        type.setPrecision$(new $Smallint.Precision$((byte) size));
        if (_default != null && !"GENERATED_BY_DEFAULT".equals(_default))
            type.setDefault$(new $Smallint.Default$(Short.valueOf(getDefault(_default))));
        if (autoIncrement != null && autoIncrement)
            type.setGenerateOnInsert$(new $Smallint.GenerateOnInsert$($Integer.GenerateOnInsert$.AUTO_5FINCREMENT));
        column = type;
    } else if ("TIME".equals(typeName)) {
        final $Time type = newColumn($Time.class);
        type.setPrecision$(new $Time.Precision$((byte) size));
        if (_default != null)
            type.setDefault$(new $Time.Default$(_default.substring(1, _default.length() - 1)));
        column = type;
    } else // else if ("TINYINT".equals(typeName)) {
    // final $Tinyint type = newColumn($Tinyint.class);
    // type.setPrecision$(new $Tinyint.Precision$((byte)size));
    // if (_default != null && !"GENERATED_BY_DEFAULT".equals(_default))
    // type.setDefault$(new $Tinyint.setDefault$(new BigInteger(getDefault(_default))));
    // 
    // if (autoIncrement != null && autoIncrement)
    // type.GenerateOnInsert$(new $Integer.GenerateOnInsert$($Integer.GenerateOnInsert$.AUTO_5FINCREMENT));
    // 
    // column = type;
    // }
    {
        throw new UnsupportedOperationException("Unsupported column type: " + typeName);
    }
    column.setName$(new $Column.Name$(columnName));
    if (nullable != null && !nullable)
        column.setNull$(new $Column.Null$(false));
    return column;
}