summaryrefslogtreecommitdiff
path: root/tools/sql/schema.txt
diff options
context:
space:
mode:
authorTor Andersson <tor@ccxvii.net>2021-05-01 00:48:35 +0200
committerTor Andersson <tor@ccxvii.net>2021-05-01 00:48:35 +0200
commit652852e3104ce4020de53231ee7691a4970439d6 (patch)
tree57a053cb2104520e240cd44a4dfb9f92fd5ede07 /tools/sql/schema.txt
parent156f7f8546890c6406001061dae199f8320ca83b (diff)
downloadserver-652852e3104ce4020de53231ee7691a4970439d6.tar.gz
Add server and lobby code.
Diffstat (limited to 'tools/sql/schema.txt')
-rw-r--r--tools/sql/schema.txt86
1 files changed, 86 insertions, 0 deletions
diff --git a/tools/sql/schema.txt b/tools/sql/schema.txt
new file mode 100644
index 0000000..97e8b25
--- /dev/null
+++ b/tools/sql/schema.txt
@@ -0,0 +1,86 @@
+CREATE TABLE IF NOT EXISTS users (
+ user_id INTEGER PRIMARY KEY,
+ name TEXT UNIQUE,
+ mail TEXT UNIQUE,
+ password TEXT,
+ salt TEXT,
+ ctime TIMESTAMP,
+ cip TEXT,
+ atime TIMESTAMP,
+ aip TEXT
+);
+
+CREATE TABLE IF NOT EXISTS blacklist_ip ( ip TEXT PRIMARY KEY );
+CREATE TABLE IF NOT EXISTS blacklist_mail ( mail TEXT PRIMARY KEY );
+
+CREATE TABLE IF NOT EXISTS titles (
+ title_id TEXT UNIQUE,
+ title_name TEXT,
+ bgg INTEGER
+);
+
+CREATE TABLE IF NOT EXISTS roles (
+ title_id TEXT,
+ role TEXT,
+ UNIQUE ( title_id, role )
+);
+
+CREATE TABLE IF NOT EXISTS games (
+ game_id INTEGER PRIMARY KEY,
+ title_id TEXT,
+ scenario TEXT,
+ owner INTEGER,
+ private BOOLEAN,
+ ctime TIMESTAMP,
+ mtime TIMESTAMP,
+ description TEXT,
+ status INTEGER,
+ active TEXT,
+ result TEXT,
+ state TEXT,
+ chat TEXT
+);
+
+CREATE TABLE IF NOT EXISTS players (
+ user_id INTEGER,
+ game_id INTEGER,
+ role TEXT,
+ UNIQUE ( game_id, user_id, role ),
+ UNIQUE ( game_id, role )
+);
+
+DROP TRIGGER IF EXISTS no_part_on_active_game;
+CREATE TRIGGER no_part_on_active_game BEFORE DELETE ON players
+BEGIN
+ SELECT CASE
+ WHEN ( SELECT status FROM games WHERE game_id = old.game_id ) > 0
+ THEN RAISE(ABORT, "Cannot remove players from started games.")
+ END;
+END;
+
+DROP TRIGGER IF EXISTS no_join_on_active_game;
+CREATE TRIGGER no_join_on_active_game BEFORE INSERT ON players
+BEGIN
+ SELECT CASE
+ WHEN ( SELECT status FROM games WHERE game_id = new.game_id ) > 0
+ THEN RAISE(ABORT, "Cannot add players to started games.")
+ END;
+END;
+
+DROP TRIGGER IF EXISTS must_be_valid_role;
+CREATE TRIGGER must_be_valid_role BEFORE INSERT ON players
+BEGIN
+ SELECT CASE
+ WHEN ( SELECT COUNT(*) FROM roles, games WHERE
+ roles.title_id = games.title_id AND
+ games.game_id = new.game_id AND
+ roles.role = new.role ) <> 1
+ THEN RAISE(ABORT, "Invalid role for that title.")
+ END;
+END;
+
+DROP TRIGGER IF EXISTS purge_players;
+CREATE TRIGGER purge_players AFTER DELETE ON games
+BEGIN
+ DELETE FROM players WHERE game_id = old.game_id;
+END;