sql-statements: use ENBF to render syntax diagrams for BACKUP and RES…

…TORE
pingcap · Dec 4, 2020 · 39a6e89 · 39a6e89
1 parent 83d3bfd
commit 39a6e89
Show file tree

Hide file tree

Showing 11 changed files with 46 additions and 40 deletions.
diff --git a/media/sqlgram/BRIETables.png b/media/sqlgram/BRIETables.png
diff --git a/media/sqlgram/BackupOption.png b/media/sqlgram/BackupOption.png
diff --git a/media/sqlgram/BackupStmt.png b/media/sqlgram/BackupStmt.png
diff --git a/media/sqlgram/BackupTSO.png b/media/sqlgram/BackupTSO.png
diff --git a/media/sqlgram/Boolean.png b/media/sqlgram/Boolean.png
diff --git a/media/sqlgram/RestoreOption.png b/media/sqlgram/RestoreOption.png
diff --git a/media/sqlgram/RestoreStmt.png b/media/sqlgram/RestoreStmt.png
diff --git a/media/sqlgram/ShowBRIEStmt.png b/media/sqlgram/ShowBRIEStmt.png
diff --git a/sql-statements/sql-statement-backup.md b/sql-statements/sql-statement-backup.md
@@ -20,25 +20,28 @@ Only one `BACKUP` and [`RESTORE`](/sql-statements/sql-statement-restore.md) task
 
 ## Synopsis
 
-**BackupStmt:**
-
-![BackupStmt](/media/sqlgram/BackupStmt.png)
-
-**BRIETables:**
-
-![BRIETables](/media/sqlgram/BRIETables.png)
-
-**BackupOption:**
-
-![BackupOption](/media/sqlgram/BackupOption.png)
-
-**Boolean:**
-
-![Boolean](/media/sqlgram/Boolean.png)
-
-**BackupTSO:**
-
-![BackupTSO](/media/sqlgram/BackupTSO.png)
+```ebnf+diagram
+BackupStmt ::=
+    "BACKUP" BRIETables "TO" stringLit BackupOption*
+
+BRIETables ::=
+    "DATABASE" ( '*' | DBName (',' DBName)* )
+|   "TABLE" TableNameList
+
+BackupOption ::=
+    "RATE_LIMIT" '='? LengthNum "MB" '/' "SECOND"
+|   "CONCURRENCY" '='? LengthNum
+|   "CHECKSUM" '='? Boolean
+|   "SEND_CREDENTIALS_TO_TIKV" '='? Boolean
+|   "LAST_BACKUP" '='? BackupTSO
+|   "SNAPSHOT" '='? ( BackupTSO | LengthNum TimestampUnit "AGO" )
+
+Boolean ::=
+    NUM | "TRUE" | "FALSE"
+
+BackupTSO ::=
+    LengthNum | stringLit
+```
 
 ## Examples
 

diff --git a/sql-statements/sql-statement-restore.md b/sql-statements/sql-statement-restore.md
@@ -24,21 +24,23 @@ Only one `BACKUP` and `RESTORE` task can be executed at a time. If a `BACKUP` or
 
 ## Synopsis
 
-**RestoreStmt:**
-
-![RestoreStmt](/media/sqlgram/RestoreStmt.png)
-
-**BRIETables:**
-
-![BRIETables](/media/sqlgram/BRIETables.png)
-
-**RestoreOption:**
-
-![RestoreOption](/media/sqlgram/RestoreOption.png)
-
-**Boolean:**
-
-![Boolean](/media/sqlgram/Boolean.png)
+```ebnf+diagram
+RestoreStmt ::=
+    "RESTORE" BRIETables "FROM" stringLit RestoreOption*
+
+BRIETables ::=
+    "DATABASE" ( '*' | DBName (',' DBName)* )
+|   "TABLE" TableNameList
+
+BackupOption ::=
+    "RATE_LIMIT" '='? LengthNum "MB" '/' "SECOND"
+|   "CONCURRENCY" '='? LengthNum
+|   "CHECKSUM" '='? Boolean
+|   "SEND_CREDENTIALS_TO_TIKV" '='? Boolean
+
+Boolean ::=
+    NUM | "TRUE" | "FALSE"
+```
 
 ## Examples
 

diff --git a/sql-statements/sql-statement-show-backups.md b/sql-statements/sql-statement-show-backups.md
@@ -12,13 +12,14 @@ Use `SHOW BACKUPS` to query `BACKUP` tasks and use `SHOW RESTORES` to query `RES
 
 ## Synopsis
 
-**ShowBRIEStmt:**
+```ebnf+diagram
+ShowBRIEStmt ::=
+    "SHOW" ("BACKUPS" | "RESTORES") ShowLikeOrWhere?
 
-![ShowBRIEStmt](/media/sqlgram/ShowBRIEStmt.png)
-
-**ShowLikeOrWhereOpt:**
-
-![ShowLikeOrWhereOpt](/media/sqlgram/ShowLikeOrWhereOpt.png)
+ShowLikeOrWhere ::=
+    "LIKE" SimpleExpr
+|   "WHERE" Expression
+```
 
 ## Examples