opcodeDoc.awk 507 B

1234567891011121314151617181920212223
  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. }