Skip to content

postgresql.md

Latest commit

 

History

History
1227 lines (1085 loc) · 74.7 KB

postgresql.md

File metadata and controls

1227 lines (1085 loc) · 74.7 KB
Raw

PostgreSQL Support

sqlcj compiles PostgreSQL schema snapshots and queries into Java that runs on JDBC. This document states the database contract of configuration version "1" and lists the SQL types and CREATE TABLE constructs that a schema source may use.

Engine Contract

Configuration version "1" means PostgreSQL schema and query input and blocking JDBC execution. There is no engine option and no dialect option in sqlcj.yaml; the full file format is documented in Configuration, and the accepted query shapes in Queries.

The application owns the database connection: sqlcj's runtime dev.sqlcj.runtime.JdbcQueryExecutor executes each generated query as a JDBC PreparedStatement. sqlcj does not ship a JDBC driver, so the application also supplies the PostgreSQL driver.

Connection Ownership and Transactions

JdbcQueryExecutor has two construction paths. Both share the same positional parameter binding, row mapping, cardinality enforcement, affected-row counting, and exception translation, and both accept the same generated repositories without regeneration:

Construction Connection ownership
new JdbcQueryExecutor(javax.sql.DataSource) The executor obtains one connection per operation and closes it before the operation returns, so each operation runs on that connection's own transaction state, typically one auto-committed statement.
new JdbcQueryExecutor(java.sql.Connection) The executor runs every operation on the supplied connection and never closes, commits, or rolls it back, never changes its auto-commit setting, and never otherwise configures it.

The caller-owned connection path is how several generated operations take part in one application-controlled transaction: the application disables auto-commit, constructs another repository instance over an executor bound to that connection, runs generated reads and writes through it, and then calls commit or rollback itself. sqlcj provides no transaction callback or template API, no savepoints, and no isolation configuration. The Quickstart runs that pattern end to end.

In both paths the PreparedStatement and any ResultSet opened for an operation are closed before that operation returns, on success, on a cardinality failure, and on any other failure.

Every generated method passes the generated repository's class name and its query name to the executor, so every runtime failure names the query the application called.

Every SQLException raised while acquiring a connection, preparing a statement, binding parameters, executing, reading results, or closing a DataSource-acquired connection is translated into dev.sqlcj.runtime.QueryExecutionException with the message Failed to execute query '<query>' in <repository> and the SQLException as its cause:

Failed to execute query 'GetAuthor' in AuthorRepository

A row count an annotation does not allow raises dev.sqlcj.runtime.QueryCardinalityException, a subclass of QueryExecutionException that carries only a message:

Query 'GetAuthor' in AuthorRepository returned no row; expected exactly one
Query 'GetAuthor' in AuthorRepository returned more than one row; expected exactly one
Query 'FindAuthor' in AuthorRepository returned more than one row; expected at most one

A cardinality check runs after the statement has executed, so a returning write that fails it has already changed the database.

A failed operation on a caller-owned connection leaves the connection open, so the application decides whether to continue or roll back.

The runtime is blocking and synchronous. An executor built on a caller-owned connection inherits that connection's confinement to a single thread at a time.

Behavior is verified against PostgreSQL 16. The pipeline is executed end to end against a postgres:16-alpine container: the schema snapshot is run as PostgreSQL DDL, the generated Java is compiled, and the generated repository is executed through the JDBC runtime. Those tests are skipped when Docker is unavailable.

H2 is used only inside sqlcj's own tests as a convenience database and is not a supported target. The PostgreSQL driver, the container library, and H2 are all test-scoped dependencies of the build.

Schema Snapshot Input

sql[].schema is an explicit snapshot of the tables a query may use. It is one file, a list of files, or a directory of .sql migration files; see sql[].schema for the accepted forms and the order the files are read in.

  • One rule decides every statement: only the CREATE TABLE, DROP TABLE, and ALTER TABLE forms listed in Ordered Table DDL and the CREATE TYPE ... AS ENUM and ALTER TYPE ... ADD VALUE, RENAME TO, and RENAME VALUE forms listed in Enum Types update the schema model, and every other statement a schema file records is accepted and leaves it unchanged. Only the few statements listed in Ignored Statements are rejected instead, because sqlcj cannot tell what they would do to the model.
  • The statements of the schema files of one entry are applied in order to one schema model, so each of them sees the tables and columns the statements and files before it left.
  • A file may contain several statements, and a table keeps the position of the statement that created it.
  • SQL identifier delimiters are removed for the parsed model, so the table "user data" is modeled as user data and the column "user id" is modeled as user id.
  • sqlcj models one namespace, so an unqualified and a public-qualified name are the same name: users, public.users, and "public"."users" are one table, and mood, public.mood, and "public"."mood" are one type. A schema qualifier is compared without its SQL identifier delimiters and case-insensitively, as every other name is.
  • A table or a type qualified with any other schema is invisible: sqlcj never models it, every statement whose own table or type stands there is ignored before anything it names is resolved, and a query that names such a table is rejected as an unknown table. search_path is not followed, so an unqualified name always belongs to the one namespace sqlcj models, whatever a SET search_path statement in the snapshot says.

A pg_dump --schema-only file is such a snapshot and loads unchanged: it is configured as one schema file, and nothing in it has to be edited, removed, or reordered first. This is the schema input of a service that does not keep its schema as SQL migrations, for example one with a Liquibase changelog or a JPA-generated schema.

A dump states much more than the tables it creates, and sqlcj ignores all of it rather than rejecting it:

  • the \restrict and \unrestrict meta-command lines recent releases write, each with a fresh key, and every other psql meta-command line,
  • the SET preamble and the SELECT pg_catalog.set_config(...) call, including SET search_path,
  • the identity form it writes for every identity column, ALTER TABLE ... ALTER COLUMN ... ADD GENERATED ... AS IDENTITY (SEQUENCE NAME ...), which sqlcj's parser cannot read but which cannot change a column either, and its sequences and SET DEFAULT nextval(...) statements,
  • its constraint and index statements, its OWNER TO statements, and its grants, policies, comments, extensions, domains, composite types, functions, triggers, views, and materialized views, and
  • the tables, types, and statements of every schema other than public.

A dump writes a partition as a plain CREATE TABLE followed by ALTER TABLE ONLY ... ATTACH PARTITION, so the partition is modeled with its own columns and then linked to its partitioned table, and it qualifies every table, type, and column type with public., which is the one namespace sqlcj models. A dump of a database built by a migration history that changes the schema only through statements sqlcj reads therefore generates the same Java as that history. A schema change the history makes indirectly, such as DDL inside a DO block or a function body, or a column dropped by DROP TYPE ... CASCADE, stands in the database and in its dump but not in the history sqlcj reads; see Ignored Statements.

Supported Column Types

Type spellings are matched case-insensitively, after parenthesized type arguments are removed and remaining whitespace is collapsed to single spaces. A declared length, precision, or scale is therefore accepted and ignored: VARCHAR(255), DECIMAL(10, 2), and timestamp(3) with time zone are all accepted and map exactly like their unparameterized spellings.

Accepted SQL spellings Java type Notes
INTEGER, INT, INT4, SERIAL, SERIAL4 Integer A serial column is always modeled non-null.
BIGINT, INT8, BIGSERIAL, SERIAL8 Long A serial column is always modeled non-null.
SMALLINT, INT2, SMALLSERIAL, SERIAL2 Short A serial column is always modeled non-null.
BOOLEAN, BOOL Boolean
VARCHAR, CHARACTER VARYING String
CHAR, CHARACTER String PostgreSQL blank-pads a stored value to the declared length, so ab written into a CHAR(3) column reads back as ab .
TEXT String
DATE java.time.LocalDate
TIME, TIME WITHOUT TIME ZONE java.time.LocalTime
TIMESTAMP, TIMESTAMP WITHOUT TIME ZONE java.time.LocalDateTime
TIMESTAMP WITH TIME ZONE, TIMESTAMPTZ java.time.OffsetDateTime PostgreSQL normalizes the stored value to the session time zone, so a value read back equals the written value by instant rather than by offset.
DECIMAL, NUMERIC java.math.BigDecimal
REAL, FLOAT4 Float
DOUBLE PRECISION, FLOAT8 Double
UUID java.util.UUID
BYTEA byte[] A record compares an array component by reference, so two row records holding equal bytes are not equals.
JSON String The JSON text itself. PostgreSQL stores it as written, so it reads back exactly as written. sqlcj never parses, validates, or normalizes it.
JSONB String The JSON text itself. PostgreSQL stores a decomposed value, so the text reads back as PostgreSQL renders it rather than as written, and = compares by value. sqlcj never parses, validates, or normalizes it.
The name of an enum type the schema declares The generated Java enum of that type Matched without SQL identifier delimiters and case-insensitively, as PostgreSQL resolves an unquoted type name. A public-qualified name resolves as its unqualified name, so public.mood and "public"."mood" are the type mood, and a name qualified with any other schema never resolves. See Enum Types.
A one-dimensional array of any spelling above except BYTEA, JSON, and JSONB, written type[] or type[n] java.util.List<T> of the element's Java type The declared size is ignored, as PostgreSQL ignores it. See Array Types.

