Index: third_party/sqlite/sqlite-src-3070603/tool/opcodeDoc.awk
|
diff --git a/third_party/sqlite/sqlite-src-3070603/tool/opcodeDoc.awk b/third_party/sqlite/sqlite-src-3070603/tool/opcodeDoc.awk
|
new file mode 100644
|
index 0000000000000000000000000000000000000000..492010624fd776b00cf3e30ac5abfa69295b6eba
|
--- /dev/null
|
+++ b/third_party/sqlite/sqlite-src-3070603/tool/opcodeDoc.awk
|
@@ -0,0 +1,23 @@
|
+#
|
+# Extract opcode documentation for sqliteVdbe.c and generate HTML
|
+#
|
+BEGIN {
|
+ print "<html><body bgcolor=white>"
|
+ print "<h1>SQLite Virtual Database Engine Opcodes</h1>"
|
+ print "<table>"
|
+}
|
+/ Opcode: /,/\*\// {
|
+ if( $2=="Opcode:" ){
|
+ printf "<tr><td>%s %s %s %s</td>\n<td>\n", $3, $4, $5, $6
|
+ }else if( $1=="*/" ){
|
+ printf "</td></tr>\n"
|
+ }else if( NF>1 ){
|
+ sub(/^ *\*\* /,"")
|
+ gsub(/</,"<")
|
+ gsub(/&/,"&")
|
+ print
|
+ }
|
+}
|
+END {
|
+ print "</table></body></html>"
|
+}
|
|