Mercurial > hg > mpdl-group
view software/eXist/mpdl-modules/src/de/mpg/mpiwg/berlin/mpdl/lt/general/Buckwalter2UnicodeLex.java @ 0:408254cf2f1d
Erstellung
author | Josef Willenborg <jwillenborg@mpiwg-berlin.mpg.de> |
---|---|
date | Wed, 24 Nov 2010 17:24:23 +0100 |
parents | |
children |
line wrap: on
line source
package de.mpg.mpiwg.berlin.mpdl.lt.general; /** * This class is a scanner generated by * <a href="http://www.jflex.de/">JFlex</a> 1.4.3 * on 20.11.09 17:57 from the specification file * <tt>/Users/jwillenborg/java/existDevMai2009/mpdl/extensions/mpdl-modules/src/de/mpg/mpiwg/berlin/mpdl/lt/general/Buckwalter2Unicode.lex</tt> */ public class Buckwalter2UnicodeLex { /** This character denotes the end of file */ public static final int YYEOF = -1; /** initial size of the lookahead buffer */ private static final int ZZ_BUFFERSIZE = 16384; /** lexical states */ public static final int YYINITIAL = 0; /** * ZZ_LEXSTATE[l] is the state in the DFA for the lexical state l * ZZ_LEXSTATE[l+1] is the state in the DFA for the lexical state l * at the beginning of a line * l is of the form l = 2*k, k a non negative integer */ private static final int ZZ_LEXSTATE[] = { 0, 0 }; /** * Translates characters to character classes */ private static final String ZZ_CMAP_PACKED = "\12\0\1\0\26\0\1\76\1\0\1\57\1\24\1\101\1\5\1\3"+ "\2\0\1\20\1\100\1\74\1\77\1\75\1\0\1\104\2\0\1\105"+ "\5\0\1\106\1\70\1\73\1\1\1\0\1\2\1\67\1\71\1\7"+ "\2\107\1\26\1\31\1\46\1\65\1\15\1\107\1\63\1\50\2\107"+ "\1\47\1\107\1\62\1\107\1\66\1\25\1\27\1\107\1\64\2\107"+ "\1\44\1\30\1\72\1\0\1\102\1\56\1\33\1\60\1\51\1\10"+ "\1\107\1\17\1\103\1\34\1\32\1\42\1\53\1\14\1\36\1\37"+ "\1\40\1\41\1\55\1\11\1\35\1\21\1\23\1\12\1\52\1\13"+ "\1\43\1\16\1\45\1\22\1\61\1\4\1\6\1\54\uff81\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\1\3\1\4\1\5\1\6\1\7"+ "\1\10\1\11\1\12\1\13\1\14\1\15\1\16\1\17"+ "\1\20\1\21\1\22\1\23\1\24\1\25\1\26\1\27"+ "\1\30\1\31\1\32\1\33\1\34\1\35\1\36\1\37"+ "\1\40\1\41\1\42\1\43\1\44\1\45\1\46\1\47"+ "\1\50\1\51\1\52\1\53\1\54\1\55\1\56\1\57"+ "\1\60\1\61\1\62\1\63\1\64\1\65\1\66\1\67"+ "\1\70\1\71\1\72\1\73\1\74\1\75\1\76\1\77"+ "\1\100\1\101\1\102\1\103\30\0\1\104\1\0\1\105"+ "\13\0\1\106\1\107\1\110\1\111"; private static int [] zzUnpackAction() { int [] result = new int[110]; 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\110\0\220\0\110\0\110\0\110\0\330\0\110"+ "\0\110\0\110\0\110\0\110\0\110\0\110\0\110\0\110"+ "\0\110\0\110\0\110\0\110\0\110\0\110\0\110\0\110"+ "\0\110\0\110\0\110\0\110\0\u0120\0\110\0\110\0\110"+ "\0\110\0\110\0\110\0\110\0\110\0\110\0\110\0\110"+ "\0\110\0\110\0\110\0\110\0\110\0\110\0\110\0\110"+ "\0\110\0\110\0\110\0\110\0\110\0\110\0\110\0\110"+ "\0\110\0\110\0\110\0\110\0\110\0\110\0\110\0\110"+ "\0\110\0\110\0\110\0\110\0\u0168\0\u01b0\0\u01f8\0\u0240"+ "\0\u0288\0\u02d0\0\u0318\0\u0360\0\u03a8\0\u03f0\0\u0438\0\u0480"+ "\0\u04c8\0\u0510\0\u0558\0\u05a0\0\u05e8\0\u0630\0\u0678\0\u06c0"+ "\0\u0708\0\u0750\0\u0798\0\u07e0\0\110\0\u0828\0\110\0\u0870"+ "\0\u08b8\0\u0900\0\u0948\0\u0990\0\u09d8\0\u0a20\0\u0a68\0\u0ab0"+ "\0\u0af8\0\u0b40\0\110\0\110\0\110\0\110"; private static int [] zzUnpackRowMap() { int [] result = new int[110]; 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 = zzUnpackTrans(); private static final String ZZ_TRANS_PACKED_0 = "\1\2\1\3\1\4\1\5\1\6\1\7\1\10\1\11"+ "\1\12\1\13\1\14\1\15\1\16\1\17\1\20\1\21"+ "\1\22\1\23\1\24\1\25\1\26\1\27\1\30\1\31"+ "\1\32\1\33\1\34\1\35\1\36\1\37\1\40\1\41"+ "\1\42\1\43\1\44\1\45\1\46\1\47\1\50\1\51"+ "\1\52\1\53\1\54\1\55\1\56\1\57\1\60\1\61"+ "\1\62\1\63\1\64\1\65\1\66\1\67\1\70\1\71"+ "\1\72\1\73\1\74\1\75\1\76\1\77\1\100\1\101"+ "\1\102\1\103\1\104\5\2\110\0\2\105\1\0\105\105"+ "\7\0\4\106\1\107\4\106\1\0\1\110\2\106\1\0"+ "\5\106\1\111\1\0\3\106\1\112\14\106\1\0\1\106"+ "\1\0\1\113\2\0\5\106\14\0\1\106\3\0\1\106"+ "\13\0\1\114\5\0\1\115\10\0\1\116\4\0\1\117"+ "\50\0\2\105\1\2\105\105\7\0\11\106\1\0\3\106"+ "\1\0\6\106\1\0\20\106\1\0\1\106\4\0\5\106"+ "\4\0\1\2\7\0\1\106\3\0\1\106\7\0\11\106"+ "\1\0\3\106\1\0\6\106\1\0\20\106\1\0\1\106"+ "\4\0\5\106\4\0\1\2\7\0\1\120\3\0\1\106"+ "\7\0\2\106\1\121\6\106\1\0\3\106\1\0\6\106"+ "\1\0\20\106\1\0\1\106\4\0\5\106\4\0\1\2"+ "\7\0\1\106\3\0\1\106\7\0\3\106\1\122\5\106"+ "\1\0\3\106\1\0\6\106\1\0\20\106\1\0\1\106"+ "\4\0\5\106\4\0\1\2\7\0\1\106\3\0\1\106"+ "\7\0\2\106\1\123\1\124\5\106\1\0\3\106\1\0"+ "\6\106\1\0\20\106\1\0\1\106\4\0\5\106\4\0"+ "\1\2\7\0\1\106\3\0\1\106\104\0\1\125\106\0"+ "\1\126\15\0\1\127\110\0\1\130\106\0\1\131\1\132"+ "\104\0\11\106\1\0\1\133\2\106\1\0\6\106\1\0"+ "\20\106\1\0\1\106\4\0\5\106\4\0\1\2\7\0"+ "\1\106\3\0\1\106\7\0\11\106\1\0\3\106\1\0"+ "\6\106\1\0\15\106\1\134\2\106\1\0\1\106\4\0"+ "\5\106\4\0\1\2\7\0\1\106\3\0\1\106\7\0"+ "\11\106\1\0\3\106\1\0\6\106\1\0\20\106\1\0"+ "\1\106\4\0\5\106\4\0\1\135\7\0\1\106\3\0"+ "\1\106\7\0\11\106\1\0\3\106\1\0\6\106\1\0"+ "\15\106\1\136\2\106\1\0\1\106\4\0\5\106\4\0"+ "\1\2\7\0\1\106\3\0\1\106\7\0\11\106\1\0"+ "\3\106\1\0\6\106\1\0\20\106\1\0\1\106\4\0"+ "\5\106\4\0\1\137\7\0\1\106\3\0\1\106\105\0"+ "\1\140\23\0\1\141\137\0\1\142\131\0\1\135\65\0"+ "\1\143\131\0\1\137\23\0\3\106\1\144\5\106\1\0"+ "\3\106\1\0\6\106\1\0\20\106\1\0\1\106\4\0"+ "\5\106\4\0\1\2\7\0\1\106\3\0\1\106\7\0"+ "\11\106\1\0\1\145\2\106\1\0\6\106\1\0\20\106"+ "\1\0\1\106\4\0\5\106\4\0\1\2\7\0\1\106"+ "\3\0\1\106\7\0\11\106\1\0\1\146\2\106\1\0"+ "\6\106\1\0\20\106\1\0\1\106\4\0\5\106\4\0"+ "\1\2\7\0\1\106\3\0\1\106\106\0\1\147\13\0"+ "\1\150\116\0\1\151\107\0\1\152\75\0\11\106\1\0"+ "\3\106\1\0\6\106\1\0\20\106\1\0\1\106\4\0"+ "\5\106\4\0\1\153\7\0\1\106\3\0\1\106\7\0"+ "\11\106\1\0\3\106\1\0\6\106\1\0\20\106\1\0"+ "\1\106\4\0\5\106\4\0\1\154\7\0\1\106\3\0"+ "\1\106\7\0\11\106\1\0\3\106\1\0\6\106\1\0"+ "\20\106\1\0\1\106\4\0\5\106\4\0\1\155\7\0"+ "\1\106\3\0\1\106\73\0\1\156\107\0\1\153\107\0"+ "\1\154\107\0\1\155\14\0"; private static int [] zzUnpackTrans() { int [] result = new int[2952]; int offset = 0; offset = zzUnpackTrans(ZZ_TRANS_PACKED_0, offset, result); return result; } private static int zzUnpackTrans(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++); value--; do result[j++] = value; while (--count > 0); } return j; } /* 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\1\1\3\11\1\1\25\11\1\1\47\11"+ "\30\0\1\11\1\0\1\11\13\0\4\11"; private static int [] zzUnpackAttribute() { int [] result = new int[110]; 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 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; /** denotes if the user-EOF-code has already been executed */ private boolean zzEOFDone; /* user code: */ /* * Betacode to Unicode conversion */ /** * 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 Buckwalter2UnicodeLex(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 Buckwalter2UnicodeLex(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 < 178) { 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; 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) { zzEndRead+= numRead; return false; } // unlikely but not impossible: read 0 characters, but not at end of stream if (numRead == 0) { int c = zzReader.read(); if (c == -1) { return true; } else { zzBuffer[zzEndRead++] = (char) c; return false; } } // numRead < 0 return true; } /** * Closes the input stream. */ public 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 */ public final void yyreset(java.io.Reader reader) { zzReader = reader; zzAtBOL = true; zzAtEOF = false; zzEOFDone = false; zzEndRead = zzStartRead = 0; zzCurrentPos = zzMarkedPos = 0; yyline = yychar = yycolumn = 0; zzLexicalState = YYINITIAL; } /** * Returns the current lexical state. */ public final int yystate() { return zzLexicalState; } /** * Enters a new lexical state * * @param newState the new lexical state */ public final void yybegin(int newState) { zzLexicalState = newState; } /** * Returns the text matched by the current regular expression. */ public 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 */ public final char yycharat(int pos) { return zzBuffer[zzStartRead+pos]; } /** * Returns the length of the matched text region. */ public 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()! */ public 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 */ public java.lang.String yylex() 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 = ZZ_LEXSTATE[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 54: { return "\u06AF"; } case 74: break; case 10: { return "\u0629"; } case 75: break; case 26: { return "\u0639"; } case 76: break; case 9: { return "\u0628"; } case 77: break; case 37: { return "\u0649"; } case 78: break; case 25: { return "\u0638"; } case 79: break; case 8: { return "\u0627"; } case 80: break; case 58: { return "\u06DF"; } case 81: break; case 36: { return "\u0648"; } case 82: break; case 68: { return ">"; } case 83: break; case 24: { return "\u0637"; } case 84: break; case 7: { return "\u0626"; } case 85: break; case 35: { return "\u0647"; } case 86: break; case 23: { return "\u0636"; } case 87: break; case 2: { return "\u0625"; } case 88: break; case 69: { return "<"; } case 89: break; case 34: { return "\u0646"; } case 90: break; case 67: { return "\u06ED"; } case 91: break; case 22: { return "\u0635"; } case 92: break; case 6: { return "\u0624"; } case 93: break; case 57: { return "\u06DC"; } case 94: break; case 33: { return "\u0645"; } case 95: break; case 66: { return "\u06EC"; } case 96: break; case 21: { return "\u0634"; } case 97: break; case 3: { return "\u0623"; } case 98: break; case 32: { return "\u0644"; } case 99: break; case 70: { return "|"; } case 100: break; case 65: { return "\u06EB"; } case 101: break; case 20: { return "\u0633"; } case 102: break; case 55: { return "\u0698"; } case 103: break; case 5: { return "\u0622"; } case 104: break; case 48: { return "\u0654"; } case 105: break; case 31: { return "\u0643"; } case 106: break; case 19: { return "\u0632"; } case 107: break; case 64: { return "\u06EA"; } case 108: break; case 4: { return "\u0621"; } case 109: break; case 52: { return "\u0686"; } case 110: break; case 47: { return "\u0653"; } case 111: break; case 30: { return "\u0642"; } case 112: break; case 18: { return "\u0631"; } case 113: break; case 46: { return "\u0652"; } case 114: break; case 29: { return "\u0641"; } case 115: break; case 17: { return "\u0630"; } case 116: break; case 45: { return "\u0651"; } case 117: break; case 28: { return "\u0640"; } case 118: break; case 44: { return "\u0650"; } case 119: break; case 1: { return yytext(); } case 120: break; case 50: { return "\u0671"; } case 121: break; case 49: { return "\u0670"; } case 122: break; case 63: { return "\u06E8"; } case 123: break; case 53: { return "\u06A4"; } case 124: break; case 56: { return "\u061F"; } case 125: break; case 16: { return "\u062F"; } case 126: break; case 62: { return "\u06E6"; } case 127: break; case 15: { return "\u062E"; } case 128: break; case 61: { return "\u06E5"; } case 129: break; case 43: { return "\u064F"; } case 130: break; case 14: { return "\u062D"; } case 131: break; case 42: { return "\u064E"; } case 132: break; case 60: { return "\u06E3"; } case 133: break; case 13: { return "\u062C"; } case 134: break; case 41: { return "\u064D"; } case 135: break; case 59: { return "\u06E2"; } case 136: break; case 12: { return "\u062B"; } case 137: break; case 40: { return "\u064C"; } case 138: break; case 11: { return "\u062A"; } case 139: break; case 51: { return "\u067E"; } case 140: break; case 39: { return "\u064B"; } case 141: break; case 27: { return "\u063A"; } case 142: break; case 38: { return "\u064A"; } case 143: break; case 71: { return ")"; } case 144: break; case 72: { return "("; } case 145: break; case 73: { return "'"; } case 146: break; default: if (zzInput == YYEOF && zzStartRead == zzCurrentPos) { zzAtEOF = true; return null; } else { zzScanError(ZZ_NO_MATCH); } } } } }