/*

 * libxml2_xpath.c: XML Path Language implementation

 *                  XPath is a language for addressing parts of an XML document,

 *                  designed to be used by both XSLT and XPointer

 *

 * Reference: W3C Recommendation 16 November 1999

 *     http://www.w3.org/TR/1999/REC-xpath-19991116

 * Public reference:

 *     http://www.w3.org/TR/xpath

 *

 * See Copyright for the status of this software

 *

 * Author: daniel@veillard.com

 * Portion Copyright © 2009 Nokia Corporation and/or its subsidiary(-ies). All rights reserved. 

 *

 */

#define IN_LIBXML

#include "xmlenglibxml.h"

#include <string.h>

#ifdef HAVE_SYS_TYPES_H

#include <sys/types.h>

#endif

#ifdef HAVE_MATH_H

#include <math.h>

#endif

#ifdef HAVE_FLOAT_H

#include <float.h>

#endif

#if defined(HAVE_CTYPE_H)

#include <ctype.h>

#endif

#ifdef HAVE_SIGNAL_H

#include <signal.h>

#endif

#include <stdapis/libxml2/libxml2_globals.h>

#include <stdapis/libxml2/libxml2_xpathinternals.h>

#include <stdapis/libxml2/libxml2_parserinternals.h>

#include "libxml2_xmlerror2.h"

#ifdef LIBXML_XPTR_ENABLED

#include <stdapis/libxml2/libxml2_xpointer.h>

#endif

#ifdef LIBXML_DEBUG_ENABLED

#include "libxml2_debugxml.h"

#endif

#include <ctype.h>

#define TODO                                                        \

    xmlGenericError(xmlGenericErrorContext,                         \

        EMBED_ERRTXT("Unimplemented block at %s:%d\n"),             \

            __FILE__, __LINE__);

#if defined(LIBXML_SCHEMAS_ENABLED) || defined(LIBXML_XPATH_ENABLED)

/************************************************************************

 *                                                                      *

 *          Floating point stuff                                        *

 *                                                                      *

 ************************************************************************/

#ifndef TRIO_REPLACE_STDIO

//#define TRIO_PUBLIC static

#endif

#include "libxml2_trionan.inc"

/**

 * xmlXPathInit:

 *

 * Initialize the XPath environment

 *

 * OOM: never (so far -- soon hash tables will be created here)

 */

XMLPUBFUNEXPORT void

xmlXPathInit(void) {

	LOAD_GS_DIRECT

    if (xmlXPathInitialized)

        return;

    xmlXPathPINF = trio_pinf();

    xmlXPathNINF = trio_ninf();

    xmlXPathNAN = trio_nan();

    xmlXPathNZERO = trio_nzero();

    xmlXPathInitialized = 1;

}

/**

 * xeXPathCleanup:

 *

 * Free any reusable by XPath module resources

 */

void xeXPathCleanup()

{

	LOAD_GS_DIRECT

    if (xmlXPathDefaultFunctionsHash){

        xmlHashFree(xmlXPathDefaultFunctionsHash, NULL);

        xmlXPathDefaultFunctionsHash = NULL;

    }

    if (xmlXPathIntermediaryExtensionFunctionsHash){

        xmlHashFree(xmlXPathIntermediaryExtensionFunctionsHash, NULL);

        xmlXPathIntermediaryExtensionFunctionsHash = NULL;

    }

}

// DONE: OPTIMIZE: Define as macro or inliner

/**

 * xmlXPathIsNaN:

 * @param val a double value

 *

 * Provides a portable isnan() function to detect whether a double

 * is a NotaNumber. Based on trio code

 * http://sourceforge.net/projects/ctrio/

 *

 * Returns 1 if the value is a NaN, 0 otherwise

 */

/*

inline int xmlXPathIsNaN(double val) {

    return(trio_isnan(val));

}*/

//#define xmlXPathIsNaN(val) trio_isnan(val)

//#define xmlXPathIsNaN(val) trio_isnan(val)

// DONE: OPTIMIZE: Define as macro or inliner

/**

 * xmlXPathIsInf:

 * @param val a double value

 *

 * Provides a portable isinf() function to detect whether a double

 * is a +Infinite or -Infinite. Based on trio code

 * http://sourceforge.net/projects/ctrio/

 *

 * Returns 1 vi the value is +Infinite, -1 if -Infinite, 0 otherwise

 */

