/ Hex Artifact Content
Login

Artifact 3cdc4bb2515fcfcbe853e3f0c91cd9199e82dadd:


0000: 23 0a 23 20 52 75 6e 20 74 68 69 73 20 54 63 6c  #.# Run this Tcl
0010: 20 73 63 72 69 70 74 20 74 6f 20 67 65 6e 65 72   script to gener
0020: 61 74 65 20 74 68 65 20 73 71 6c 69 74 65 2e 68  ate the sqlite.h
0030: 74 6d 6c 20 66 69 6c 65 2e 0a 23 0a 73 65 74 20  tml file..#.set 
0040: 72 63 73 69 64 20 7b 24 49 64 3a 20 6f 70 63 6f  rcsid {$Id: opco
0050: 64 65 2e 74 63 6c 2c 76 20 31 2e 32 20 32 30 30  de.tcl,v 1.2 200
0060: 30 2f 30 36 2f 30 39 20 31 34 3a 31 34 3a 33 34  0/06/09 14:14:34
0070: 20 64 72 68 20 45 78 70 20 24 7d 0a 0a 70 75 74   drh Exp $}..put
0080: 73 20 7b 3c 68 74 6d 6c 3e 0a 3c 68 65 61 64 3e  s {<html>.<head>
0090: 0a 20 20 3c 74 69 74 6c 65 3e 53 51 4c 69 74 65  .  <title>SQLite
00a0: 20 56 69 72 74 75 61 6c 20 4d 61 63 68 69 6e 65   Virtual Machine
00b0: 20 4f 70 63 6f 64 65 73 3c 2f 74 69 74 6c 65 3e   Opcodes</title>
00c0: 0a 3c 2f 68 65 61 64 3e 0a 3c 62 6f 64 79 20 62  .</head>.<body b
00d0: 67 63 6f 6c 6f 72 3d 77 68 69 74 65 3e 0a 3c 68  gcolor=white>.<h
00e0: 31 20 61 6c 69 67 6e 3d 63 65 6e 74 65 72 3e 0a  1 align=center>.
00f0: 53 51 4c 69 74 65 20 56 69 72 74 75 61 6c 20 4d  SQLite Virtual M
0100: 61 63 68 69 6e 65 20 4f 70 63 6f 64 65 73 0a 3c  achine Opcodes.<
0110: 2f 68 31 3e 7d 0a 70 75 74 73 20 22 3c 70 20 61  /h1>}.puts "<p a
0120: 6c 69 67 6e 3d 63 65 6e 74 65 72 3e 0a 28 54 68  lign=center>.(Th
0130: 69 73 20 70 61 67 65 20 77 61 73 20 6c 61 73 74  is page was last
0140: 20 6d 6f 64 69 66 69 65 64 20 6f 6e 20 5b 6c 72   modified on [lr
0150: 61 6e 67 65 20 24 72 63 73 69 64 20 33 20 34 5d  ange $rcsid 3 4]
0160: 20 47 4d 54 29 0a 3c 2f 70 3e 22 0a 0a 73 65 74   GMT).</p>"..set
0170: 20 66 64 20 5b 6f 70 65 6e 20 5b 6c 69 6e 64 65   fd [open [linde
0180: 78 20 24 61 72 67 76 20 30 5d 20 72 5d 0a 73 65  x $argv 0] r].se
0190: 74 20 66 69 6c 65 20 5b 72 65 61 64 20 24 66 64  t file [read $fd
01a0: 20 5b 66 69 6c 65 20 73 69 7a 65 20 5b 6c 69 6e   [file size [lin
01b0: 64 65 78 20 24 61 72 67 76 20 30 5d 5d 5d 0a 63  dex $argv 0]]].c
01c0: 6c 6f 73 65 20 24 66 64 0a 73 65 74 20 63 75 72  lose $fd.set cur
01d0: 72 65 6e 74 5f 6f 70 20 7b 7d 0a 66 6f 72 65 61  rent_op {}.forea
01e0: 63 68 20 6c 69 6e 65 20 5b 73 70 6c 69 74 20 24  ch line [split $
01f0: 66 69 6c 65 20 5c 6e 5d 20 7b 0a 20 20 73 65 74  file \n] {.  set
0200: 20 6c 69 6e 65 20 5b 73 74 72 69 6e 67 20 74 72   line [string tr
0210: 69 6d 20 24 6c 69 6e 65 5d 0a 20 20 69 66 20 7b  im $line].  if {
0220: 5b 73 74 72 69 6e 67 20 69 6e 64 65 78 20 24 6c  [string index $l
0230: 69 6e 65 20 31 5d 21 3d 22 2a 22 7d 20 7b 0a 20  ine 1]!="*"} {. 
0240: 20 20 20 73 65 74 20 63 75 72 72 65 6e 74 5f 6f     set current_o
0250: 70 20 7b 7d 0a 20 20 20 20 63 6f 6e 74 69 6e 75  p {}.    continu
0260: 65 0a 20 20 7d 0a 20 20 69 66 20 7b 5b 72 65 67  e.  }.  if {[reg
0270: 65 78 70 20 7b 5e 2f 5c 2a 20 4f 70 63 6f 64 65  exp {^/\* Opcode
0280: 3a 20 7d 20 24 6c 69 6e 65 5d 7d 20 7b 0a 20 20  : } $line]} {.  
0290: 20 20 73 65 74 20 63 75 72 72 65 6e 74 5f 6f 70    set current_op
02a0: 20 5b 6c 69 6e 64 65 78 20 24 6c 69 6e 65 20 32   [lindex $line 2
02b0: 5d 0a 20 20 20 20 73 65 74 20 4f 70 63 6f 64 65  ].    set Opcode
02c0: 28 24 63 75 72 72 65 6e 74 5f 6f 70 3a 61 72 67  ($current_op:arg
02d0: 73 29 20 5b 6c 72 61 6e 67 65 20 24 6c 69 6e 65  s) [lrange $line
02e0: 20 33 20 65 6e 64 5d 0a 20 20 20 20 6c 61 70 70   3 end].    lapp
02f0: 65 6e 64 20 4f 70 63 6f 64 65 4c 69 73 74 20 24  end OpcodeList $
0300: 63 75 72 72 65 6e 74 5f 6f 70 0a 20 20 20 20 63  current_op.    c
0310: 6f 6e 74 69 6e 75 65 0a 20 20 7d 0a 20 20 69 66  ontinue.  }.  if
0320: 20 7b 24 63 75 72 72 65 6e 74 5f 6f 70 3d 3d 22   {$current_op=="
0330: 22 7d 20 63 6f 6e 74 69 6e 75 65 0a 20 20 69 66  "} continue.  if
0340: 20 7b 5b 72 65 67 65 78 70 20 7b 5e 5c 2a 2f 7d   {[regexp {^\*/}
0350: 20 24 6c 69 6e 65 5d 7d 20 7b 0a 20 20 20 20 73   $line]} {.    s
0360: 65 74 20 63 75 72 72 65 6e 74 5f 6f 70 20 7b 7d  et current_op {}
0370: 0a 20 20 20 20 63 6f 6e 74 69 6e 75 65 0a 20 20  .    continue.  
0380: 7d 0a 20 20 73 65 74 20 6c 69 6e 65 20 5b 73 74  }.  set line [st
0390: 72 69 6e 67 20 74 72 69 6d 20 5b 73 74 72 69 6e  ring trim [strin
03a0: 67 20 72 61 6e 67 65 20 24 6c 69 6e 65 20 33 20  g range $line 3 
03b0: 65 6e 64 5d 5d 0a 20 20 69 66 20 7b 24 6c 69 6e  end]].  if {$lin
03c0: 65 3d 3d 22 22 7d 20 7b 0a 20 20 20 20 61 70 70  e==""} {.    app
03d0: 65 6e 64 20 4f 70 63 6f 64 65 28 24 63 75 72 72  end Opcode($curr
03e0: 65 6e 74 5f 6f 70 3a 74 65 78 74 29 20 5c 6e 3c  ent_op:text) \n<
03f0: 70 3e 0a 20 20 7d 20 65 6c 73 65 20 7b 0a 20 20  p>.  } else {.  
0400: 20 20 61 70 70 65 6e 64 20 4f 70 63 6f 64 65 28    append Opcode(
0410: 24 63 75 72 72 65 6e 74 5f 6f 70 3a 74 65 78 74  $current_op:text
0420: 29 20 5c 6e 24 6c 69 6e 65 0a 20 20 7d 0a 7d 0a  ) \n$line.  }.}.
0430: 75 6e 73 65 74 20 66 69 6c 65 0a 0a 70 75 74 73  unset file..puts
0440: 20 7b 0a 3c 68 32 3e 49 6e 74 72 6f 64 75 63 74   {.<h2>Introduct
0450: 69 6f 6e 3c 2f 68 32 3e 0a 0a 3c 70 3e 49 6e 20  ion</h2>..<p>In 
0460: 6f 72 64 65 72 20 74 6f 20 65 78 65 63 75 74 65  order to execute
0470: 20 61 6e 20 53 51 4c 20 73 74 61 74 65 6d 65 6e   an SQL statemen
0480: 74 2c 20 74 68 65 20 53 51 4c 69 74 65 20 6c 69  t, the SQLite li
0490: 62 72 61 72 79 20 66 69 72 73 74 20 70 61 72 73  brary first pars
04a0: 65 73 0a 74 68 65 20 53 51 4c 2c 20 61 6e 61 6c  es.the SQL, anal
04b0: 79 7a 65 73 20 74 68 65 20 73 74 61 74 65 6d 65  yzes the stateme
04c0: 6e 74 2c 20 74 68 65 6e 20 67 65 6e 65 72 61 74  nt, then generat
04d0: 65 73 20 61 20 73 68 6f 72 74 20 70 72 6f 67 72  es a short progr
04e0: 61 6d 20 74 6f 20 65 78 65 63 75 74 65 0a 74 68  am to execute.th
04f0: 65 20 73 74 61 74 65 6d 65 6e 74 2e 20 20 54 68  e statement.  Th
0500: 65 20 70 72 6f 67 72 61 6d 20 69 73 20 67 65 6e  e program is gen
0510: 65 72 61 74 65 64 20 66 6f 72 20 61 20 22 76 69  erated for a "vi
0520: 72 74 75 61 6c 20 6d 61 63 68 69 6e 65 22 20 69  rtual machine" i
0530: 6d 70 6c 65 6d 65 6e 74 65 64 0a 62 79 20 74 68  mplemented.by th
0540: 65 20 53 51 4c 69 74 65 20 6c 69 62 72 61 72 79  e SQLite library
0550: 2e 20 20 54 68 69 73 20 64 6f 63 75 6d 65 6e 74  .  This document
0560: 20 64 65 73 63 72 69 62 65 73 20 74 68 65 20 6f   describes the o
0570: 70 65 72 61 74 69 6f 6e 20 6f 66 20 74 68 61 74  peration of that
0580: 0a 76 69 72 74 75 61 6c 20 6d 61 63 68 69 6e 65  .virtual machine
0590: 2e 3c 2f 70 3e 0a 0a 3c 70 3e 54 68 65 20 73 6f  .</p>..<p>The so
05a0: 75 72 63 65 20 63 6f 64 65 20 74 6f 20 74 68 65  urce code to the
05b0: 20 76 69 72 74 75 61 6c 20 6d 61 63 68 69 6e 65   virtual machine
05c0: 20 69 73 20 69 6e 20 74 68 65 20 3c 62 3e 76 64   is in the <b>vd
05d0: 62 65 2e 63 3c 2f 62 3e 20 73 6f 75 72 63 65 0a  be.c</b> source.
05e0: 66 69 6c 65 2e 20 20 41 6c 6c 20 6f 66 20 74 68  file.  All of th
05f0: 65 20 6f 70 63 6f 64 65 20 64 65 66 69 6e 69 74  e opcode definit
0600: 69 6f 6e 73 20 66 75 72 74 68 65 72 20 64 6f 77  ions further dow
0610: 6e 20 69 6e 20 74 68 69 73 20 64 6f 63 75 6d 65  n in this docume
0620: 6e 74 20 61 72 65 0a 63 6f 6e 74 61 69 6e 65 64  nt are.contained
0630: 20 69 6e 20 63 6f 6d 6d 65 6e 74 73 20 69 6e 20   in comments in 
0640: 74 68 65 20 73 6f 75 72 63 65 20 66 69 6c 65 2e  the source file.
0650: 20 20 49 6e 20 66 61 63 74 2c 20 74 68 65 20 6f    In fact, the o
0660: 70 63 6f 64 65 20 74 61 62 6c 65 0a 69 6e 20 74  pcode table.in t
0670: 68 69 73 20 64 6f 63 75 6d 65 6e 74 0a 77 61 73  his document.was
0680: 20 67 65 6e 65 72 61 74 65 64 20 62 79 20 73 63   generated by sc
0690: 61 6e 6e 69 6e 67 20 74 68 65 20 3c 62 3e 76 64  anning the <b>vd
06a0: 62 65 2e 63 3c 2f 62 3e 20 73 6f 75 72 63 65 20  be.c</b> source 
06b0: 66 69 6c 65 20 0a 61 6e 64 20 65 78 74 72 61 63  file .and extrac
06c0: 74 69 6e 67 20 74 68 65 20 6e 65 63 65 73 73 61  ting the necessa
06d0: 72 79 20 69 6e 66 6f 72 6d 61 74 69 6f 6e 20 66  ry information f
06e0: 72 6f 6d 20 63 6f 6d 6d 65 6e 74 73 2e 20 20 53  rom comments.  S
06f0: 6f 20 74 68 65 20 0a 73 6f 75 72 63 65 20 63 6f  o the .source co
0700: 64 65 20 63 6f 6d 6d 65 6e 74 73 20 61 72 65 20  de comments are 
0710: 72 65 61 6c 6c 79 20 74 68 65 20 63 61 6e 6f 6e  really the canon
0720: 69 63 61 6c 20 73 6f 75 72 63 65 20 6f 66 20 69  ical source of i
0730: 6e 66 6f 72 6d 61 74 69 6f 6e 0a 61 62 6f 75 74  nformation.about
0740: 20 74 68 65 20 76 69 72 74 75 61 6c 20 6d 61 63   the virtual mac
0750: 63 68 69 6e 65 2e 20 20 57 68 65 6e 20 69 6e 20  chine.  When in 
0760: 64 6f 75 62 74 2c 20 72 65 66 65 72 20 74 6f 20  doubt, refer to 
0770: 74 68 65 20 73 6f 75 72 63 65 20 63 6f 64 65 2e  the source code.
0780: 3c 2f 70 3e 0a 0a 3c 70 3e 45 61 63 68 20 69 6e  </p>..<p>Each in
0790: 73 74 72 75 63 74 69 6f 6e 20 69 6e 20 74 68 65  struction in the
07a0: 20 76 69 72 74 75 61 6c 20 6d 61 63 68 69 6e 65   virtual machine
07b0: 20 63 6f 6e 73 69 73 74 73 20 6f 66 20 61 6e 20   consists of an 
07c0: 6f 70 63 6f 64 65 20 61 6e 64 0a 75 70 20 74 6f  opcode and.up to
07d0: 20 74 68 72 65 65 20 6f 70 65 72 61 6e 64 73 20   three operands 
07e0: 6e 61 6d 65 64 20 50 31 2c 20 50 32 20 61 6e 64  named P1, P2 and
07f0: 20 50 33 2e 20 20 50 31 20 6d 61 79 20 62 65 20   P3.  P1 may be 
0800: 61 6e 20 61 72 62 69 74 72 61 72 79 0a 69 6e 74  an arbitrary.int
0810: 65 67 65 72 2e 20 20 50 32 20 6d 75 73 74 20 62  eger.  P2 must b
0820: 65 20 61 20 6e 6f 6e 2d 6e 65 67 61 74 69 76 65  e a non-negative
0830: 20 69 6e 74 65 67 65 72 2e 20 20 50 32 20 69 73   integer.  P2 is
0840: 20 61 6c 77 61 79 73 20 74 68 65 0a 6a 75 6d 70   always the.jump
0850: 20 64 65 73 74 69 6e 61 74 69 6f 6e 20 69 6e 20   destination in 
0860: 61 6e 79 20 6f 70 65 72 61 74 69 6f 6e 20 74 68  any operation th
0870: 61 74 20 6d 69 67 68 74 20 63 61 75 73 65 20 61  at might cause a
0880: 20 6a 75 6d 70 2e 0a 50 33 20 69 73 20 61 20 6e   jump..P3 is a n
0890: 75 6c 6c 2d 74 65 72 6d 69 6e 61 74 65 64 0a 73  ull-terminated.s
08a0: 74 72 69 6e 67 20 6f 72 20 4e 55 4c 4c 2e 20 20  tring or NULL.  
08b0: 53 6f 6d 65 20 6f 70 65 72 61 74 6f 72 73 20 75  Some operators u
08c0: 73 65 20 61 6c 6c 20 74 68 72 65 65 20 6f 70 65  se all three ope
08d0: 72 61 6e 64 73 2e 20 20 53 6f 6d 65 20 75 73 65  rands.  Some use
08e0: 0a 6f 6e 65 20 6f 72 20 74 77 6f 2e 20 20 53 6f  .one or two.  So
08f0: 6d 65 20 6f 70 65 72 61 74 6f 72 73 20 75 73 65  me operators use
0900: 20 6e 6f 6e 65 20 6f 66 20 74 68 65 20 6f 70 65   none of the ope
0910: 72 61 6e 64 73 2e 3c 70 3e 0a 0a 3c 70 3e 54 68  rands.<p>..<p>Th
0920: 65 20 76 69 72 74 75 61 6c 20 6d 61 63 68 69 6e  e virtual machin
0930: 65 20 62 65 67 69 6e 73 20 65 78 65 63 75 74 69  e begins executi
0940: 6f 6e 20 6f 6e 20 69 6e 73 74 72 75 63 74 69 6f  on on instructio
0950: 6e 20 6e 75 6d 62 65 72 20 30 2e 0a 45 78 65 63  n number 0..Exec
0960: 75 74 69 6f 6e 20 63 6f 6e 74 69 6e 75 65 73 20  ution continues 
0970: 75 6e 74 69 6c 20 28 31 29 20 61 20 48 61 6c 74  until (1) a Halt
0980: 20 69 6e 73 74 72 75 63 74 69 6f 6e 20 69 73 20   instruction is 
0990: 73 65 65 6e 2c 20 6f 72 20 0a 28 32 29 20 74 68  seen, or .(2) th
09a0: 65 20 70 72 6f 67 72 61 6d 20 63 6f 75 6e 74 65  e program counte
09b0: 72 20 62 65 63 6f 6d 65 73 20 6f 6e 65 20 67 72  r becomes one gr
09c0: 65 61 74 65 72 20 74 68 61 6e 20 74 68 65 20 61  eater than the a
09d0: 64 64 72 65 73 73 20 6f 66 0a 6c 61 73 74 20 69  ddress of.last i
09e0: 6e 73 74 72 75 63 74 69 6f 6e 2c 20 6f 72 20 28  nstruction, or (
09f0: 33 29 20 74 68 65 72 65 20 69 73 20 61 6e 20 65  3) there is an e
0a00: 78 65 63 75 74 69 6f 6e 20 65 72 72 6f 72 2e 0a  xecution error..
0a10: 57 68 65 6e 20 74 68 65 20 76 69 72 74 75 61 6c  When the virtual
0a20: 20 6d 61 63 68 69 6e 65 20 68 61 6c 74 73 2c 20   machine halts, 
0a30: 61 6c 6c 20 6d 65 6d 6f 72 79 0a 74 68 61 74 20  all memory.that 
0a40: 69 74 20 61 6c 6c 6f 63 61 74 65 64 20 69 73 20  it allocated is 
0a50: 72 65 6c 65 61 73 65 64 20 61 6e 64 20 61 6c 6c  released and all
0a60: 20 64 61 74 61 62 61 73 65 20 66 69 6c 65 73 20   database files 
0a70: 69 74 20 6d 61 79 0a 68 61 76 65 20 68 61 64 20  it may.have had 
0a80: 6f 70 65 6e 20 61 72 65 20 63 6c 6f 73 65 64 2e  open are closed.
0a90: 3c 2f 70 3e 0a 0a 3c 70 3e 54 68 65 20 76 69 72  </p>..<p>The vir
0aa0: 74 75 61 6c 20 6d 61 63 68 69 6e 65 20 61 6c 73  tual machine als
0ab0: 6f 20 63 6f 6e 74 61 69 6e 73 20 61 6e 20 6f 70  o contains an op
0ac0: 65 72 61 6e 64 20 73 74 61 63 6b 20 6f 66 20 75  erand stack of u
0ad0: 6e 6c 69 6d 69 74 65 64 0a 64 65 70 74 68 2e 20  nlimited.depth. 
0ae0: 20 4d 61 6e 79 20 6f 66 20 74 68 65 20 6f 70 63   Many of the opc
0af0: 6f 64 65 73 20 75 73 65 20 6f 70 65 72 61 6e 64  odes use operand
0b00: 73 20 66 72 6f 6d 20 74 68 65 20 73 74 61 63 6b  s from the stack
0b10: 2e 20 20 53 65 65 20 74 68 65 0a 69 6e 64 69 76  .  See the.indiv
0b20: 69 64 75 61 6c 20 6f 70 63 6f 64 65 20 64 65 73  idual opcode des
0b30: 63 72 69 70 74 69 6f 6e 73 20 66 6f 72 20 64 65  criptions for de
0b40: 74 61 69 6c 73 2e 3c 2f 70 3e 0a 0a 3c 70 3e 54  tails.</p>..<p>T
0b50: 68 65 20 76 69 72 74 75 61 6c 20 6d 61 63 68 69  he virtual machi
0b60: 6e 65 20 63 61 6e 20 68 61 76 65 20 7a 65 72 6f  ne can have zero
0b70: 20 6f 72 20 6d 6f 72 65 20 63 75 72 73 6f 72 73   or more cursors
0b80: 2e 20 20 45 61 63 68 20 63 75 72 73 6f 72 0a 69  .  Each cursor.i
0b90: 73 20 61 20 70 6f 69 6e 74 65 72 20 69 6e 74 6f  s a pointer into
0ba0: 20 61 20 73 69 6e 67 6c 65 20 47 44 42 4d 20 66   a single GDBM f
0bb0: 69 6c 65 2e 20 20 54 68 65 72 65 20 63 61 6e 20  ile.  There can 
0bc0: 62 65 20 6d 75 6c 74 69 70 6c 65 0a 63 75 72 73  be multiple.curs
0bd0: 6f 72 73 20 70 6f 69 6e 74 69 6e 67 20 61 74 20  ors pointing at 
0be0: 74 68 65 20 73 61 6d 65 20 66 69 6c 65 2e 0a 41  the same file..A
0bf0: 6c 6c 20 63 75 72 73 6f 72 73 20 6f 70 65 72 61  ll cursors opera
0c00: 74 65 20 69 6e 64 65 70 65 6e 64 65 6e 74 6c 79  te independently
0c10: 2c 20 65 76 65 6e 20 63 75 72 73 6f 72 73 20 70  , even cursors p
0c20: 6f 69 6e 74 69 6e 67 20 74 6f 20 74 68 65 20 73  ointing to the s
0c30: 61 6d 65 20 66 69 6c 65 2e 0a 54 68 65 20 6f 6e  ame file..The on
0c40: 6c 79 20 77 61 79 20 66 6f 72 20 74 68 65 20 76  ly way for the v
0c50: 69 72 74 75 61 6c 20 6d 61 63 68 69 6e 65 20 74  irtual machine t
0c60: 6f 20 69 6e 74 65 72 61 63 74 20 77 69 74 68 20  o interact with 
0c70: 61 20 47 44 42 4d 0a 66 69 6c 65 20 69 73 20 74  a GDBM.file is t
0c80: 68 72 6f 75 67 68 20 61 20 63 75 72 73 6f 72 2e  hrough a cursor.
0c90: 0a 49 6e 73 74 72 75 63 74 69 6f 6e 73 20 69 6e  .Instructions in
0ca0: 20 74 68 65 20 76 69 72 74 75 61 6c 0a 6d 61 63   the virtual.mac
0cb0: 68 69 6e 65 20 63 61 6e 20 63 72 65 61 74 65 20  hine can create 
0cc0: 61 20 6e 65 77 20 63 75 72 73 6f 72 20 28 4f 70  a new cursor (Op
0cd0: 65 6e 29 2c 20 72 65 61 64 20 64 61 74 61 20 66  en), read data f
0ce0: 72 6f 6d 20 61 20 63 75 72 73 6f 72 0a 28 46 69  rom a cursor.(Fi
0cf0: 65 6c 64 29 2c 20 61 64 76 61 6e 63 65 20 74 68  eld), advance th
0d00: 65 20 63 75 72 73 6f 72 20 74 6f 20 74 68 65 20  e cursor to the 
0d10: 6e 65 78 74 20 65 6e 74 72 79 20 69 6e 20 74 68  next entry in th
0d20: 65 20 47 44 42 4d 20 66 69 6c 65 0a 28 4e 65 78  e GDBM file.(Nex
0d30: 74 29 2c 20 61 6e 64 20 6d 61 6e 79 20 6f 74 68  t), and many oth
0d40: 65 72 20 6f 70 65 72 61 74 69 6f 6e 73 2e 20 20  er operations.  
0d50: 41 6c 6c 20 63 75 72 73 6f 72 73 20 61 72 65 20  All cursors are 
0d60: 61 75 74 6f 6d 61 74 69 63 61 6c 6c 79 0a 63 6c  automatically.cl
0d70: 6f 73 65 64 20 77 68 65 6e 20 74 68 65 20 76 69  osed when the vi
0d80: 72 74 75 61 6c 20 6d 61 63 68 69 6e 65 20 74 65  rtual machine te
0d90: 72 6d 69 6e 61 74 65 73 2e 3c 2f 70 3e 0a 0a 3c  rminates.</p>..<
0da0: 70 3e 54 68 65 20 76 69 72 74 75 61 6c 20 6d 61  p>The virtual ma
0db0: 63 68 69 6e 65 20 63 6f 6e 74 61 69 6e 73 20 61  chine contains a
0dc0: 6e 20 61 72 62 69 74 72 61 72 79 20 6e 75 6d 62  n arbitrary numb
0dd0: 65 72 20 6f 66 20 66 69 78 65 64 20 6d 65 6d 6f  er of fixed memo
0de0: 72 79 0a 6c 6f 63 61 74 69 6f 6e 73 20 77 69 74  ry.locations wit
0df0: 68 20 61 64 64 72 65 73 73 65 73 20 62 65 67 69  h addresses begi
0e00: 6e 6e 69 6e 67 20 61 74 20 7a 65 72 6f 20 61 6e  nning at zero an
0e10: 64 20 67 72 6f 77 69 6e 67 20 75 70 77 61 72 64  d growing upward
0e20: 2e 0a 45 61 63 68 20 6d 65 6d 6f 72 79 20 6c 6f  ..Each memory lo
0e30: 63 61 74 69 6f 6e 20 63 61 6e 20 68 6f 6c 64 20  cation can hold 
0e40: 61 6e 20 61 72 62 69 74 72 61 72 79 20 73 74 72  an arbitrary str
0e50: 69 6e 67 2e 20 20 54 68 65 20 6d 65 6d 6f 72 79  ing.  The memory
0e60: 0a 63 65 6c 6c 73 20 61 72 65 20 74 79 70 69 63  .cells are typic
0e70: 61 6c 6c 79 20 75 73 65 64 20 74 6f 20 68 6f 6c  ally used to hol
0e80: 64 20 74 68 65 20 72 65 73 75 6c 74 20 6f 66 20  d the result of 
0e90: 61 20 73 63 61 6c 61 72 20 53 45 4c 45 43 54 0a  a scalar SELECT.
0ea0: 74 68 61 74 20 69 73 20 70 61 72 74 20 6f 66 20  that is part of 
0eb0: 61 20 6c 61 72 67 65 72 20 65 78 70 72 65 73 73  a larger express
0ec0: 69 6f 6e 2e 3c 2f 70 3e 0a 0a 3c 70 3e 54 68 65  ion.</p>..<p>The
0ed0: 20 76 69 72 74 75 61 6c 20 6d 61 63 68 69 6e 65   virtual machine
0ee0: 20 63 6f 6e 74 61 69 6e 73 20 61 6e 20 61 72 62   contains an arb
0ef0: 69 74 72 61 72 79 20 6e 75 6d 62 65 72 20 6f 66  itrary number of
0f00: 20 73 6f 72 74 65 72 73 2e 0a 45 61 63 68 20 73   sorters..Each s
0f10: 6f 72 74 65 72 20 69 73 20 61 62 6c 65 20 74 6f  orter is able to
0f20: 20 61 63 63 75 6d 75 6c 61 74 65 20 72 65 63 6f   accumulate reco
0f30: 72 64 73 2c 20 73 6f 72 74 20 74 68 6f 73 65 20  rds, sort those 
0f40: 72 65 63 6f 72 64 73 2c 0a 74 68 65 6e 20 70 6c  records,.then pl
0f50: 61 79 20 74 68 65 20 72 65 63 6f 72 64 73 20 62  ay the records b
0f60: 61 63 6b 20 69 6e 20 73 6f 72 74 65 64 20 6f 72  ack in sorted or
0f70: 64 65 72 2e 20 20 53 6f 72 74 65 72 73 20 61 72  der.  Sorters ar
0f80: 65 20 75 73 65 64 0a 74 6f 20 69 6d 70 6c 65 6d  e used.to implem
0f90: 65 6e 74 20 74 68 65 20 4f 52 44 45 52 20 42 59  ent the ORDER BY
0fa0: 20 63 6c 61 75 73 65 20 6f 66 20 61 20 53 45 4c   clause of a SEL
0fb0: 45 43 54 20 73 74 61 74 65 6d 65 6e 74 2e 20 20  ECT statement.  
0fc0: 54 68 65 0a 66 61 63 74 20 74 68 61 74 20 74 68  The.fact that th
0fd0: 65 20 76 69 72 74 75 61 6c 20 6d 61 63 68 69 6e  e virtual machin
0fe0: 65 20 61 6c 6c 6f 77 73 20 6d 75 6c 74 69 70 6c  e allows multipl
0ff0: 65 20 73 6f 72 74 65 72 73 20 69 73 20 61 6e 0a  e sorters is an.
1000: 68 69 73 74 6f 72 69 63 61 6c 20 61 63 63 69 64  historical accid
1010: 65 6e 74 2e 20 20 49 6e 20 70 72 61 63 74 69 63  ent.  In practic
1020: 65 20 6e 6f 20 6d 6f 72 65 20 74 68 61 6e 20 6f  e no more than o
1030: 6e 65 20 73 6f 72 74 65 72 0a 28 73 6f 72 74 65  ne sorter.(sorte
1040: 72 20 6e 75 6d 62 65 72 20 30 29 20 65 76 65 72  r number 0) ever
1050: 20 67 65 74 73 20 75 73 65 64 2e 3c 2f 70 3e 0a   gets used.</p>.
1060: 0a 3c 70 3e 54 68 65 20 76 69 72 74 75 61 6c 20  .<p>The virtual 
1070: 6d 61 63 68 69 6e 65 20 6d 61 79 20 63 6f 6e 74  machine may cont
1080: 61 69 6e 20 61 6e 20 61 72 62 69 74 72 61 72 79  ain an arbitrary
1090: 20 6e 75 6d 62 65 72 20 6f 66 20 22 4c 69 73 74   number of "List
10a0: 73 22 2e 0a 45 61 63 68 20 6c 69 73 74 20 73 74  s"..Each list st
10b0: 6f 72 65 73 20 61 20 6c 69 73 74 20 6f 66 20 69  ores a list of i
10c0: 6e 74 65 67 65 72 73 2e 20 20 4c 69 73 74 73 20  ntegers.  Lists 
10d0: 61 72 65 20 75 73 65 64 20 74 6f 20 68 6f 6c 64  are used to hold
10e0: 20 74 68 65 0a 47 44 42 4d 20 6b 65 79 73 20 66   the.GDBM keys f
10f0: 6f 72 20 72 65 63 6f 72 64 73 20 6f 66 20 61 20  or records of a 
1100: 47 44 42 4d 20 66 69 6c 65 20 74 68 61 74 20 6e  GDBM file that n
1110: 65 65 64 73 20 74 6f 20 62 65 20 6d 6f 64 69 66  eeds to be modif
1120: 69 65 64 2e 0a 28 53 65 65 20 74 68 65 20 3c 61  ied..(See the <a
1130: 20 68 72 65 66 3d 22 66 69 6c 65 66 6f 72 6d 61   href="fileforma
1140: 74 2e 68 74 6d 6c 22 3e 66 69 6c 65 20 66 6f 72  t.html">file for
1150: 6d 61 74 3c 2f 61 3e 20 64 65 73 63 72 69 70 74  mat</a> descript
1160: 69 6f 6e 20 66 6f 72 0a 6d 6f 72 65 20 69 6e 66  ion for.more inf
1170: 6f 72 6d 61 74 69 6f 6e 20 6f 6e 20 47 44 42 4d  ormation on GDBM
1180: 20 6b 65 79 73 20 69 6e 20 53 51 4c 69 74 65 20   keys in SQLite 
1190: 74 61 62 6c 65 20 66 69 6c 65 73 2e 29 0a 54 68  table files.).Th
11a0: 65 20 57 48 45 52 45 20 63 6c 61 75 73 65 20 6f  e WHERE clause o
11b0: 66 20 61 6e 20 55 50 44 41 54 45 20 6f 72 20 44  f an UPDATE or D
11c0: 45 4c 45 54 45 20 73 74 61 74 65 6d 65 6e 74 20  ELETE statement 
11d0: 73 63 61 6e 73 20 74 68 72 6f 75 67 68 0a 74 68  scans through.th
11e0: 65 20 74 61 62 6c 65 20 61 6e 64 20 77 72 69 74  e table and writ
11f0: 65 73 20 74 68 65 20 47 44 42 4d 20 6b 65 79 20  es the GDBM key 
1200: 6f 66 20 65 76 65 72 79 20 72 65 63 6f 72 64 20  of every record 
1210: 74 6f 20 62 65 20 6d 6f 64 69 66 69 65 64 0a 69  to be modified.i
1220: 6e 74 6f 20 61 20 6c 69 73 74 2e 20 20 54 68 65  nto a list.  The
1230: 6e 20 74 68 65 20 6c 69 73 74 20 69 73 20 70 6c  n the list is pl
1240: 61 79 65 64 20 62 61 63 6b 20 61 6e 64 20 74 68  ayed back and th
1250: 65 20 74 61 62 6c 65 20 69 73 20 6d 6f 64 69 66  e table is modif
1260: 69 65 64 0a 69 6e 20 61 20 73 65 70 61 72 61 74  ied.in a separat
1270: 65 20 73 74 65 70 2e 20 20 49 74 20 69 73 20 6e  e step.  It is n
1280: 65 63 65 73 73 61 72 79 20 74 6f 20 64 6f 20 74  ecessary to do t
1290: 68 69 73 20 69 6e 20 74 77 6f 20 73 74 65 70 73  his in two steps
12a0: 20 73 69 6e 63 65 0a 6d 61 6b 69 6e 67 20 61 20   since.making a 
12b0: 63 68 61 6e 67 65 20 74 6f 20 61 20 47 44 42 4d  change to a GDBM
12c0: 20 66 69 6c 65 20 63 61 6e 20 61 6c 74 65 72 20   file can alter 
12d0: 74 68 65 20 73 63 61 6e 20 6f 72 64 65 72 2e 3c  the scan order.<
12e0: 2f 70 3e 0a 0a 3c 70 3e 54 68 65 20 76 69 72 74  /p>..<p>The virt
12f0: 75 61 6c 20 6d 61 63 68 69 6e 65 20 63 61 6e 20  ual machine can 
1300: 63 6f 6e 74 61 69 6e 20 61 6e 20 61 72 62 69 74  contain an arbit
1310: 72 61 72 79 20 6e 75 6d 62 65 72 20 6f 66 20 22  rary number of "
1320: 53 65 74 73 22 2e 0a 45 61 63 68 20 73 65 74 20  Sets"..Each set 
1330: 68 6f 6c 64 73 20 61 6e 20 61 72 62 69 74 72 61  holds an arbitra
1340: 72 79 20 6e 75 6d 62 65 72 20 6f 66 20 73 74 72  ry number of str
1350: 69 6e 67 73 2e 20 20 53 65 74 73 20 61 72 65 20  ings.  Sets are 
1360: 75 73 65 64 20 74 6f 0a 69 6d 70 6c 65 6d 65 6e  used to.implemen
1370: 74 20 74 68 65 20 49 4e 20 6f 70 65 72 61 74 6f  t the IN operato
1380: 72 20 77 69 74 68 20 61 20 63 6f 6e 73 74 61 6e  r with a constan
1390: 74 20 72 69 67 68 74 2d 68 61 6e 64 20 73 69 64  t right-hand sid
13a0: 65 2e 3c 2f 70 3e 0a 0a 3c 70 3e 54 68 65 20 76  e.</p>..<p>The v
13b0: 69 72 74 75 61 6c 20 6d 61 63 68 69 6e 65 20 63  irtual machine c
13c0: 61 6e 20 6f 70 65 6e 20 61 20 73 69 6e 67 6c 65  an open a single
13d0: 20 65 78 74 65 72 6e 61 6c 20 66 69 6c 65 20 66   external file f
13e0: 6f 72 20 72 65 61 64 69 6e 67 2e 0a 54 68 69 73  or reading..This
13f0: 20 65 78 74 65 72 6e 61 6c 20 72 65 61 64 20 66   external read f
1400: 69 6c 65 20 69 73 20 75 73 65 64 20 74 6f 20 69  ile is used to i
1410: 6d 70 6c 65 6d 65 6e 74 20 74 68 65 20 43 4f 50  mplement the COP
1420: 59 20 63 6f 6d 6d 61 6e 64 2e 3c 2f 70 3e 0a 0a  Y command.</p>..
1430: 3c 70 3e 46 69 6e 61 6c 6c 79 2c 20 74 68 65 20  <p>Finally, the 
1440: 76 69 72 74 75 61 6c 20 6d 61 63 68 69 6e 65 20  virtual machine 
1450: 63 61 6e 20 68 61 76 65 20 61 20 73 69 6e 67 6c  can have a singl
1460: 65 20 73 65 74 20 6f 66 20 61 67 67 72 65 67 61  e set of aggrega
1470: 74 6f 72 73 2e 0a 41 6e 20 61 67 67 72 65 67 61  tors..An aggrega
1480: 74 6f 72 20 69 73 20 61 20 64 65 76 69 63 65 20  tor is a device 
1490: 75 73 65 64 20 74 6f 20 69 6d 70 6c 65 6d 65 6e  used to implemen
14a0: 74 20 74 68 65 20 47 52 4f 55 50 20 42 59 20 63  t the GROUP BY c
14b0: 6c 61 75 73 65 0a 6f 66 20 61 20 53 45 4c 45 43  lause.of a SELEC
14c0: 54 2e 20 20 41 6e 20 61 67 67 72 65 67 61 74 6f  T.  An aggregato
14d0: 72 20 68 61 73 20 6f 6e 65 20 6f 72 20 6d 6f 72  r has one or mor
14e0: 65 20 73 6c 6f 74 73 20 74 68 61 74 20 63 61 6e  e slots that can
14f0: 20 68 6f 6c 64 0a 76 61 6c 75 65 73 20 62 65 69   hold.values bei
1500: 6e 67 20 65 78 74 72 61 63 74 65 64 20 62 79 20  ng extracted by 
1510: 74 68 65 20 73 65 6c 65 63 74 2e 20 20 54 68 65  the select.  The
1520: 20 6e 75 6d 62 65 72 20 6f 66 20 73 6c 6f 74 73   number of slots
1530: 20 69 73 20 74 68 65 0a 73 61 6d 65 20 66 6f 72   is the.same for
1540: 20 61 6c 6c 20 61 67 67 72 65 67 61 74 6f 72 73   all aggregators
1550: 20 61 6e 64 20 69 73 20 64 65 66 69 6e 65 64 20   and is defined 
1560: 62 79 20 74 68 65 20 41 67 67 52 65 73 65 74 20  by the AggReset 
1570: 6f 70 65 72 61 74 69 6f 6e 2e 0a 41 74 20 61 6e  operation..At an
1580: 79 20 70 6f 69 6e 74 20 69 6e 20 74 69 6d 65 20  y point in time 
1590: 61 20 73 69 6e 67 6c 65 20 61 67 67 72 65 67 61  a single aggrega
15a0: 74 6f 72 20 69 73 20 63 75 72 72 65 6e 74 20 6f  tor is current o
15b0: 72 20 22 68 61 73 20 66 6f 63 75 73 22 2e 0a 54  r "has focus"..T
15c0: 68 65 72 65 20 61 72 65 20 6f 70 65 72 61 74 69  here are operati
15d0: 6f 6e 73 20 74 6f 20 72 65 61 64 20 6f 72 20 77  ons to read or w
15e0: 72 69 74 65 20 74 6f 20 6d 65 6d 6f 72 79 20 73  rite to memory s
15f0: 6c 6f 74 73 20 6f 66 20 74 68 65 20 61 67 67 72  lots of the aggr
1600: 65 67 61 74 6f 72 0a 69 6e 20 66 6f 63 75 73 2e  egator.in focus.
1610: 20 20 54 68 65 72 65 20 61 72 65 20 61 6c 73 6f    There are also
1620: 20 6f 70 65 72 61 74 69 6f 6e 73 20 74 6f 20 63   operations to c
1630: 68 61 6e 67 65 20 74 68 65 20 66 6f 63 75 73 20  hange the focus 
1640: 61 67 67 72 65 67 61 74 6f 72 0a 61 6e 64 20 74  aggregator.and t
1650: 6f 20 73 63 61 6e 20 74 68 72 6f 75 67 68 20 61  o scan through a
1660: 6c 6c 20 61 67 67 72 65 67 61 74 6f 72 73 2e 3c  ll aggregators.<
1670: 2f 70 3e 0a 0a 3c 68 32 3e 56 69 65 77 69 6e 67  /p>..<h2>Viewing
1680: 20 50 72 6f 67 72 61 6d 73 20 47 65 6e 65 72 61   Programs Genera
1690: 74 65 64 20 42 79 20 53 51 4c 69 74 65 3c 2f 68  ted By SQLite</h
16a0: 32 3e 0a 0a 3c 70 3e 45 76 65 72 79 20 53 51 4c  2>..<p>Every SQL
16b0: 20 73 74 61 74 65 6d 65 6e 74 20 74 68 61 74 20   statement that 
16c0: 53 51 4c 69 74 65 20 69 6e 74 65 72 70 72 65 74  SQLite interpret
16d0: 73 20 72 65 73 75 6c 74 73 20 69 6e 20 61 20 70  s results in a p
16e0: 72 6f 67 72 61 6d 0a 66 6f 72 20 74 68 65 20 76  rogram.for the v
16f0: 69 72 74 75 61 6c 20 6d 61 63 68 69 6e 65 2e 20  irtual machine. 
1700: 20 42 75 74 20 69 66 20 79 6f 75 20 70 72 65 63   But if you prec
1710: 65 64 65 20 74 68 65 20 53 51 4c 20 73 74 61 74  ede the SQL stat
1720: 65 6d 65 6e 74 20 77 69 74 68 0a 74 68 65 20 6b  ement with.the k
1730: 65 79 77 6f 72 64 20 22 45 58 50 4c 41 49 4e 22  eyword "EXPLAIN"
1740: 20 74 68 65 20 76 69 72 74 75 61 6c 20 6d 61 63   the virtual mac
1750: 68 69 6e 65 20 77 69 6c 6c 20 6e 6f 74 20 65 78  hine will not ex
1760: 65 63 75 74 65 20 74 68 65 0a 70 72 6f 67 72 61  ecute the.progra
1770: 6d 2e 20 20 49 6e 73 74 65 61 64 2c 20 74 68 65  m.  Instead, the
1780: 20 69 6e 73 74 72 75 63 74 69 6f 6e 73 20 6f 66   instructions of
1790: 20 74 68 65 20 70 72 6f 67 72 61 6d 20 77 69 6c   the program wil
17a0: 6c 20 62 65 20 72 65 74 75 72 6e 65 64 0a 6c 69  l be returned.li
17b0: 6b 65 20 61 20 71 75 65 72 79 20 72 65 73 75 6c  ke a query resul
17c0: 74 2e 20 20 54 68 69 73 20 66 65 61 74 75 72 65  t.  This feature
17d0: 20 69 73 20 75 73 65 66 75 6c 20 66 6f 72 20 64   is useful for d
17e0: 65 62 75 67 67 69 6e 67 20 61 6e 64 0a 66 6f 72  ebugging and.for
17f0: 20 6c 65 61 72 6e 69 6e 67 20 68 6f 77 20 74 68   learning how th
1800: 65 20 76 69 72 74 75 61 6c 20 6d 61 63 68 69 6e  e virtual machin
1810: 65 20 6f 70 65 72 61 74 65 73 2e 3c 2f 70 3e 0a  e operates.</p>.
1820: 0a 3c 70 3e 59 6f 75 20 63 61 6e 20 75 73 65 20  .<p>You can use 
1830: 74 68 65 20 3c 62 3e 73 71 6c 69 74 65 3c 2f 62  the <b>sqlite</b
1840: 3e 20 63 6f 6d 6d 61 6e 64 2d 6c 69 6e 65 20 74  > command-line t
1850: 6f 6f 6c 20 74 6f 20 73 65 65 20 74 68 65 0a 69  ool to see the.i
1860: 6e 73 74 72 75 63 74 69 6f 6e 73 20 67 65 6e 65  nstructions gene
1870: 72 61 74 65 64 20 62 79 20 61 6e 20 53 51 4c 20  rated by an SQL 
1880: 73 74 61 74 65 6d 65 6e 74 2e 20 20 54 68 65 20  statement.  The 
1890: 66 6f 6c 6c 6f 77 69 6e 67 20 69 73 0a 61 6e 20  following is.an 
18a0: 65 78 61 6d 70 6c 65 3a 3c 2f 70 3e 7d 0a 0a 0a  example:</p>}...
18b0: 70 72 6f 63 20 43 6f 64 65 20 7b 62 6f 64 79 7d  proc Code {body}
18c0: 20 7b 0a 20 20 70 75 74 73 20 7b 3c 62 6c 6f 63   {.  puts {<bloc
18d0: 6b 71 75 6f 74 65 3e 3c 70 72 65 3e 7d 0a 20 20  kquote><pre>}.  
18e0: 72 65 67 73 75 62 20 2d 61 6c 6c 20 7b 26 7d 20  regsub -all {&} 
18f0: 5b 73 74 72 69 6e 67 20 74 72 69 6d 20 24 62 6f  [string trim $bo
1900: 64 79 5d 20 7b 5c 26 61 6d 70 3b 7d 20 62 6f 64  dy] {\&amp;} bod
1910: 79 0a 20 20 72 65 67 73 75 62 20 2d 61 6c 6c 20  y.  regsub -all 
1920: 7b 3e 7d 20 24 62 6f 64 79 20 7b 5c 26 67 74 3b  {>} $body {\&gt;
1930: 7d 20 62 6f 64 79 0a 20 20 72 65 67 73 75 62 20  } body.  regsub 
1940: 2d 61 6c 6c 20 7b 3c 7d 20 24 62 6f 64 79 20 7b  -all {<} $body {
1950: 5c 26 6c 74 3b 7d 20 62 6f 64 79 0a 20 20 72 65  \&lt;} body.  re
1960: 67 73 75 62 20 2d 61 6c 6c 20 7b 5c 28 5c 28 5c  gsub -all {\(\(\
1970: 28 7d 20 24 62 6f 64 79 20 7b 3c 66 6f 6e 74 20  (} $body {<font 
1980: 63 6f 6c 6f 72 3d 22 23 30 30 36 37 31 66 22 3e  color="#00671f">
1990: 3c 69 3e 7d 20 62 6f 64 79 0a 20 20 72 65 67 73  <i>} body.  regs
19a0: 75 62 20 2d 61 6c 6c 20 7b 5c 29 5c 29 5c 29 7d  ub -all {\)\)\)}
19b0: 20 24 62 6f 64 79 20 7b 3c 2f 69 3e 3c 2f 66 6f   $body {</i></fo
19c0: 6e 74 3e 7d 20 62 6f 64 79 0a 20 20 70 75 74 73  nt>} body.  puts
19d0: 20 24 62 6f 64 79 0a 20 20 70 75 74 73 20 7b 3c   $body.  puts {<
19e0: 2f 70 72 65 3e 3c 2f 62 6c 6f 63 6b 71 75 6f 74  /pre></blockquot
19f0: 65 3e 7d 0a 7d 0a 0a 43 6f 64 65 20 7b 0a 24 20  e>}.}..Code {.$ 
1a00: 28 28 28 73 71 6c 69 74 65 20 65 78 31 29 29 29  (((sqlite ex1)))
1a10: 0a 73 71 6c 69 74 65 3e 20 28 28 28 2e 65 78 70  .sqlite> (((.exp
1a20: 6c 61 69 6e 29 29 29 0a 73 71 6c 69 74 65 3e 20  lain))).sqlite> 
1a30: 28 28 28 65 78 70 6c 61 69 6e 20 64 65 6c 65 74  (((explain delet
1a40: 65 20 66 72 6f 6d 20 74 62 6c 31 20 77 68 65 72  e from tbl1 wher
1a50: 65 20 74 77 6f 3c 32 30 3b 29 29 29 0a 61 64 64  e two<20;))).add
1a60: 72 20 20 6f 70 63 6f 64 65 20 20 20 20 20 20 20  r  opcode       
1a70: 20 70 31 20 20 20 20 20 70 32 20 20 20 20 20 70   p1     p2     p
1a80: 33 20 20 20 20 20 20 20 20 20 20 0a 2d 2d 2d 2d  3          .----
1a90: 20 20 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 20 20    ------------  
1aa0: 2d 2d 2d 2d 2d 20 20 2d 2d 2d 2d 2d 20 20 2d 2d  -----  -----  --
1ab0: 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d  ----------------
1ac0: 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d  ----------------
1ad0: 2d 2d 2d 20 20 20 0a 30 20 20 20 20 20 4c 69 73  ---   .0     Lis
1ae0: 74 4f 70 65 6e 20 20 20 20 20 20 30 20 20 20 20  tOpen      0    
1af0: 20 20 30 20 20 20 20 20 20 20 20 20 20 20 20 20    0             
1b00: 20 20 20 20 20 0a 31 20 20 20 20 20 4f 70 65 6e       .1     Open
1b10: 20 20 20 20 20 20 20 20 20 20 30 20 20 20 20 20            0     
1b20: 20 31 20 20 20 20 20 20 74 62 6c 31 20 20 20 20   1      tbl1    
1b30: 20 20 20 20 0a 32 20 20 20 20 20 4e 65 78 74 20      .2     Next 
1b40: 20 20 20 20 20 20 20 20 20 30 20 20 20 20 20 20           0      
1b50: 39 20 20 20 20 20 20 20 20 20 20 20 20 20 20 20  9               
1b60: 20 20 20 0a 33 20 20 20 20 20 46 69 65 6c 64 20     .3     Field 
1b70: 20 20 20 20 20 20 20 20 30 20 20 20 20 20 20 31          0      1
1b80: 20 20 20 20 20 20 20 20 20 20 20 20 20 20 20 20                  
1b90: 20 20 0a 34 20 20 20 20 20 49 6e 74 65 67 65 72    .4     Integer
1ba0: 20 20 20 20 20 20 20 32 30 20 20 20 20 20 30 20         20     0 
1bb0: 20 20 20 20 20 20 20 20 20 20 20 20 20 20 20 20                  
1bc0: 20 0a 35 20 20 20 20 20 47 65 20 20 20 20 20 20   .5     Ge      
1bd0: 20 20 20 20 20 20 30 20 20 20 20 20 20 32 20 20        0      2  
1be0: 20 20 20 20 20 20 20 20 20 20 20 20 20 20 20 20                  
1bf0: 0a 36 20 20 20 20 20 4b 65 79 20 20 20 20 20 20  .6     Key      
1c00: 20 20 20 20 20 30 20 20 20 20 20 20 30 20 20 20       0      0   
1c10: 20 20 20 20 20 20 20 20 20 20 20 20 20 20 20 0a                 .
1c20: 37 20 20 20 20 20 4c 69 73 74 57 72 69 74 65 20  7     ListWrite 
1c30: 20 20 20 20 30 20 20 20 20 20 20 30 20 20 20 20      0      0    
1c40: 20 20 20 20 20 20 20 20 20 20 20 20 20 20 0a 38                .8
1c50: 20 20 20 20 20 47 6f 74 6f 20 20 20 20 20 20 20       Goto       
1c60: 20 20 20 30 20 20 20 20 20 20 32 20 20 20 20 20     0      2     
1c70: 20 20 20 20 20 20 20 20 20 20 20 20 20 0a 39 20               .9 
1c80: 20 20 20 20 4e 6f 6f 70 20 20 20 20 20 20 20 20      Noop        
1c90: 20 20 30 20 20 20 20 20 20 30 20 20 20 20 20 20    0      0      
1ca0: 20 20 20 20 20 20 20 20 20 20 20 20 0a 31 30 20              .10 
1cb0: 20 20 20 4c 69 73 74 52 65 77 69 6e 64 20 20 20     ListRewind   
1cc0: 20 30 20 20 20 20 20 20 30 20 20 20 20 20 20 20   0      0       
1cd0: 20 20 20 20 20 20 20 20 20 20 20 0a 31 31 20 20             .11  
1ce0: 20 20 4c 69 73 74 52 65 61 64 20 20 20 20 20 20    ListRead      
1cf0: 30 20 20 20 20 20 20 31 34 20 20 20 20 20 20 20  0      14       
1d00: 20 20 20 20 20 20 20 20 20 20 0a 31 32 20 20 20            .12   
1d10: 20 44 65 6c 65 74 65 20 20 20 20 20 20 20 20 30   Delete        0
1d20: 20 20 20 20 20 20 30 20 20 20 20 20 20 20 20 20        0         
1d30: 20 20 20 20 20 20 20 20 20 0a 31 33 20 20 20 20           .13    
1d40: 47 6f 74 6f 20 20 20 20 20 20 20 20 20 20 30 20  Goto          0 
1d50: 20 20 20 20 20 31 31 20 20 20 20 20 20 20 20 20       11         
1d60: 20 20 20 20 20 20 20 20 0a 31 34 20 20 20 20 4c          .14    L
1d70: 69 73 74 43 6c 6f 73 65 20 20 20 20 20 30 20 20  istClose     0  
1d80: 20 20 20 20 30 20 20 20 20 20 20 20 20 20 20 20      0           
1d90: 20 20 20 20 20 20 20 0a 7d 0a 0a 70 75 74 73 20         .}..puts 
1da0: 7b 0a 3c 70 3e 41 6c 6c 20 79 6f 75 20 68 61 76  {.<p>All you hav
1db0: 65 20 74 6f 20 64 6f 20 69 73 20 61 64 64 20 74  e to do is add t
1dc0: 68 65 20 22 45 58 50 4c 41 49 4e 22 20 6b 65 79  he "EXPLAIN" key
1dd0: 77 6f 72 64 20 74 6f 20 74 68 65 20 66 72 6f 6e  word to the fron
1de0: 74 20 6f 66 20 74 68 65 0a 53 51 4c 20 73 74 61  t of the.SQL sta
1df0: 74 65 6d 65 6e 74 2e 20 20 42 75 74 20 69 66 20  tement.  But if 
1e00: 79 6f 75 20 75 73 65 20 74 68 65 20 22 2e 65 78  you use the ".ex
1e10: 70 6c 61 69 6e 22 20 63 6f 6d 6d 61 6e 64 20 74  plain" command t
1e20: 6f 20 3c 62 3e 73 71 6c 69 74 65 3c 2f 62 3e 0a  o <b>sqlite</b>.
1e30: 66 69 72 73 74 2c 20 69 74 20 77 69 6c 6c 20 73  first, it will s
1e40: 65 74 20 75 70 20 74 68 65 20 6f 75 74 70 75 74  et up the output
1e50: 20 6d 6f 64 65 20 74 6f 20 6d 61 6b 65 20 74 68   mode to make th
1e60: 65 20 70 72 6f 67 72 61 6d 20 6d 6f 72 65 20 65  e program more e
1e70: 61 73 69 6c 79 0a 76 69 65 77 61 62 6c 65 2e 3c  asily.viewable.<
1e80: 2f 70 3e 0a 0a 3c 70 3e 49 66 20 3c 62 3e 73 71  /p>..<p>If <b>sq
1e90: 6c 69 74 65 3c 2f 62 3e 20 68 61 73 20 62 65 65  lite</b> has bee
1ea0: 6e 20 63 6f 6d 70 69 6c 65 64 20 77 69 74 68 6f  n compiled witho
1eb0: 75 74 20 74 68 65 20 22 2d 44 4e 44 45 42 55 47  ut the "-DNDEBUG
1ec0: 3d 31 22 20 6f 70 74 69 6f 6e 0a 28 74 68 61 74  =1" option.(that
1ed0: 20 69 73 2c 20 77 69 74 68 20 74 68 65 20 4e 44   is, with the ND
1ee0: 45 42 55 47 20 70 72 65 70 72 6f 63 65 73 73 6f  EBUG preprocesso
1ef0: 72 20 6d 61 63 72 6f 20 6e 6f 74 20 64 65 66 69  r macro not defi
1f00: 6e 65 64 29 20 74 68 65 6e 20 79 6f 75 0a 63 61  ned) then you.ca
1f10: 6e 20 70 75 74 20 74 68 65 20 53 51 4c 69 74 65  n put the SQLite
1f20: 20 76 69 72 74 75 61 6c 20 6d 61 63 68 69 6e 65   virtual machine
1f30: 20 69 6e 20 61 20 6d 6f 64 65 20 77 68 65 72 65   in a mode where
1f40: 20 69 74 20 77 69 6c 6c 20 74 72 61 63 65 20 69   it will trace i
1f50: 74 73 0a 65 78 65 63 75 74 69 6f 6e 20 62 79 20  ts.execution by 
1f60: 77 72 69 74 69 6e 67 20 6d 65 73 73 61 67 65 73  writing messages
1f70: 20 74 6f 20 73 74 61 6e 64 61 72 64 20 6f 75 74   to standard out
1f80: 70 75 74 2e 20 20 54 68 65 72 65 20 61 72 65 20  put.  There are 
1f90: 73 70 65 63 69 61 6c 0a 63 6f 6d 6d 65 6e 74 73  special.comments
1fa0: 20 74 6f 20 74 75 72 6e 20 74 72 61 63 69 6e 67   to turn tracing
1fb0: 20 6f 6e 20 61 6e 64 20 6f 66 66 2e 20 20 55 73   on and off.  Us
1fc0: 65 20 74 68 65 20 3c 62 3e 2d 2d 76 64 62 65 2d  e the <b>--vdbe-
1fd0: 74 72 61 63 65 2d 6f 6e 2d 2d 3c 2f 62 3e 0a 63  trace-on--</b>.c
1fe0: 6f 6d 6d 65 6e 74 20 74 6f 20 74 75 72 6e 20 74  omment to turn t
1ff0: 72 61 63 69 6e 67 20 6f 6e 20 61 6e 64 20 74 68  racing on and th
2000: 65 20 3c 62 3e 2d 2d 76 64 62 65 2d 74 72 61 63  e <b>--vdbe-trac
2010: 65 2d 6f 66 66 2d 2d 3c 2f 62 3e 20 63 6f 6d 6d  e-off--</b> comm
2020: 65 6e 74 0a 74 6f 20 74 75 72 6e 20 74 72 61 63  ent.to turn trac
2030: 69 6e 67 20 62 61 63 6b 20 6f 66 66 2e 3c 2f 70  ing back off.</p
2040: 3e 0a 0a 3c 68 32 3e 54 68 65 20 4f 70 63 6f 64  >..<h2>The Opcod
2050: 65 73 3c 2f 68 32 3e 0a 7d 0a 0a 70 75 74 73 20  es</h2>.}..puts 
2060: 22 3c 70 3e 54 68 65 72 65 20 61 72 65 20 63 75  "<p>There are cu
2070: 72 72 65 6e 74 6c 79 20 5b 6c 6c 65 6e 67 74 68  rrently [llength
2080: 20 24 4f 70 63 6f 64 65 4c 69 73 74 5d 20 6f 70   $OpcodeList] op
2090: 63 6f 64 65 73 20 64 65 66 69 6e 65 64 20 62 79  codes defined by
20a0: 0a 74 68 65 20 76 69 72 74 75 61 6c 20 6d 61 63  .the virtual mac
20b0: 68 69 6e 65 2e 22 0a 70 75 74 73 20 7b 41 6c 6c  hine.".puts {All
20c0: 20 63 75 72 72 65 6e 74 6c 79 20 64 65 66 69 6e   currently defin
20d0: 65 64 20 6f 70 63 6f 64 65 73 20 61 72 65 20 64  ed opcodes are d
20e0: 65 73 63 72 69 62 65 64 20 69 6e 20 74 68 65 20  escribed in the 
20f0: 74 61 62 6c 65 20 62 65 6c 6f 77 2e 0a 54 68 69  table below..Thi
2100: 73 20 74 61 62 6c 65 20 77 61 73 20 67 65 6e 65  s table was gene
2110: 72 61 74 65 64 20 61 75 74 6f 6d 61 74 69 63 61  rated automatica
2120: 6c 6c 79 20 62 79 20 73 63 61 6e 6e 69 6e 67 20  lly by scanning 
2130: 74 68 65 20 73 6f 75 72 63 65 20 63 6f 64 65 0a  the source code.
2140: 66 72 6f 6d 20 74 68 65 20 66 69 6c 65 20 3c 62  from the file <b
2150: 3e 76 64 62 65 2e 63 3c 2f 62 3e 2e 3c 2f 70 3e  >vdbe.c</b>.</p>
2160: 7d 0a 0a 70 75 74 73 20 7b 0a 3c 70 3e 3c 74 61  }..puts {.<p><ta
2170: 62 6c 65 20 63 65 6c 6c 73 70 61 63 69 6e 67 3d  ble cellspacing=
2180: 22 31 22 20 62 6f 72 64 65 72 3d 22 31 22 20 63  "1" border="1" c
2190: 65 6c 6c 70 61 64 64 69 6e 67 3d 22 31 30 22 3e  ellpadding="10">
21a0: 0a 3c 74 72 3e 3c 74 68 3e 4f 70 63 6f 64 65 26  .<tr><th>Opcode&
21b0: 6e 62 73 70 3b 4e 61 6d 65 3c 2f 74 68 3e 3c 74  nbsp;Name</th><t
21c0: 68 3e 44 65 73 63 72 69 70 74 69 6f 6e 3c 2f 74  h>Description</t
21d0: 68 3e 3c 2f 74 72 3e 7d 0a 66 6f 72 65 61 63 68  h></tr>}.foreach
21e0: 20 6f 70 20 5b 6c 73 6f 72 74 20 2d 64 69 63 74   op [lsort -dict
21f0: 69 6f 6e 61 72 79 20 24 4f 70 63 6f 64 65 4c 69  ionary $OpcodeLi
2200: 73 74 5d 20 7b 0a 20 20 70 75 74 73 20 7b 3c 74  st] {.  puts {<t
2210: 72 3e 3c 74 64 20 76 61 6c 69 67 6e 3d 22 74 6f  r><td valign="to
2220: 70 22 20 61 6c 69 67 6e 3d 22 63 65 6e 74 65 72  p" align="center
2230: 22 3e 7d 0a 20 20 70 75 74 73 20 22 24 6f 70 22  ">}.  puts "$op"
2240: 0a 20 20 70 75 74 73 20 22 3c 74 64 3e 5b 73 74  .  puts "<td>[st
2250: 72 69 6e 67 20 74 72 69 6d 20 24 4f 70 63 6f 64  ring trim $Opcod
2260: 65 28 24 6f 70 3a 74 65 78 74 29 5d 3c 2f 74 64  e($op:text)]</td
2270: 3e 3c 2f 74 72 3e 22 0a 7d 0a 70 75 74 73 20 7b  ></tr>".}.puts {
2280: 3c 2f 74 61 62 6c 65 3e 3c 2f 70 3e 7d 0a 0a 70  </table></p>}..p
2290: 75 74 73 20 7b 0a 3c 70 3e 3c 68 72 20 2f 3e 3c  uts {.<p><hr /><
22a0: 2f 70 3e 0a 3c 70 3e 3c 61 20 68 72 65 66 3d 22  /p>.<p><a href="
22b0: 69 6e 64 65 78 2e 68 74 6d 6c 22 3e 3c 69 6d 67  index.html"><img
22c0: 20 73 72 63 3d 22 2f 67 6f 62 61 63 6b 2e 6a 70   src="/goback.jp
22d0: 67 22 20 62 6f 72 64 65 72 3d 30 20 2f 3e 0a 42  g" border=0 />.B
22e0: 61 63 6b 20 74 6f 20 74 68 65 20 53 51 4c 69 74  ack to the SQLit
22f0: 65 20 48 6f 6d 65 20 50 61 67 65 3c 2f 61 3e 0a  e Home Page</a>.
2300: 3c 2f 70 3e 0a 0a 3c 2f 62 6f 64 79 3e 3c 2f 68  </p>..</body></h
2310: 74 6d 6c 3e 7d 0a                                tml>}.