Home | History | Annotate | Download | only in tool 
      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 }
     24