/*

inline int xmlXPathIsInf(double val) {

    return(trio_isinf(val));

}

*/

#define xmlXPathIsInf(val) trio_isinf(val)

#endif /* SCHEMAS or XPATH */

#ifdef LIBXML_XPATH_ENABLED

/**

 * xmlXPathGetSign:

 * @param val a double value

 *

 * Provides a portable function to detect the sign of a double

 * Modified from trio code

 * http://sourceforge.net/projects/ctrio/

 *

 * Returns 1 if the value is Negative, 0 if positive

 */

/*

inline int xmlXPathGetSign(double val) {

    return(trio_signbit(val));

}

*/

#define xmlXPathGetSign(val) trio_signbit(val)

/*

 * 

 *       

 */

/* #define DEBUG */

/* #define DEBUG_STEP */

/* #define DEBUG_STEP_NTH */

/* #define DEBUG_EXPR */

/* #define DEBUG_EVAL_COUNTS */

static const xmlNs xmlXPathXMLNamespaceStruct = {

    NULL,

    XML_NAMESPACE_DECL,

    XML_XML_NAMESPACE,

    BAD_CAST "xml",

    NULL

};

static const xmlNsPtr xmlXPathXMLNamespace = (xmlNsPtr)&xmlXPathXMLNamespaceStruct;

/************************************************************************

 *                                                                      *

 *          Error handling routines                                     *

 *                                                                      *

 ************************************************************************/

/*

 * The array xmlXPathErrorMessages corresponds to the enum xmlXPathError

 */ 

const char *const xmlXPathErrorMessages[] = {

    EMBED_ERRTXT("Ok\n"),

    EMBED_ERRTXT("Number encoding\n"),

    EMBED_ERRTXT("Unfinished literal\n"),

    EMBED_ERRTXT("Start of literal\n"),

    EMBED_ERRTXT("Expected $ for variable reference\n"),

    EMBED_ERRTXT("Undefined variable\n"),

    EMBED_ERRTXT("Invalid predicate\n"),

    EMBED_ERRTXT("Invalid expression\n"),

    EMBED_ERRTXT("Missing closing curly brace\n"),

    EMBED_ERRTXT("Unregistered function\n"),

    EMBED_ERRTXT("Invalid operand\n"),

    EMBED_ERRTXT("Invalid type\n"),

    EMBED_ERRTXT("Invalid number of arguments\n"),

    EMBED_ERRTXT("Invalid context size\n"),

    EMBED_ERRTXT("Invalid context position\n"),

    EMBED_ERRTXT("Memory allocation error\n"),

    EMBED_ERRTXT("Syntax error\n"),

    EMBED_ERRTXT("Resource error\n"),

    EMBED_ERRTXT("Sub resource error\n"),

    EMBED_ERRTXT("Undefined namespace prefix\n"),

    EMBED_ERRTXT("Encoding error\n"),

    EMBED_ERRTXT("Char out of XML range\n")

};

/**

 * xmlXPathErrMemory:

 * @param ctxt an XPath context

 * @param extra extra informations

 *

 * Handle a redefinition of attribute error

 */

static void

xmlXPathErrMemory(xmlXPathContextPtr ctxt, const char *extra)

{

    if (ctxt != NULL) {

/* Disabled -- do not allocate memory during OOM handling!!!

        if (extra) {

            xmlChar buf[200];

            xmlStrPrintf(buf, 200,

                  BAD_CAST EMBED_ERRTXT("Memory allocation failed : %s\n"), extra);

            ctxt->lastError.message = (char *) xmlStrdup(buf);

        } else {

            ctxt->lastError.message = (char *)

                xmlStrdup(BAD_CAST EMBED_ERRTXT("Memory allocation failed\n"));

        }

*/

        ctxt->lastError.domain = XML_FROM_XPATH;

        ctxt->lastError.code = XML_ERR_NO_MEMORY;

        if (ctxt->error != NULL)

            ctxt->error(ctxt->userData, &ctxt->lastError);

    } else {

        if (extra) 

            __xmlRaiseError(NULL, NULL, NULL,

                            NULL, NULL, XML_FROM_XPATH,

                            XML_ERR_NO_MEMORY, XML_ERR_FATAL, NULL, 0,

                            extra, NULL, NULL, 0, 0,

                            EMBED_ERRTXT("Memory allocation failed : %s\n"), extra);

        else

            __xmlRaiseError(NULL, NULL, NULL,

                            NULL, NULL, XML_FROM_XPATH,

                            XML_ERR_NO_MEMORY, XML_ERR_FATAL, NULL, 0,

                            NULL, NULL, NULL, 0, 0,

                            EMBED_ERRTXT("Memory allocation failed\n"));

    }

}