Any spelling that is not listed above has no Java mapping. Such a column is recorded with its declared type instead of failing the schema, and fails only a query that uses it; see Unsupported Types and DDL.

The generated repository imports java.time.LocalDate, java.time.LocalTime, java.time.LocalDateTime, java.time.OffsetDateTime, java.math.BigDecimal, and java.util.UUID as needed; the remaining types need no import, and java.util.List is already imported by every repository. A row record imports java.util.List when one of its components is an array. A generated enum belongs to the generated package, so it is used by its simple name and needs no import either. Each result column is read at its one-based position in the selected-column list, with resultSet.getObject(position, JavaType.class), or with resultSet.getString(position) for a JSON or JSONB column, which the driver reports as a type of its own rather than as a character type. An enum column reads its label the same way and resolves it with <EnumType>.fromLabel(...), and an array column is read with dev.sqlcj.runtime.SqlArray.getList(...).

A JSON or JSONB argument is passed to the executor as new dev.sqlcj.runtime.UntypedText(value), written out in full so that the generated imports are unchanged, and JdbcQueryExecutor binds that text with java.sql.Types.OTHER. PostgreSQL then types the text from the context of its placeholder, which is what a json or jsonb column or comparison needs: text bound as varchar is rejected there. An enum argument is passed the same way, around the label of its constant, because a label bound as varchar is rejected where an enum is expected. An array argument is wrapped in dev.sqlcj.runtime.SqlArray the same way; see Array Types.

Enum Types

CREATE TYPE <name> AS ENUM (...) adds an enum type to the schema, and a column whose declared type names it is modeled as a column of that type. Every query that reads or binds such a column uses the one Java enum the package generates for the type:

CREATE TYPE stage_setting AS ENUM ('indoor', 'outdoor');

ALTER TYPE stage_setting ADD VALUE 'covered' BEFORE 'outdoor';
// Code generated by sqlcj. DO NOT EDIT.

package com.example.app.db;

/**
 * Generated by sqlcj.
 *
 * Enum: stage_setting
 */

public enum StageSetting {

    INDOOR("indoor"),
    COVERED("covered"),
    OUTDOOR("outdoor");

    private final String label;

    StageSetting(String label) {
        this.label = label;
    }

    public String label() {
        return label;
    }

    public static StageSetting fromLabel(String label) {
        if (label == null) {
            return null;
        }

        for (StageSetting value : values()) {
            if (value.label.equals(label)) {
                return value;
            }
        }

        throw new IllegalArgumentException("Unknown label for enum type stage_setting: " + label);
    }
}
  • The constants keep their exact PostgreSQL labels and follow them in PostgreSQL's own sort order, which is the declared order with each added label in the position its ALTER TYPE ... ADD VALUE places it.
  • A constant is named by the naming rules in Generated Java Names.
  • fromLabel reads back a label: null for a SQL NULL, and a failure for a label the generated enum does not hold, which means the database declares one the schema source does not.
  • Only an enum type a query actually uses generates a file, including an enum type only an array element names.
  • A one-dimensional array of an enum type, such as stage_setting[], is a List of that generated enum; see Array Types.

These statements update the enum types the statements and files before them left:

Statement Handling
CREATE TYPE ... AS ENUM (...) Adds the type with its declared labels.
ALTER TYPE ... ADD VALUE '<label>' Appends the label after the last one.
ALTER TYPE ... ADD VALUE '<label>' BEFORE '<neighbour>' Inserts the label directly before the neighbour.
ALTER TYPE ... ADD VALUE '<label>' AFTER '<neighbour>' Inserts the label directly after the neighbour.
ALTER TYPE ... ADD VALUE IF NOT EXISTS '<label>' Does nothing when the type already has the label. As PostgreSQL does, the existing label decides before the neighbour, so a neighbour the type does not have is not resolved at all.
ALTER TYPE ... RENAME TO <name> Renames the type in its position, keeping its labels, and every column of that type, scalar and array alike, follows it.
ALTER TYPE ... RENAME VALUE '<label>' TO '<new label>' Renames the label in its position, so the modeled labels keep PostgreSQL's sort order.
A CREATE TYPE ... AS ENUM (...) or an ALTER TYPE ... RENAME TO whose name a modeled enum already has Replaces that enum in its position with the newly declared or renamed one, because the DROP TYPE ... CASCADE that freed the name is never seen. This is how the migration that replaces an enum loads, in either of its usual shapes: renaming the old type away before declaring the new one under its name, or declaring the new type beside it and renaming the new type onto its name once the columns are retyped. A column that still names a replaced enum keeps that name, so it is modeled as a column of the replacing enum with its labels, which is the same unseen DROP TYPE ... CASCADE case: PostgreSQL would have removed the column.
ALTER TYPE ... OWNER TO, RENAME ATTRIBUTE, ADD ATTRIBUTE, DROP ATTRIBUTE, and ALTER ATTRIBUTE Ignored. Ownership cannot change a modeled enum and the attribute actions belong to a composite type, so the stated type is not resolved at all.
ALTER TYPE ... SET SCHEMA <schema> Rejected for a modeled enum as Unsupported ALTER TYPE action: SET SCHEMA <schema> at line <n>, because the columns of that type would keep it in a namespace sqlcj does not model.
ALTER TYPE ... SET SCHEMA public Does nothing for a modeled enum: the type already stands in the one namespace sqlcj models.
ALTER TYPE ... RENAME TO or SET SCHEMA of a type sqlcj does not model Ignored, however the type is qualified, because such a type is none of its enum types.
A CREATE TYPE or an ALTER TYPE whose own type is qualified with a schema other than public Ignored before anything it states is resolved, so it never touches the modeled enum of the same unqualified name and neither a repeated label nor a missing label or neighbour fails.
CREATE TYPE of a composite, range, or shell type Ignored. A column of such a type is recorded with its declared type, as Unsupported Types and DDL describes.
DROP TYPE Ignored. sqlcj's parser cannot read the statement, and an unreadable statement that does not open as table or type DDL is ignored, so an enum the schema models stays modeled with its labels and the columns of that type stay modeled; see Ignored Statements.

An ALTER TYPE written in a form sqlcj's parser cannot read, such as a qualified RENAME TO target, several actions joined by commas, or SET (...), is rejected as unreadable type DDL, unless its own type is qualified with a schema other than public, which is ignored; see Ignored Statements.

Type names are matched case-insensitively, after their SQL identifier delimiters are removed, and labels are matched exactly. Because sqlcj models one namespace, a type name resolves by its unqualified name, so CREATE TYPE public.stage_setting and CREATE TYPE "public"."stage_setting" declare the type stage_setting and replace a modeled stage_setting rather than adding a second enum, and ADD VALUE, RENAME VALUE, and RENAME TO written through public.stage_setting act on that one type and name it unqualified in their diagnostics. A statement that repeats a label, or that refers to a type or a label that is not modeled, is rejected as PostgreSQL rejects it:

sqlcj: Invalid schema source /home/dev/project/sql/migrations/V2__stages.sql: Type not found in schema: stage_setting
sqlcj: Invalid schema source /home/dev/project/sql/migrations/V2__stages.sql: Label already exists in type stage_setting: indoor
sqlcj: Invalid schema source /home/dev/project/sql/migrations/V2__stages.sql: Label not found in type stage_setting: covered

A placeholder index repeated across two enum types, or across an enum and any other type, has no single Java type and is rejected by query analysis, which names each enum by its PostgreSQL type:

sqlcj: Invalid query 'UpdateStage' in /home/dev/project/sql/queries.sql at line 5: Placeholder $1 has conflicting types: stage_setting from 'setting' and String from 'handle'

Two entries of one package that use one enum type must define its labels alike, and a generated enum must not collide with another generated type of the package; both are documented in Generated Java Names.

Array Types

A column declared as a one-dimensional array, written type[] or type[n], is modeled as an array of its element type and generates java.util.List<T> of that element's Java type, for method parameters and result components alike:

CREATE TABLE stages (
    id       BIGINT PRIMARY KEY,
    tags     varchar(20)[],
    past     stage_setting[]
);

generates List<String> tags and List<StageSetting> past.

  • The element type is any spelling in Supported Column Types except BYTEA, JSON, and JSONB, or the name of an enum type the schema declares.
  • The declared size of a dimension is ignored, as PostgreSQL ignores it, so numeric(10, 2)[3] is the same type as numeric(10, 2)[].
  • An array column is typed the same way through CREATE TABLE, ALTER TABLE ... ADD COLUMN, and ALTER TABLE ... ALTER COLUMN ... TYPE, and a rename or a nullability change keeps it.
  • An array is a type of its own: a placeholder index used once as an array and once as a value of its element type is rejected, like any other conflicting index.
  • A LIKE/ILIKE pattern placeholder still requires a scalar VARCHAR or TEXT column, so an array column is rejected there.
  • The = ANY list predicate is the one analyzed array operator: a placeholder written as <column> = ANY($1) binds a list of the compared column's type, which must be a non-array column of an element type above or of a declared enum type. See Queries for the shape and its rejections. No other array operator or function, such as &&, is analyzed.

