|
Packit |
87b942 |
/*
|
|
Packit |
87b942 |
** 2015-06-08
|
|
Packit |
87b942 |
**
|
|
Packit |
87b942 |
** The author disclaims copyright to this source code. In place of
|
|
Packit |
87b942 |
** a legal notice, here is a blessing:
|
|
Packit |
87b942 |
**
|
|
Packit |
87b942 |
** May you do good and not evil.
|
|
Packit |
87b942 |
** May you find forgiveness for yourself and forgive others.
|
|
Packit |
87b942 |
** May you share freely, never taking more than you give.
|
|
Packit |
87b942 |
**
|
|
Packit |
87b942 |
*************************************************************************
|
|
Packit |
87b942 |
**
|
|
Packit |
87b942 |
** This file contains C code to implement the TreeView debugging routines.
|
|
Packit |
87b942 |
** These routines print a parse tree to standard output for debugging and
|
|
Packit |
87b942 |
** analysis.
|
|
Packit |
87b942 |
**
|
|
Packit |
87b942 |
** The interfaces in this file is only available when compiling
|
|
Packit |
87b942 |
** with SQLITE_DEBUG.
|
|
Packit |
87b942 |
*/
|
|
Packit |
87b942 |
#include "sqliteInt.h"
|
|
Packit |
87b942 |
#ifdef SQLITE_DEBUG
|
|
Packit |
87b942 |
|
|
Packit |
87b942 |
/*
|
|
Packit |
87b942 |
** Add a new subitem to the tree. The moreToFollow flag indicates that this
|
|
Packit |
87b942 |
** is not the last item in the tree.
|
|
Packit |
87b942 |
*/
|
|
Packit |
87b942 |
static TreeView *sqlite3TreeViewPush(TreeView *p, u8 moreToFollow){
|
|
Packit |
87b942 |
if( p==0 ){
|
|
Packit |
87b942 |
p = sqlite3_malloc64( sizeof(*p) );
|
|
Packit |
87b942 |
if( p==0 ) return 0;
|
|
Packit |
87b942 |
memset(p, 0, sizeof(*p));
|
|
Packit |
87b942 |
}else{
|
|
Packit |
87b942 |
p->iLevel++;
|
|
Packit |
87b942 |
}
|
|
Packit |
87b942 |
assert( moreToFollow==0 || moreToFollow==1 );
|
|
Packit |
87b942 |
if( p->iLevel<sizeof(p->bLine) ) p->bLine[p->iLevel] = moreToFollow;
|
|
Packit |
87b942 |
return p;
|
|
Packit |
87b942 |
}
|
|
Packit |
87b942 |
|
|
Packit |
87b942 |
/*
|
|
Packit |
87b942 |
** Finished with one layer of the tree
|
|
Packit |
87b942 |
*/
|
|
Packit |
87b942 |
static void sqlite3TreeViewPop(TreeView *p){
|
|
Packit |
87b942 |
if( p==0 ) return;
|
|
Packit |
87b942 |
p->iLevel--;
|
|
Packit |
87b942 |
if( p->iLevel<0 ) sqlite3_free(p);
|
|
Packit |
87b942 |
}
|
|
Packit |
87b942 |
|
|
Packit |
87b942 |
/*
|
|
Packit |
87b942 |
** Generate a single line of output for the tree, with a prefix that contains
|
|
Packit |
87b942 |
** all the appropriate tree lines
|
|
Packit |
87b942 |
*/
|
|
Packit |
87b942 |
static void sqlite3TreeViewLine(TreeView *p, const char *zFormat, ...){
|
|
Packit |
87b942 |
va_list ap;
|
|
Packit |
87b942 |
int i;
|
|
Packit |
87b942 |
StrAccum acc;
|
|
Packit |
87b942 |
char zBuf[500];
|
|
Packit |
87b942 |
sqlite3StrAccumInit(&acc, 0, zBuf, sizeof(zBuf), 0);
|
|
Packit |
87b942 |
if( p ){
|
|
Packit |
87b942 |
for(i=0; i<p->iLevel && i<sizeof(p->bLine)-1; i++){
|
|
Packit |
87b942 |
sqlite3StrAccumAppend(&acc, p->bLine[i] ? "| " : " ", 4);
|
|
Packit |
87b942 |
}
|
|
Packit |
87b942 |
sqlite3StrAccumAppend(&acc, p->bLine[i] ? "|-- " : "'-- ", 4);
|
|
Packit |
87b942 |
}
|
|
Packit |
87b942 |
va_start(ap, zFormat);
|
|
Packit |
87b942 |
sqlite3VXPrintf(&acc, zFormat, ap);
|
|
Packit |
87b942 |
va_end(ap);
|
|
Packit |
87b942 |
assert( acc.nChar>0 );
|
|
Packit |
87b942 |
if( zBuf[acc.nChar-1]!='\n' ) sqlite3StrAccumAppend(&acc, "\n", 1);
|
|
Packit |
87b942 |
sqlite3StrAccumFinish(&acc;;
|
|
Packit |
87b942 |
fprintf(stdout,"%s", zBuf);
|
|
Packit |
87b942 |
fflush(stdout);
|
|
Packit |
87b942 |
}
|
|
Packit |
87b942 |
|
|
Packit |
87b942 |
/*
|
|
Packit |
87b942 |
** Shorthand for starting a new tree item that consists of a single label
|
|
Packit |
87b942 |
*/
|
|
Packit |
87b942 |
static void sqlite3TreeViewItem(TreeView *p, const char *zLabel,u8 moreFollows){
|
|
Packit |
87b942 |
p = sqlite3TreeViewPush(p, moreFollows);
|
|
Packit |
87b942 |
sqlite3TreeViewLine(p, "%s", zLabel);
|
|
Packit |
87b942 |
}
|
|
Packit |
87b942 |
|
|
Packit |
87b942 |
/*
|
|
Packit |
87b942 |
** Generate a human-readable description of a WITH clause.
|
|
Packit |
87b942 |
*/
|
|
Packit |
87b942 |
void sqlite3TreeViewWith(TreeView *pView, const With *pWith, u8 moreToFollow){
|
|
Packit |
87b942 |
int i;
|
|
Packit |
87b942 |
if( pWith==0 ) return;
|
|
Packit |
87b942 |
if( pWith->nCte==0 ) return;
|
|
Packit |
87b942 |
if( pWith->pOuter ){
|
|
Packit |
87b942 |
sqlite3TreeViewLine(pView, "WITH (0x%p, pOuter=0x%p)",pWith,pWith->pOuter);
|
|
Packit |
87b942 |
}else{
|
|
Packit |
87b942 |
sqlite3TreeViewLine(pView, "WITH (0x%p)", pWith);
|
|
Packit |
87b942 |
}
|
|
Packit |
87b942 |
if( pWith->nCte>0 ){
|
|
Packit |
87b942 |
pView = sqlite3TreeViewPush(pView, 1);
|
|
Packit |
87b942 |
for(i=0; i<pWith->nCte; i++){
|
|
Packit |
87b942 |
StrAccum x;
|
|
Packit |
87b942 |
char zLine[1000];
|
|
Packit |
87b942 |
const struct Cte *pCte = &pWith->a[i];
|
|
Packit |
87b942 |
sqlite3StrAccumInit(&x, 0, zLine, sizeof(zLine), 0);
|
|
Packit |
87b942 |
sqlite3XPrintf(&x, "%s", pCte->zName);
|
|
Packit |
87b942 |
if( pCte->pCols && pCte->pCols->nExpr>0 ){
|
|
Packit |
87b942 |
char cSep = '(';
|
|
Packit |
87b942 |
int j;
|
|
Packit |
87b942 |
for(j=0; j<pCte->pCols->nExpr; j++){
|
|
Packit |
87b942 |
sqlite3XPrintf(&x, "%c%s", cSep, pCte->pCols->a[j].zName);
|
|
Packit |
87b942 |
cSep = ',';
|
|
Packit |
87b942 |
}
|
|
Packit |
87b942 |
sqlite3XPrintf(&x, ")");
|
|
Packit |
87b942 |
}
|
|
Packit |
87b942 |
sqlite3XPrintf(&x, " AS");
|
|
Packit |
87b942 |
sqlite3StrAccumFinish(&x);
|
|
Packit |
87b942 |
sqlite3TreeViewItem(pView, zLine, i<pWith->nCte-1);
|
|
Packit |
87b942 |
sqlite3TreeViewSelect(pView, pCte->pSelect, 0);
|
|
Packit |
87b942 |
sqlite3TreeViewPop(pView);
|
|
Packit |
87b942 |
}
|
|
Packit |
87b942 |
sqlite3TreeViewPop(pView);
|
|
Packit |
87b942 |
}
|
|
Packit |
87b942 |
}
|
|
Packit |
87b942 |
|
|
Packit |
87b942 |
|
|
Packit |
87b942 |
/*
|
|
Packit |
87b942 |
** Generate a human-readable description of a Select object.
|
|
Packit |
87b942 |
*/
|
|
Packit |
87b942 |
void sqlite3TreeViewSelect(TreeView *pView, const Select *p, u8 moreToFollow){
|
|
Packit |
87b942 |
int n = 0;
|
|
Packit |
87b942 |
int cnt = 0;
|
|
Packit |
87b942 |
if( p==0 ){
|
|
Packit |
87b942 |
sqlite3TreeViewLine(pView, "nil-SELECT");
|
|
Packit |
87b942 |
return;
|
|
Packit |
87b942 |
}
|
|
Packit |
87b942 |
pView = sqlite3TreeViewPush(pView, moreToFollow);
|
|
Packit |
87b942 |
if( p->pWith ){
|
|
Packit |
87b942 |
sqlite3TreeViewWith(pView, p->pWith, 1);
|
|
Packit |
87b942 |
cnt = 1;
|
|
Packit |
87b942 |
sqlite3TreeViewPush(pView, 1);
|
|
Packit |
87b942 |
}
|
|
Packit |
87b942 |
do{
|
|
Packit |
87b942 |
sqlite3TreeViewLine(pView, "SELECT%s%s (0x%p) selFlags=0x%x nSelectRow=%d",
|
|
Packit |
87b942 |
((p->selFlags & SF_Distinct) ? " DISTINCT" : ""),
|
|
Packit |
87b942 |
((p->selFlags & SF_Aggregate) ? " agg_flag" : ""), p, p->selFlags,
|
|
Packit |
87b942 |
(int)p->nSelectRow
|
|
Packit |
87b942 |
);
|
|
Packit |
87b942 |
if( cnt++ ) sqlite3TreeViewPop(pView);
|
|
Packit |
87b942 |
if( p->pPrior ){
|
|
Packit |
87b942 |
n = 1000;
|
|
Packit |
87b942 |
}else{
|
|
Packit |
87b942 |
n = 0;
|
|
Packit |
87b942 |
if( p->pSrc && p->pSrc->nSrc ) n++;
|
|
Packit |
87b942 |
if( p->pWhere ) n++;
|
|
Packit |
87b942 |
if( p->pGroupBy ) n++;
|
|
Packit |
87b942 |
if( p->pHaving ) n++;
|
|
Packit |
87b942 |
if( p->pOrderBy ) n++;
|
|
Packit |
87b942 |
if( p->pLimit ) n++;
|
|
Packit |
87b942 |
}
|
|
Packit |
87b942 |
sqlite3TreeViewExprList(pView, p->pEList, (n--)>0, "result-set");
|
|
Packit |
87b942 |
if( p->pSrc && p->pSrc->nSrc ){
|
|
Packit |
87b942 |
int i;
|
|
Packit |
87b942 |
pView = sqlite3TreeViewPush(pView, (n--)>0);
|
|
Packit |
87b942 |
sqlite3TreeViewLine(pView, "FROM");
|
|
Packit |
87b942 |
for(i=0; i<p->pSrc->nSrc; i++){
|
|
Packit |
87b942 |
struct SrcList_item *pItem = &p->pSrc->a[i];
|
|
Packit |
87b942 |
StrAccum x;
|
|
Packit |
87b942 |
char zLine[100];
|
|
Packit |
87b942 |
sqlite3StrAccumInit(&x, 0, zLine, sizeof(zLine), 0);
|
|
Packit |
87b942 |
sqlite3XPrintf(&x, "{%d,*}", pItem->iCursor);
|
|
Packit |
87b942 |
if( pItem->zDatabase ){
|
|
Packit |
87b942 |
sqlite3XPrintf(&x, " %s.%s", pItem->zDatabase, pItem->zName);
|
|
Packit |
87b942 |
}else if( pItem->zName ){
|
|
Packit |
87b942 |
sqlite3XPrintf(&x, " %s", pItem->zName);
|
|
Packit |
87b942 |
}
|
|
Packit |
87b942 |
if( pItem->pTab ){
|
|
Packit |
87b942 |
sqlite3XPrintf(&x, " tabname=%Q", pItem->pTab->zName);
|
|
Packit |
87b942 |
}
|
|
Packit |
87b942 |
if( pItem->zAlias ){
|
|
Packit |
87b942 |
sqlite3XPrintf(&x, " (AS %s)", pItem->zAlias);
|
|
Packit |
87b942 |
}
|
|
Packit |
87b942 |
if( pItem->fg.jointype & JT_LEFT ){
|
|
Packit |
87b942 |
sqlite3XPrintf(&x, " LEFT-JOIN");
|
|
Packit |
87b942 |
}
|
|
Packit |
87b942 |
sqlite3StrAccumFinish(&x);
|
|
Packit |
87b942 |
sqlite3TreeViewItem(pView, zLine, i<p->pSrc->nSrc-1);
|
|
Packit |
87b942 |
if( pItem->pSelect ){
|
|
Packit |
87b942 |
sqlite3TreeViewSelect(pView, pItem->pSelect, 0);
|
|
Packit |
87b942 |
}
|
|
Packit |
87b942 |
if( pItem->fg.isTabFunc ){
|
|
Packit |
87b942 |
sqlite3TreeViewExprList(pView, pItem->u1.pFuncArg, 0, "func-args:");
|
|
Packit |
87b942 |
}
|
|
Packit |
87b942 |
sqlite3TreeViewPop(pView);
|
|
Packit |
87b942 |
}
|
|
Packit |
87b942 |
sqlite3TreeViewPop(pView);
|
|
Packit |
87b942 |
}
|
|
Packit |
87b942 |
if( p->pWhere ){
|
|
Packit |
87b942 |
sqlite3TreeViewItem(pView, "WHERE", (n--)>0);
|
|
Packit |
87b942 |
sqlite3TreeViewExpr(pView, p->pWhere, 0);
|
|
Packit |
87b942 |
sqlite3TreeViewPop(pView);
|
|
Packit |
87b942 |
}
|
|
Packit |
87b942 |
if( p->pGroupBy ){
|
|
Packit |
87b942 |
sqlite3TreeViewExprList(pView, p->pGroupBy, (n--)>0, "GROUPBY");
|
|
Packit |
87b942 |
}
|
|
Packit |
87b942 |
if( p->pHaving ){
|
|
Packit |
87b942 |
sqlite3TreeViewItem(pView, "HAVING", (n--)>0);
|
|
Packit |
87b942 |
sqlite3TreeViewExpr(pView, p->pHaving, 0);
|
|
Packit |
87b942 |
sqlite3TreeViewPop(pView);
|
|
Packit |
87b942 |
}
|
|
Packit |
87b942 |
if( p->pOrderBy ){
|
|
Packit |
87b942 |
sqlite3TreeViewExprList(pView, p->pOrderBy, (n--)>0, "ORDERBY");
|
|
Packit |
87b942 |
}
|
|
Packit |
87b942 |
if( p->pLimit ){
|
|
Packit |
87b942 |
sqlite3TreeViewItem(pView, "LIMIT", (n--)>0);
|
|
Packit |
87b942 |
sqlite3TreeViewExpr(pView, p->pLimit->pLeft, p->pLimit->pRight!=0);
|
|
Packit |
87b942 |
if( p->pLimit->pRight ){
|
|
Packit |
87b942 |
sqlite3TreeViewItem(pView, "OFFSET", (n--)>0);
|
|
Packit |
87b942 |
sqlite3TreeViewExpr(pView, p->pLimit->pRight, 0);
|
|
Packit |
87b942 |
sqlite3TreeViewPop(pView);
|
|
Packit |
87b942 |
}
|
|
Packit |
87b942 |
sqlite3TreeViewPop(pView);
|
|
Packit |
87b942 |
}
|
|
Packit |
87b942 |
if( p->pPrior ){
|
|
Packit |
87b942 |
const char *zOp = "UNION";
|
|
Packit |
87b942 |
switch( p->op ){
|
|
Packit |
87b942 |
case TK_ALL: zOp = "UNION ALL"; break;
|
|
Packit |
87b942 |
case TK_INTERSECT: zOp = "INTERSECT"; break;
|
|
Packit |
87b942 |
case TK_EXCEPT: zOp = "EXCEPT"; break;
|
|
Packit |
87b942 |
}
|
|
Packit |
87b942 |
sqlite3TreeViewItem(pView, zOp, 1);
|
|
Packit |
87b942 |
}
|
|
Packit |
87b942 |
p = p->pPrior;
|
|
Packit |
87b942 |
}while( p!=0 );
|
|
Packit |
87b942 |
sqlite3TreeViewPop(pView);
|
|
Packit |
87b942 |
}
|
|
Packit |
87b942 |
|
|
Packit |
87b942 |
/*
|
|
Packit |
87b942 |
** Generate a human-readable explanation of an expression tree.
|
|
Packit |
87b942 |
*/
|
|
Packit |
87b942 |
void sqlite3TreeViewExpr(TreeView *pView, const Expr *pExpr, u8 moreToFollow){
|
|
Packit |
87b942 |
const char *zBinOp = 0; /* Binary operator */
|
|
Packit |
87b942 |
const char *zUniOp = 0; /* Unary operator */
|
|
Packit |
87b942 |
char zFlgs[60];
|
|
Packit |
87b942 |
pView = sqlite3TreeViewPush(pView, moreToFollow);
|
|
Packit |
87b942 |
if( pExpr==0 ){
|
|
Packit |
87b942 |
sqlite3TreeViewLine(pView, "nil");
|
|
Packit |
87b942 |
sqlite3TreeViewPop(pView);
|
|
Packit |
87b942 |
return;
|
|
Packit |
87b942 |
}
|
|
Packit |
87b942 |
if( pExpr->flags ){
|
|
Packit |
87b942 |
if( ExprHasProperty(pExpr, EP_FromJoin) ){
|
|
Packit |
87b942 |
sqlite3_snprintf(sizeof(zFlgs),zFlgs," flags=0x%x iRJT=%d",
|
|
Packit |
87b942 |
pExpr->flags, pExpr->iRightJoinTable);
|
|
Packit |
87b942 |
}else{
|
|
Packit |
87b942 |
sqlite3_snprintf(sizeof(zFlgs),zFlgs," flags=0x%x",pExpr->flags);
|
|
Packit |
87b942 |
}
|
|
Packit |
87b942 |
}else{
|
|
Packit |
87b942 |
zFlgs[0] = 0;
|
|
Packit |
87b942 |
}
|
|
Packit |
87b942 |
switch( pExpr->op ){
|
|
Packit |
87b942 |
case TK_AGG_COLUMN: {
|
|
Packit |
87b942 |
sqlite3TreeViewLine(pView, "AGG{%d:%d}%s",
|
|
Packit |
87b942 |
pExpr->iTable, pExpr->iColumn, zFlgs);
|
|
Packit |
87b942 |
break;
|
|
Packit |
87b942 |
}
|
|
Packit |
87b942 |
case TK_COLUMN: {
|
|
Packit |
87b942 |
if( pExpr->iTable<0 ){
|
|
Packit |
87b942 |
/* This only happens when coding check constraints */
|
|
Packit |
87b942 |
sqlite3TreeViewLine(pView, "COLUMN(%d)%s", pExpr->iColumn, zFlgs);
|
|
Packit |
87b942 |
}else{
|
|
Packit |
87b942 |
sqlite3TreeViewLine(pView, "{%d:%d}%s",
|
|
Packit |
87b942 |
pExpr->iTable, pExpr->iColumn, zFlgs);
|
|
Packit |
87b942 |
}
|
|
Packit |
87b942 |
break;
|
|
Packit |
87b942 |
}
|
|
Packit |
87b942 |
case TK_INTEGER: {
|
|
Packit |
87b942 |
if( pExpr->flags & EP_IntValue ){
|
|
Packit |
87b942 |
sqlite3TreeViewLine(pView, "%d", pExpr->u.iValue);
|
|
Packit |
87b942 |
}else{
|
|
Packit |
87b942 |
sqlite3TreeViewLine(pView, "%s", pExpr->u.zToken);
|
|
Packit |
87b942 |
}
|
|
Packit |
87b942 |
break;
|
|
Packit |
87b942 |
}
|
|
Packit |
87b942 |
#ifndef SQLITE_OMIT_FLOATING_POINT
|
|
Packit |
87b942 |
case TK_FLOAT: {
|
|
Packit |
87b942 |
sqlite3TreeViewLine(pView,"%s", pExpr->u.zToken);
|
|
Packit |
87b942 |
break;
|
|
Packit |
87b942 |
}
|
|
Packit |
87b942 |
#endif
|
|
Packit |
87b942 |
case TK_STRING: {
|
|
Packit |
87b942 |
sqlite3TreeViewLine(pView,"%Q", pExpr->u.zToken);
|
|
Packit |
87b942 |
break;
|
|
Packit |
87b942 |
}
|
|
Packit |
87b942 |
case TK_NULL: {
|
|
Packit |
87b942 |
sqlite3TreeViewLine(pView,"NULL");
|
|
Packit |
87b942 |
break;
|
|
Packit |
87b942 |
}
|
|
Packit |
87b942 |
#ifndef SQLITE_OMIT_BLOB_LITERAL
|
|
Packit |
87b942 |
case TK_BLOB: {
|
|
Packit |
87b942 |
sqlite3TreeViewLine(pView,"%s", pExpr->u.zToken);
|
|
Packit |
87b942 |
break;
|
|
Packit |
87b942 |
}
|
|
Packit |
87b942 |
#endif
|
|
Packit |
87b942 |
case TK_VARIABLE: {
|
|
Packit |
87b942 |
sqlite3TreeViewLine(pView,"VARIABLE(%s,%d)",
|
|
Packit |
87b942 |
pExpr->u.zToken, pExpr->iColumn);
|
|
Packit |
87b942 |
break;
|
|
Packit |
87b942 |
}
|
|
Packit |
87b942 |
case TK_REGISTER: {
|
|
Packit |
87b942 |
sqlite3TreeViewLine(pView,"REGISTER(%d)", pExpr->iTable);
|
|
Packit |
87b942 |
break;
|
|
Packit |
87b942 |
}
|
|
Packit |
87b942 |
case TK_ID: {
|
|
Packit |
87b942 |
sqlite3TreeViewLine(pView,"ID \"%w\"", pExpr->u.zToken);
|
|
Packit |
87b942 |
break;
|
|
Packit |
87b942 |
}
|
|
Packit |
87b942 |
#ifndef SQLITE_OMIT_CAST
|
|
Packit |
87b942 |
case TK_CAST: {
|
|
Packit |
87b942 |
/* Expressions of the form: CAST(pLeft AS token) */
|
|
Packit |
87b942 |
sqlite3TreeViewLine(pView,"CAST %Q", pExpr->u.zToken);
|
|
Packit |
87b942 |
sqlite3TreeViewExpr(pView, pExpr->pLeft, 0);
|
|
Packit |
87b942 |
break;
|
|
Packit |
87b942 |
}
|
|
Packit |
87b942 |
#endif /* SQLITE_OMIT_CAST */
|
|
Packit |
87b942 |
case TK_LT: zBinOp = "LT"; break;
|
|
Packit |
87b942 |
case TK_LE: zBinOp = "LE"; break;
|
|
Packit |
87b942 |
case TK_GT: zBinOp = "GT"; break;
|
|
Packit |
87b942 |
case TK_GE: zBinOp = "GE"; break;
|
|
Packit |
87b942 |
case TK_NE: zBinOp = "NE"; break;
|
|
Packit |
87b942 |
case TK_EQ: zBinOp = "EQ"; break;
|
|
Packit |
87b942 |
case TK_IS: zBinOp = "IS"; break;
|
|
Packit |
87b942 |
case TK_ISNOT: zBinOp = "ISNOT"; break;
|
|
Packit |
87b942 |
case TK_AND: zBinOp = "AND"; break;
|
|
Packit |
87b942 |
case TK_OR: zBinOp = "OR"; break;
|
|
Packit |
87b942 |
case TK_PLUS: zBinOp = "ADD"; break;
|
|
Packit |
87b942 |
case TK_STAR: zBinOp = "MUL"; break;
|
|
Packit |
87b942 |
case TK_MINUS: zBinOp = "SUB"; break;
|
|
Packit |
87b942 |
case TK_REM: zBinOp = "REM"; break;
|
|
Packit |
87b942 |
case TK_BITAND: zBinOp = "BITAND"; break;
|
|
Packit |
87b942 |
case TK_BITOR: zBinOp = "BITOR"; break;
|
|
Packit |
87b942 |
case TK_SLASH: zBinOp = "DIV"; break;
|
|
Packit |
87b942 |
case TK_LSHIFT: zBinOp = "LSHIFT"; break;
|
|
Packit |
87b942 |
case TK_RSHIFT: zBinOp = "RSHIFT"; break;
|
|
Packit |
87b942 |
case TK_CONCAT: zBinOp = "CONCAT"; break;
|
|
Packit |
87b942 |
case TK_DOT: zBinOp = "DOT"; break;
|
|
Packit |
87b942 |
|
|
Packit |
87b942 |
case TK_UMINUS: zUniOp = "UMINUS"; break;
|
|
Packit |
87b942 |
case TK_UPLUS: zUniOp = "UPLUS"; break;
|
|
Packit |
87b942 |
case TK_BITNOT: zUniOp = "BITNOT"; break;
|
|
Packit |
87b942 |
case TK_NOT: zUniOp = "NOT"; break;
|
|
Packit |
87b942 |
case TK_ISNULL: zUniOp = "ISNULL"; break;
|
|
Packit |
87b942 |
case TK_NOTNULL: zUniOp = "NOTNULL"; break;
|
|
Packit |
87b942 |
|
|
Packit |
87b942 |
case TK_SPAN: {
|
|
Packit |
87b942 |
sqlite3TreeViewLine(pView, "SPAN %Q", pExpr->u.zToken);
|
|
Packit |
87b942 |
sqlite3TreeViewExpr(pView, pExpr->pLeft, 0);
|
|
Packit |
87b942 |
break;
|
|
Packit |
87b942 |
}
|
|
Packit |
87b942 |
|
|
Packit |
87b942 |
case TK_COLLATE: {
|
|
Packit |
87b942 |
sqlite3TreeViewLine(pView, "COLLATE %Q", pExpr->u.zToken);
|
|
Packit |
87b942 |
sqlite3TreeViewExpr(pView, pExpr->pLeft, 0);
|
|
Packit |
87b942 |
break;
|
|
Packit |
87b942 |
}
|
|
Packit |
87b942 |
|
|
Packit |
87b942 |
case TK_AGG_FUNCTION:
|
|
Packit |
87b942 |
case TK_FUNCTION: {
|
|
Packit |
87b942 |
ExprList *pFarg; /* List of function arguments */
|
|
Packit |
87b942 |
if( ExprHasProperty(pExpr, EP_TokenOnly) ){
|
|
Packit |
87b942 |
pFarg = 0;
|
|
Packit |
87b942 |
}else{
|
|
Packit |
87b942 |
pFarg = pExpr->x.pList;
|
|
Packit |
87b942 |
}
|
|
Packit |
87b942 |
if( pExpr->op==TK_AGG_FUNCTION ){
|
|
Packit |
87b942 |
sqlite3TreeViewLine(pView, "AGG_FUNCTION%d %Q",
|
|
Packit |
87b942 |
pExpr->op2, pExpr->u.zToken);
|
|
Packit |
87b942 |
}else{
|
|
Packit |
87b942 |
sqlite3TreeViewLine(pView, "FUNCTION %Q", pExpr->u.zToken);
|
|
Packit |
87b942 |
}
|
|
Packit |
87b942 |
if( pFarg ){
|
|
Packit |
87b942 |
sqlite3TreeViewExprList(pView, pFarg, 0, 0);
|
|
Packit |
87b942 |
}
|
|
Packit |
87b942 |
break;
|
|
Packit |
87b942 |
}
|
|
Packit |
87b942 |
#ifndef SQLITE_OMIT_SUBQUERY
|
|
Packit |
87b942 |
case TK_EXISTS: {
|
|
Packit |
87b942 |
sqlite3TreeViewLine(pView, "EXISTS-expr flags=0x%x", pExpr->flags);
|
|
Packit |
87b942 |
sqlite3TreeViewSelect(pView, pExpr->x.pSelect, 0);
|
|
Packit |
87b942 |
break;
|
|
Packit |
87b942 |
}
|
|
Packit |
87b942 |
case TK_SELECT: {
|
|
Packit |
87b942 |
sqlite3TreeViewLine(pView, "SELECT-expr flags=0x%x", pExpr->flags);
|
|
Packit |
87b942 |
sqlite3TreeViewSelect(pView, pExpr->x.pSelect, 0);
|
|
Packit |
87b942 |
break;
|
|
Packit |
87b942 |
}
|
|
Packit |
87b942 |
case TK_IN: {
|
|
Packit |
87b942 |
sqlite3TreeViewLine(pView, "IN flags=0x%x", pExpr->flags);
|
|
Packit |
87b942 |
sqlite3TreeViewExpr(pView, pExpr->pLeft, 1);
|
|
Packit |
87b942 |
if( ExprHasProperty(pExpr, EP_xIsSelect) ){
|
|
Packit |
87b942 |
sqlite3TreeViewSelect(pView, pExpr->x.pSelect, 0);
|
|
Packit |
87b942 |
}else{
|
|
Packit |
87b942 |
sqlite3TreeViewExprList(pView, pExpr->x.pList, 0, 0);
|
|
Packit |
87b942 |
}
|
|
Packit |
87b942 |
break;
|
|
Packit |
87b942 |
}
|
|
Packit |
87b942 |
#endif /* SQLITE_OMIT_SUBQUERY */
|
|
Packit |
87b942 |
|
|
Packit |
87b942 |
/*
|
|
Packit |
87b942 |
** x BETWEEN y AND z
|
|
Packit |
87b942 |
**
|
|
Packit |
87b942 |
** This is equivalent to
|
|
Packit |
87b942 |
**
|
|
Packit |
87b942 |
** x>=y AND x<=z
|
|
Packit |
87b942 |
**
|
|
Packit |
87b942 |
** X is stored in pExpr->pLeft.
|
|
Packit |
87b942 |
** Y is stored in pExpr->pList->a[0].pExpr.
|
|
Packit |
87b942 |
** Z is stored in pExpr->pList->a[1].pExpr.
|
|
Packit |
87b942 |
*/
|
|
Packit |
87b942 |
case TK_BETWEEN: {
|
|
Packit |
87b942 |
Expr *pX = pExpr->pLeft;
|
|
Packit |
87b942 |
Expr *pY = pExpr->x.pList->a[0].pExpr;
|
|
Packit |
87b942 |
Expr *pZ = pExpr->x.pList->a[1].pExpr;
|
|
Packit |
87b942 |
sqlite3TreeViewLine(pView, "BETWEEN");
|
|
Packit |
87b942 |
sqlite3TreeViewExpr(pView, pX, 1);
|
|
Packit |
87b942 |
sqlite3TreeViewExpr(pView, pY, 1);
|
|
Packit |
87b942 |
sqlite3TreeViewExpr(pView, pZ, 0);
|
|
Packit |
87b942 |
break;
|
|
Packit |
87b942 |
}
|
|
Packit |
87b942 |
case TK_TRIGGER: {
|
|
Packit |
87b942 |
/* If the opcode is TK_TRIGGER, then the expression is a reference
|
|
Packit |
87b942 |
** to a column in the new.* or old.* pseudo-tables available to
|
|
Packit |
87b942 |
** trigger programs. In this case Expr.iTable is set to 1 for the
|
|
Packit |
87b942 |
** new.* pseudo-table, or 0 for the old.* pseudo-table. Expr.iColumn
|
|
Packit |
87b942 |
** is set to the column of the pseudo-table to read, or to -1 to
|
|
Packit |
87b942 |
** read the rowid field.
|
|
Packit |
87b942 |
*/
|
|
Packit |
87b942 |
sqlite3TreeViewLine(pView, "%s(%d)",
|
|
Packit |
87b942 |
pExpr->iTable ? "NEW" : "OLD", pExpr->iColumn);
|
|
Packit |
87b942 |
break;
|
|
Packit |
87b942 |
}
|
|
Packit |
87b942 |
case TK_CASE: {
|
|
Packit |
87b942 |
sqlite3TreeViewLine(pView, "CASE");
|
|
Packit |
87b942 |
sqlite3TreeViewExpr(pView, pExpr->pLeft, 1);
|
|
Packit |
87b942 |
sqlite3TreeViewExprList(pView, pExpr->x.pList, 0, 0);
|
|
Packit |
87b942 |
break;
|
|
Packit |
87b942 |
}
|
|
Packit |
87b942 |
#ifndef SQLITE_OMIT_TRIGGER
|
|
Packit |
87b942 |
case TK_RAISE: {
|
|
Packit |
87b942 |
const char *zType = "unk";
|
|
Packit |
87b942 |
switch( pExpr->affinity ){
|
|
Packit |
87b942 |
case OE_Rollback: zType = "rollback"; break;
|
|
Packit |
87b942 |
case OE_Abort: zType = "abort"; break;
|
|
Packit |
87b942 |
case OE_Fail: zType = "fail"; break;
|
|
Packit |
87b942 |
case OE_Ignore: zType = "ignore"; break;
|
|
Packit |
87b942 |
}
|
|
Packit |
87b942 |
sqlite3TreeViewLine(pView, "RAISE %s(%Q)", zType, pExpr->u.zToken);
|
|
Packit |
87b942 |
break;
|
|
Packit |
87b942 |
}
|
|
Packit |
87b942 |
#endif
|
|
Packit |
87b942 |
case TK_MATCH: {
|
|
Packit |
87b942 |
sqlite3TreeViewLine(pView, "MATCH {%d:%d}%s",
|
|
Packit |
87b942 |
pExpr->iTable, pExpr->iColumn, zFlgs);
|
|
Packit |
87b942 |
sqlite3TreeViewExpr(pView, pExpr->pRight, 0);
|
|
Packit |
87b942 |
break;
|
|
Packit |
87b942 |
}
|
|
Packit |
87b942 |
case TK_VECTOR: {
|
|
Packit |
87b942 |
sqlite3TreeViewBareExprList(pView, pExpr->x.pList, "VECTOR");
|
|
Packit |
87b942 |
break;
|
|
Packit |
87b942 |
}
|
|
Packit |
87b942 |
case TK_SELECT_COLUMN: {
|
|
Packit |
87b942 |
sqlite3TreeViewLine(pView, "SELECT-COLUMN %d", pExpr->iColumn);
|
|
Packit |
87b942 |
sqlite3TreeViewSelect(pView, pExpr->pLeft->x.pSelect, 0);
|
|
Packit |
87b942 |
break;
|
|
Packit |
87b942 |
}
|
|
Packit |
87b942 |
case TK_IF_NULL_ROW: {
|
|
Packit |
87b942 |
sqlite3TreeViewLine(pView, "IF-NULL-ROW %d", pExpr->iTable);
|
|
Packit |
87b942 |
sqlite3TreeViewExpr(pView, pExpr->pLeft, 0);
|
|
Packit |
87b942 |
break;
|
|
Packit |
87b942 |
}
|
|
Packit |
87b942 |
default: {
|
|
Packit |
87b942 |
sqlite3TreeViewLine(pView, "op=%d", pExpr->op);
|
|
Packit |
87b942 |
break;
|
|
Packit |
87b942 |
}
|
|
Packit |
87b942 |
}
|
|
Packit |
87b942 |
if( zBinOp ){
|
|
Packit |
87b942 |
sqlite3TreeViewLine(pView, "%s%s", zBinOp, zFlgs);
|
|
Packit |
87b942 |
sqlite3TreeViewExpr(pView, pExpr->pLeft, 1);
|
|
Packit |
87b942 |
sqlite3TreeViewExpr(pView, pExpr->pRight, 0);
|
|
Packit |
87b942 |
}else if( zUniOp ){
|
|
Packit |
87b942 |
sqlite3TreeViewLine(pView, "%s%s", zUniOp, zFlgs);
|
|
Packit |
87b942 |
sqlite3TreeViewExpr(pView, pExpr->pLeft, 0);
|
|
Packit |
87b942 |
}
|
|
Packit |
87b942 |
sqlite3TreeViewPop(pView);
|
|
Packit |
87b942 |
}
|
|
Packit |
87b942 |
|
|
Packit |
87b942 |
|
|
Packit |
87b942 |
/*
|
|
Packit |
87b942 |
** Generate a human-readable explanation of an expression list.
|
|
Packit |
87b942 |
*/
|
|
Packit |
87b942 |
void sqlite3TreeViewBareExprList(
|
|
Packit |
87b942 |
TreeView *pView,
|
|
Packit |
87b942 |
const ExprList *pList,
|
|
Packit |
87b942 |
const char *zLabel
|
|
Packit |
87b942 |
){
|
|
Packit |
87b942 |
if( zLabel==0 || zLabel[0]==0 ) zLabel = "LIST";
|
|
Packit |
87b942 |
if( pList==0 ){
|
|
Packit |
87b942 |
sqlite3TreeViewLine(pView, "%s (empty)", zLabel);
|
|
Packit |
87b942 |
}else{
|
|
Packit |
87b942 |
int i;
|
|
Packit |
87b942 |
sqlite3TreeViewLine(pView, "%s", zLabel);
|
|
Packit |
87b942 |
for(i=0; i<pList->nExpr; i++){
|
|
Packit |
87b942 |
int j = pList->a[i].u.x.iOrderByCol;
|
|
Packit |
87b942 |
char *zName = pList->a[i].zName;
|
|
Packit |
87b942 |
if( j || zName ){
|
|
Packit |
87b942 |
sqlite3TreeViewPush(pView, 0);
|
|
Packit |
87b942 |
}
|
|
Packit |
87b942 |
if( zName ){
|
|
Packit |
87b942 |
sqlite3TreeViewLine(pView, "AS %s", zName);
|
|
Packit |
87b942 |
}
|
|
Packit |
87b942 |
if( j ){
|
|
Packit |
87b942 |
sqlite3TreeViewLine(pView, "iOrderByCol=%d", j);
|
|
Packit |
87b942 |
}
|
|
Packit |
87b942 |
sqlite3TreeViewExpr(pView, pList->a[i].pExpr, i<pList->nExpr-1);
|
|
Packit |
87b942 |
if( j || zName ){
|
|
Packit |
87b942 |
sqlite3TreeViewPop(pView);
|
|
Packit |
87b942 |
}
|
|
Packit |
87b942 |
}
|
|
Packit |
87b942 |
}
|
|
Packit |
87b942 |
}
|
|
Packit |
87b942 |
void sqlite3TreeViewExprList(
|
|
Packit |
87b942 |
TreeView *pView,
|
|
Packit |
87b942 |
const ExprList *pList,
|
|
Packit |
87b942 |
u8 moreToFollow,
|
|
Packit |
87b942 |
const char *zLabel
|
|
Packit |
87b942 |
){
|
|
Packit |
87b942 |
pView = sqlite3TreeViewPush(pView, moreToFollow);
|
|
Packit |
87b942 |
sqlite3TreeViewBareExprList(pView, pList, zLabel);
|
|
Packit |
87b942 |
sqlite3TreeViewPop(pView);
|
|
Packit |
87b942 |
}
|
|
Packit |
87b942 |
|
|
Packit |
87b942 |
#endif /* SQLITE_DEBUG */
|