util/qlalr/examples/dummy-xml/xml.g
changeset 0 1918ee327afb
child 4 3b1da2848fc7
--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/util/qlalr/examples/dummy-xml/xml.g	Mon Jan 11 14:00:40 2010 +0000
@@ -0,0 +1,242 @@
+----------------------------------------------------------------------------
+--
+-- Copyright (C) 2009 Nokia Corporation and/or its subsidiary(-ies).
+-- All rights reserved.
+-- Contact: Nokia Corporation (qt-info@nokia.com)
+--
+-- This file is part of the QtCore module of the Qt Toolkit.
+--
+-- $QT_BEGIN_LICENSE:LGPL$
+-- No Commercial Usage
+-- This file contains pre-release code and may not be distributed.
+-- You may use this file in accordance with the terms and conditions
+-- contained in the Technology Preview License Agreement accompanying
+-- this package.
+--
+-- GNU Lesser General Public License Usage
+-- Alternatively, this file may be used under the terms of the GNU Lesser
+-- General Public License version 2.1 as published by the Free Software
+-- Foundation and appearing in the file LICENSE.LGPL included in the
+-- packaging of this file.  Please review the following information to
+-- ensure the GNU Lesser General Public License version 2.1 requirements
+-- will be met: http://www.gnu.org/licenses/old-licenses/lgpl-2.1.html.
+--
+-- In addition, as a special exception, Nokia gives you certain additional
+-- rights.  These rights are described in the Nokia Qt LGPL Exception
+-- version 1.1, included in the file LGPL_EXCEPTION.txt in this package.
+--
+-- If you have questions regarding the use of this file, please contact
+-- Nokia at qt-info@nokia.com.
+--
+--
+--
+--
+--
+--
+--
+--
+-- $QT_END_LICENSE$
+--
+----------------------------------------------------------------------------
+
+%parser XMLTable
+
+%impl xmlreader.cpp
+
+%token LEFT_ANGLE
+%token RIGHT_ANGLE
+%token ANY
+
+%start XmlStream
+
+/.
+#ifndef XMLREADER_H
+#define XMLREADER_H
+
+#include <QtCore>
+#include <cstdio>
+#include <cstdlib>
+#include <cstring>
+#include "$header"
+
+class XMLReader: protected $table
+{
+public:
+    XMLReader(const QByteArray &bytes);
+    ~XMLReader();
+
+    bool parse();
+
+    inline int nextToken()
+    {
+        switch (*bufptr++) {
+        case '\0':
+            return EOF_SYMBOL;
+
+        case '<':
+            in_tag = true;
+            return LEFT_ANGLE;
+
+        case '>':
+            if (! in_tag)
+                break;
+            in_tag = false;
+            return RIGHT_ANGLE;
+            break;
+
+        } // switch
+
+        return ANY;
+    }
+
+protected:
+    inline void reallocateStack();
+
+    inline int &sym(int index)
+    { return stack [tos + index - 1].ival; }
+
+protected:
+    int tos;
+    int stack_size;
+
+    struct StackItem {
+        int state;
+        int ival;
+    };
+
+    QVarLengthArray<StackItem> stack;
+    unsigned in_tag: 1;
+    QByteArray bytes;
+    const char *bufptr;
+};
+
+inline void XMLReader::reallocateStack()
+{
+    if (! stack_size)
+        stack_size = 128;
+    else
+        stack_size <<= 1;
+
+    stack.resize (stack_size);
+}
+
+#endif // XMLREADER_H
+
+XMLReader::XMLReader(const QByteArray &bytes):
+    tos(0),
+    stack_size(0),
+    bytes(bytes)
+{
+    bufptr = bytes.constData();
+}
+
+XMLReader::~XMLReader()
+{
+}
+
+bool XMLReader::parse()
+{
+  const int INITIAL_STATE = 0;
+
+  in_tag = 0;
+  bufptr = bytes.constData();
+
+  int yytoken = -1;
+  reallocateStack();
+
+  tos = 0;
+  stack [++tos].state = INITIAL_STATE;
+
+  while (true)
+    {
+      const int state = stack [tos].state;
+
+      if (yytoken == -1 && - TERMINAL_COUNT != action_index [state])
+        yytoken = nextToken();
+
+      int act = t_action (state, yytoken);
+
+      if (act == ACCEPT_STATE)
+        return true;
+
+      else if (act > 0)
+        {
+          if (++tos == stack_size)
+            reallocateStack();
+
+          stack [tos].ival = *bufptr; // ### save the token value here
+          stack [tos].state = act;
+          yytoken = -1;
+        }
+
+      else if (act < 0)
+        {
+          int r = - act - 1;
+
+          tos -= rhs [r];
+          act = stack [tos++].state;
+
+          switch (r) {
+./
+
+
+
+
+XmlStream: TagOrWord ;
+XmlStream: XmlStream TagOrWord ;
+
+TagOrWord: Tag ;
+TagOrWord: ANY ;
+
+Tag: LEFT_ANGLE TagName RIGHT_ANGLE ;
+/.
+    case $rule_number: {
+        fprintf (stderr, "*** found a tag\n");
+    } break;
+./
+
+TagName: ANY ;
+TagName: TagName ANY ;
+
+
+/.
+          } // switch
+
+          stack [tos].state = nt_action (act, lhs [r] - TERMINAL_COUNT);
+        }
+
+      else
+        {
+          // ### ERROR RECOVERY HERE
+          break;
+        }
+    }
+
+    return false;
+}
+
+
+
+/////////////////////////////
+// entry point
+/////////////////////////////
+int main(int, char *argv[])
+{
+    QFile f (argv[1]);
+
+    if (f.open(QFile::ReadOnly)) {
+        QByteArray contents = f.readAll();
+        XMLReader parser (contents);
+
+        if (parser.parse())
+            printf ("OK\n");
+        else
+            printf ("KO\n");
+    }
+}
+
+
+
+
+./
+