An array argument is passed to the executor as new dev.sqlcj.runtime.SqlArray("<element type>", <parameter>), written out in full so that the generated imports are unchanged, where <element type> is PostgreSQL's own name of the element type: int4, int8, int2, bool, varchar, bpchar, text, date, time, timestamp, timestamptz, numeric, float4, float8, uuid, or the declared name of an enum type. A CHAR or CHARACTER element is named bpchar, PostgreSQL's own name of the blank-padded character type, because PostgreSQL compares a bpchar array only with another one; VARCHAR and CHARACTER VARYING elements are named varchar. Both read their elements back as String, blank padded to the declared length for CHAR, as a scalar of that type is read. An array of an enum carries the labels of its constants instead, as dev.sqlcj.runtime.SqlArray.of("<enum type>", <parameter>, <EnumType>::label).

JdbcQueryExecutor builds the value with Connection.createArrayOf on the connection the operation runs on and binds it with PreparedStatement.setArray. An array column is read with dev.sqlcj.runtime.SqlArray.getList(resultSet, position, <Type>.class), which reads each element as a scalar of that type is read; an array of an enum is read as dev.sqlcj.runtime.SqlArray.getList(resultSet, position, String.class, <EnumType>::fromLabel). Both go through the JDBC java.sql.Array API alone, so neither the runtime nor the generated code depends on a driver.

Nulls are carried in both directions:

  • a null list argument is bound with PreparedStatement.setNull(position, java.sql.Types.ARRAY), so the column receives a SQL NULL rather than an empty array,
  • a null element is bound as a NULL element of the array,
  • a SQL NULL column reads back as a null list, an empty array as an empty list, and a NULL element as a null element.

A declared multidimensional array, such as integer[][], and an array of BYTEA, JSON, JSONB, or an unmapped element type have no Java mapping and are recorded with their declared type; see Unsupported Types and DDL.

Supported CREATE TABLE Constructs

Construct Handling
NOT NULL Accepted and modeled. It is the only source of column nullability.
Column-level PRIMARY KEY Accepted and recorded as a primary-key constraint on that column.
Table-level PRIMARY KEY (...), named or unnamed Accepted and recorded as a primary-key constraint.
Column-level UNIQUE Accepted and recorded as a unique constraint on that column.
Table-level UNIQUE (...), named or unnamed Accepted and recorded as a unique constraint.
DEFAULT with a literal or a function, such as DEFAULT 1, DEFAULT 'new', DEFAULT now() Accepted and ignored.
Column-level REFERENCES t (c), including referential actions such as ON DELETE CASCADE Accepted and ignored.
Column-level CHECK (...) Accepted and ignored.
Table-level FOREIGN KEY (...) REFERENCES ..., named or unnamed Accepted and ignored.
Table-level CHECK (...), named or unnamed Accepted and ignored.
Table-level EXCLUDE USING ... (...), named or unnamed Accepted and ignored.
LIKE t, with any INCLUDING and EXCLUDING options Accepted. Copies the columns, types, and nullability of the modeled table t at the position the clause stands in.
PARTITION OF t, with FOR VALUES FROM ... TO ..., FOR VALUES IN (...), FOR VALUES WITH (MODULUS ...), or DEFAULT Accepted. Copies the columns, types, and nullability of the modeled table t and keeps following its column changes; see Ordered Table DDL.
An empty element list, () Accepted and modeled as a table without columns.
AS SELECT ... Rejected as Unsupported CREATE TABLE clause: AS SELECT at line <n>.
OF <type> Rejected as Unsupported CREATE TABLE clause: OF <type> at line <n>.
INHERITS (p) Rejected as Unsupported CREATE TABLE clause: INHERITS at line <n>.
A table statement sqlcj's parser cannot read, such as ALTER FOREIGN TABLE Rejected; see Ignored Statements.
Any other table-constraint kind Rejected.
Unparsable SQL Rejected.

Constraints never affect generated Java. A recorded primary-key or unique constraint is kept in the parsed schema model, but no code in the compilation pipeline reads it, so it changes no generated type, method, parameter, or result component. "Ignored" means the construct is accepted as valid schema input and is not carried into the model at all.

A CREATE TABLE element list may state column definitions, table constraints, and LIKE clauses in any order, and the table's columns are modeled in that written order, as PostgreSQL creates them, each LIKE contributing its source's columns at its own position. A partition starts with its parent's columns, before every element of its own list. A column name that is repeated, by two column definitions, by a LIKE and a column definition, or by two LIKE clauses, fails as Column already exists in table <t>: <c>.

A LIKE's INCLUDING and EXCLUDING options cannot change a copied column's type or nullability and are ignored, and neither LIKE nor PARTITION OF copies its source's recorded constraints: a copy records only the constraints its own statement states. A LIKE copy is independent of its source afterwards, as in PostgreSQL. A LIKE or PARTITION OF source sqlcj does not model fails as Table not found in schema: <t>.

Because sqlcj models one namespace, a LIKE or PARTITION OF source and an ATTACH or DETACH PARTITION partition resolve by their unqualified name, so public.t is t. Such a name qualified with any other schema names a table sqlcj leaves unmodeled rather than a modeled t: a LIKE or PARTITION OF source fails as Table not found in schema: <schema>.<t>, because the created table's columns would otherwise be unknown, and an ATTACH or DETACH PARTITION partition is ignored, like any other partition sqlcj does not model.

A CREATE TABLE with neither an element list, (), nor PARTITION OF, such as CREATE TABLE c LIKE t without the parentheses PostgreSQL requires, states no columns at all and is rejected as Unsupported schema statement: CREATE TABLE at line <n>. A form sqlcj's parser cannot read, such as the column options PARTITION OF and OF <type> allow (id WITH OPTIONS NOT NULL) or AS SELECT ... WITH NO DATA, is rejected as unreadable table DDL with the parser's reason; see Ignored Statements.

Ordered Table DDL

A schema of CREATE TABLE statements alone is modeled exactly as it was before ordered DDL existed. Beyond it, these statements update the schema the statements and files before them left; the enum-type statements are listed in Enum Types:

Statement Handling
CREATE TABLE Adds the table after the tables already modeled.
CREATE TABLE IF NOT EXISTS Does nothing when the table already exists.
DROP TABLE, with one or several names Removes each named table and, recursively, every partition of it, as PostgreSQL does. A name qualified with a schema other than public names a table sqlcj leaves unmodeled and is skipped without failing, because the statement may name a modeled table beside it.
DROP TABLE IF EXISTS Does nothing for a name that is not modeled.
ALTER TABLE ... ADD COLUMN Appends the column, typed exactly as a CREATE TABLE column of the same declaration, and records its column-level PRIMARY KEY or UNIQUE.
ALTER TABLE ... ADD COLUMN IF NOT EXISTS Does nothing when the column already exists.
ALTER TABLE ... DROP COLUMN Removes the column and every recorded constraint that lists it.
ALTER TABLE ... DROP COLUMN IF EXISTS Does nothing when the column is not modeled.
ALTER TABLE ... RENAME COLUMN Renames the column in its position and in the constraints that list it.
ALTER TABLE ... RENAME TO Renames the table in its position, keeping its columns and constraints, and keeps every partition of it linked to the new name.
ALTER TABLE ... ATTACH PARTITION Links a modeled table to the altered one, so it follows its column changes from then on. A partition sqlcj does not model is ignored.
ALTER TABLE ... DETACH PARTITION Ends the link of a modeled partition. A partition sqlcj does not model is ignored.
ALTER TABLE ... ALTER COLUMN ... TYPE Maps or records the new type as a CREATE TABLE column of that type is mapped or recorded, keeping the column's position and its nullability, which a type change does not state.
ALTER TABLE ... ALTER COLUMN ... SET NOT NULL Models the column non-null.
ALTER TABLE ... ALTER COLUMN ... DROP NOT NULL Models the column nullable.
ALTER TABLE IF EXISTS ... Does nothing when the table is not modeled. It covers only the table, so a missing column of a modeled table still fails.
ALTER TABLE ... SET SCHEMA <schema>, as the statement's sole action, which is the only form PostgreSQL accepts Removes the table, keeping the order of the remaining ones, because it moves out of the one namespace sqlcj models. SET SCHEMA public does nothing: the table already stands there. A table with modeled partitions is rejected as Unsupported ALTER TABLE action: SET SCHEMA <schema> at line <n>, because its partitions would stay in the modeled namespace following a parent sqlcj no longer models.
A CREATE TABLE or an ALTER TABLE whose own table is qualified with a schema other than public Ignored before anything it names is resolved, so neither its rejected clauses, its rejected actions, nor its LIKE and PARTITION OF sources are resolved and a modeled table of the same unqualified name is left alone.
Any other ALTER TABLE action outside the ignored actions listed in Ignored Statements Rejected as Unsupported ALTER TABLE action: <action> at line <n>, quoting the action's own SQL.
DROP of any object other than a table, such as DROP VIEW or DROP INDEX Ignored; see Ignored Statements.

