Annotation of embedaddon/php/ext/sqlite/libsqlite/src/vdbeInt.h, revision 1.1.1.1
1.1 misho 1: /*
2: ** 2003 September 6
3: **
4: ** The author disclaims copyright to this source code. In place of
5: ** a legal notice, here is a blessing:
6: **
7: ** May you do good and not evil.
8: ** May you find forgiveness for yourself and forgive others.
9: ** May you share freely, never taking more than you give.
10: **
11: *************************************************************************
12: ** This is the header file for information that is private to the
13: ** VDBE. This information used to all be at the top of the single
14: ** source code file "vdbe.c". When that file became too big (over
15: ** 6000 lines long) it was split up into several smaller files and
16: ** this header information was factored out.
17: */
18:
19: /*
20: ** When converting from the native format to the key format and back
21: ** again, in addition to changing the byte order we invert the high-order
22: ** bit of the most significant byte. This causes negative numbers to
23: ** sort before positive numbers in the memcmp() function.
24: */
25: #define keyToInt(X) (sqliteVdbeByteSwap(X) ^ 0x80000000)
26: #define intToKey(X) (sqliteVdbeByteSwap((X) ^ 0x80000000))
27:
28: /*
29: ** The makefile scans this source file and creates the following
30: ** array of string constants which are the names of all VDBE opcodes.
31: ** This array is defined in a separate source code file named opcode.c
32: ** which is automatically generated by the makefile.
33: */
34: extern char *sqliteOpcodeNames[];
35:
36: /*
37: ** SQL is translated into a sequence of instructions to be
38: ** executed by a virtual machine. Each instruction is an instance
39: ** of the following structure.
40: */
41: typedef struct VdbeOp Op;
42:
43: /*
44: ** Boolean values
45: */
46: typedef unsigned char Bool;
47:
48: /*
49: ** A cursor is a pointer into a single BTree within a database file.
50: ** The cursor can seek to a BTree entry with a particular key, or
51: ** loop over all entries of the Btree. You can also insert new BTree
52: ** entries or retrieve the key or data from the entry that the cursor
53: ** is currently pointing to.
54: **
55: ** Every cursor that the virtual machine has open is represented by an
56: ** instance of the following structure.
57: **
58: ** If the Cursor.isTriggerRow flag is set it means that this cursor is
59: ** really a single row that represents the NEW or OLD pseudo-table of
60: ** a row trigger. The data for the row is stored in Cursor.pData and
61: ** the rowid is in Cursor.iKey.
62: */
63: struct Cursor {
64: BtCursor *pCursor; /* The cursor structure of the backend */
65: int lastRecno; /* Last recno from a Next or NextIdx operation */
66: int nextRowid; /* Next rowid returned by OP_NewRowid */
67: Bool recnoIsValid; /* True if lastRecno is valid */
68: Bool keyAsData; /* The OP_Column command works on key instead of data */
69: Bool atFirst; /* True if pointing to first entry */
70: Bool useRandomRowid; /* Generate new record numbers semi-randomly */
71: Bool nullRow; /* True if pointing to a row with no data */
72: Bool nextRowidValid; /* True if the nextRowid field is valid */
73: Bool pseudoTable; /* This is a NEW or OLD pseudo-tables of a trigger */
74: Bool deferredMoveto; /* A call to sqliteBtreeMoveto() is needed */
75: int movetoTarget; /* Argument to the deferred sqliteBtreeMoveto() */
76: Btree *pBt; /* Separate file holding temporary table */
77: int nData; /* Number of bytes in pData */
78: char *pData; /* Data for a NEW or OLD pseudo-table */
79: int iKey; /* Key for the NEW or OLD pseudo-table row */
80: };
81: typedef struct Cursor Cursor;
82:
83: /*
84: ** A sorter builds a list of elements to be sorted. Each element of
85: ** the list is an instance of the following structure.
86: */
87: typedef struct Sorter Sorter;
88: struct Sorter {
89: int nKey; /* Number of bytes in the key */
90: char *zKey; /* The key by which we will sort */
91: int nData; /* Number of bytes in the data */
92: char *pData; /* The data associated with this key */
93: Sorter *pNext; /* Next in the list */
94: };
95:
96: /*
97: ** Number of buckets used for merge-sort.
98: */
99: #define NSORT 30
100:
101: /*
102: ** Number of bytes of string storage space available to each stack
103: ** layer without having to malloc. NBFS is short for Number of Bytes
104: ** For Strings.
105: */
106: #define NBFS 32
107:
108: /*
109: ** A single level of the stack or a single memory cell
110: ** is an instance of the following structure.
111: */
112: struct Mem {
113: int i; /* Integer value */
114: int n; /* Number of characters in string value, including '\0' */
115: int flags; /* Some combination of MEM_Null, MEM_Str, MEM_Dyn, etc. */
116: double r; /* Real value */
117: char *z; /* String value */
118: char zShort[NBFS]; /* Space for short strings */
119: };
120: typedef struct Mem Mem;
121:
122: /*
123: ** Allowed values for Mem.flags
124: */
125: #define MEM_Null 0x0001 /* Value is NULL */
126: #define MEM_Str 0x0002 /* Value is a string */
127: #define MEM_Int 0x0004 /* Value is an integer */
128: #define MEM_Real 0x0008 /* Value is a real number */
129: #define MEM_Dyn 0x0010 /* Need to call sqliteFree() on Mem.z */
130: #define MEM_Static 0x0020 /* Mem.z points to a static string */
131: #define MEM_Ephem 0x0040 /* Mem.z points to an ephemeral string */
132: #define MEM_Short 0x0080 /* Mem.z points to Mem.zShort */
133:
134: /* The following MEM_ value appears only in AggElem.aMem.s.flag fields.
135: ** It indicates that the corresponding AggElem.aMem.z points to a
136: ** aggregate function context that needs to be finalized.
137: */
138: #define MEM_AggCtx 0x0100 /* Mem.z points to an agg function context */
139:
140: /*
141: ** The "context" argument for a installable function. A pointer to an
142: ** instance of this structure is the first argument to the routines used
143: ** implement the SQL functions.
144: **
145: ** There is a typedef for this structure in sqlite.h. So all routines,
146: ** even the public interface to SQLite, can use a pointer to this structure.
147: ** But this file is the only place where the internal details of this
148: ** structure are known.
149: **
150: ** This structure is defined inside of vdbe.c because it uses substructures
151: ** (Mem) which are only defined there.
152: */
153: struct sqlite_func {
154: FuncDef *pFunc; /* Pointer to function information. MUST BE FIRST */
155: Mem s; /* The return value is stored here */
156: void *pAgg; /* Aggregate context */
157: u8 isError; /* Set to true for an error */
158: u8 isStep; /* Current in the step function */
159: int cnt; /* Number of times that the step function has been called */
160: };
161:
162: /*
163: ** An Agg structure describes an Aggregator. Each Agg consists of
164: ** zero or more Aggregator elements (AggElem). Each AggElem contains
165: ** a key and one or more values. The values are used in processing
166: ** aggregate functions in a SELECT. The key is used to implement
167: ** the GROUP BY clause of a select.
168: */
169: typedef struct Agg Agg;
170: typedef struct AggElem AggElem;
171: struct Agg {
172: int nMem; /* Number of values stored in each AggElem */
173: AggElem *pCurrent; /* The AggElem currently in focus */
174: HashElem *pSearch; /* The hash element for pCurrent */
175: Hash hash; /* Hash table of all aggregate elements */
176: FuncDef **apFunc; /* Information about aggregate functions */
177: };
178: struct AggElem {
179: char *zKey; /* The key to this AggElem */
180: int nKey; /* Number of bytes in the key, including '\0' at end */
181: Mem aMem[1]; /* The values for this AggElem */
182: };
183:
184: /*
185: ** A Set structure is used for quick testing to see if a value
186: ** is part of a small set. Sets are used to implement code like
187: ** this:
188: ** x.y IN ('hi','hoo','hum')
189: */
190: typedef struct Set Set;
191: struct Set {
192: Hash hash; /* A set is just a hash table */
193: HashElem *prev; /* Previously accessed hash elemen */
194: };
195:
196: /*
197: ** A Keylist is a bunch of keys into a table. The keylist can
198: ** grow without bound. The keylist stores the ROWIDs of database
199: ** records that need to be deleted or updated.
200: */
201: typedef struct Keylist Keylist;
202: struct Keylist {
203: int nKey; /* Number of slots in aKey[] */
204: int nUsed; /* Next unwritten slot in aKey[] */
205: int nRead; /* Next unread slot in aKey[] */
206: Keylist *pNext; /* Next block of keys */
207: int aKey[1]; /* One or more keys. Extra space allocated as needed */
208: };
209:
210: /*
211: ** A Context stores the last insert rowid, the last statement change count,
212: ** and the current statement change count (i.e. changes since last statement).
213: ** Elements of Context structure type make up the ContextStack, which is
214: ** updated by the ContextPush and ContextPop opcodes (used by triggers)
215: */
216: typedef struct Context Context;
217: struct Context {
218: int lastRowid; /* Last insert rowid (from db->lastRowid) */
219: int lsChange; /* Last statement change count (from db->lsChange) */
220: int csChange; /* Current statement change count (from db->csChange) */
221: };
222:
223: /*
224: ** An instance of the virtual machine. This structure contains the complete
225: ** state of the virtual machine.
226: **
227: ** The "sqlite_vm" structure pointer that is returned by sqlite_compile()
228: ** is really a pointer to an instance of this structure.
229: */
230: struct Vdbe {
231: sqlite *db; /* The whole database */
232: Vdbe *pPrev,*pNext; /* Linked list of VDBEs with the same Vdbe.db */
233: FILE *trace; /* Write an execution trace here, if not NULL */
234: int nOp; /* Number of instructions in the program */
235: int nOpAlloc; /* Number of slots allocated for aOp[] */
236: Op *aOp; /* Space to hold the virtual machine's program */
237: int nLabel; /* Number of labels used */
238: int nLabelAlloc; /* Number of slots allocated in aLabel[] */
239: int *aLabel; /* Space to hold the labels */
240: Mem *aStack; /* The operand stack, except string values */
241: Mem *pTos; /* Top entry in the operand stack */
242: char **zArgv; /* Text values used by the callback */
243: char **azColName; /* Becomes the 4th parameter to callbacks */
244: int nCursor; /* Number of slots in aCsr[] */
245: Cursor *aCsr; /* One element of this array for each open cursor */
246: Sorter *pSort; /* A linked list of objects to be sorted */
247: FILE *pFile; /* At most one open file handler */
248: int nField; /* Number of file fields */
249: char **azField; /* Data for each file field */
250: int nVar; /* Number of entries in azVariable[] */
251: char **azVar; /* Values for the OP_Variable opcode */
252: int *anVar; /* Length of each value in azVariable[] */
253: u8 *abVar; /* TRUE if azVariable[i] needs to be sqliteFree()ed */
254: char *zLine; /* A single line from the input file */
255: int nLineAlloc; /* Number of spaces allocated for zLine */
256: int magic; /* Magic number for sanity checking */
257: int nMem; /* Number of memory locations currently allocated */
258: Mem *aMem; /* The memory locations */
259: Agg agg; /* Aggregate information */
260: int nSet; /* Number of sets allocated */
261: Set *aSet; /* An array of sets */
262: int nCallback; /* Number of callbacks invoked so far */
263: Keylist *pList; /* A list of ROWIDs */
264: int keylistStackDepth; /* The size of the "keylist" stack */
265: Keylist **keylistStack; /* The stack used by opcodes ListPush & ListPop */
266: int contextStackDepth; /* The size of the "context" stack */
267: Context *contextStack; /* Stack used by opcodes ContextPush & ContextPop*/
268: int pc; /* The program counter */
269: int rc; /* Value to return */
270: unsigned uniqueCnt; /* Used by OP_MakeRecord when P2!=0 */
271: int errorAction; /* Recovery action to do in case of an error */
272: int undoTransOnError; /* If error, either ROLLBACK or COMMIT */
273: int inTempTrans; /* True if temp database is transactioned */
274: int returnStack[100]; /* Return address stack for OP_Gosub & OP_Return */
275: int returnDepth; /* Next unused element in returnStack[] */
276: int nResColumn; /* Number of columns in one row of the result set */
277: char **azResColumn; /* Values for one row of result */
278: int popStack; /* Pop the stack this much on entry to VdbeExec() */
279: char *zErrMsg; /* Error message written here */
280: u8 explain; /* True if EXPLAIN present on SQL command */
281: };
282:
283: /*
284: ** The following are allowed values for Vdbe.magic
285: */
286: #define VDBE_MAGIC_INIT 0x26bceaa5 /* Building a VDBE program */
287: #define VDBE_MAGIC_RUN 0xbdf20da3 /* VDBE is ready to execute */
288: #define VDBE_MAGIC_HALT 0x519c2973 /* VDBE has completed execution */
289: #define VDBE_MAGIC_DEAD 0xb606c3c8 /* The VDBE has been deallocated */
290:
291: /*
292: ** Function prototypes
293: */
294: void sqliteVdbeCleanupCursor(Cursor*);
295: void sqliteVdbeSorterReset(Vdbe*);
296: void sqliteVdbeAggReset(Agg*);
297: void sqliteVdbeKeylistFree(Keylist*);
298: void sqliteVdbePopStack(Vdbe*,int);
299: int sqliteVdbeCursorMoveto(Cursor*);
300: int sqliteVdbeByteSwap(int);
301: #if !defined(NDEBUG) || defined(VDBE_PROFILE)
302: void sqliteVdbePrintOp(FILE*, int, Op*);
303: #endif
FreeBSD-CVSweb <freebsd-cvsweb@FreeBSD.org>