SIMPLE_SQL_EXPORT

Export database tables to CSV, JSON, or SQL dump formats.

View Source

Examples

Export to CSV

local
    export: SIMPLE_SQL_EXPORT
    csv: STRING_32
do
    create export.make (db)

    -- Export entire table
    csv := export.to_csv ("users")
    -- Result: "id,name,email\n1,Alice,alice@example.com\n2,Bob,..."

    -- Or save directly to file
    export.to_csv_file ("users", "users_export.csv")
end

Export Query Results

-- Export filtered/transformed data
csv := export.query_to_csv ("SELECT name, email FROM users WHERE active = 1 ORDER BY name")

json := export.query_to_json ("SELECT id, title, created_at FROM posts WHERE published = 1")

Export to JSON

local
    export: SIMPLE_SQL_EXPORT
    json: STRING_32
do
    create export.make (db)
    json := export.to_json ("users")
    -- Result: [{"id":1,"name":"Alice","email":"alice@example.com"},...]

    export.to_json_file ("settings", "settings_backup.json")
end

Full Database Dump

local
    export: SIMPLE_SQL_EXPORT
do
    create export.make (db)

    -- Export schema only
    print (export.dump_schema)
    -- Result: CREATE TABLE users (...); CREATE TABLE posts (...); ...

    -- Full dump to file
    export.dump_to_file ("full_backup.sql")
end

Export Single Table to SQL

local
    export: SIMPLE_SQL_EXPORT
    sql: STRING_32
do
    create export.make (db)
    sql := export.to_sql ("users")
    -- Result:
    -- CREATE TABLE users (id INTEGER PRIMARY KEY, name TEXT, email TEXT);
    -- INSERT INTO users VALUES (1, 'Alice', 'alice@example.com');
    -- INSERT INTO users VALUES (2, 'Bob', 'bob@example.com');
    -- ...
end