One ALTER TABLE may state several actions; they are applied in the written order. Table and column names are matched case-insensitively, as query analysis looks them up, after their SQL identifier delimiters are removed.

PostgreSQL applies every column change of a partitioned table to its partitions, so a partition created by PARTITION OF, or attached by ATTACH PARTITION when sqlcj models its table, stays linked to its parent: ADD COLUMN, DROP COLUMN, RENAME COLUMN, ALTER COLUMN ... TYPE, SET NOT NULL, and DROP NOT NULL on the parent are applied to its partitions as well, recursively, so a nested partition follows too. A partition keeps its own name when its parent is renamed, DROP TABLE of the parent removes it, and DETACH PARTITION ends the link, after which the parent's later column changes no longer reach it. A LIKE copy is never linked to its source.

Outside the IF [NOT] EXISTS forms above, a statement that refers to a table or a column that is not modeled is rejected, and so is a statement that would give two tables, or two columns of one table, the same name, as PostgreSQL rejects it:

sqlcj: Invalid schema source /home/dev/project/sql/migrations/V2__orders.sql: Table not found in schema: payments
sqlcj: Invalid schema source /home/dev/project/sql/migrations/V2__orders.sql: Column not found in table orders: total
sqlcj: Invalid schema source /home/dev/project/sql/migrations/V2__orders.sql: Table already exists in schema: orders
sqlcj: Invalid schema source /home/dev/project/sql/migrations/V2__orders.sql: Column already exists in table orders: total

Ignored Statements

A schema file records the whole history of a database, not only its tables, so one rule decides every statement it states: a statement sqlcj models is applied, and every other statement is accepted and leaves the schema model exactly as the statements and files before it left it. There is no list of accepted kinds to keep up to date.

The modeled statements are the CREATE TABLE, DROP TABLE, and ALTER TABLE forms of Ordered Table DDL and the CREATE TYPE ... AS ENUM and ALTER TYPE forms of Enum Types. Everything else a migration history holds is ignored, including

  • CREATE INDEX, CREATE UNIQUE INDEX, ALTER INDEX, and DROP INDEX,
  • COMMENT ON of any target, including TABLE, COLUMN, VIEW, TYPE, INDEX, FUNCTION, SCHEMA, EXTENSION, and CONSTRAINT,
  • CREATE EXTENSION, CREATE SEQUENCE, ALTER SEQUENCE, and DROP SEQUENCE,
  • GRANT, REVOKE, and ALTER DEFAULT PRIVILEGES,
  • CREATE FUNCTION, CREATE PROCEDURE, DROP FUNCTION, CREATE TRIGGER, and DROP TRIGGER, with a body written any way: the untagged $$ ... $$, a tagged $body$ ... $body$, a single-quoted AS 'SELECT 1', or RETURN 1,
  • DO blocks, with an untagged or a tagged body and with or without a stated LANGUAGE,
  • INSERT, UPDATE, DELETE, and TRUNCATE, a migration's data statements,
  • CREATE VIEW, DROP VIEW, and the CREATE, REFRESH, and DROP forms of MATERIALIZED VIEW,
  • CREATE SCHEMA and DROP SCHEMA,
  • SET, including SET search_path TO a, b, RESET, ANALYZE, VACUUM, LOCK TABLE, BEGIN, COMMIT, COPY, and a plain SELECT, such as the SELECT pg_catalog.set_config(...) a pg_dump snapshot opens with,
  • CREATE POLICY, DROP POLICY, CREATE ROLE, CREATE USER, and ALTER ROLE,
  • CREATE DOMAIN, ALTER DOMAIN, and DROP DOMAIN,
  • CREATE RULE and CREATE EVENT TRIGGER,
  • a CREATE TYPE of a composite, range, or shell type, and DROP TYPE,
  • a CREATE TABLE, ALTER TABLE, CREATE TYPE, or ALTER TYPE whose own table or type is qualified with a schema other than public, readable or not, and
  • a statement sqlcj's parser cannot read, or reports only as opaque text, and that does not open as table or type DDL, such as ALTER FUNCTION, ALTER SCHEMA, CREATE AGGREGATE, or CREATE CAST.

An ignored statement is not resolved against the schema at all, so it may name a table or a column the snapshot does not model: a view over an unmodeled table and a TRUNCATE of one are both accepted.

These statements are rejected rather than ignored, because sqlcj cannot tell what they would do to the schema model:

Statement Diagnostic
An ALTER TABLE action outside Ordered Table DDL and the ignored actions below Unsupported ALTER TABLE action: <action> at line <n>, quoting the action's own SQL
A CREATE TABLE ... AS SELECT, OF <type>, or INHERITS, whose columns sqlcj cannot determine Unsupported CREATE TABLE clause: <clause> at line <n>, naming AS SELECT, OF <type>, or INHERITS
An ALTER TYPE ... SET SCHEMA <other schema> of a modeled enum type Unsupported ALTER TYPE action: SET SCHEMA <schema> at line <n>
A statement sqlcj's parser cannot read that opens as table or type DDL, outside the ALTER TABLE actions below and the names of another schema below The parser's own reason with the line and column of the unexpected token, as in Encountered unexpected token: "DATA" at line 18, column 41
A statement sqlcj's parser reports only as opaque text, or as several statements, and that opens as table or type DDL Unsupported schema statement: ALTER FOREIGN TABLE at line <n>, quoting the opening words

A statement opens as table DDL when its first words are CREATE, ALTER, or DROP, then any of GLOBAL, LOCAL, TEMP, TEMPORARY, UNLOGGED, or FOREIGN, then TABLE, and as type DDL when they are CREATE or ALTER, then TYPE. The words are matched case-insensitively and the diagnostic quotes them in upper case, single-spaced, so both ALTER FOREIGN TABLE ft ADD COLUMN x integer and its lower-case spelling are rejected as Unsupported schema statement: ALTER FOREIGN TABLE at line <n>.

An unreadable statement that opens as CREATE or ALTER TABLE or as CREATE or ALTER TYPE is ignored instead when the object it names stands in a schema sqlcj does not model, decided from its words alone: the qualifier before the dot of the name that follows the opening words, an optional IF [NOT] EXISTS, and an optional ONLY. An unreadable ALTER TABLE reporting.users ALTER COLUMN x SET DATA TYPE int is therefore ignored, while the same statement about users or public.users stays rejected with the parser's reason. An unreadable DROP TABLE keeps its handling, because another of its names may be modeled.

Every ALTER TABLE action that cannot change a column's existence, name, type, or nullability is ignored like any other unmodeled statement, except that the statement still resolves its table:

Action Notes
ADD [CONSTRAINT name] PRIMARY KEY (...) Named or unnamed.
ADD [CONSTRAINT name] UNIQUE (...) Named or unnamed.
ADD [CONSTRAINT name] FOREIGN KEY (...) REFERENCES ... Named or unnamed.
ADD CONSTRAINT name CHECK (...)
DROP CONSTRAINT [IF EXISTS] name
RENAME CONSTRAINT
ALTER [COLUMN] c SET DEFAULT ... and DROP DEFAULT A DEFAULT is accepted and ignored in a CREATE TABLE as well.
ALTER [COLUMN] c SET STATISTICS, SET STORAGE, and SET COMPRESSION Column storage, not the column's type.
ALTER [COLUMN] c DROP EXPRESSION Only the readable spelling; DROP EXPRESSION IF EXISTS is unreadable.
ALTER [COLUMN] c ADD GENERATED ... AS IDENTITY, SET GENERATED ..., a sequence option such as SET INCREMENT BY 2, RESTART, and DROP IDENTITY [IF EXISTS] PostgreSQL requires the column to be NOT NULL already, so an identity never changes nullability.
ENABLE, DISABLE, FORCE, and NO FORCE ROW LEVEL SECURITY
ATTACH PARTITION and DETACH PARTITION of a table sqlcj does not model A modeled partition is linked or unlinked instead, as Ordered Table DDL states.
OWNER TO
ENABLE TRIGGER, DISABLE TRIGGER, ENABLE REPLICA TRIGGER, and ENABLE ALWAYS TRIGGER, and the same four for RULE
VALIDATE CONSTRAINT
REPLICA IDENTITY ...
CLUSTER ON and SET WITHOUT CLUSTER
SET WITHOUT OIDS
SET (...) and RESET (...) Storage parameters.
SET TABLESPACE, SET LOGGED, SET UNLOGGED, and SET ACCESS METHOD
INHERIT and NO INHERIT A table's columns are modeled from its own statements; inherited columns are not modeled.
OF type and NOT OF

