bundles/org.eclipse.wst.sse.core/DevTimeSupport/HeadParsers/XML10Names/XML10Names.java - sourceediting/webtools.sourceediting - Git at Google

 /*******************************************************************************
  * Copyright (c) 2001, 2004 IBM Corporation and others.
  * All rights reserved. This program and the accompanying materials
  * are made available under the terms of the Eclipse Public License v1.0
  * which accompanies this distribution, and is available at
  * http://www.eclipse.org/legal/epl-v10.html
  *
  * Contributors:
  *     IBM Corporation - initial API and implementation
  *     Jens Lukowski/Innoopract - initial renaming/restructuring
  *
  *******************************************************************************/
 /* The following code was generated by JFlex 1.4 on 7/17/04 3:43 AM */

 /*nlsXXX*/
 package org.eclipse.wst.sse.core.xml.internal.parser;


 /**
  * This class is a scanner generated by
  * <a href="http://www.jflex.de/">JFlex</a> 1.4
  * on 7/17/04 3:43 AM from the specification file
  * <tt>XML10Names.jflex</tt>
  */
 public final class XML10Names {

   /** This character denotes the end of file */
   private static final int YYEOF = -1;

   /** initial size of the lookahead buffer */
   private static final int ZZ_BUFFERSIZE = 2048;

   /** lexical states */
   private static final int YYINITIAL = 0;

   /**
    * Translates characters to character classes
    */
   private static final String ZZ_CMAP_PACKED =
     "\11\0\1\1\1\2\2\0\1\1\22\0\1\1\14\0\1\0\2\0"+
     "\12\0\1\3\6\0\32\3\4\0\1\3\1\0\32\3\74\0\1\0"+
     "\10\0\27\3\1\0\37\3\1\0\72\3\2\0\13\3\2\0\10\3"+
     "\1\0\65\3\1\0\104\3\11\0\44\3\3\0\2\3\4\0\36\3"+
     "\70\0\131\3\22\0\7\3\16\0\2\0\56\0\106\0\32\0\2\0"+
     "\44\0\1\3\1\0\3\3\1\0\1\3\1\0\24\3\1\0\54\3"+
     "\1\0\7\3\3\0\1\3\1\0\1\3\1\0\1\3\1\0\1\3"+
     "\1\0\22\3\15\0\14\3\1\0\102\3\1\0\14\3\1\0\44\3"+
     "\1\0\4\0\11\0\65\3\2\0\2\3\2\0\2\3\3\0\34\3"+
     "\2\0\10\3\2\0\2\3\67\0\46\3\2\0\1\3\7\0\46\3"+
     "\12\0\21\0\1\0\27\0\1\0\3\0\1\0\1\0\1\0\2\0"+
     "\1\0\1\0\13\0\33\3\5\0\3\3\56\0\32\3\5\0\1\0"+
     "\12\3\10\0\15\0\12\0\6\0\1\0\107\3\2\0\5\3\1\0"+
     "\17\3\1\0\4\3\1\0\1\3\17\0\2\3\2\0\1\0\4\0"+
     "\2\0\12\0\u0207\0\3\0\1\0\65\3\2\0\1\0\1\3\20\0"+
     "\3\0\4\0\3\0\12\3\2\0\2\0\12\0\21\0\3\0\1\0"+
     "\10\3\2\0\2\3\2\0\26\3\1\0\7\3\1\0\1\3\3\0"+
     "\4\3\2\0\1\0\1\0\7\0\2\0\2\0\2\0\3\0\11\0"+
     "\1\0\4\0\2\3\1\0\3\3\2\0\2\0\12\0\2\3\20\0"+
     "\1\0\2\0\6\3\4\0\2\3\2\0\26\3\1\0\7\3\1\0"+
     "\2\3\1\0\2\3\1\0\2\3\2\0\1\0\1\0\5\0\4\0"+
     "\2\0\2\0\3\0\13\0\4\3\1\0\1\3\7\0\12\0\2\0"+
     "\3\3\14\0\3\0\1\0\7\3\1\0\1\3\1\0\3\3\1\0"+
     "\26\3\1\0\7\3\1\0\2\3\1\0\5\3\2\0\1\0\1\3"+
     "\10\0\1\0\3\0\1\0\3\0\22\0\1\3\5\0\12\0\21\0"+
     "\3\0\1\0\10\3\2\0\2\3\2\0\26\3\1\0\7\3\1\0"+
     "\2\3\2\0\4\3\2\0\1\0\1\3\6\0\3\0\2\0\2\0"+
     "\3\0\10\0\2\0\4\0\2\3\1\0\3\3\4\0\12\0\22\0"+
     "\2\0\1\0\6\3\3\0\3\3\1\0\4\3\3\0\2\3\1\0"+
     "\1\3\1\0\2\3\3\0\2\3\3\0\3\3\3\0\10\3\1\0"+
     "\3\3\4\0\5\0\3\0\3\0\1\0\4\0\11\0\1\0\17\0"+
     "\11\0\21\0\3\0\1\0\10\3\1\0\3\3\1\0\27\3\1\0"+
     "\12\3\1\0\5\3\4\0\7\0\1\0\3\0\1\0\4\0\7\0"+
     "\2\0\11\0\2\3\4\0\12\0\22\0\2\0\1\0\10\3\1\0"+
     "\3\3\1\0\27\3\1\0\12\3\1\0\5\3\4\0\7\0\1\0"+
     "\3\0\1\0\4\0\7\0\2\0\7\0\1\3\1\0\2\3\4\0"+
     "\12\0\22\0\2\0\1\0\10\3\1\0\3\3\1\0\27\3\1\0"+
     "\20\3\4\0\6\0\2\0\3\0\1\0\4\0\11\0\1\0\10\0"+
     "\2\3\4\0\12\0\221\0\56\3\1\0\1\3\1\0\2\3\7\0"+
     "\5\0\6\3\1\0\10\0\1\0\12\0\47\0\2\3\1\0\1\3"+
     "\2\0\2\3\1\0\1\3\2\0\1\3\6\0\4\3\1\0\7\3"+
     "\1\0\3\3\1\0\1\3\1\0\1\3\2\0\2\3\1\0\2\3"+
     "\1\0\1\3\1\0\2\3\6\0\1\0\2\0\1\3\2\0\5\3"+
     "\1\0\1\0\1\0\6\0\2\0\12\0\76\0\2\0\6\0\12\0"+
     "\13\0\1\0\1\0\1\0\1\0\1\0\4\0\2\0\10\3\1\0"+
     "\41\3\7\0\24\0\1\0\6\0\4\0\6\0\1\0\1\0\1\0"+
     "\25\0\3\0\7\0\1\0\1\0\346\0\46\3\12\0\47\3\11\0"+
     "\1\3\1\0\2\3\1\0\3\3\1\0\1\3\1\0\2\3\1\0"+
     "\5\3\51\0\1\3\1\0\1\3\1\0\1\3\13\0\1\3\1\0"+
     "\1\3\1\0\1\3\3\0\2\3\3\0\1\3\5\0\3\3\1\0"+
     "\1\3\1\0\1\3\1\0\1\3\1\0\1\3\3\0\2\3\3\0"+
     "\2\3\1\0\1\3\50\0\1\3\11\0\1\3\2\0\1\3\2\0"+
     "\2\3\7\0\2\3\1\0\1\3\1\0\7\3\50\0\1\3\4\0"+
     "\1\3\10\0\1\3\u0c06\0\234\3\4\0\132\3\6\0\26\3\2\0"+
     "\6\3\2\0\46\3\2\0\6\3\2\0\10\3\1\0\1\3\1\0"+
     "\1\3\1\0\1\3\1\0\37\3\2\0\65\3\1\0\7\3\1\0"+
     "\1\3\3\0\3\3\1\0\7\3\3\0\4\3\2\0\6\3\4\0"+
     "\15\3\5\0\3\3\1\0\7\3\323\0\15\0\4\0\1\0\104\0"+
     "\1\3\3\0\2\3\2\0\1\3\121\0\3\3\u0e82\0\1\0\1\0"+
     "\1\3\31\0\11\3\6\0\1\0\5\0\13\0\124\3\4\0\2\0"+
     "\2\0\2\0\2\0\132\3\1\0\3\0\6\0\50\3\u1cd3\0\u51a6\3"+
     "\u0c5a\0\u2ba4\3\u285c\0";

   /**
    * Translates characters to character classes
    */
   private static final char [] ZZ_CMAP = zzUnpackCMap(ZZ_CMAP_PACKED);

   /**
    * Translates DFA states to action switch labels.
    */
   private static final int [] ZZ_ACTION = zzUnpackAction();

   private static final String ZZ_ACTION_PACKED_0 =
     "\1\0\1\1\1\2\4\1";

   private static int [] zzUnpackAction() {
     int [] result = new int[7];
     int offset = 0;
     offset = zzUnpackAction(ZZ_ACTION_PACKED_0, offset, result);
     return result;
   }

   private static int zzUnpackAction(String packed, int offset, int [] result) {
     int i = 0;       /* index in packed string  */
     int j = offset;  /* index in unpacked array */
     int l = packed.length();
     while (i < l) {
       int count = packed.charAt(i++);
       int value = packed.charAt(i++);
       do result[j++] = value; while (--count > 0);
     }
     return j;
   }


   /**
    * Translates a state to a row index in the transition table
    */
   private static final int [] ZZ_ROWMAP = zzUnpackRowMap();

   private static final String ZZ_ROWMAP_PACKED_0 =
     "\0\0\0\4\0\10\0\14\0\20\0\24\0\30";

   private static int [] zzUnpackRowMap() {
     int [] result = new int[7];
     int offset = 0;
     offset = zzUnpackRowMap(ZZ_ROWMAP_PACKED_0, offset, result);
     return result;
   }

   private static int zzUnpackRowMap(String packed, int offset, int [] result) {
     int i = 0;  /* index in packed string  */
     int j = offset;  /* index in unpacked array */
     int l = packed.length();
     while (i < l) {
       int high = packed.charAt(i++) << 16;
       result[j++] = high | packed.charAt(i++);
     }
     return j;
   }

   /**
    * The transition table of the DFA
    */
   private static final int ZZ_TRANS [] = {
     1, 1, -1, 2, -1, -1, -1, -1, 2, 3,
     4, 2, 2, 3, 4, 5, -1, 4, 4, 6,
     5, 5, 4, 5, 6, 6, -1, 6,
   };

   /* error codes */
   private static final int ZZ_UNKNOWN_ERROR = 0;
   private static final int ZZ_NO_MATCH = 1;
   private static final int ZZ_PUSHBACK_2BIG = 2;

   /* error messages for the codes above */
   private static final String ZZ_ERROR_MSG[] = {
     "Unkown internal scanner error",
     "Error: could not match input",
     "Error: pushback value was too large"
   };

   /**
    * ZZ_ATTRIBUTE[aState] contains the attributes of state <code>aState</code>
    */
   private static final int [] ZZ_ATTRIBUTE = zzUnpackAttribute();

   private static final String ZZ_ATTRIBUTE_PACKED_0 =
     "\1\0\1\11\5\1";

   private static int [] zzUnpackAttribute() {
     int [] result = new int[7];
     int offset = 0;
     offset = zzUnpackAttribute(ZZ_ATTRIBUTE_PACKED_0, offset, result);
     return result;
   }

   private static int zzUnpackAttribute(String packed, int offset, int [] result) {
     int i = 0;       /* index in packed string  */
     int j = offset;  /* index in unpacked array */
     int l = packed.length();
     while (i < l) {
       int count = packed.charAt(i++);
       int value = packed.charAt(i++);
       do result[j++] = value; while (--count > 0);
     }
     return j;
   }

   /** the input device */
   private java.io.Reader zzReader;

   /** the current state of the DFA */
   private int zzState;

   /** the current lexical state */
   private int zzLexicalState = YYINITIAL;

   /** this buffer contains the current text to be matched and is
       the source of the yytext() string */
   private char zzBuffer[] = new char[ZZ_BUFFERSIZE];

   /** the textposition at the last accepting state */
   private int zzMarkedPos;

   /** the textposition at the last state to be included in yytext */
   private int zzPushbackPos;

   /** the current text position in the buffer */
   private int zzCurrentPos;

   /** startRead marks the beginning of the yytext() string in the buffer */
   private int zzStartRead;

   /** endRead marks the last character in the buffer, that has been read
       from input */
   private int zzEndRead;

   /** number of newlines encountered up to the start of the matched text */
   private int yyline;

   /** the number of characters up to the start of the matched text */
   private int yychar;

   /**
    * the number of characters from the last newline up to the start of the
    * matched text
    */
   private int yycolumn;

   /**
    * zzAtBOL == true <=> the scanner is currently at the beginning of a line
    */
   private boolean zzAtBOL = true;

   /** zzAtEOF == true <=> the scanner is at the EOF */
   private boolean zzAtEOF;

   /* user code: */

 	/**
 	 * Creates a new scanner
 	 */
 	public XML10Names() {
 		this.zzReader = null;
 	}

 	public boolean isValidXML10Name(String stringToCheck) {
 		boolean result = false;
 		yyreset(new java.io.StringReader(stringToCheck));
 		try {
 			result = isValidXML10Name();
 		}
 		catch (java.io.IOException e) {
 			// should be impossible with strings, but if occurs, just means
 			// "not"
 			result = false;
 		}
 		return result;
 	}


   /**
    * Creates a new scanner
    * There is also a java.io.InputStream version of this constructor.
    *
    * @param   in  the java.io.Reader to read input from.
    */
   public XML10Names(java.io.Reader in) {
     this.zzReader = in;
   }

   /**
    * Creates a new scanner.
    * There is also java.io.Reader version of this constructor.
    *
    * @param   in  the java.io.Inputstream to read input from.
    */
   public XML10Names(java.io.InputStream in) {
     this(new java.io.InputStreamReader(in));
   }

   /**
    * Unpacks the compressed character translation table.
    *
    * @param packed   the packed character translation table
    * @return         the unpacked character translation table
    */
   private static char [] zzUnpackCMap(String packed) {
     char [] map = new char[0x10000];
     int i = 0;  /* index in packed string  */
     int j = 0;  /* index in unpacked array */
     while (i < 1226) {
       int  count = packed.charAt(i++);
       char value = packed.charAt(i++);
       do map[j++] = value; while (--count > 0);
     }
     return map;
   }


   /**
    * Refills the input buffer.
    *
    * @return      <code>false</code>, iff there was new input.
    *
    * @exception   java.io.IOException  if any I/O-Error occurs
    */
   private boolean zzRefill() throws java.io.IOException {

     /* first: make room (if you can) */
     if (zzStartRead > 0) {
       System.arraycopy(zzBuffer, zzStartRead,
                        zzBuffer, 0,
                        zzEndRead-zzStartRead);

       /* translate stored positions */
       zzEndRead-= zzStartRead;
       zzCurrentPos-= zzStartRead;
       zzMarkedPos-= zzStartRead;
       zzPushbackPos-= zzStartRead;
       zzStartRead = 0;
     }

     /* is the buffer big enough? */
     if (zzCurrentPos >= zzBuffer.length) {
       /* if not: blow it up */
       char newBuffer[] = new char[zzCurrentPos*2];
       System.arraycopy(zzBuffer, 0, newBuffer, 0, zzBuffer.length);
       zzBuffer = newBuffer;
     }

     /* finally: fill the buffer with new input */
     int numRead = zzReader.read(zzBuffer, zzEndRead,
                                             zzBuffer.length-zzEndRead);

     if (numRead < 0) {
       return true;
     }
     else {
       zzEndRead+= numRead;
       return false;
     }
   }


   /**
    * Closes the input stream.
    */
   private final void yyclose() throws java.io.IOException {
     zzAtEOF = true;            /* indicate end of file */
     zzEndRead = zzStartRead;  /* invalidate buffer    */

     if (zzReader != null)
       zzReader.close();
   }


   /**
    * Resets the scanner to read from a new input stream.
    * Does not close the old reader.
    *
    * All internal variables are reset, the old input stream
    * <b>cannot</b> be reused (internal buffer is discarded and lost).
    * Lexical state is set to <tt>ZZ_INITIAL</tt>.
    *
    * @param reader   the new input stream
    */
   private final void yyreset(java.io.Reader reader) {
     zzReader = reader;
     zzAtBOL  = true;
     zzAtEOF  = false;
     zzEndRead = zzStartRead = 0;
     zzCurrentPos = zzMarkedPos = zzPushbackPos = 0;
     yyline = yychar = yycolumn = 0;
     zzLexicalState = YYINITIAL;
   }


   /**
    * Returns the current lexical state.
    */
   private final int yystate() {
     return zzLexicalState;
   }


   /**
    * Enters a new lexical state
    *
    * @param newState the new lexical state
    */
   private final void yybegin(int newState) {
     zzLexicalState = newState;
   }


   /**
    * Returns the text matched by the current regular expression.
    */
   private final String yytext() {
     return new String( zzBuffer, zzStartRead, zzMarkedPos-zzStartRead );
   }


   /**
    * Returns the character at position <tt>pos</tt> from the
    * matched text.
    *
    * It is equivalent to yytext().charAt(pos), but faster
    *
    * @param pos the position of the character to fetch.
    *            A value from 0 to yylength()-1.
    *
    * @return the character at position pos
    */
   private final char yycharat(int pos) {
     return zzBuffer[zzStartRead+pos];
   }


   /**
    * Returns the length of the matched text region.
    */
   private final int yylength() {
     return zzMarkedPos-zzStartRead;
   }


   /**
    * Reports an error that occured while scanning.
    *
    * In a wellformed scanner (no or only correct usage of
    * yypushback(int) and a match-all fallback rule) this method
    * will only be called with things that "Can't Possibly Happen".
    * If this method is called, something is seriously wrong
    * (e.g. a JFlex bug producing a faulty scanner etc.).
    *
    * Usual syntax/scanner level error handling should be done
    * in error fallback rules.
    *
    * @param   errorCode  the code of the errormessage to display
    */
   private void zzScanError(int errorCode) {
     String message;
     try {
       message = ZZ_ERROR_MSG[errorCode];
     }
     catch (ArrayIndexOutOfBoundsException e) {
       message = ZZ_ERROR_MSG[ZZ_UNKNOWN_ERROR];
     }

     throw new Error(message);
   }


   /**
    * Pushes the specified amount of characters back into the input stream.
    *
    * They will be read again by then next call of the scanning method
    *
    * @param number  the number of characters to be read again.
    *                This number must not be greater than yylength()!
    */
   private void yypushback(int number)  {
     if ( number > yylength() )
       zzScanError(ZZ_PUSHBACK_2BIG);

     zzMarkedPos -= number;
   }


   /**
    * Resumes scanning until the next regular expression is matched,
    * the end of input is encountered or an I/O-Error occurs.
    *
    * @return      the next token
    * @exception   java.io.IOException  if any I/O-Error occurs
    */
   private boolean isValidXML10Name() throws java.io.IOException {
     int zzInput;
     int zzAction;

     // cached fields:
     int zzCurrentPosL;
     int zzMarkedPosL;
     int zzEndReadL = zzEndRead;
     char [] zzBufferL = zzBuffer;
     char [] zzCMapL = ZZ_CMAP;

     int [] zzTransL = ZZ_TRANS;
     int [] zzRowMapL = ZZ_ROWMAP;
     int [] zzAttrL = ZZ_ATTRIBUTE;

     while (true) {
       zzMarkedPosL = zzMarkedPos;

       zzAction = -1;

       zzCurrentPosL = zzCurrentPos = zzStartRead = zzMarkedPosL;

       zzState = zzLexicalState;


       zzForAction: {
         while (true) {

           if (zzCurrentPosL < zzEndReadL)
             zzInput = zzBufferL[zzCurrentPosL++];
           else if (zzAtEOF) {
             zzInput = YYEOF;
             break zzForAction;
           }
           else {
             // store back cached positions
             zzCurrentPos  = zzCurrentPosL;
             zzMarkedPos   = zzMarkedPosL;
             boolean eof = zzRefill();
             // get translated positions and possibly new buffer
             zzCurrentPosL  = zzCurrentPos;
             zzMarkedPosL   = zzMarkedPos;
             zzBufferL      = zzBuffer;
             zzEndReadL     = zzEndRead;
             if (eof) {
               zzInput = YYEOF;
               break zzForAction;
             }
             else {
               zzInput = zzBufferL[zzCurrentPosL++];
             }
           }
           int zzNext = zzTransL[ zzRowMapL[zzState] + zzCMapL[zzInput] ];
           if (zzNext == -1) break zzForAction;
           zzState = zzNext;

           int zzAttributes = zzAttrL[zzState];
           if ( (zzAttributes & 1) == 1 ) {
             zzAction = zzState;
             zzMarkedPosL = zzCurrentPosL;
             if ( (zzAttributes & 8) == 8 ) break zzForAction;
           }

         }
       }

       // store back cached position
       zzMarkedPos = zzMarkedPosL;

       switch (zzAction < 0 ? zzAction : ZZ_ACTION[zzAction]) {
         case 1:
           { return false;
           }
         case 3: break;
         case 2:
           { return true;
           }
         case 4: break;
         default:
           if (zzInput == YYEOF && zzStartRead == zzCurrentPos) {
             zzAtEOF = true;
               { {return false;} }
           }
           else {
             zzScanError(ZZ_NO_MATCH);
           }
       }
     }
   }


 }
	/*******************************************************************************
	* Copyright (c) 2001, 2004 IBM Corporation and others.
	* All rights reserved. This program and the accompanying materials
	* are made available under the terms of the Eclipse Public License v1.0
	* which accompanies this distribution, and is available at
	* http://www.eclipse.org/legal/epl-v10.html
	*
	* Contributors:
	* IBM Corporation - initial API and implementation
	* Jens Lukowski/Innoopract - initial renaming/restructuring
	*
	*******************************************************************************/
	/* The following code was generated by JFlex 1.4 on 7/17/04 3:43 AM */

	/nlsXXX/
	package org.eclipse.wst.sse.core.xml.internal.parser;




	/**
	* This class is a scanner generated by
	* <a href="http://www.jflex.de/">JFlex</a> 1.4
	* on 7/17/04 3:43 AM from the specification file
	* <tt>XML10Names.jflex</tt>
	*/
	public final class XML10Names {

	/** This character denotes the end of file */
	private static final int YYEOF = -1;

	/** initial size of the lookahead buffer */
	private static final int ZZ_BUFFERSIZE = 2048;

	/** lexical states */
	private static final int YYINITIAL = 0;

	/**
	* Translates characters to character classes
	*/
	private static final String ZZ_CMAP_PACKED =
	"\11\0\1\1\1\2\2\0\1\1\22\0\1\1\14\0\1\0\2\0"+
	"\12\0\1\3\6\0\32\3\4\0\1\3\1\0\32\3\74\0\1\0"+
	"\10\0\27\3\1\0\37\3\1\0\72\3\2\0\13\3\2\0\10\3"+
	"\1\0\65\3\1\0\104\3\11\0\44\3\3\0\2\3\4\0\36\3"+
	"\70\0\131\3\22\0\7\3\16\0\2\0\56\0\106\0\32\0\2\0"+
	"\44\0\1\3\1\0\3\3\1\0\1\3\1\0\24\3\1\0\54\3"+
	"\1\0\7\3\3\0\1\3\1\0\1\3\1\0\1\3\1\0\1\3"+
	"\1\0\22\3\15\0\14\3\1\0\102\3\1\0\14\3\1\0\44\3"+
	"\1\0\4\0\11\0\65\3\2\0\2\3\2\0\2\3\3\0\34\3"+
	"\2\0\10\3\2\0\2\3\67\0\46\3\2\0\1\3\7\0\46\3"+
	"\12\0\21\0\1\0\27\0\1\0\3\0\1\0\1\0\1\0\2\0"+
	"\1\0\1\0\13\0\33\3\5\0\3\3\56\0\32\3\5\0\1\0"+
	"\12\3\10\0\15\0\12\0\6\0\1\0\107\3\2\0\5\3\1\0"+
	"\17\3\1\0\4\3\1\0\1\3\17\0\2\3\2\0\1\0\4\0"+
	"\2\0\12\0\u0207\0\3\0\1\0\65\3\2\0\1\0\1\3\20\0"+
	"\3\0\4\0\3\0\12\3\2\0\2\0\12\0\21\0\3\0\1\0"+
	"\10\3\2\0\2\3\2\0\26\3\1\0\7\3\1\0\1\3\3\0"+
	"\4\3\2\0\1\0\1\0\7\0\2\0\2\0\2\0\3\0\11\0"+
	"\1\0\4\0\2\3\1\0\3\3\2\0\2\0\12\0\2\3\20\0"+
	"\1\0\2\0\6\3\4\0\2\3\2\0\26\3\1\0\7\3\1\0"+
	"\2\3\1\0\2\3\1\0\2\3\2\0\1\0\1\0\5\0\4\0"+
	"\2\0\2\0\3\0\13\0\4\3\1\0\1\3\7\0\12\0\2\0"+
	"\3\3\14\0\3\0\1\0\7\3\1\0\1\3\1\0\3\3\1\0"+
	"\26\3\1\0\7\3\1\0\2\3\1\0\5\3\2\0\1\0\1\3"+
	"\10\0\1\0\3\0\1\0\3\0\22\0\1\3\5\0\12\0\21\0"+
	"\3\0\1\0\10\3\2\0\2\3\2\0\26\3\1\0\7\3\1\0"+
	"\2\3\2\0\4\3\2\0\1\0\1\3\6\0\3\0\2\0\2\0"+
	"\3\0\10\0\2\0\4\0\2\3\1\0\3\3\4\0\12\0\22\0"+
	"\2\0\1\0\6\3\3\0\3\3\1\0\4\3\3\0\2\3\1\0"+
	"\1\3\1\0\2\3\3\0\2\3\3\0\3\3\3\0\10\3\1\0"+
	"\3\3\4\0\5\0\3\0\3\0\1\0\4\0\11\0\1\0\17\0"+
	"\11\0\21\0\3\0\1\0\10\3\1\0\3\3\1\0\27\3\1\0"+
	"\12\3\1\0\5\3\4\0\7\0\1\0\3\0\1\0\4\0\7\0"+
	"\2\0\11\0\2\3\4\0\12\0\22\0\2\0\1\0\10\3\1\0"+
	"\3\3\1\0\27\3\1\0\12\3\1\0\5\3\4\0\7\0\1\0"+
	"\3\0\1\0\4\0\7\0\2\0\7\0\1\3\1\0\2\3\4\0"+
	"\12\0\22\0\2\0\1\0\10\3\1\0\3\3\1\0\27\3\1\0"+
	"\20\3\4\0\6\0\2\0\3\0\1\0\4\0\11\0\1\0\10\0"+
	"\2\3\4\0\12\0\221\0\56\3\1\0\1\3\1\0\2\3\7\0"+
	"\5\0\6\3\1\0\10\0\1\0\12\0\47\0\2\3\1\0\1\3"+
	"\2\0\2\3\1\0\1\3\2\0\1\3\6\0\4\3\1\0\7\3"+
	"\1\0\3\3\1\0\1\3\1\0\1\3\2\0\2\3\1\0\2\3"+
	"\1\0\1\3\1\0\2\3\6\0\1\0\2\0\1\3\2\0\5\3"+
	"\1\0\1\0\1\0\6\0\2\0\12\0\76\0\2\0\6\0\12\0"+
	"\13\0\1\0\1\0\1\0\1\0\1\0\4\0\2\0\10\3\1\0"+
	"\41\3\7\0\24\0\1\0\6\0\4\0\6\0\1\0\1\0\1\0"+
	"\25\0\3\0\7\0\1\0\1\0\346\0\46\3\12\0\47\3\11\0"+
	"\1\3\1\0\2\3\1\0\3\3\1\0\1\3\1\0\2\3\1\0"+
	"\5\3\51\0\1\3\1\0\1\3\1\0\1\3\13\0\1\3\1\0"+
	"\1\3\1\0\1\3\3\0\2\3\3\0\1\3\5\0\3\3\1\0"+
	"\1\3\1\0\1\3\1\0\1\3\1\0\1\3\3\0\2\3\3\0"+
	"\2\3\1\0\1\3\50\0\1\3\11\0\1\3\2\0\1\3\2\0"+
	"\2\3\7\0\2\3\1\0\1\3\1\0\7\3\50\0\1\3\4\0"+
	"\1\3\10\0\1\3\u0c06\0\234\3\4\0\132\3\6\0\26\3\2\0"+
	"\6\3\2\0\46\3\2\0\6\3\2\0\10\3\1\0\1\3\1\0"+
	"\1\3\1\0\1\3\1\0\37\3\2\0\65\3\1\0\7\3\1\0"+
	"\1\3\3\0\3\3\1\0\7\3\3\0\4\3\2\0\6\3\4\0"+
	"\15\3\5\0\3\3\1\0\7\3\323\0\15\0\4\0\1\0\104\0"+
	"\1\3\3\0\2\3\2\0\1\3\121\0\3\3\u0e82\0\1\0\1\0"+
	"\1\3\31\0\11\3\6\0\1\0\5\0\13\0\124\3\4\0\2\0"+
	"\2\0\2\0\2\0\132\3\1\0\3\0\6\0\50\3\u1cd3\0\u51a6\3"+
	"\u0c5a\0\u2ba4\3\u285c\0";

	/**
	* Translates characters to character classes
	*/
	private static final char [] ZZ_CMAP = zzUnpackCMap(ZZ_CMAP_PACKED);

	/**
	* Translates DFA states to action switch labels.
	*/
	private static final int [] ZZ_ACTION = zzUnpackAction();

	private static final String ZZ_ACTION_PACKED_0 =
	"\1\0\1\1\1\2\4\1";

	private static int [] zzUnpackAction() {
	int [] result = new int[7];
	int offset = 0;
	offset = zzUnpackAction(ZZ_ACTION_PACKED_0, offset, result);
	return result;
	}

	private static int zzUnpackAction(String packed, int offset, int [] result) {
	int i = 0; /* index in packed string */
	int j = offset; /* index in unpacked array */
	int l = packed.length();
	while (i < l) {
	int count = packed.charAt(i++);
	int value = packed.charAt(i++);
	do result[j++] = value; while (--count > 0);
	}
	return j;
	}


	/**
	* Translates a state to a row index in the transition table
	*/
	private static final int [] ZZ_ROWMAP = zzUnpackRowMap();

	private static final String ZZ_ROWMAP_PACKED_0 =
	"\0\0\0\4\0\10\0\14\0\20\0\24\0\30";

	private static int [] zzUnpackRowMap() {
	int [] result = new int[7];
	int offset = 0;
	offset = zzUnpackRowMap(ZZ_ROWMAP_PACKED_0, offset, result);
	return result;
	}

	private static int zzUnpackRowMap(String packed, int offset, int [] result) {
	int i = 0; /* index in packed string */
	int j = offset; /* index in unpacked array */
	int l = packed.length();
	while (i < l) {
	int high = packed.charAt(i++) << 16;
	result[j++] = high \| packed.charAt(i++);
	}
	return j;
	}

	/**
	* The transition table of the DFA
	*/
	private static final int ZZ_TRANS [] = {
	1, 1, -1, 2, -1, -1, -1, -1, 2, 3,
	4, 2, 2, 3, 4, 5, -1, 4, 4, 6,
	5, 5, 4, 5, 6, 6, -1, 6,
	};

	/* error codes */
	private static final int ZZ_UNKNOWN_ERROR = 0;
	private static final int ZZ_NO_MATCH = 1;
	private static final int ZZ_PUSHBACK_2BIG = 2;

	/* error messages for the codes above */
	private static final String ZZ_ERROR_MSG[] = {
	"Unkown internal scanner error",
	"Error: could not match input",
	"Error: pushback value was too large"
	};

	/**
	* ZZ_ATTRIBUTE[aState] contains the attributes of state <code>aState</code>
	*/
	private static final int [] ZZ_ATTRIBUTE = zzUnpackAttribute();

	private static final String ZZ_ATTRIBUTE_PACKED_0 =
	"\1\0\1\11\5\1";

	private static int [] zzUnpackAttribute() {
	int [] result = new int[7];
	int offset = 0;
	offset = zzUnpackAttribute(ZZ_ATTRIBUTE_PACKED_0, offset, result);
	return result;
	}

	private static int zzUnpackAttribute(String packed, int offset, int [] result) {
	int i = 0; /* index in packed string */
	int j = offset; /* index in unpacked array */
	int l = packed.length();
	while (i < l) {
	int count = packed.charAt(i++);
	int value = packed.charAt(i++);
	do result[j++] = value; while (--count > 0);
	}
	return j;
	}

	/** the input device */
	private java.io.Reader zzReader;

	/** the current state of the DFA */
	private int zzState;

	/** the current lexical state */
	private int zzLexicalState = YYINITIAL;

	/** this buffer contains the current text to be matched and is
	the source of the yytext() string */
	private char zzBuffer[] = new char[ZZ_BUFFERSIZE];

	/** the textposition at the last accepting state */
	private int zzMarkedPos;

	/** the textposition at the last state to be included in yytext */
	private int zzPushbackPos;

	/** the current text position in the buffer */
	private int zzCurrentPos;

	/** startRead marks the beginning of the yytext() string in the buffer */
	private int zzStartRead;

	/** endRead marks the last character in the buffer, that has been read
	from input */
	private int zzEndRead;

	/** number of newlines encountered up to the start of the matched text */
	private int yyline;

	/** the number of characters up to the start of the matched text */
	private int yychar;

	/**
	* the number of characters from the last newline up to the start of the
	* matched text
	*/
	private int yycolumn;

	/**
	* zzAtBOL == true <=> the scanner is currently at the beginning of a line
	*/
	private boolean zzAtBOL = true;

	/** zzAtEOF == true <=> the scanner is at the EOF */
	private boolean zzAtEOF;

	/* user code: */

	/**
	* Creates a new scanner
	*/
	public XML10Names() {
	this.zzReader = null;
	}

	public boolean isValidXML10Name(String stringToCheck) {
	boolean result = false;
	yyreset(new java.io.StringReader(stringToCheck));
	try {
	result = isValidXML10Name();
	}
	catch (java.io.IOException e) {
	// should be impossible with strings, but if occurs, just means
	// "not"
	result = false;
	}
	return result;
	}



	/**
	* Creates a new scanner
	* There is also a java.io.InputStream version of this constructor.
	*
	* @param in the java.io.Reader to read input from.
	*/
	public XML10Names(java.io.Reader in) {
	this.zzReader = in;
	}

	/**
	* Creates a new scanner.
	* There is also java.io.Reader version of this constructor.
	*
	* @param in the java.io.Inputstream to read input from.
	*/
	public XML10Names(java.io.InputStream in) {
	this(new java.io.InputStreamReader(in));
	}

	/**
	* Unpacks the compressed character translation table.
	*
	* @param packed the packed character translation table
	* @return the unpacked character translation table
	*/
	private static char [] zzUnpackCMap(String packed) {
	char [] map = new char[0x10000];
	int i = 0; /* index in packed string */
	int j = 0; /* index in unpacked array */
	while (i < 1226) {
	int count = packed.charAt(i++);
	char value = packed.charAt(i++);
	do map[j++] = value; while (--count > 0);
	}
	return map;
	}


	/**
	* Refills the input buffer.
	*
	* @return <code>false</code>, iff there was new input.
	*
	* @exception java.io.IOException if any I/O-Error occurs
	*/
	private boolean zzRefill() throws java.io.IOException {

	/* first: make room (if you can) */
	if (zzStartRead > 0) {
	System.arraycopy(zzBuffer, zzStartRead,
	zzBuffer, 0,
	zzEndRead-zzStartRead);

	/* translate stored positions */
	zzEndRead-= zzStartRead;
	zzCurrentPos-= zzStartRead;
	zzMarkedPos-= zzStartRead;
	zzPushbackPos-= zzStartRead;
	zzStartRead = 0;
	}

	/* is the buffer big enough? */
	if (zzCurrentPos >= zzBuffer.length) {
	/* if not: blow it up */
	char newBuffer[] = new char[zzCurrentPos*2];
	System.arraycopy(zzBuffer, 0, newBuffer, 0, zzBuffer.length);
	zzBuffer = newBuffer;
	}

	/* finally: fill the buffer with new input */
	int numRead = zzReader.read(zzBuffer, zzEndRead,
	zzBuffer.length-zzEndRead);

	if (numRead < 0) {
	return true;
	}
	else {
	zzEndRead+= numRead;
	return false;
	}
	}


	/**
	* Closes the input stream.
	*/
	private final void yyclose() throws java.io.IOException {
	zzAtEOF = true; /* indicate end of file */
	zzEndRead = zzStartRead; /* invalidate buffer */

	if (zzReader != null)
	zzReader.close();
	}


	/**
	* Resets the scanner to read from a new input stream.
	* Does not close the old reader.
	*
	* All internal variables are reset, the old input stream
	* <b>cannot</b> be reused (internal buffer is discarded and lost).
	* Lexical state is set to <tt>ZZ_INITIAL</tt>.
	*
	* @param reader the new input stream
	*/
	private final void yyreset(java.io.Reader reader) {
	zzReader = reader;
	zzAtBOL = true;
	zzAtEOF = false;
	zzEndRead = zzStartRead = 0;
	zzCurrentPos = zzMarkedPos = zzPushbackPos = 0;
	yyline = yychar = yycolumn = 0;
	zzLexicalState = YYINITIAL;
	}


	/**
	* Returns the current lexical state.
	*/
	private final int yystate() {
	return zzLexicalState;
	}


	/**
	* Enters a new lexical state
	*
	* @param newState the new lexical state
	*/
	private final void yybegin(int newState) {
	zzLexicalState = newState;
	}


	/**
	* Returns the text matched by the current regular expression.
	*/
	private final String yytext() {
	return new String( zzBuffer, zzStartRead, zzMarkedPos-zzStartRead );
	}


	/**
	* Returns the character at position <tt>pos</tt> from the
	* matched text.
	*
	* It is equivalent to yytext().charAt(pos), but faster
	*
	* @param pos the position of the character to fetch.
	* A value from 0 to yylength()-1.
	*
	* @return the character at position pos
	*/
	private final char yycharat(int pos) {
	return zzBuffer[zzStartRead+pos];
	}


	/**
	* Returns the length of the matched text region.
	*/
	private final int yylength() {
	return zzMarkedPos-zzStartRead;
	}


	/**
	* Reports an error that occured while scanning.
	*
	* In a wellformed scanner (no or only correct usage of
	* yypushback(int) and a match-all fallback rule) this method
	* will only be called with things that "Can't Possibly Happen".
	* If this method is called, something is seriously wrong
	* (e.g. a JFlex bug producing a faulty scanner etc.).
	*
	* Usual syntax/scanner level error handling should be done
	* in error fallback rules.
	*
	* @param errorCode the code of the errormessage to display
	*/
	private void zzScanError(int errorCode) {
	String message;
	try {
	message = ZZ_ERROR_MSG[errorCode];
	}
	catch (ArrayIndexOutOfBoundsException e) {
	message = ZZ_ERROR_MSG[ZZ_UNKNOWN_ERROR];
	}

	throw new Error(message);
	}


	/**
	* Pushes the specified amount of characters back into the input stream.
	*
	* They will be read again by then next call of the scanning method
	*
	* @param number the number of characters to be read again.
	* This number must not be greater than yylength()!
	*/
	private void yypushback(int number) {
	if ( number > yylength() )
	zzScanError(ZZ_PUSHBACK_2BIG);

	zzMarkedPos -= number;
	}


	/**
	* Resumes scanning until the next regular expression is matched,
	* the end of input is encountered or an I/O-Error occurs.
	*
	* @return the next token
	* @exception java.io.IOException if any I/O-Error occurs
	*/
	private boolean isValidXML10Name() throws java.io.IOException {
	int zzInput;
	int zzAction;

	// cached fields:
	int zzCurrentPosL;
	int zzMarkedPosL;
	int zzEndReadL = zzEndRead;
	char [] zzBufferL = zzBuffer;
	char [] zzCMapL = ZZ_CMAP;

	int [] zzTransL = ZZ_TRANS;
	int [] zzRowMapL = ZZ_ROWMAP;
	int [] zzAttrL = ZZ_ATTRIBUTE;

	while (true) {
	zzMarkedPosL = zzMarkedPos;

	zzAction = -1;

	zzCurrentPosL = zzCurrentPos = zzStartRead = zzMarkedPosL;

	zzState = zzLexicalState;


	zzForAction: {
	while (true) {

	if (zzCurrentPosL < zzEndReadL)
	zzInput = zzBufferL[zzCurrentPosL++];
	else if (zzAtEOF) {
	zzInput = YYEOF;
	break zzForAction;
	}
	else {
	// store back cached positions
	zzCurrentPos = zzCurrentPosL;
	zzMarkedPos = zzMarkedPosL;
	boolean eof = zzRefill();
	// get translated positions and possibly new buffer
	zzCurrentPosL = zzCurrentPos;
	zzMarkedPosL = zzMarkedPos;
	zzBufferL = zzBuffer;
	zzEndReadL = zzEndRead;
	if (eof) {
	zzInput = YYEOF;
	break zzForAction;
	}
	else {
	zzInput = zzBufferL[zzCurrentPosL++];
	}
	}
	int zzNext = zzTransL[ zzRowMapL[zzState] + zzCMapL[zzInput] ];
	if (zzNext == -1) break zzForAction;
	zzState = zzNext;

	int zzAttributes = zzAttrL[zzState];
	if ( (zzAttributes & 1) == 1 ) {
	zzAction = zzState;
	zzMarkedPosL = zzCurrentPosL;
	if ( (zzAttributes & 8) == 8 ) break zzForAction;
	}

	}
	}

	// store back cached position
	zzMarkedPos = zzMarkedPosL;

	switch (zzAction < 0 ? zzAction : ZZ_ACTION[zzAction]) {
	case 1:
	{ return false;
	}
	case 3: break;
	case 2:
	{ return true;
	}
	case 4: break;
	default:
	if (zzInput == YYEOF && zzStartRead == zzCurrentPos) {
	zzAtEOF = true;
	{ {return false;} }
	}
	else {
	zzScanError(ZZ_NO_MATCH);
	}
	}
	}
	}


	}