/**

 * xmlXPathErrMemory:

 * @param ctxt an XPath parser context

 * @param extra extra informations

 *

 * Handle a redefinition of attribute error

 */

static void

xmlXPathPErrMemory(xmlXPathParserContextPtr ctxt, const char *extra)

{

    ctxt->error = XPATH_MEMORY_ERROR;

    if (ctxt == NULL)

        xmlXPathErrMemory(NULL, extra);

    else

        xmlXPathErrMemory(ctxt->context, extra);

}

/**

 * xmlXPathErr:

 * @param ctxt a XPath parser context

 * @param error the error code

 *

 * Handle a Relax NG Parsing error

 */

XMLPUBFUNEXPORT void

xmlXPathErr(xmlXPathParserContextPtr ctxt, int error)

{

    if (ctxt == NULL) {

        __xmlRaiseError(NULL, NULL, NULL,

                NULL, NULL, XML_FROM_XPATH,

                error + XML_XPATH_EXPRESSION_OK - XPATH_EXPRESSION_OK,

                XML_ERR_ERROR, NULL, 0,

                NULL, NULL, NULL, 0, 0,

                xmlXPathErrorMessages[error]);

        return;

    }

    ctxt->error = error;

    if (ctxt->context == NULL) {

        __xmlRaiseError(NULL, NULL, NULL,

                NULL, NULL, XML_FROM_XPATH,

                error + XML_XPATH_EXPRESSION_OK - XPATH_EXPRESSION_OK,

                XML_ERR_ERROR, NULL, 0,

                (const char *) ctxt->base, NULL, NULL,

                ctxt->cur - ctxt->base, 0,

                xmlXPathErrorMessages[error]);

        return;

    }

    ctxt->context->lastError.domain = XML_FROM_XPATH;

    ctxt->context->lastError.code = error + XML_XPATH_EXPRESSION_OK - XPATH_EXPRESSION_OK;

    ctxt->context->lastError.level = XML_ERR_ERROR;

    if (ctxt->context->lastError.str1){

        xmlFree(ctxt->context->lastError.str1);

        ctxt->context->lastError.str1 = NULL;

    }

    // Avoid memory allocation if we are in OOM !

    if(error != XPATH_MEMORY_ERROR){

        ctxt->context->lastError.str1 = (char*) xmlStrdup(ctxt->base);

    }

    ctxt->context->lastError.int1 = ctxt->cur - ctxt->base;

    ctxt->context->lastError.node = ctxt->context->debugNode;

    if (ctxt->context->error != NULL) {

        ctxt->context->error(ctxt->context->userData, &ctxt->context->lastError);

    } else {

        __xmlRaiseError(NULL, NULL, NULL,

                NULL, ctxt->context->debugNode, XML_FROM_XPATH,

                error + XML_XPATH_EXPRESSION_OK - XPATH_EXPRESSION_OK,

                XML_ERR_ERROR, NULL, 0,

                (const char*) ctxt->base, NULL, NULL,

                ctxt->cur - ctxt->base, 0,

                xmlXPathErrorMessages[error]);

    }

}

// DONE: OPTIMIZE: Use macro instead of function call

//       Macro added in xpathInternals.h

/**

 * xmlXPatherror:

 * @param ctxt the XPath Parser context

 * @param file the file name

 * @param line the line number

 * @param no the error number

 *

 * Formats an error message.

 */

//void

//xmlXPatherror(xmlXPathParserContextPtr ctxt, const char* file ATTRIBUTE_UNUSED,

//              int line ATTRIBUTE_UNUSED , int no)

//{

//    xmlXPathErr(ctxt, no);

//}

/************************************************************************

 *                                                                      *

 *          Parser Types                                                *

 *                                                                      *

 ************************************************************************/

/*

 * Types are private:

 */

typedef enum {

    AXIS_ANCESTOR = 1,

    AXIS_ANCESTOR_OR_SELF,

    AXIS_ATTRIBUTE,

    AXIS_CHILD,

    AXIS_DESCENDANT,

    AXIS_DESCENDANT_OR_SELF,

    AXIS_FOLLOWING,

    AXIS_FOLLOWING_SIBLING,

    AXIS_NAMESPACE,

    AXIS_PARENT,

    AXIS_PRECEDING,

    AXIS_PRECEDING_SIBLING,

    AXIS_SELF

} xmlXPathAxisVal;