An ignored action resolves its table but not its column, so ALTER TABLE users ALTER COLUMN nickname SET STATISTICS 100 is accepted for a column that is not modeled, while ALTER TABLE payments OWNER TO app fails as Table not found in schema: payments, exactly as any other ALTER TABLE of a missing table does, and ALTER TABLE IF EXISTS payments OWNER TO app does nothing.

A constraint an ALTER TABLE adds is not recorded, so it is not carried into the schema model the way a CREATE TABLE constraint is. An ignored action may stand alone or beside modeled actions of one ALTER TABLE, which are applied in the written order, so ALTER TABLE users ADD COLUMN age INTEGER, ALTER COLUMN name SET DEFAULT 'new', OWNER TO app appends age and records nothing else.

sqlcj's parser has no form of its own for the table-level actions listed from OWNER TO down in the table above. It reports such an action as the text that runs to the end of the statement, so sqlcj splits that text at the commas outside parentheses, with its own SQL lexer, and every action in it must be one of those. SET SCHEMA is not among them: written as the statement's sole action, the only form PostgreSQL accepts, it is applied as Ordered Table DDL states, and written beside another action, as in ALTER TABLE users ADD COLUMN x int, SET SCHEMA archive or ALTER TABLE users SET SCHEMA archive, OWNER TO app, it is rejected as Unsupported ALTER TABLE action: SET SCHEMA archive at line <n>. A modeled action written after an ignored action is rejected rather than skipped, so ALTER TABLE users OWNER TO app, ADD COLUMN x int is rejected as Unsupported ALTER TABLE action: ADD COLUMN x int at line <n>. Written the other way round, ALTER TABLE users ADD COLUMN x int, OWNER TO app appends x.

An ALTER TABLE sqlcj's parser cannot read is classified by its words instead, and ignored when every one of its top-level actions — the parts separated by the commas that stand outside parentheses — begins with one of

  • ADD CONSTRAINT <name>,
  • ADD CHECK, ADD UNIQUE, or ADD EXCLUDE,
  • ADD PRIMARY KEY or ADD FOREIGN KEY, or
  • ALTER [COLUMN] <name> ADD GENERATED.

PostgreSQL 16 writes ALTER TABLE ONLY public.t ALTER COLUMN id ADD GENERATED ... AS IDENTITY (SEQUENCE NAME ...) for every identity column of a pg_dump --schema-only snapshot, and sqlcj's parser reads neither that form nor an EXCLUDE, DEFERRABLE INITIALLY DEFERRED, UNIQUE USING INDEX, PRIMARY KEY USING INDEX, or NOT VALID constraint, nor an unnamed ADD CHECK. None of them can change a modeled column's existence, name, type, or nullability, which comes from NOT NULL alone. Such a statement is ignored without its table being resolved, like every other ignored statement, so it also loads for a table the snapshot does not model. Every other unreadable ALTER TABLE, including ALTER COLUMN ... SET DATA TYPE and an ignored action written beside it, stays rejected with the parser's reason, unless its table stands in a schema sqlcj does not model.

sqlcj splits a schema file at the statement separators its own SQL lexer reports and parses each statement alone, so a statement the parser cannot read fails only itself:

  • A separator inside a quoted string, a quoted identifier, a comment, or the untagged $$ ... $$ literal is not a boundary. A tagged dollar-quoted body ends at the next occurrence of its own opening delimiter, as PostgreSQL ends it, whether that delimiter stands alone or is glued to the body as in $fn$BEGIN ... END$fn$. A body that is never closed fails the source as Unterminated dollar-quoted string at line <n>, column <c>.
  • A psql meta-command line, a line whose first non-blank character is a backslash, such as the \restrict and \unrestrict lines recent pg_dump releases write, is skipped. Every line and column a diagnostic reports is a position in the file as it was written.
  • An escape string that quotes a single quote with a backslash, such as E'it\'s', is mis-lexed by sqlcj's SQL lexer and fails the whole file. Writing the doubled E'it''s', or the ordinary 'it''s', avoids it.

sqlcj reads only the statements a schema file states, so a schema change a statement makes indirectly is never seen:

  • DDL inside a function or procedure body, or inside a DO block, belongs to that body, so a table or a type the body creates, alters, or drops is not modeled.
  • DROP TYPE ... CASCADE drops every column of the dropped type, and sqlcj never models those columns as dropped; DROP TYPE itself is ignored, so the enum stays modeled with its labels; see Enum Types.

Nulls

Every generated method parameter and every generated result component uses a reference type, so each of them can represent SQL NULL. A result component may be null exactly when its column is modeled nullable by the schema snapshot or is read from a left-joined source, whose columns are all nullable because an unmatched row supplies no value for them.

Row absence is a different thing from a null component, and the two are never mixed:

  • absence is expressed only by the query's annotation: :optional returns Optional.empty(), and :one fails with dev.sqlcj.runtime.QueryCardinalityException,
  • Optional is used only as the return type of an :optional query. No record component and no method parameter is wrapped in Optional, and no custom nullable wrapper is used.

Null handling does not depend on the column type:

  • the generated argument list is built with java.util.Arrays.asList, which accepts null elements,
  • JdbcQueryExecutor binds each argument positionally with PreparedStatement.setObject, so a null argument is bound as SQL NULL. A JSON or JSONB argument is bound the same way through its dev.sqlcj.runtime.UntypedText wrapper, so a null value becomes a SQL NULL without a declared type. A null enum argument is wrapped the same way, so it is bound as SQL NULL instead of as the label of a constant. A null array argument is bound as a SQL NULL array through its dev.sqlcj.runtime.SqlArray wrapper, and a null element stays null inside the bound array,
  • each result column is read with ResultSet.getObject(position, Class), or with ResultSet.getString(position) for JSON, JSONB, and an enum, so a SQL NULL is read back as null, which fromLabel keeps null for an enum. An array column is read with dev.sqlcj.runtime.SqlArray.getList, which reads a SQL NULL as a null list and a NULL element as a null element.

Nullability itself is parsed from NOT NULL only:

  • a column without NOT NULL is modeled nullable, so a column declared bare PRIMARY KEY is modeled nullable,
  • a serial column, declared SMALLSERIAL, SERIAL, BIGSERIAL, SERIAL2, SERIAL4, or SERIAL8, is always modeled non-null, because PostgreSQL defines those spellings as an integer type with a sequence default and NOT NULL,
  • nullability never changes a generated Java type. It is carried into the analyzed model, but the generated type is resolved from the column type alone.

Null binding and null reading are executed against PostgreSQL for the nullable columns of the integration schema snapshots, which cover SMALLINT, VARCHAR, TEXT, BOOLEAN, DATE, TIMESTAMP, DECIMAL, UUID, TIMESTAMP WITH TIME ZONE, REAL, DOUBLE PRECISION, BYTEA, TIME, JSON, JSONB, an enum type, and an array of every mapped element type.

Unsupported Types and DDL

The following type families have no Java mapping, because only the spellings listed in Supported Column Types are mapped:

  • multidimensional arrays, such as integer[][], and arrays of BYTEA, JSON, JSONB, or an unmapped element type,
  • domain types,
  • range types,
  • composite types,
  • spatial types.

These spellings of otherwise mapped families are unmapped as well:

  • FLOAT and FLOAT(p), whose precision selects REAL or DOUBLE PRECISION,
  • TIME WITH TIME ZONE and TIMETZ.

A column of such a type does not fail the schema. It is recorded with its declared type, written as the canonical spelling of that type — upper case, with parenthesized type arguments removed — followed by [] for each declared array dimension, so xml is recorded as XML, jsonb[] as JSONB[], and integer[][] as INTEGER[][].

A recorded column fails only the analysis of a query that

  • reads it, as a SELECT item or a RETURNING item,
  • binds it, meaning a placeholder takes its type in a comparison, an IN list, a range bound, a LIKE/ILIKE pattern, an INSERT column, or an UPDATE assignment, or
  • expands it, through SELECT *, SELECT qualifier.*, or RETURNING *.

Every other query over the same table compiles, including one that references the column without using its type, such as WHERE tags IS NULL.

Failure Behavior

An unsupported statement, a schema sqlcj cannot parse, or a query that uses a column of an unmapped type stops compilation. sqlcj generate prints a single message on standard error and exits with status 1. Because every configured source is analyzed and generated before the run writes its first file, such a failure writes no generated file, and output written by an earlier successful run is left unchanged. The writing step itself is sequential rather than atomic; see Generated Output and Failures.

A schema message names the schema source and the offending statement or action in SQL terms with the line it begins on, the table or column the statement refers to, or the syntax error with the line and column it was found at. A query message names the query, its source, its header line, and the offending column and recorded type:

