Placeholders, inferred names and Params structs: SQLite and PostgreSQL
Every file of the SQLite and PostgreSQL versions side by side, with the lines that differ marked.
Configuration
sgl.yamldiffers
SQLite
PostgreSQL
1
version: 11
version: 12
2
3
databases:3
databases:4
- name: ferries4
- name: ferries5
dialect: sqlite5
dialect: postgres6
migrations: db/migrations6
migrations: db/migrations7
queries: db/queries7
queries: db/queries8
go:8
go:9
package: store9
package: store10
out: internal/store10
out: internal/store11
driver: database/sqlMigrations
db/migrations/0001_sailings.up.sqldiffers
SQLite
PostgreSQL
1
CREATE TABLE sailings (1
CREATE TABLE sailings (2
id INTEGER PRIMARY KEY,2
id BIGINT GENERATED ALWAYS AS IDENTITY PRIMARY KEY,3
origin TEXT NOT NULL,3
origin TEXT NOT NULL,4
destination TEXT NOT NULL,4
destination TEXT NOT NULL,5
departs TEXT NOT NULL,5
departs TEXT NOT NULL,6
seats_free INTEGER NOT NULL6
seats_free BIGINT NOT NULL7
);7
);db/migrations/0001_sailings.down.sqlidentical
SQLite
PostgreSQL
1
DROP TABLE sailings;1
DROP TABLE sailings;Queries
AddSailingdiffers
SQLite · db/queries/sailings.sql
PostgreSQL · db/queries/sailings.sql
1
-- sgl.query(AddSailing, exec)1
-- sgl.query(AddSailing, exec)2
INSERT INTO sailings (origin, destination, departs, seats_free) VALUES (?, ?, ?, ?);2
INSERT INTO sailings (origin, destination, departs, seats_free) VALUES ($1, $2, $3, $4);FindSailingsdiffers
SQLite · db/queries/sailings.sql
PostgreSQL · db/queries/sailings.sql
1
-- sgl.query(FindSailings, many)1
-- sgl.query(FindSailings, many)2
SELECT id, origin, destination, departs, seats_free2
SELECT id, origin, destination, departs, seats_free3
FROM sailings3
FROM sailings4
WHERE origin = ? AND destination = ?4
WHERE origin = $1 AND destination = $25
ORDER BY departs;5
ORDER BY departs;SailingsDepartingdiffers
SQLite · db/queries/sailings.sql
PostgreSQL · db/queries/sailings.sql
1
-- sgl.query(SailingsDeparting, many)1
-- sgl.query(SailingsDeparting, many)2
-- ?1 as sgl.param(earliest)2
-- $1 as sgl.param(earliest)3
-- ?2 as sgl.param(latest)3
-- $2 as sgl.param(latest)4
SELECT id, origin, destination, departs, seats_free4
SELECT id, origin, destination, departs, seats_free5
FROM sailings5
FROM sailings6
WHERE departs >= ?1 AND departs < ?26
WHERE departs >= $1 AND departs < $27
ORDER BY departs;7
ORDER BY departs;BookSeatsidentical
SQLite · db/queries/sailings.sql
PostgreSQL · db/queries/sailings.sql
1
-- sgl.query(BookSeats, execrows)1
-- sgl.query(BookSeats, execrows)2
UPDATE sailings2
UPDATE sailings3
SET seats_free = seats_free - :seats3
SET seats_free = seats_free - :seats4
WHERE id = :sailing_id AND seats_free >= :seats;4
WHERE id = :sailing_id AND seats_free >= :seats;What sgl generates
AddSailingidentical
SQLite
PostgreSQL
1
func (queries *Queries) AddSailing(ctx context.Context, params AddSailingParams) error1
func (queries *Queries) AddSailing(ctx context.Context, params AddSailingParams) error2
2
3
type AddSailingParams struct {3
type AddSailingParams struct {4
Origin string4
Origin string5
Destination string5
Destination string6
Departs string6
Departs string7
SeatsFree int647
SeatsFree int648
}8
}FindSailingsidentical
SQLite
PostgreSQL
1
func (queries *Queries) FindSailings(ctx context.Context, params FindSailingsParams) ([]FindSailingsRow, error)1
func (queries *Queries) FindSailings(ctx context.Context, params FindSailingsParams) ([]FindSailingsRow, error)2
2
3
type FindSailingsParams struct {3
type FindSailingsParams struct {4
Origin string4
Origin string5
Destination string5
Destination string6
}6
}7
7
8
type FindSailingsRow struct {8
type FindSailingsRow struct {9
ID int64 `json:"id"`9
ID int64 `json:"id"`10
Origin string `json:"origin"`10
Origin string `json:"origin"`11
Destination string `json:"destination"`11
Destination string `json:"destination"`12
Departs string `json:"departs"`12
Departs string `json:"departs"`13
SeatsFree int64 `json:"seats_free"`13
SeatsFree int64 `json:"seats_free"`14
}14
}SailingsDepartingidentical
SQLite
PostgreSQL
1
func (queries *Queries) SailingsDeparting(ctx context.Context, params SailingsDepartingParams) ([]SailingsDepartingRow, error)1
func (queries *Queries) SailingsDeparting(ctx context.Context, params SailingsDepartingParams) ([]SailingsDepartingRow, error)2
2
3
type SailingsDepartingParams struct {3
type SailingsDepartingParams struct {4
Earliest string4
Earliest string5
Latest string5
Latest string6
}6
}7
7
8
type SailingsDepartingRow struct {8
type SailingsDepartingRow struct {9
ID int64 `json:"id"`9
ID int64 `json:"id"`10
Origin string `json:"origin"`10
Origin string `json:"origin"`11
Destination string `json:"destination"`11
Destination string `json:"destination"`12
Departs string `json:"departs"`12
Departs string `json:"departs"`13
SeatsFree int64 `json:"seats_free"`13
SeatsFree int64 `json:"seats_free"`14
}14
}BookSeatsidentical
SQLite
PostgreSQL
1
func (queries *Queries) BookSeats(ctx context.Context, params BookSeatsParams) (int64, error)1
func (queries *Queries) BookSeats(ctx context.Context, params BookSeatsParams) (int64, error)2
2
3
type BookSeatsParams struct {3
type BookSeatsParams struct {4
Seats int644
Seats int645
SailingID int645
SailingID int646
}6
}The program
example.godiffers
SQLite
PostgreSQL
1
package main1
package main2
2
3
import (3
import (4
"context"4
"context"5
"database/sql"5
"database/sql"6
"fmt"6
"fmt"7
"io"7
"io"8
8
9
"seagull.sh/seagull/examples/sqlite/003_parameters/internal/store"9
"seagull.sh/seagull/examples/postgres/003_parameters/internal/store"10
)10
)11
11
12
// run fills a ferry timetable, searches it two ways and books seats. Every query has two12
// run fills a ferry timetable, searches it two ways and books seats. Every query has two13
// or more parameters, so each method takes a Params struct, and the struct's field names13
// or more parameters, so each method takes a Params struct, and the struct's field names14
// come from the SQL:14
// come from the SQL:15
//15
//16
// - AddSailing and FindSailings name each ? after the column it is inserted into or16
// - AddSailing and FindSailings name each $N after the column it is inserted into or17
// compared with: Origin, Destination, Departs, SeatsFree;17
// compared with: Origin, Destination, Departs, SeatsFree;18
// - SailingsDeparting compares departs twice, which would give Departs and Departs2, so18
// - SailingsDeparting compares departs twice, which would give Departs and Departs2, so19
// its binding lines (?1 as sgl.param(earliest)) choose better names;19
// its binding lines ($1 as sgl.param(earliest)) choose better names;20
// - BookSeats uses named placeholders; :seats appears twice but is one field.20
// - BookSeats uses named placeholders; :seats appears twice but is one field. The21
// generated SQL numbers them, so :seats becomes $1 in both places, as PostgreSQL22
// binds a reused number once.21
//23
//22
// Takes database (*sql.DB) which is a migrated database.24
// Takes database (*sql.DB) which is a migrated database.23
// Takes output (io.Writer) which receives the search results and bookings.25
// Takes output (io.Writer) which receives the search results and bookings.24
//26
//25
// Returns error when a query fails.27
// Returns error when a query fails.26
func run(ctx context.Context, database *sql.DB, output io.Writer) error {28
func run(ctx context.Context, database *sql.DB, output io.Writer) error {27
queries := store.New(database)29
queries := store.New(database)28
30
29
timetable := []store.AddSailingParams{31
timetable := []store.AddSailingParams{30
{Origin: "Penzance", Destination: "St Mary's", Departs: "09:15", SeatsFree: 40},32
{Origin: "Penzance", Destination: "St Mary's", Departs: "09:15", SeatsFree: 40},31
{Origin: "St Mary's", Destination: "Tresco", Departs: "11:00", SeatsFree: 12},33
{Origin: "St Mary's", Destination: "Tresco", Departs: "11:00", SeatsFree: 12},32
{Origin: "Penzance", Destination: "St Mary's", Departs: "14:30", SeatsFree: 4},34
{Origin: "Penzance", Destination: "St Mary's", Departs: "14:30", SeatsFree: 4},33
{Origin: "St Mary's", Destination: "Penzance", Departs: "16:30", SeatsFree: 60},35
{Origin: "St Mary's", Destination: "Penzance", Departs: "16:30", SeatsFree: 60},34
}36
}35
for _, sailing := range timetable {37
for _, sailing := range timetable {36
if err := queries.AddSailing(ctx, sailing); err != nil {38
if err := queries.AddSailing(ctx, sailing); err != nil {37
return fmt.Errorf("adding the %s sailing: %w", sailing.Departs, err)39
return fmt.Errorf("adding the %s sailing: %w", sailing.Departs, err)38
}40
}39
}41
}40
42
41
route, err := queries.FindSailings(ctx, store.FindSailingsParams{43
route, err := queries.FindSailings(ctx, store.FindSailingsParams{42
Origin: "Penzance",44
Origin: "Penzance",43
Destination: "St Mary's",45
Destination: "St Mary's",44
})46
})45
if err != nil {47
if err != nil {46
return fmt.Errorf("finding sailings: %w", err)48
return fmt.Errorf("finding sailings: %w", err)47
}49
}48
fmt.Fprintln(output, "Penzance to St Mary's:")50
fmt.Fprintln(output, "Penzance to St Mary's:")49
for _, sailing := range route {51
for _, sailing := range route {50
fmt.Fprintf(output, " sailing %d at %s, %d seats free\n", sailing.ID, sailing.Departs, sailing.SeatsFree)52
fmt.Fprintf(output, " sailing %d at %s, %d seats free\n", sailing.ID, sailing.Departs, sailing.SeatsFree)51
}53
}52
54
53
midday, err := queries.SailingsDeparting(ctx, store.SailingsDepartingParams{55
midday, err := queries.SailingsDeparting(ctx, store.SailingsDepartingParams{54
Earliest: "10:00",56
Earliest: "10:00",55
Latest: "15:00",57
Latest: "15:00",56
})58
})57
if err != nil {59
if err != nil {58
return fmt.Errorf("finding midday sailings: %w", err)60
return fmt.Errorf("finding midday sailings: %w", err)59
}61
}60
fmt.Fprintln(output, "Departing between 10:00 and 15:00:")62
fmt.Fprintln(output, "Departing between 10:00 and 15:00:")61
for _, sailing := range midday {63
for _, sailing := range midday {62
fmt.Fprintf(output, " sailing %d at %s, %s to %s\n", sailing.ID, sailing.Departs, sailing.Origin, sailing.Destination)64
fmt.Fprintf(output, " sailing %d at %s, %s to %s\n", sailing.ID, sailing.Departs, sailing.Origin, sailing.Destination)63
}65
}64
66
65
// The same booking twice: the first takes 3 of the 4 free seats, so the second changes67
// The same booking twice: the first takes 3 of the 4 free seats, so the second changes66
// no row because seats_free >= :seats is now false.68
// no row because seats_free >= :seats is now false.67
booking := store.BookSeatsParams{Seats: 3, SailingID: 3}69
booking := store.BookSeatsParams{Seats: 3, SailingID: 3}68
for range 2 {70
for range 2 {69
booked, err := queries.BookSeats(ctx, booking)71
booked, err := queries.BookSeats(ctx, booking)70
if err != nil {72
if err != nil {71
return fmt.Errorf("booking sailing %d: %w", booking.SailingID, err)73
return fmt.Errorf("booking sailing %d: %w", booking.SailingID, err)72
}74
}73
if booked == 0 {75
if booked == 0 {74
fmt.Fprintf(output, "sailing %d has fewer than %d seats free\n", booking.SailingID, booking.Seats)76
fmt.Fprintf(output, "sailing %d has fewer than %d seats free\n", booking.SailingID, booking.Seats)75
continue77
continue76
}78
}77
fmt.Fprintf(output, "booked %d seats on sailing %d\n", booking.Seats, booking.SailingID)79
fmt.Fprintf(output, "booked %d seats on sailing %d\n", booking.Seats, booking.SailingID)78
}80
}79
return nil81
return nil80
}82
}