typedef enum {

    NODE_TEST_NONE  = 0,

    NODE_TEST_TYPE  = 1,

    NODE_TEST_PI    = 2,

    NODE_TEST_ALL   = 3,

    NODE_TEST_NS    = 4,

    NODE_TEST_NAME  = 5

} xmlXPathTestVal;

typedef enum {

    NODE_TYPE_NODE    = 0,

    NODE_TYPE_COMMENT = XML_COMMENT_NODE,

    NODE_TYPE_TEXT    = XML_TEXT_NODE,

    NODE_TYPE_PI      = XML_PI_NODE

} xmlXPathTypeVal;

/************************************************************************

 *                                                                      *

 *          Parser Type functions                                       *

 *                                                                      *

 ************************************************************************/

/**

 * xmlXPathNewCompExpr:

 *

 * Create a new Xpath component

 *

 * Returns the newly allocated xmlXPathCompExprPtr or NULL in case of error

 */

static xmlXPathCompExprPtr

xmlXPathNewCompExpr(void) {

    xmlXPathCompExprPtr cur;

    cur = (xmlXPathCompExprPtr) xmlMalloc(sizeof(xmlXPathCompExpr));

    if (cur == NULL) {

        xmlXPathErrMemory(NULL, EMBED_ERRTXT("allocating component\n"));

        return(NULL);

    }

    memset(cur, 0, sizeof(xmlXPathCompExpr));

    cur->maxStep = XPATH_STEPS_GRANULARITY; 

    cur->nbStep = 0;

    cur->steps = (xmlXPathStepOp *) xmlMalloc(cur->maxStep * sizeof(xmlXPathStepOp));

    if (cur->steps == NULL) {

        xmlXPathErrMemory(NULL, EMBED_ERRTXT("allocating steps\n"));

        xmlFree(cur);

        return(NULL);

    }

    memset(cur->steps, 0, cur->maxStep * sizeof(xmlXPathStepOp));

    cur->last = -1;

#ifdef DEBUG_EVAL_COUNTS

    cur->nb = 0;

#endif

    return(cur);

}

/**

 * xmlXPathFreeCompExpr:

 * @param comp an XPATH comp

 *

 * Free up the memory allocated by comp

 */

XMLPUBFUNEXPORT void

xmlXPathFreeCompExpr(xmlXPathCompExprPtr comp)

{

    xmlXPathStepOpPtr op;

    int i;

    if (comp == NULL)

        return;

    if (comp->dict == NULL) {

        for (i = 0; i < comp->nbStep; i++) {

            op = &comp->steps[i];

            if (op->value4 != NULL) {

                if (op->op == XPATH_OP_VALUE)

                    xmlXPathFreeObject((xmlXPathObjectPtr)op->value4);

                else

                    xmlFree(op->value4);

            }

            if (op->value5 != NULL)

                xmlFree(op->value5);

        }

    } else {

        for (i = 0; i < comp->nbStep; i++) {

            op = &comp->steps[i];

            if (op->value4 != NULL) {

                if (op->op == XPATH_OP_VALUE)

                    xmlXPathFreeObject((xmlXPathObjectPtr)op->value4);

            }

        }

        xmlDictFree(comp->dict);

    }

    if (comp->steps != NULL) {

        xmlFree(comp->steps);

    }

#ifdef DEBUG_EVAL_COUNTS

    if (comp->string != NULL) {

        xmlFree(comp->string);

    }

#endif

    if (comp->expr != NULL) {

        xmlFree(comp->expr);

    }

    xmlFree(comp);

}

/**

 * xmlXPathCompExprAdd:

 * @param comp the compiled expression

 * @param ch1 first child index

 * @param ch2 second child index

 * @param op an op

 * @param value the first int value

 * @param value2 the second int value

 * @param value3 the third int value

 * @param value4 the first string value

 * @param value5 the second string value

 *

 * Add a step to an XPath Compiled Expression

 *

 * Returns -1 in case of failure, the index otherwise

 */

static int

xmlXPathCompExprAdd(xmlXPathCompExprPtr comp, int ch1, int ch2,

                    xmlXPathOp op, int value,