src/third_party/sqlite/src/tool/opcodeDoc.awk

   1 #
   2 # Extract opcode documentation for sqliteVdbe.c and generate HTML
   3 #
   4 BEGIN {
   5   print "<html><body bgcolor=white>"
   6   print "<h1>SQLite Virtual Database Engine Opcodes</h1>"
   7   print "<table>"
   8 }
   9 / Opcode: /,/\*\// {
  10   if( $2=="Opcode:" ){
  11     printf "<tr><td>%s&nbsp;%s&nbsp;%s&nbsp;%s</td>\n<td>\n", $3, $4, $5, $6
  12   }else if( $1=="*/" ){
  13     printf "</td></tr>\n"
  14   }else if( NF>1 ){
  15     sub(/^ *\*\* /,"")
  16     gsub(/</,"&lt;")
  17     gsub(/&/,"&amp;")
  18     print
  19   }
  20 }
  21 END {
  22   print "</table></body></html>"
  23 }