# | |
# 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(/&/,"&") | |
} | |
} | |
END { | |
print "</table></body></html>" | |
} |