update version to 4.3.0
[sqlcipher.git] / tool / mkpragmatab.tcl
blob832153916e70c505814aafecfbe4afc94c86e435
1 #!/usr/bin/tclsh
3 # Run this script to generate the pragma name lookup table C code.
5 # To add new pragmas, first add the name and other relevant attributes
6 # of the pragma to the "pragma_def" object below. Then run this script
7 # to generate the ../src/pragma.h header file that contains macros and
8 # the lookup table needed for pragma name lookup in the pragma.c module.
9 # Then add the extra "case PragTyp_XXXXX:" and subsequent code for the
10 # new pragma in ../src/pragma.c.
13 # Flag meanings:
14 set flagMeaning(NeedSchema) {Force schema load before running}
15 set flagMeaning(ReadOnly) {Read-only HEADER_VALUE}
16 set flagMeaning(Result0) {Acts as query when no argument}
17 set flagMeaning(Result1) {Acts as query when has one argument}
18 set flagMeaning(SchemaReq) {Schema required - "main" is default}
19 set flagMeaning(SchemaOpt) {Schema restricts name search if present}
20 set flagMeaning(NoColumns) {OP_ResultRow called with zero columns}
21 set flagMeaning(NoColumns1) {zero columns if RHS argument is present}
23 set pragma_def {
24 NAME: full_column_names
25 TYPE: FLAG
26 ARG: SQLITE_FullColNames
27 IF: !defined(SQLITE_OMIT_FLAG_PRAGMAS)
29 NAME: short_column_names
30 TYPE: FLAG
31 ARG: SQLITE_ShortColNames
32 IF: !defined(SQLITE_OMIT_FLAG_PRAGMAS)
34 NAME: count_changes
35 TYPE: FLAG
36 ARG: SQLITE_CountRows
37 IF: !defined(SQLITE_OMIT_FLAG_PRAGMAS)
39 NAME: empty_result_callbacks
40 TYPE: FLAG
41 ARG: SQLITE_NullCallback
42 IF: !defined(SQLITE_OMIT_FLAG_PRAGMAS)
44 NAME: legacy_file_format
45 TYPE: FLAG
46 ARG: SQLITE_LegacyFileFmt
47 IF: !defined(SQLITE_OMIT_FLAG_PRAGMAS)
49 NAME: fullfsync
50 TYPE: FLAG
51 ARG: SQLITE_FullFSync
52 IF: !defined(SQLITE_OMIT_FLAG_PRAGMAS)
54 NAME: checkpoint_fullfsync
55 TYPE: FLAG
56 ARG: SQLITE_CkptFullFSync
57 IF: !defined(SQLITE_OMIT_FLAG_PRAGMAS)
59 NAME: cache_spill
60 FLAG: Result0 SchemaReq NoColumns1
61 IF: !defined(SQLITE_OMIT_FLAG_PRAGMAS)
63 NAME: reverse_unordered_selects
64 TYPE: FLAG
65 ARG: SQLITE_ReverseOrder
66 IF: !defined(SQLITE_OMIT_FLAG_PRAGMAS)
68 NAME: query_only
69 TYPE: FLAG
70 ARG: SQLITE_QueryOnly
71 IF: !defined(SQLITE_OMIT_FLAG_PRAGMAS)
73 NAME: automatic_index
74 TYPE: FLAG
75 ARG: SQLITE_AutoIndex
76 IF: !defined(SQLITE_OMIT_FLAG_PRAGMAS)
77 IF: !defined(SQLITE_OMIT_AUTOMATIC_INDEX)
79 NAME: sql_trace
80 TYPE: FLAG
81 ARG: SQLITE_SqlTrace
82 IF: !defined(SQLITE_OMIT_FLAG_PRAGMAS)
83 IF: defined(SQLITE_DEBUG)
85 NAME: vdbe_listing
86 TYPE: FLAG
87 ARG: SQLITE_VdbeListing
88 IF: !defined(SQLITE_OMIT_FLAG_PRAGMAS)
89 IF: defined(SQLITE_DEBUG)
91 NAME: vdbe_trace
92 TYPE: FLAG
93 ARG: SQLITE_VdbeTrace
94 IF: !defined(SQLITE_OMIT_FLAG_PRAGMAS)
95 IF: defined(SQLITE_DEBUG)
97 NAME: vdbe_addoptrace
98 TYPE: FLAG
99 ARG: SQLITE_VdbeAddopTrace
100 IF: !defined(SQLITE_OMIT_FLAG_PRAGMAS)
101 IF: defined(SQLITE_DEBUG)
103 NAME: vdbe_debug
104 TYPE: FLAG
105 ARG: SQLITE_SqlTrace|SQLITE_VdbeListing|SQLITE_VdbeTrace
106 IF: !defined(SQLITE_OMIT_FLAG_PRAGMAS)
107 IF: defined(SQLITE_DEBUG)
109 NAME: vdbe_eqp
110 TYPE: FLAG
111 ARG: SQLITE_VdbeEQP
112 IF: !defined(SQLITE_OMIT_FLAG_PRAGMAS)
113 IF: defined(SQLITE_DEBUG)
115 NAME: ignore_check_constraints
116 TYPE: FLAG
117 ARG: SQLITE_IgnoreChecks
118 IF: !defined(SQLITE_OMIT_FLAG_PRAGMAS)
119 IF: !defined(SQLITE_OMIT_CHECK)
121 NAME: writable_schema
122 TYPE: FLAG
123 ARG: SQLITE_WriteSchema|SQLITE_NoSchemaError
124 IF: !defined(SQLITE_OMIT_FLAG_PRAGMAS)
126 NAME: read_uncommitted
127 TYPE: FLAG
128 ARG: SQLITE_ReadUncommit
129 IF: !defined(SQLITE_OMIT_FLAG_PRAGMAS)
131 NAME: recursive_triggers
132 TYPE: FLAG
133 ARG: SQLITE_RecTriggers
134 IF: !defined(SQLITE_OMIT_FLAG_PRAGMAS)
136 NAME: foreign_keys
137 TYPE: FLAG
138 ARG: SQLITE_ForeignKeys
139 IF: !defined(SQLITE_OMIT_FLAG_PRAGMAS)
140 IF: !defined(SQLITE_OMIT_FOREIGN_KEY) && !defined(SQLITE_OMIT_TRIGGER)
142 NAME: defer_foreign_keys
143 TYPE: FLAG
144 ARG: SQLITE_DeferFKs
145 IF: !defined(SQLITE_OMIT_FLAG_PRAGMAS)
146 IF: !defined(SQLITE_OMIT_FOREIGN_KEY) && !defined(SQLITE_OMIT_TRIGGER)
148 NAME: cell_size_check
149 TYPE: FLAG
150 ARG: SQLITE_CellSizeCk
152 NAME: default_cache_size
153 FLAG: NeedSchema Result0 SchemaReq NoColumns1
154 COLS: cache_size
155 IF: !defined(SQLITE_OMIT_PAGER_PRAGMAS) && !defined(SQLITE_OMIT_DEPRECATED)
157 NAME: page_size
158 FLAG: Result0 SchemaReq NoColumns1
159 IF: !defined(SQLITE_OMIT_PAGER_PRAGMAS)
161 NAME: secure_delete
162 FLAG: Result0
163 IF: !defined(SQLITE_OMIT_PAGER_PRAGMAS)
165 NAME: page_count
166 FLAG: NeedSchema Result0 SchemaReq
167 IF: !defined(SQLITE_OMIT_PAGER_PRAGMAS)
169 NAME: max_page_count
170 TYPE: PAGE_COUNT
171 FLAG: NeedSchema Result0 SchemaReq
172 IF: !defined(SQLITE_OMIT_PAGER_PRAGMAS)
174 NAME: locking_mode
175 FLAG: Result0 SchemaReq
176 IF: !defined(SQLITE_OMIT_PAGER_PRAGMAS)
178 NAME: journal_mode
179 FLAG: NeedSchema Result0 SchemaReq
180 IF: !defined(SQLITE_OMIT_PAGER_PRAGMAS)
182 NAME: journal_size_limit
183 FLAG: Result0 SchemaReq
184 IF: !defined(SQLITE_OMIT_PAGER_PRAGMAS)
186 NAME: cache_size
187 FLAG: NeedSchema Result0 SchemaReq NoColumns1
188 IF: !defined(SQLITE_OMIT_PAGER_PRAGMAS)
190 NAME: mmap_size
191 IF: !defined(SQLITE_OMIT_PAGER_PRAGMAS)
193 NAME: auto_vacuum
194 FLAG: NeedSchema Result0 SchemaReq NoColumns1
195 IF: !defined(SQLITE_OMIT_AUTOVACUUM)
197 NAME: incremental_vacuum
198 FLAG: NeedSchema NoColumns
199 IF: !defined(SQLITE_OMIT_AUTOVACUUM)
201 NAME: temp_store
202 FLAG: Result0 NoColumns1
203 IF: !defined(SQLITE_OMIT_PAGER_PRAGMAS)
205 NAME: temp_store_directory
206 FLAG: NoColumns1
207 IF: !defined(SQLITE_OMIT_PAGER_PRAGMAS)
209 NAME: data_store_directory
210 FLAG: NoColumns1
211 IF: !defined(SQLITE_OMIT_PAGER_PRAGMAS) && SQLITE_OS_WIN
213 NAME: lock_proxy_file
214 FLAG: NoColumns1
215 IF: !defined(SQLITE_OMIT_PAGER_PRAGMAS) && SQLITE_ENABLE_LOCKING_STYLE
217 NAME: synchronous
218 FLAG: NeedSchema Result0 SchemaReq NoColumns1
219 IF: !defined(SQLITE_OMIT_PAGER_PRAGMAS)
221 NAME: table_info
222 FLAG: NeedSchema Result1 SchemaOpt
223 ARG: 0
224 COLS: cid name type notnull dflt_value pk
225 IF: !defined(SQLITE_OMIT_SCHEMA_PRAGMAS)
227 NAME: table_xinfo
228 TYPE: TABLE_INFO
229 FLAG: NeedSchema Result1 SchemaOpt
230 ARG: 1
231 COLS: cid name type notnull dflt_value pk hidden
232 IF: !defined(SQLITE_OMIT_SCHEMA_PRAGMAS)
234 NAME: stats
235 FLAG: NeedSchema Result0 SchemaReq
236 COLS: tbl idx wdth hght flgs
237 IF: !defined(SQLITE_OMIT_SCHEMA_PRAGMAS) && defined(SQLITE_DEBUG)
239 NAME: index_info
240 TYPE: INDEX_INFO
241 ARG: 0
242 FLAG: NeedSchema Result1 SchemaOpt
243 COLS: seqno cid name
244 IF: !defined(SQLITE_OMIT_SCHEMA_PRAGMAS)
246 NAME: index_xinfo
247 TYPE: INDEX_INFO
248 ARG: 1
249 FLAG: NeedSchema Result1 SchemaOpt
250 COLS: seqno cid name desc coll key
251 IF: !defined(SQLITE_OMIT_SCHEMA_PRAGMAS)
253 NAME: index_list
254 FLAG: NeedSchema Result1 SchemaOpt
255 COLS: seq name unique origin partial
256 IF: !defined(SQLITE_OMIT_SCHEMA_PRAGMAS)
258 NAME: database_list
259 FLAG: NeedSchema Result0
260 COLS: seq name file
261 IF: !defined(SQLITE_OMIT_SCHEMA_PRAGMAS)
263 NAME: function_list
264 FLAG: Result0
265 COLS: name builtin
266 IF: !defined(SQLITE_OMIT_SCHEMA_PRAGMAS)
267 IF: !defined(SQLITE_OMIT_INTROSPECTION_PRAGMAS)
269 NAME: module_list
270 FLAG: Result0
271 COLS: name
272 IF: !defined(SQLITE_OMIT_SCHEMA_PRAGMAS)
273 IF: !defined(SQLITE_OMIT_VIRTUALTABLE)
274 IF: !defined(SQLITE_OMIT_INTROSPECTION_PRAGMAS)
276 NAME: pragma_list
277 FLAG: Result0
278 COLS: name
279 IF: !defined(SQLITE_OMIT_INTROSPECTION_PRAGMAS)
281 NAME: collation_list
282 FLAG: Result0
283 COLS: seq name
284 IF: !defined(SQLITE_OMIT_SCHEMA_PRAGMAS)
286 NAME: foreign_key_list
287 FLAG: NeedSchema Result1 SchemaOpt
288 COLS: id seq table from to on_update on_delete match
289 IF: !defined(SQLITE_OMIT_FOREIGN_KEY)
291 NAME: foreign_key_check
292 FLAG: NeedSchema Result0
293 COLS: table rowid parent fkid
294 IF: !defined(SQLITE_OMIT_FOREIGN_KEY) && !defined(SQLITE_OMIT_TRIGGER)
296 NAME: parser_trace
297 TYPE: FLAG
298 ARG: SQLITE_ParserTrace
299 IF: !defined(SQLITE_OMIT_FLAG_PRAGMAS)
300 IF: defined(SQLITE_DEBUG)
302 NAME: case_sensitive_like
303 FLAG: NoColumns
304 IF: !defined(SQLITE_OMIT_CASE_SENSITIVE_LIKE_PRAGMA)
306 NAME: integrity_check
307 FLAG: NeedSchema Result0 Result1
308 IF: !defined(SQLITE_OMIT_INTEGRITY_CHECK)
310 NAME: quick_check
311 TYPE: INTEGRITY_CHECK
312 FLAG: NeedSchema Result0 Result1
313 IF: !defined(SQLITE_OMIT_INTEGRITY_CHECK)
315 NAME: encoding
316 FLAG: Result0 NoColumns1
317 IF: !defined(SQLITE_OMIT_UTF16)
319 NAME: schema_version
320 TYPE: HEADER_VALUE
321 ARG: BTREE_SCHEMA_VERSION
322 FLAG: NoColumns1 Result0
323 IF: !defined(SQLITE_OMIT_SCHEMA_VERSION_PRAGMAS)
325 NAME: user_version
326 TYPE: HEADER_VALUE
327 ARG: BTREE_USER_VERSION
328 FLAG: NoColumns1 Result0
329 IF: !defined(SQLITE_OMIT_SCHEMA_VERSION_PRAGMAS)
331 NAME: data_version
332 TYPE: HEADER_VALUE
333 ARG: BTREE_DATA_VERSION
334 FLAG: ReadOnly Result0
335 IF: !defined(SQLITE_OMIT_SCHEMA_VERSION_PRAGMAS)
337 NAME: freelist_count
338 TYPE: HEADER_VALUE
339 ARG: BTREE_FREE_PAGE_COUNT
340 FLAG: ReadOnly Result0
341 IF: !defined(SQLITE_OMIT_SCHEMA_VERSION_PRAGMAS)
343 NAME: application_id
344 TYPE: HEADER_VALUE
345 ARG: BTREE_APPLICATION_ID
346 FLAG: NoColumns1 Result0
347 IF: !defined(SQLITE_OMIT_SCHEMA_VERSION_PRAGMAS)
349 NAME: compile_options
350 FLAG: Result0
351 IF: !defined(SQLITE_OMIT_COMPILEOPTION_DIAGS)
353 NAME: wal_checkpoint
354 FLAG: NeedSchema
355 COLS: busy log checkpointed
356 IF: !defined(SQLITE_OMIT_WAL)
358 NAME: wal_autocheckpoint
359 IF: !defined(SQLITE_OMIT_WAL)
361 NAME: shrink_memory
362 FLAG: NoColumns
364 NAME: busy_timeout
365 FLAG: Result0
366 COLS: timeout
368 NAME: lock_status
369 FLAG: Result0
370 COLS: database status
371 IF: defined(SQLITE_DEBUG) || defined(SQLITE_TEST)
373 NAME: key
374 TYPE: KEY
375 ARG: 0
376 IF: defined(SQLITE_HAS_CODEC)
378 NAME: rekey
379 TYPE: KEY
380 ARG: 1
381 IF: defined(SQLITE_HAS_CODEC)
383 NAME: hexkey
384 TYPE: KEY
385 ARG: 2
386 IF: defined(SQLITE_HAS_CODEC)
388 NAME: hexrekey
389 TYPE: KEY
390 ARG: 3
391 IF: defined(SQLITE_HAS_CODEC)
393 NAME: textkey
394 TYPE: KEY
395 ARG: 4
396 IF: defined(SQLITE_HAS_CODEC)
398 NAME: textrekey
399 TYPE: KEY
400 ARG: 5
401 IF: defined(SQLITE_HAS_CODEC)
403 NAME: activate_extensions
404 IF: defined(SQLITE_HAS_CODEC) || defined(SQLITE_ENABLE_CEROD)
406 NAME: soft_heap_limit
407 FLAG: Result0
409 NAME: threads
410 FLAG: Result0
412 NAME: optimize
413 FLAG: Result1 NeedSchema
415 NAME: legacy_alter_table
416 TYPE: FLAG
417 ARG: SQLITE_LegacyAlter
418 IF: !defined(SQLITE_OMIT_FLAG_PRAGMAS)
421 # Open the output file
423 set destfile "[file dir [file dir [file normal $argv0]]]/src/pragma.h"
424 puts "Overwriting $destfile with new pragma table..."
425 set fd [open $destfile wb]
426 puts $fd {/* DO NOT EDIT!
427 ** This file is automatically generated by the script at
428 ** ../tool/mkpragmatab.tcl. To update the set of pragmas, edit
429 ** that script and rerun it.
432 # Parse the PRAGMA table above.
434 set name {}
435 set type {}
436 set if {}
437 set flags {}
438 set cols {}
439 set cols_list {}
440 set arg 0
441 proc record_one {} {
442 global name type if arg allbyname typebyif flags cols all_cols
443 global cols_list colUsedBy
444 if {$name==""} return
445 if {$cols!=""} {
446 if {![info exists all_cols($cols)]} {
447 set all_cols($cols) 1
448 lappend cols_list $cols
450 set cx $cols
451 lappend colUsedBy($cols) $name
452 } else {
453 set cx 0
455 set allbyname($name) [list $type $arg $if $flags $cols]
456 set name {}
457 set type {}
458 set if {}
459 set flags {}
460 set cols {}
461 set arg 0
463 foreach line [split $pragma_def \n] {
464 set line [string trim $line]
465 if {$line==""} continue
466 foreach {id val} [split $line :] break
467 set val [string trim $val]
468 if {$id=="NAME"} {
469 record_one
470 set name $val
471 set type [string toupper $val]
472 } elseif {$id=="TYPE"} {
473 set type $val
474 if {$type=="FLAG"} {
475 lappend flags Result0 NoColumns1
477 } elseif {$id=="ARG"} {
478 set arg $val
479 } elseif {$id=="COLS"} {
480 set cols $val
481 } elseif {$id=="IF"} {
482 lappend if $val
483 } elseif {$id=="FLAG"} {
484 foreach term [split $val] {
485 lappend flags $term
486 set allflags($term) 1
488 } else {
489 error "bad pragma_def line: $line"
492 record_one
493 set allnames [lsort [array names allbyname]]
495 # Generate #defines for all pragma type names. Group the pragmas that are
496 # omit in default builds (defined(SQLITE_DEBUG) and defined(SQLITE_HAS_CODEC))
497 # at the end.
499 puts $fd "\n/* The various pragma types */"
500 set pnum 0
501 foreach name $allnames {
502 set type [lindex $allbyname($name) 0]
503 if {[info exists seentype($type)]} continue
504 set if [lindex $allbyname($name) 2]
505 if {[regexp SQLITE_DEBUG $if] || [regexp SQLITE_HAS_CODEC $if]} continue
506 set seentype($type) 1
507 puts $fd [format {#define %-35s %4d} PragTyp_$type $pnum]
508 incr pnum
510 foreach name $allnames {
511 set type [lindex $allbyname($name) 0]
512 if {[info exists seentype($type)]} continue
513 set if [lindex $allbyname($name) 2]
514 if {[regexp SQLITE_DEBUG $if]} continue
515 set seentype($type) 1
516 puts $fd [format {#define %-35s %4d} PragTyp_$type $pnum]
517 incr pnum
519 foreach name $allnames {
520 set type [lindex $allbyname($name) 0]
521 if {[info exists seentype($type)]} continue
522 set seentype($type) 1
523 puts $fd [format {#define %-35s %4d} PragTyp_$type $pnum]
524 incr pnum
527 # Generate #defines for flags
529 puts $fd "\n/* Property flags associated with various pragma. */"
530 set fv 1
531 foreach f [lsort [array names allflags]] {
532 puts $fd [format {#define PragFlg_%-10s 0x%02x /* %s */} \
533 $f $fv $flagMeaning($f)]
534 set fv [expr {$fv*2}]
537 # Sort the column lists so that longer column lists occur first
539 proc colscmp {a b} {
540 return [expr {[llength $b] - [llength $a]}]
542 set cols_list [lsort -command colscmp $cols_list]
544 # Generate the array of column names used by pragmas that act like
545 # queries.
547 puts $fd "\n/* Names of columns for pragmas that return multi-column result"
548 puts $fd "** or that return single-column results where the name of the"
549 puts $fd "** result column is different from the name of the pragma\n*/"
550 puts $fd "static const char *const pragCName\[\] = {"
551 set offset 0
552 set allcollist {}
553 foreach cols $cols_list {
554 set n [llength $cols]
555 set limit [expr {[llength $allcollist] - $n}]
556 for {set i 0} {$i<$limit} {incr i} {
557 set sublist [lrange $allcollist $i [expr {$i+$n-1}]]
558 if {$sublist==$cols} {
559 puts $fd [format "%27s/* $colUsedBy($cols) reuses $i */" ""]
560 set cols_offset($cols) $i
561 break
564 if {$i<$limit} continue
565 set cols_offset($cols) $offset
566 set ub " /* Used by: $colUsedBy($cols) */"
567 foreach c $cols {
568 lappend allcollist $c
569 puts $fd [format " /* %3d */ %-14s%s" $offset \"$c\", $ub]
570 set ub ""
571 incr offset
574 puts $fd "\175;"
576 # Generate the lookup table
578 puts $fd "\n/* Definitions of all built-in pragmas */"
579 puts $fd "typedef struct PragmaName \173"
580 puts $fd " const char *const zName; /* Name of pragma */"
581 puts $fd " u8 ePragTyp; /* PragTyp_XXX value */"
582 puts $fd " u8 mPragFlg; /* Zero or more PragFlg_XXX values */"
583 puts $fd { u8 iPragCName; /* Start of column names in pragCName[] */}
584 puts $fd " u8 nPragCName; \
585 /* Num of col names. 0 means use pragma name */"
586 puts $fd " u64 iArg; /* Extra argument */"
587 puts $fd "\175 PragmaName;"
588 puts $fd "static const PragmaName aPragmaName\[\] = \173"
590 set current_if {}
591 set spacer [format { %26s } {}]
592 foreach name $allnames {
593 foreach {type arg if flag cx} $allbyname($name) break
594 if {$cx==0 || $cx==""} {
595 set cy 0
596 set nx 0
597 } else {
598 set cy $cols_offset($cx)
599 set nx [llength $cx]
601 if {$if!=$current_if} {
602 if {$current_if!=""} {
603 foreach this_if $current_if {
604 puts $fd "#endif"
607 set current_if $if
608 if {$current_if!=""} {
609 foreach this_if $current_if {
610 puts $fd "#if $this_if"
614 set typex [format PragTyp_%-23s $type,]
615 if {$flag==""} {
616 set flagx "0"
617 } else {
618 set flagx PragFlg_[join $flag {|PragFlg_}]
620 puts $fd " \173/* zName: */ \"$name\","
621 puts $fd " /* ePragTyp: */ PragTyp_$type,"
622 puts $fd " /* ePragFlg: */ $flagx,"
623 puts $fd " /* ColNames: */ $cy, $nx,"
624 puts $fd " /* iArg: */ $arg \175,"
626 if {$current_if!=""} {
627 foreach this_if $current_if {
628 puts $fd "#endif"
631 puts $fd "\175;"
633 # count the number of pragmas, for information purposes
635 set allcnt 0
636 set dfltcnt 0
637 foreach name $allnames {
638 incr allcnt
639 set if [lindex $allbyname($name) 2]
640 if {[regexp {^defined} $if] || [regexp {[^!]defined} $if]} continue
641 incr dfltcnt
643 puts $fd "/* Number of pragmas: $dfltcnt on by default, $allcnt total. */"