E2 trace safer - Eugene Documentation

Eugene 🔒 trace report of `examples/E2/good/1.sql`

-- 1.sql
create table authors(
    id integer generated always as identity
        primary key,
    name text
)

No locks held at the start of this statement.

No new locks taken by this statement.

-- 2.sql
set local lock_timeout = '2s'

No locks held at the start of this statement.

No new locks taken by this statement.

alter table authors
    add constraint check_name_not_null
        check (name is not null) not valid

No locks held at the start of this statement.

Schema	Object	Mode	Relkind	OID	Safe	Duration held (ms)
`public`	`authors`	`AccessExclusiveLock`	Table	1	❌	10

-- 3.sql
set local lock_timeout = '2s'

No locks held at the start of this statement.

No new locks taken by this statement.

alter table authors
    validate constraint check_name_not_null

No locks held at the start of this statement.

No new locks taken by this statement.

-- 4.sql
set local lock_timeout = '2s'

No locks held at the start of this statement.

No new locks taken by this statement.

-- eugene trace knows name has a valid not null check, but eugene lint doesn't
-- eugene: ignore E2
alter table authors
    alter name set not null

No locks held at the start of this statement.

Schema	Object	Mode	Relkind	OID	Safe	Duration held (ms)
`public`	`authors`	`AccessExclusiveLock`	Table	1	❌	10