sqlcj: Invalid schema source /home/dev/project/schema.sql: Unsupported schema statement: ALTER FOREIGN TABLE at line 12
sqlcj: Invalid schema source /home/dev/project/schema.sql: Unsupported ALTER TABLE action: SET SCHEMA archive at line 18
sqlcj: Invalid schema source /home/dev/project/schema.sql: Unsupported CREATE TABLE clause: AS SELECT at line 24
sqlcj: Invalid schema source /home/dev/project/schema.sql: Table not found in schema: reporting.events
sqlcj: Invalid schema source /home/dev/project/schema.sql: Encountered unexpected token: ";" at line 4, column 1
sqlcj: Invalid query 'ListTags' in /home/dev/project/queries.sql at line 5: Column 'tags' has unsupported type JSONB[]

Verified by

Schema snapshot input:

  • ReferenceServiceIntegrationTest.shouldGenerateIdenticalRepositoriesFromHistorySnapshotAndDump applies the reference service's ten migrations to PostgreSQL 16 with psql, runs pg_dump --schema-only against the migrated database, and generates one byte-identical, compiling output tree, manifest included, from the migration history, the hand-written snapshot, and that dump.
  • ReferenceServiceIntegrationTest.shouldExecuteTheGeneratedReferenceServiceQueries executes the generated repository against the migrated database, including the replaced enum, the renamed enum label, an optimistic update, the partition that follows the column its partitioned table gained, and the LIKE copy that does not.
  • ReferenceServiceIntegrationTest.shouldRejectTheUnsupportedSetDataTypeMigration and ReferenceServiceIntegrationTest.shouldRejectAQueryOnASecondSchemaTable cover the located SET DATA TYPE diagnostic and the unknown-table diagnostic of a query that names a table of the reporting schema, each writing no file.

Type table:

  • DefaultSchemaParserTest.shouldKeepParsingDeliveredColumnTypes, DefaultSchemaParserTest.shouldParseAddedColumnTypes, and DefaultSchemaParserTest.shouldParsePostgresTypeSpellings cover the accepted spellings, their case-insensitive forms, and the ignored type arguments.
  • PostgresIntegrationTest.shouldExecuteGeneratedOneQueryAgainstPostgres, PostgresIntegrationTest.shouldExecuteGeneratedWriteAgainstPostgres, PostgresIntegrationTest.shouldRoundTripSerialUuidAndTimestampWithTimeZoneValues, PostgresIntegrationTest.shouldRoundTripPostgresTypeSpellingValues, PostgresIntegrationTest.shouldRoundTripFloatingPointBinaryAndTimeValues, and PostgresIntegrationTest.shouldRoundTripJsonValues execute the Java mappings, including the blank-padded CHAR values, the JSON text as written and as PostgreSQL renders it, and a JSONB equality predicate, against PostgreSQL 16.
  • JavaCodeGeneratorTest.shouldWrapJsonArgumentsAndReadJsonColumnsAsText and JavaCodeGeneratorTest.shouldGenerateCompilableJavaSourceForJsonTypes cover the generated UntypedText argument at every binding position of a JSON placeholder, the getString read, the unchanged binding and reading of the other String types, and compilation of the generated source.
  • JdbcQueryExecutorTest.shouldBindUntypedTextWithoutADeclaredSqlType and JdbcQueryExecutorTest.shouldBindNullUntypedTextWithoutADeclaredSqlType cover the runtime binding of a null and a non-null UntypedText beside an ordinary argument.
  • DefaultSchemaParserTest.shouldModelColumnsOfADeclaredEnumType covers the enum column of a CREATE TABLE, an added column, and a changed column type, and JavaCodeGeneratorTest.shouldBindEnumLabelsAndReadEnumColumnsByLabel covers the generated enum parameter, its UntypedText argument at every binding position, and the fromLabel read.
  • DefaultSchemaParserTest.shouldRecordUnsupportedColumnType and DefaultSchemaParserTest.shouldParseNullabilityOfUnsupportedColumnTypes cover the recorded type of an unmapped spelling and of an array, beside the mapped columns of the same table.
  • QueryAnalyzerTest.shouldRejectQueryThatUsesAnUnsupportedTypeColumn covers each reading, binding, and expanding query, and QueryAnalyzerTest.shouldAnalyzeQueryBesideAnUnsupportedTypeColumn and QueryAnalyzerTest.shouldAnalyzeIsNullOnAnUnsupportedTypeColumn cover the queries over the same table that still compile.
  • SqlcjCompilerIntegrationTest.shouldReportTheQueryThatReadsAnUnsupportedTypeColumn covers the query diagnostic and that no file is written, and SqlcjCompilerIntegrationTest.shouldGenerateCompilableRepositoryBesideUnsupportedTypeColumns compiles a repository generated beside a JSONB[] and an XML column.

Array types:

  • DefaultSchemaParserTest.shouldModelOneDimensionalArrayColumns covers every element spelling through CREATE TABLE, ADD COLUMN, and ALTER COLUMN ... TYPE, including the ignored declared size, and DefaultSchemaParserTest.shouldCarryTheArrayShapeOfARenamedAndRetypedColumn covers the rename, the nullability change, and the two retypes; DefaultSchemaParserTest.shouldModelTheBlankPaddedSpellingOfCharacterArrayColumns covers the CHAR and CHARACTER spellings that carry bpchar and the varying spellings that do not, through the same statements.
  • DefaultSchemaParserTest.shouldRecordUnsupportedColumnType covers the multidimensional arrays and the BYTEA, JSON, JSONB, and XML arrays that stay recorded.
  • QueryAnalyzerTest.shouldCarryTheArrayShapeOfSelectedColumnsAndTheirParameters, QueryAnalyzerTest.shouldExpandTheArrayColumnsOfAWildcard, and QueryAnalyzerTest.shouldCarryTheArrayShapeOfAReturningWrite cover the analyzed positions, and QueryAnalyzerTest.shouldRejectARepeatedIndexAcrossAnArrayAndItsElement and QueryAnalyzerTest.shouldRejectLikeOnAnArrayColumn cover the rejections. QueryAnalyzerTest.shouldCarryTheBlankPaddedSpellingOfAnArrayParameter covers the spelling a character array parameter carries. QueryAnalyzerTest.shouldResolveListParameterOfAnyFromItsComparedColumn and QueryAnalyzerTest.shouldRejectAListParameterOfAColumnWithoutAnArrayBinding cover the list a = ANY placeholder binds and the columns it rejects, and PostgresIntegrationTest.shouldExecuteGeneratedListPredicateAgainstPostgres executes it.
  • JavaCodeGeneratorTest.shouldBindAndReadArrayColumnsPerElementType covers the generated List type, the SqlArray argument, and the getList read of every element type; JavaCodeGeneratorTest.shouldBindEnumArrayLabelsAndReadEnumArrayColumnsByLabel covers the enum array at every binding position of its index and the enum file an array element alone generates; and JavaCodeGeneratorTest.shouldImportListForAnArrayRowComponent covers the row record's imports. The enum array test and the row-component test compile the generated source. JavaCodeGeneratorTest.shouldBindBlankPaddedCharacterArraysAsBpchar covers the bpchar argument of a CHAR array and the varchar argument of a VARCHAR array.
  • JdbcQueryExecutorTest.shouldBindSqlArrayAsAServerArray and JdbcQueryExecutorTest.shouldBindNullSqlArrayElementsAsANullArray cover the recorded createArrayOf name and elements, the setArray position, and the setNull of a null list, and SqlArrayTest covers the converted elements and the null, empty, and element-null lists a read returns.
  • PostgresIntegrationTest.shouldRoundTripArrayValues writes and reads a non-empty list holding a null element, an empty list, and a null list for every mapped element type and an enum type against PostgreSQL 16, comparing the TIMESTAMPTZ elements by instant and the CHAR(3) elements with the blank-padded values PostgreSQL stores, and finds the row again through a placeholder equality on the CHAR(3) array column.

