001    /* Generated By:JavaCC: Do not edit this line. ParseException.java Version 0.7pre6 */
002    package com.thaiopensource.relaxng.parse.compact;
003    
004    /**
005     * This exception is thrown when parse errors are encountered.
006     * You can explicitly create objects of this exception type by
007     * calling the method generateParseException in the generated
008     * parser.
009     *
010     * You can modify this class to customize your error reporting
011     * mechanisms so long as you retain the public fields.
012     */
013    public class ParseException extends Exception {
014    
015      /**
016       * This constructor is used by the method "generateParseException"
017       * in the generated parser.  Calling this constructor generates
018       * a new object of this type with the fields "currentToken",
019       * "expectedTokenSequences", and "tokenImage" set.  The boolean
020       * flag "specialConstructor" is also set to true to indicate that
021       * this constructor was used to create this object.
022       * This constructor calls its super class with the empty string
023       * to force the "toString" method of parent class "Throwable" to
024       * print the error message in the form:
025       *     ParseException: <result of getMessage>
026       */
027      public ParseException(Token currentTokenVal,
028                            int[][] expectedTokenSequencesVal,
029                            String[] tokenImageVal
030                           )
031      {
032        super("");
033        specialConstructor = true;
034        currentToken = currentTokenVal;
035        expectedTokenSequences = expectedTokenSequencesVal;
036        tokenImage = tokenImageVal;
037      }
038    
039      /**
040       * The following constructors are for use by you for whatever
041       * purpose you can think of.  Constructing the exception in this
042       * manner makes the exception behave in the normal way - i.e., as
043       * documented in the class "Throwable".  The fields "errorToken",
044       * "expectedTokenSequences", and "tokenImage" do not contain
045       * relevant information.  The JavaCC generated code does not use
046       * these constructors.
047       */
048    
049      public ParseException() {
050        super();
051        specialConstructor = false;
052      }
053    
054      public ParseException(String message) {
055        super(message);
056        specialConstructor = false;
057      }
058    
059      /**
060       * This variable determines which constructor was used to create
061       * this object and thereby affects the semantics of the
062       * "getMessage" method (see below).
063       */
064      protected boolean specialConstructor;
065    
066      /**
067       * This is the last token that has been consumed successfully.  If
068       * this object has been created due to a parse error, the token
069       * followng this token will (therefore) be the first error token.
070       */
071      public Token currentToken;
072    
073      /**
074       * Each entry in this array is an array of integers.  Each array
075       * of integers represents a sequence of tokens (by their ordinal
076       * values) that is expected at this point of the parse.
077       */
078      public int[][] expectedTokenSequences;
079    
080      /**
081       * This is a reference to the "tokenImage" array of the generated
082       * parser within which the parse error occurred.  This array is
083       * defined in the generated ...Constants interface.
084       */
085      public String[] tokenImage;
086    
087      /**
088       * This method has the standard behavior when this object has been
089       * created using the standard constructors.  Otherwise, it uses
090       * "currentToken" and "expectedTokenSequences" to generate a parse
091       * error message and returns it.  If this object has been created
092       * due to a parse error, and you do not catch it (it gets thrown
093       * from the parser), then this method is called during the printing
094       * of the final stack trace, and hence the correct error message
095       * gets displayed.
096       */
097      public String getMessage() {
098        if (!specialConstructor) {
099          return super.getMessage();
100        }
101        String expected = "";
102        int maxSize = 0;
103        for (int i = 0; i < expectedTokenSequences.length; i++) {
104          if (maxSize < expectedTokenSequences[i].length) {
105            maxSize = expectedTokenSequences[i].length;
106          }
107          for (int j = 0; j < expectedTokenSequences[i].length; j++) {
108            expected += tokenImage[expectedTokenSequences[i][j]] + " ";
109          }
110          if (expectedTokenSequences[i][expectedTokenSequences[i].length - 1] != 0) {
111            expected += "...";
112          }
113          expected += eol + "    ";
114        }
115        String retval = "Encountered \"";
116        Token tok = currentToken.next;
117        for (int i = 0; i < maxSize; i++) {
118          if (i != 0) retval += " ";
119          if (tok.kind == 0) {
120            retval += tokenImage[0];
121            break;
122          }
123          retval += add_escapes(tok.image);
124          tok = tok.next; 
125        }
126        retval += "\" at line " + currentToken.next.beginLine + ", column " + currentToken.next.beginColumn + "." + eol;
127        if (expectedTokenSequences.length == 1) {
128          retval += "Was expecting:" + eol + "    ";
129        } else {
130          retval += "Was expecting one of:" + eol + "    ";
131        }
132        retval += expected;
133        return retval;
134      }
135    
136      /**
137       * The end of line string for this machine.
138       */
139      protected String eol = System.getProperty("line.separator", "\n");
140     
141      /**
142       * Used to convert raw characters to their escaped version
143       * when these raw version cannot be used as part of an ASCII
144       * string literal.
145       */
146      protected String add_escapes(String str) {
147          StringBuffer retval = new StringBuffer();
148          char ch;
149          for (int i = 0; i < str.length(); i++) {
150            switch (str.charAt(i))
151            {
152               case 0 :
153                  continue;
154               case '\b':
155                  retval.append("\\b");
156                  continue;
157               case '\t':
158                  retval.append("\\t");
159                  continue;
160               case '\n':
161                  retval.append("\\n");
162                  continue;
163               case '\f':
164                  retval.append("\\f");
165                  continue;
166               case '\r':
167                  retval.append("\\r");
168                  continue;
169               case '\"':
170                  retval.append("\\\"");
171                  continue;
172               case '\'':
173                  retval.append("\\\'");
174                  continue;
175               case '\\':
176                  retval.append("\\\\");
177                  continue;
178               default:
179                  if ((ch = str.charAt(i)) < 0x20 || ch > 0x7e) {
180                     String s = "0000" + Integer.toString(ch, 16);
181                     retval.append("\\u" + s.substring(s.length() - 4, s.length()));
182                  } else {
183                     retval.append(ch);
184                  }
185                  continue;
186            }
187          }
188          return retval.toString();
189       }
190    
191    }