Examples with INTEGER org.mozilla.jss.asn1.INTEGER used on opensource projects

Example 21 with INTEGER

use of org.mozilla.jss.asn1.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 INTEGER

use of org.mozilla.jss.asn1.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 INTEGER

use of org.mozilla.jss.asn1.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 INTEGER

use of org.mozilla.jss.asn1.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 INTEGER

use of org.mozilla.jss.asn1.INTEGER in project jaxdb by jaxdb.

the class OracleCompiler method triggers.

@Override
List<CreateStatement> triggers(final $Table table) {
    final List<CreateStatement> statements = new ArrayList<>();
    if (table.getColumn() != null) {
        for (final $Column column : table.getColumn()) {
            if (column instanceof $Integer) {
                final $Integer type = ($Integer) column;
                if (Generator.isAuto(type)) {
                    final String sequenceName = getSequenceName(table, type);
                    final String columnName = q(column.getName$().text());
                    statements.add(0, new CreateStatement("CREATE TRIGGER " + q(getTriggerName(table, type)) + " BEFORE INSERT ON " + q(table.getName$().text()) + " FOR EACH ROW WHEN (new." + columnName + " IS NULL) BEGIN SELECT " + q(sequenceName) + ".NEXTVAL INTO " + ":new." + columnName + " FROM dual; END;"));
                }
            }
        }
    }
    statements.addAll(super.triggers(table));
    return statements;
}