Enum types:

  • DefaultSchemaParserTest.shouldAddEnumTypeWithItsDeclaredLabels, DefaultSchemaParserTest.shouldAddEnumLabelInItsStatedPosition, DefaultSchemaParserTest.shouldIgnoreAddValueIfNotExistsForAnExistingLabel, and DefaultSchemaParserTest.shouldApplyAnAddedLabelToAnEarlierEnumColumn cover the applied forms and the label order they leave, and DefaultSchemaParserTest.shouldReportTheEnumStatementItCannotApply covers each diagnostic.
  • DefaultSchemaParserTest.shouldKeepTheEnumTypeOfARenamedAndRetypedColumn covers the enum type a rename and a nullability change carry along, and DefaultSchemaParserTest.shouldModelEnumArraysAndRecordUndeclaredTypesAsUnsupported covers the modeled enum array beside the multidimensional enum array and the undeclared type that stay recorded.
  • DefaultSchemaParserTest.shouldRejectUnsupportedStatementsInSqlTerms covers the rejected ALTER TYPE actions, DefaultSchemaParserTest.shouldIgnoreEveryStatementItDoesNotModel and DefaultSchemaParserTest.shouldRecordAColumnOfAnIgnoredCompositeType cover the ignored composite, range, and shell CREATE TYPE and the column a composite type leaves recorded, and DefaultSchemaParserTest.shouldIgnoreDropTypeAndKeepTheModeledEnum covers the ignored DROP TYPE and the enum and enum column that survive it.
  • DefaultSchemaParserTest.shouldModelAPublicQualifiedTypeNameAsItsUnqualifiedName covers the unqualified, public-qualified, quoted, and upper-case qualifier forms of a CREATE TYPE that replaces a modeled enum and of ADD VALUE, RENAME VALUE, and RENAME TO; DefaultSchemaParserTest.shouldIgnoreATypeStatementOfAnotherSchema covers every CREATE TYPE and ALTER TYPE of another schema that is ignored, including the repeated label and the missing neighbour that are never resolved; and DefaultSchemaParserTest.shouldIgnoreSetSchemaPublicOfAModeledEnum covers SET SCHEMA public of a modeled enum.
  • DefaultSchemaParserTest.shouldModelPublicQualifiedEnumColumnTypes covers the public-qualified enum column and enum array, quoted and unquoted, through CREATE TABLE, ADD COLUMN, and ALTER COLUMN ... TYPE, beside the multidimensional and other-schema types that stay recorded, and QueryAnalyzerTest.shouldResolveAPublicQualifiedEnumCastType covers the public-qualified enum array cast and the rejected cast type of another schema.
  • QueryAnalyzerTest.shouldCarryTheEnumTypeOfASelectedColumnAndItsParameter, QueryAnalyzerTest.shouldCarryTheEnumTypeOfAReturningColumnAndItsParameter, QueryAnalyzerTest.shouldAcceptARepeatedIndexOfOneEnumType, and QueryAnalyzerTest.shouldRejectARepeatedIndexAcrossConflictingEnumTypes cover the analyzed enum type and the repeated-index rejection.
  • JavaCodeGeneratorTest.shouldGenerateCompilableEnumWithLabelLookups compiles the generated enum and executes label, fromLabel, its null, and its unknown label; JavaCodeGeneratorTest.shouldGenerateOnlyTheEnumTypesTheQueriesUse, JavaCodeGeneratorTest.shouldNameTheGeneratedEnumAndItsConstants, and the four generator rejection tests cover the naming rules and the collisions.
  • SqlcjCompilerIntegrationTest.shouldGenerateOneSharedEnumForTwoEntries, SqlcjCompilerIntegrationTest.shouldDeleteTheStaleEnumOfARemovedEnumQuery, and SqlcjCompilerIntegrationTest.shouldReportTwoEntriesThatDefineOneEnumTypeDifferently cover the shared file, the manifest, the stale deletion, and the cross-entry diagnostic that writes nothing.
  • PostgresIntegrationTest.shouldRoundTripEnumValues runs the ordered DDL against PostgreSQL 16, compares the generated constants with pg_enum in enumsortorder, and round trips a null and a non-null value as an INSERT value, an equality predicate, and a result component.

CREATE TABLE table:

  • DefaultSchemaParserTest.shouldParseTableConstraints, DefaultSchemaParserTest.shouldParseTableWithoutConstraints, DefaultSchemaParserTest.shouldCanonicalizeQuotedTableAndColumnNames, DefaultSchemaParserTest.shouldParseColumnSpecificationsThatDoNotAffectTypes, DefaultSchemaParserTest.shouldIgnoreForeignKeyAndCheckTableConstraints, DefaultSchemaParserTest.shouldIgnoreExcludeTableConstraints, and DefaultSchemaParserTest.shouldParseNamedTableConstraintsAlongsideIgnoredOnes cover the modeled and ignored constructs, including a named and an unnamed EXCLUDE beside a recorded PRIMARY KEY.
  • DefaultSchemaParserTest.shouldRejectUnsupportedSchemaStatement and DefaultSchemaParserTest.shouldThrowSchemaParseExceptionForInvalidSql cover the rejected input.
  • DefaultSchemaParserTest.shouldCopyTheColumnsOfALikeSource covers a LIKE alone with its options and a public-qualified source, DefaultSchemaParserTest.shouldModelTheColumnsOfAnElementListInWrittenOrder covers a LIKE written before and after a column definition and two LIKE clauses, and DefaultSchemaParserTest.shouldRecordOnlyTheOwnConstraintsOfALikeTable covers the source constraints that are not copied beside the copy's own.
  • DefaultSchemaParserTest.shouldCopyTheColumnsOfAPartitionParent covers the range, list, hash, and DEFAULT bounds and the public-qualified parent, DefaultSchemaParserTest.shouldRecordTheTableConstraintsOfAPartition covers the constraint list a PARTITION OF may state, and DefaultSchemaParserTest.shouldModelAnEmptyElementListAsATableWithoutColumns covers ().
  • DefaultSchemaParserTest.shouldReportARepeatedColumnNameOfALikeSource, DefaultSchemaParserTest.shouldReportTheMissingSourceOfACreatedTable, DefaultSchemaParserTest.shouldRejectTheCreateTableClausesWhoseColumnsItCannotDetermine, and DefaultSchemaParserTest.shouldRejectASourceOrPartitionOfAnotherSchema cover the repeated column name, the missing source, each rejected clause at the line of its own statement, and the LIKE and PARTITION OF source qualified with another schema; and DefaultSchemaParserTest.shouldIgnoreAPartitionOfAnotherSchema covers the ATTACH and DETACH PARTITION partition qualified that way.
  • SqlcjCompilerIntegrationTest.shouldGenerateCompilableRepositoriesOverCopiedTableColumns generates and compiles SELECT * row records and a repository over a LIKE table and a PARTITION OF table.
  • PostgresIntegrationTest.shouldExecuteGeneratedQueryForSnapshotWithIgnoredTableConstraints proves that such a snapshot is valid PostgreSQL DDL and compiles and executes.

Ordered table DDL:

  • DefaultSchemaParserTest.shouldComposeTheSchemaOfSeveralParsedSources, DefaultSchemaParserTest.shouldAppendAddedColumnsTypedLikeCreateTableColumns, DefaultSchemaParserTest.shouldRecordTheColumnConstraintsOfAnAddedColumn, DefaultSchemaParserTest.shouldDropColumnAndTheConstraintsThatListIt, DefaultSchemaParserTest.shouldRenameColumnInItsPositionAndInItsConstraints, DefaultSchemaParserTest.shouldRenameTableInItsPosition, DefaultSchemaParserTest.shouldChangeColumnTypeInItsPositionKeepingItsNullability, DefaultSchemaParserTest.shouldChangeARecordedColumnTypeBackToAMappedType, DefaultSchemaParserTest.shouldSetAndDropColumnNullability, DefaultSchemaParserTest.shouldApplyTheActionsOfOneAlterTableInOrder, DefaultSchemaParserTest.shouldDropEveryTableOfOneDropStatement, and DefaultSchemaParserTest.shouldMatchTableAndColumnNamesCaseInsensitively cover the applied forms.
  • DefaultSchemaParserTest.shouldIgnoreCreateTableIfNotExistsForAnExistingTable, DefaultSchemaParserTest.shouldIgnoreAddColumnIfNotExistsForAnExistingColumn, DefaultSchemaParserTest.shouldIgnoreDropTableIfExistsForAMissingTable, DefaultSchemaParserTest.shouldIgnoreAlterTableIfExistsForAMissingTable, DefaultSchemaParserTest.shouldIgnoreDropColumnIfExistsForAMissingColumn, and DefaultSchemaParserTest.shouldReportTheMissingColumnOfAnAlterTableIfExists cover the IF [NOT] EXISTS variants.
  • DefaultSchemaParserTest.shouldApplyEveryColumnActionOfAParentToItsPartition and DefaultSchemaParserTest.shouldApplyAColumnActionToANestedPartition cover each propagated column action and a nested partition; DefaultSchemaParserTest.shouldKeepThePartitionLinkThroughARenameOfTheParent and DefaultSchemaParserTest.shouldDropThePartitionsOfADroppedParent cover the parent's rename and DROP TABLE, and DefaultSchemaParserTest.shouldDropAParentNamedBeforeItsPartition covers the one DROP TABLE that names a parent before one of its partitions; DefaultSchemaParserTest.shouldStopPropagationAfterDetachPartition and DefaultSchemaParserTest.shouldStartPropagationAfterAttachPartition cover the ended and the started link; and DefaultSchemaParserTest.shouldNotFollowTheSourceOfALikeCopy covers the LIKE copy that stays independent of its source.
  • DefaultSchemaParserTest.shouldReportTheMissingTableOfAStatement, DefaultSchemaParserTest.shouldReportTheMissingColumnOfAnAlterTableAction, DefaultSchemaParserTest.shouldReportAStatementThatRepeatsATableName, DefaultSchemaParserTest.shouldReportAStatementThatRepeatsAColumnName, and DefaultSchemaParserTest.shouldReportTheLineOfARejectedAlterTableAction cover the rejected statements and their messages.
  • DefaultSchemaParserTest.shouldModelAPublicQualifiedTableNameAsItsUnqualifiedName covers the unqualified, public-qualified, quoted, and upper-case qualifier forms of one CREATE TABLE, ALTER TABLE, and DROP TABLE; DefaultSchemaParserTest.shouldIgnoreAStatementAboutATableOfAnotherSchema covers every ignored statement of another schema, including the clauses, actions, and sources it never resolves; and DefaultSchemaParserTest.shouldSkipTheDroppedNamesOfAnotherSchema covers the DROP TABLE that carries on past such a name.
  • DefaultSchemaParserTest.shouldIgnoreSetSchemaPublicOfAModeledTable, DefaultSchemaParserTest.shouldRemoveATableMovedToAnotherSchema, and DefaultSchemaParserTest.shouldRejectSetSchemaOfATableWithModeledPartitions cover the SET SCHEMA no-op, the removed table, and the rejected action and its line for a table with modeled partitions, and DefaultSchemaParserTest.shouldRejectUnsupportedStatementsInSqlTerms covers SET SCHEMA written beside another action.
  • SqlcjCompilerIntegrationTest.shouldGenerateTheSameRepositoryFromAlteringMigrationsAndASnapshot generates one compilable repository from migrations that rename, add, drop, and alter columns, byte-identical to the one generated from the equivalent snapshot, and SqlcjCompilerIntegrationTest.shouldReportTheMigrationFileThatAltersAMissingTable covers the file-naming diagnostic of a missing reference and that no file is written.

Ignored statements:

  • DefaultSchemaParserTest.shouldIgnoreEveryStatementItDoesNotModel covers one spelling per statement kind JSqlParser parses, including the lower-case ALTER INDEX form, a dollar-quoted CREATE OR REPLACE FUNCTION and a dollar-quoted CREATE PROCEDURE, the views, schemas, session, privilege, role, policy, domain, and non-enum CREATE TYPE statements, and the opaque ALTER FUNCTION, ALTER SCHEMA, CREATE AGGREGATE, and CREATE CAST; and DefaultSchemaParserTest.shouldIgnoreConstraintAlterTableActions covers the named and unnamed constraint actions.
  • DefaultSchemaParserTest.shouldIgnoreTheAlterTableActionsThatCannotChangeAColumn covers one spelling per ignored ALTER TABLE action, including the lower-case and ALTER TABLE ONLY public.users spellings, the unqualified and public-qualified ATTACH and DETACH PARTITION of a partition sqlcj does not model, and two actions classified by their words in one statement.
  • DefaultSchemaParserTest.shouldNotResolveAnIgnoredStatementAgainstTheSchema covers that an ignored statement, including a view over an unmodeled table and a TRUNCATE of one, may name an unmodeled table or column; DefaultSchemaParserTest.shouldReportTheMissingTableOfAnIgnoredConstraintAction and DefaultSchemaParserTest.shouldReportTheMissingTableOfAnIgnoredAction cover that an ignored ALTER TABLE action still resolves its table and that IF EXISTS skips it; and DefaultSchemaParserTest.shouldIgnoreAnAlterColumnActionOnAMissingColumn covers that it does not resolve its column.
  • DefaultSchemaParserTest.shouldApplyAModeledActionBesideAnIgnoredConstraintAction, DefaultSchemaParserTest.shouldApplyAnAddedColumnBesideIgnoredActions, and DefaultSchemaParserTest.shouldApplyAnAddedColumnAfterARowLevelSecurityAction cover an ignored action beside a modeled one, in both written orders.
  • DefaultSchemaParserTest.shouldIgnoreEveryUnreadableStatementThatIsNotTableOrTypeDdl covers one spelling per statement kind sqlcj's parser cannot read, including the untagged, tagged, and LANGUAGE forms of DO, DROP TYPE, every COMMENT ON target the parser does not read, SET search_path TO a, b, DROP POLICY, DROP DOMAIN, VACUUM, LOCK TABLE, BEGIN, COPY ... TO, CREATE RULE, CREATE EVENT TRIGGER, and the single-quoted, RETURN, and tagged function and procedure bodies.
  • DefaultSchemaParserTest.shouldIgnoreTheUnreadableAlterTableActionsThatCannotChangeAColumn and DefaultSchemaParserTest.shouldIgnoreThePgDumpIdentityAlterTableAction cover every ignored unreadable action, alone and two in one statement, on a table the schema does not model, including the multi-line pg_dump identity form.
  • DefaultSchemaParserTest.shouldIgnoreAnUnreadableStatementQualifiedWithAnotherSchema covers the ignored unreadable CREATE and ALTER TABLE and CREATE and ALTER TYPE of another schema, including the ONLY and IF [NOT] EXISTS spellings, and DefaultSchemaParserTest.shouldRejectAnUnreadableStatementOfTheModeledSchema covers the same statements still rejected unqualified and public-qualified.
  • DefaultSchemaParserTest.shouldRejectUnsupportedStatementsInSqlTerms covers the exact message and line of each statement and action rejected in SQL terms, including SET SCHEMA after a modeled action, a modeled action written after an ignored one, an unrecognized ALTER COLUMN action, and the upper- and lower-case ALTER FOREIGN TABLE, and DefaultSchemaParserTest.shouldRejectUnsupportedSchemaStatement, DefaultSchemaParserTest.shouldReportTheLineOfARejectedStatementAfterCommentsAndAFunctionBody, and DefaultSchemaParserTest.shouldReportTheLineOfARejectedStatementAfterUnreadableOnesAndATaggedBody cover the reported line after comments that contain a statement separator, after a dollar-quoted body, and after a blanked meta-command line and unreadable statements.
  • DefaultSchemaParserTest.shouldRejectAnUnreadableAlterColumnActionAtItsFileLineAndColumn, DefaultSchemaParserTest.shouldRejectAnUnreadableAlterTableActionBesideAnIgnoredOne, and DefaultSchemaParserTest.shouldRejectAnUnreadableCreateTypeAtItsFileLineAndColumn cover the parser's reason at the file line and column of SET DATA TYPE, of SET DATA TYPE beside an ignored action in a statement that begins in the middle of a line, and of an unreadable CREATE TYPE.
  • DefaultSchemaParserTest.shouldApplyTheStatementsAroundUnreadableOnesAndNotModelDdlInsideABody covers the statements applied before and after unreadable ones and the DDL of an untagged, a tagged, and a glued $fn$BEGIN ... END$fn$ body that is not modeled; DefaultSchemaParserTest.shouldApplyTheStatementsAfterAFunctionBodyThatIsNotDollarQuoted covers the statements after a single-quoted body.
  • DefaultSchemaParserTest.shouldSkipPsqlMetaCommandLines covers a schema source with \restrict and \unrestrict lines, and DefaultSchemaParserTest.shouldRejectAnUnterminatedDollarQuotedBody covers the located failure of a tagged body that is never closed.
  • DefaultSchemaParserTest.shouldLoadTheMigrationFilesInOrder covers a migration history that states COMMENT ON TYPE beside the targets the parser reads, loaded unchanged.
  • SqlcjCompilerIntegrationTest.shouldReportTheMigrationFileAndLineOfAnUnsupportedStatement covers the migration file, the SQL-term message, and the line of a rejected statement that follows an ignored index and an ignored view, and that no file is written.

Nulls:

  • PostgresIntegrationTest.shouldBindAndReadNullValuesThroughGeneratedCode and PostgresIntegrationTest.shouldRoundTripFloatingPointBinaryAndTimeValues bind null arguments and read null results through generated code against PostgreSQL.
  • PostgresIntegrationTest.shouldEnforceResultCardinalitiesAgainstPostgres proves that row absence is reported by :optional and :one rather than by a null result.
  • DefaultSchemaParserTest.shouldParseColumns, DefaultSchemaParserTest.shouldParseNullabilityOfAddedColumnTypes, DefaultSchemaParserTest.shouldParseNullabilityOfIntegerAliasColumns, and DefaultSchemaParserTest.shouldParseSerialColumnAsNotNullable cover parsed nullability.

Connection ownership and transactions:

  • JdbcQueryExecutorTest covers both construction paths for queryOne, queryOptional, queryMany, and execute, including shouldCloseAcquiredConnectionForEachDataSourceOperation, shouldCloseAcquiredConnectionWhenDataSourceOperationFails, shouldCloseAcquiredConnectionWhenCardinalityFails, shouldLeaveCallerOwnedConnectionOpenAndItsTransactionStateUnchanged, shouldCloseStatementsAndResultSetsOfCallerOwnedConnection, shouldCloseStatementWhenExecutionFailsOnCallerOwnedConnection, shouldCloseStatementWhenCardinalityFailsOnCallerOwnedConnection, and shouldWrapSqlExceptionForCallerOwnedConnection.
  • PostgresIntegrationTest.shouldCommitGeneratedOperationsOnCallerOwnedConnection and PostgresIntegrationTest.shouldRollBackGeneratedOperationsOnCallerOwnedConnection run a generated affected-row write, a generated returning write, and a generated read on one caller-owned connection with auto-commit disabled, and prove the application's own commit and rollback.