mpdl-group: software/eXist/mpdl-modules/src/de/mpg/mpiwg/berlin/mpdl/lt/analyzer/lang/MpdlNormalizerLexAR.java annotate

annotate software/eXist/mpdl-modules/src/de/mpg/mpiwg/berlin/mpdl/lt/analyzer/lang/MpdlNormalizerLexAR.java @ 9:1ec29fdd0db8

neue .lex Dateien f?r Normalisierung / externe Objekte update

author	Josef Willenborg <jwillenborg@mpiwg-berlin.mpg.de>
date	Tue, 22 Feb 2011 16:03:45 +0100
parents
children	5df60f24e997

rev	line source
9 1ec29fdd0db8 neue .lex Dateien f?r Normalisierung / externe Objekte update Josef Willenborg <jwillenborg@mpiwg-berlin.mpg.de> parents: diff changeset	1 /* The following code was generated by JFlex 1.4.3 on 22.02.11 12:02 */
1ec29fdd0db8 neue .lex Dateien f?r Normalisierung / externe Objekte update Josef Willenborg <jwillenborg@mpiwg-berlin.mpg.de> parents: diff changeset	2
1ec29fdd0db8 neue .lex Dateien f?r Normalisierung / externe Objekte update Josef Willenborg <jwillenborg@mpiwg-berlin.mpg.de> parents: diff changeset	3 /*
1ec29fdd0db8 neue .lex Dateien f?r Normalisierung / externe Objekte update Josef Willenborg <jwillenborg@mpiwg-berlin.mpg.de> parents: diff changeset	4 * Normalization rules for Arabic text
1ec29fdd0db8 neue .lex Dateien f?r Normalisierung / externe Objekte update Josef Willenborg <jwillenborg@mpiwg-berlin.mpg.de> parents: diff changeset	5 * [this is a JFlex specification]
1ec29fdd0db8 neue .lex Dateien f?r Normalisierung / externe Objekte update Josef Willenborg <jwillenborg@mpiwg-berlin.mpg.de> parents: diff changeset	6 *
1ec29fdd0db8 neue .lex Dateien f?r Normalisierung / externe Objekte update Josef Willenborg <jwillenborg@mpiwg-berlin.mpg.de> parents: diff changeset	7 * Wolfgang Schmidle
1ec29fdd0db8 neue .lex Dateien f?r Normalisierung / externe Objekte update Josef Willenborg <jwillenborg@mpiwg-berlin.mpg.de> parents: diff changeset	8 * version 0.96
1ec29fdd0db8 neue .lex Dateien f?r Normalisierung / externe Objekte update Josef Willenborg <jwillenborg@mpiwg-berlin.mpg.de> parents: diff changeset	9 * 2011-02-21
1ec29fdd0db8 neue .lex Dateien f?r Normalisierung / externe Objekte update Josef Willenborg <jwillenborg@mpiwg-berlin.mpg.de> parents: diff changeset	10 *
1ec29fdd0db8 neue .lex Dateien f?r Normalisierung / externe Objekte update Josef Willenborg <jwillenborg@mpiwg-berlin.mpg.de> parents: diff changeset	11 */
1ec29fdd0db8 neue .lex Dateien f?r Normalisierung / externe Objekte update Josef Willenborg <jwillenborg@mpiwg-berlin.mpg.de> parents: diff changeset	12
1ec29fdd0db8 neue .lex Dateien f?r Normalisierung / externe Objekte update Josef Willenborg <jwillenborg@mpiwg-berlin.mpg.de> parents: diff changeset	13 package de.mpg.mpiwg.berlin.mpdl.lt.analyzer.lang;
1ec29fdd0db8 neue .lex Dateien f?r Normalisierung / externe Objekte update Josef Willenborg <jwillenborg@mpiwg-berlin.mpg.de> parents: diff changeset	14
1ec29fdd0db8 neue .lex Dateien f?r Normalisierung / externe Objekte update Josef Willenborg <jwillenborg@mpiwg-berlin.mpg.de> parents: diff changeset	15
1ec29fdd0db8 neue .lex Dateien f?r Normalisierung / externe Objekte update Josef Willenborg <jwillenborg@mpiwg-berlin.mpg.de> parents: diff changeset	16 /**
1ec29fdd0db8 neue .lex Dateien f?r Normalisierung / externe Objekte update Josef Willenborg <jwillenborg@mpiwg-berlin.mpg.de> parents: diff changeset	17 * This class is a scanner generated by
1ec29fdd0db8 neue .lex Dateien f?r Normalisierung / externe Objekte update Josef Willenborg <jwillenborg@mpiwg-berlin.mpg.de> parents: diff changeset	18 * <a href="http://www.jflex.de/">JFlex</a> 1.4.3
1ec29fdd0db8 neue .lex Dateien f?r Normalisierung / externe Objekte update Josef Willenborg <jwillenborg@mpiwg-berlin.mpg.de> parents: diff changeset	19 * on 22.02.11 12:02 from the specification file
1ec29fdd0db8 neue .lex Dateien f?r Normalisierung / externe Objekte update Josef Willenborg <jwillenborg@mpiwg-berlin.mpg.de> parents: diff changeset	20 * <tt>MpdlNormalizerLexAR.lex</tt>
1ec29fdd0db8 neue .lex Dateien f?r Normalisierung / externe Objekte update Josef Willenborg <jwillenborg@mpiwg-berlin.mpg.de> parents: diff changeset	21 */
1ec29fdd0db8 neue .lex Dateien f?r Normalisierung / externe Objekte update Josef Willenborg <jwillenborg@mpiwg-berlin.mpg.de> parents: diff changeset	22 public class MpdlNormalizerLexAR {
1ec29fdd0db8 neue .lex Dateien f?r Normalisierung / externe Objekte update Josef Willenborg <jwillenborg@mpiwg-berlin.mpg.de> parents: diff changeset	23
1ec29fdd0db8 neue .lex Dateien f?r Normalisierung / externe Objekte update Josef Willenborg <jwillenborg@mpiwg-berlin.mpg.de> parents: diff changeset	24 /** This character denotes the end of file */
1ec29fdd0db8 neue .lex Dateien f?r Normalisierung / externe Objekte update Josef Willenborg <jwillenborg@mpiwg-berlin.mpg.de> parents: diff changeset	25 public static final int YYEOF = -1;
1ec29fdd0db8 neue .lex Dateien f?r Normalisierung / externe Objekte update Josef Willenborg <jwillenborg@mpiwg-berlin.mpg.de> parents: diff changeset	26
1ec29fdd0db8 neue .lex Dateien f?r Normalisierung / externe Objekte update Josef Willenborg <jwillenborg@mpiwg-berlin.mpg.de> parents: diff changeset	27 /** initial size of the lookahead buffer */
1ec29fdd0db8 neue .lex Dateien f?r Normalisierung / externe Objekte update Josef Willenborg <jwillenborg@mpiwg-berlin.mpg.de> parents: diff changeset	28 private static final int ZZ_BUFFERSIZE = 16384;
1ec29fdd0db8 neue .lex Dateien f?r Normalisierung / externe Objekte update Josef Willenborg <jwillenborg@mpiwg-berlin.mpg.de> parents: diff changeset	29
1ec29fdd0db8 neue .lex Dateien f?r Normalisierung / externe Objekte update Josef Willenborg <jwillenborg@mpiwg-berlin.mpg.de> parents: diff changeset	30 /** lexical states */
1ec29fdd0db8 neue .lex Dateien f?r Normalisierung / externe Objekte update Josef Willenborg <jwillenborg@mpiwg-berlin.mpg.de> parents: diff changeset	31 public static final int SEARCH = 6;
1ec29fdd0db8 neue .lex Dateien f?r Normalisierung / externe Objekte update Josef Willenborg <jwillenborg@mpiwg-berlin.mpg.de> parents: diff changeset	32 public static final int DICT = 4;
1ec29fdd0db8 neue .lex Dateien f?r Normalisierung / externe Objekte update Josef Willenborg <jwillenborg@mpiwg-berlin.mpg.de> parents: diff changeset	33 public static final int YYINITIAL = 0;
1ec29fdd0db8 neue .lex Dateien f?r Normalisierung / externe Objekte update Josef Willenborg <jwillenborg@mpiwg-berlin.mpg.de> parents: diff changeset	34 public static final int DISP = 2;
1ec29fdd0db8 neue .lex Dateien f?r Normalisierung / externe Objekte update Josef Willenborg <jwillenborg@mpiwg-berlin.mpg.de> parents: diff changeset	35
1ec29fdd0db8 neue .lex Dateien f?r Normalisierung / externe Objekte update Josef Willenborg <jwillenborg@mpiwg-berlin.mpg.de> parents: diff changeset	36 /**
1ec29fdd0db8 neue .lex Dateien f?r Normalisierung / externe Objekte update Josef Willenborg <jwillenborg@mpiwg-berlin.mpg.de> parents: diff changeset	37 * ZZ_LEXSTATE[l] is the state in the DFA for the lexical state l
1ec29fdd0db8 neue .lex Dateien f?r Normalisierung / externe Objekte update Josef Willenborg <jwillenborg@mpiwg-berlin.mpg.de> parents: diff changeset	38 * ZZ_LEXSTATE[l+1] is the state in the DFA for the lexical state l
1ec29fdd0db8 neue .lex Dateien f?r Normalisierung / externe Objekte update Josef Willenborg <jwillenborg@mpiwg-berlin.mpg.de> parents: diff changeset	39 * at the beginning of a line
1ec29fdd0db8 neue .lex Dateien f?r Normalisierung / externe Objekte update Josef Willenborg <jwillenborg@mpiwg-berlin.mpg.de> parents: diff changeset	40 * l is of the form l = 2*k, k a non negative integer
1ec29fdd0db8 neue .lex Dateien f?r Normalisierung / externe Objekte update Josef Willenborg <jwillenborg@mpiwg-berlin.mpg.de> parents: diff changeset	41 */
1ec29fdd0db8 neue .lex Dateien f?r Normalisierung / externe Objekte update Josef Willenborg <jwillenborg@mpiwg-berlin.mpg.de> parents: diff changeset	42 private static final int ZZ_LEXSTATE[] = {
1ec29fdd0db8 neue .lex Dateien f?r Normalisierung / externe Objekte update Josef Willenborg <jwillenborg@mpiwg-berlin.mpg.de> parents: diff changeset	43 0, 0, 1, 1, 2, 2, 1, 1
1ec29fdd0db8 neue .lex Dateien f?r Normalisierung / externe Objekte update Josef Willenborg <jwillenborg@mpiwg-berlin.mpg.de> parents: diff changeset	44 };
1ec29fdd0db8 neue .lex Dateien f?r Normalisierung / externe Objekte update Josef Willenborg <jwillenborg@mpiwg-berlin.mpg.de> parents: diff changeset	45
1ec29fdd0db8 neue .lex Dateien f?r Normalisierung / externe Objekte update Josef Willenborg <jwillenborg@mpiwg-berlin.mpg.de> parents: diff changeset	46 /**
1ec29fdd0db8 neue .lex Dateien f?r Normalisierung / externe Objekte update Josef Willenborg <jwillenborg@mpiwg-berlin.mpg.de> parents: diff changeset	47 * Translates characters to character classes
1ec29fdd0db8 neue .lex Dateien f?r Normalisierung / externe Objekte update Josef Willenborg <jwillenborg@mpiwg-berlin.mpg.de> parents: diff changeset	48 */
1ec29fdd0db8 neue .lex Dateien f?r Normalisierung / externe Objekte update Josef Willenborg <jwillenborg@mpiwg-berlin.mpg.de> parents: diff changeset	49 private static final String ZZ_CMAP_PACKED =
1ec29fdd0db8 neue .lex Dateien f?r Normalisierung / externe Objekte update Josef Willenborg <jwillenborg@mpiwg-berlin.mpg.de> parents: diff changeset	50 "\12\0\1\1\65\0\1\2\uffbf\0";
1ec29fdd0db8 neue .lex Dateien f?r Normalisierung / externe Objekte update Josef Willenborg <jwillenborg@mpiwg-berlin.mpg.de> parents: diff changeset	51
1ec29fdd0db8 neue .lex Dateien f?r Normalisierung / externe Objekte update Josef Willenborg <jwillenborg@mpiwg-berlin.mpg.de> parents: diff changeset	52 /**
1ec29fdd0db8 neue .lex Dateien f?r Normalisierung / externe Objekte update Josef Willenborg <jwillenborg@mpiwg-berlin.mpg.de> parents: diff changeset	53 * Translates characters to character classes
1ec29fdd0db8 neue .lex Dateien f?r Normalisierung / externe Objekte update Josef Willenborg <jwillenborg@mpiwg-berlin.mpg.de> parents: diff changeset	54 */
1ec29fdd0db8 neue .lex Dateien f?r Normalisierung / externe Objekte update Josef Willenborg <jwillenborg@mpiwg-berlin.mpg.de> parents: diff changeset	55 private static final char [] ZZ_CMAP = zzUnpackCMap(ZZ_CMAP_PACKED);
1ec29fdd0db8 neue .lex Dateien f?r Normalisierung / externe Objekte update Josef Willenborg <jwillenborg@mpiwg-berlin.mpg.de> parents: diff changeset	56
1ec29fdd0db8 neue .lex Dateien f?r Normalisierung / externe Objekte update Josef Willenborg <jwillenborg@mpiwg-berlin.mpg.de> parents: diff changeset	57 /**
1ec29fdd0db8 neue .lex Dateien f?r Normalisierung / externe Objekte update Josef Willenborg <jwillenborg@mpiwg-berlin.mpg.de> parents: diff changeset	58 * Translates DFA states to action switch labels.
1ec29fdd0db8 neue .lex Dateien f?r Normalisierung / externe Objekte update Josef Willenborg <jwillenborg@mpiwg-berlin.mpg.de> parents: diff changeset	59 */
1ec29fdd0db8 neue .lex Dateien f?r Normalisierung / externe Objekte update Josef Willenborg <jwillenborg@mpiwg-berlin.mpg.de> parents: diff changeset	60 private static final int [] ZZ_ACTION = zzUnpackAction();
1ec29fdd0db8 neue .lex Dateien f?r Normalisierung / externe Objekte update Josef Willenborg <jwillenborg@mpiwg-berlin.mpg.de> parents: diff changeset	61
1ec29fdd0db8 neue .lex Dateien f?r Normalisierung / externe Objekte update Josef Willenborg <jwillenborg@mpiwg-berlin.mpg.de> parents: diff changeset	62 private static final String ZZ_ACTION_PACKED_0 =
1ec29fdd0db8 neue .lex Dateien f?r Normalisierung / externe Objekte update Josef Willenborg <jwillenborg@mpiwg-berlin.mpg.de> parents: diff changeset	63 "\3\0\1\1\1\2\1\3\1\4";
1ec29fdd0db8 neue .lex Dateien f?r Normalisierung / externe Objekte update Josef Willenborg <jwillenborg@mpiwg-berlin.mpg.de> parents: diff changeset	64
1ec29fdd0db8 neue .lex Dateien f?r Normalisierung / externe Objekte update Josef Willenborg <jwillenborg@mpiwg-berlin.mpg.de> parents: diff changeset	65 private static int [] zzUnpackAction() {
1ec29fdd0db8 neue .lex Dateien f?r Normalisierung / externe Objekte update Josef Willenborg <jwillenborg@mpiwg-berlin.mpg.de> parents: diff changeset	66 int [] result = new int[7];
1ec29fdd0db8 neue .lex Dateien f?r Normalisierung / externe Objekte update Josef Willenborg <jwillenborg@mpiwg-berlin.mpg.de> parents: diff changeset	67 int offset = 0;
1ec29fdd0db8 neue .lex Dateien f?r Normalisierung / externe Objekte update Josef Willenborg <jwillenborg@mpiwg-berlin.mpg.de> parents: diff changeset	68 offset = zzUnpackAction(ZZ_ACTION_PACKED_0, offset, result);
1ec29fdd0db8 neue .lex Dateien f?r Normalisierung / externe Objekte update Josef Willenborg <jwillenborg@mpiwg-berlin.mpg.de> parents: diff changeset	69 return result;
1ec29fdd0db8 neue .lex Dateien f?r Normalisierung / externe Objekte update Josef Willenborg <jwillenborg@mpiwg-berlin.mpg.de> parents: diff changeset	70 }
1ec29fdd0db8 neue .lex Dateien f?r Normalisierung / externe Objekte update Josef Willenborg <jwillenborg@mpiwg-berlin.mpg.de> parents: diff changeset	71
1ec29fdd0db8 neue .lex Dateien f?r Normalisierung / externe Objekte update Josef Willenborg <jwillenborg@mpiwg-berlin.mpg.de> parents: diff changeset	72 private static int zzUnpackAction(String packed, int offset, int [] result) {
1ec29fdd0db8 neue .lex Dateien f?r Normalisierung / externe Objekte update Josef Willenborg <jwillenborg@mpiwg-berlin.mpg.de> parents: diff changeset	73 int i = 0; /* index in packed string */
1ec29fdd0db8 neue .lex Dateien f?r Normalisierung / externe Objekte update Josef Willenborg <jwillenborg@mpiwg-berlin.mpg.de> parents: diff changeset	74 int j = offset; /* index in unpacked array */
1ec29fdd0db8 neue .lex Dateien f?r Normalisierung / externe Objekte update Josef Willenborg <jwillenborg@mpiwg-berlin.mpg.de> parents: diff changeset	75 int l = packed.length();
1ec29fdd0db8 neue .lex Dateien f?r Normalisierung / externe Objekte update Josef Willenborg <jwillenborg@mpiwg-berlin.mpg.de> parents: diff changeset	76 while (i < l) {
1ec29fdd0db8 neue .lex Dateien f?r Normalisierung / externe Objekte update Josef Willenborg <jwillenborg@mpiwg-berlin.mpg.de> parents: diff changeset	77 int count = packed.charAt(i++);
1ec29fdd0db8 neue .lex Dateien f?r Normalisierung / externe Objekte update Josef Willenborg <jwillenborg@mpiwg-berlin.mpg.de> parents: diff changeset	78 int value = packed.charAt(i++);
1ec29fdd0db8 neue .lex Dateien f?r Normalisierung / externe Objekte update Josef Willenborg <jwillenborg@mpiwg-berlin.mpg.de> parents: diff changeset	79 do result[j++] = value; while (--count > 0);
1ec29fdd0db8 neue .lex Dateien f?r Normalisierung / externe Objekte update Josef Willenborg <jwillenborg@mpiwg-berlin.mpg.de> parents: diff changeset	80 }
1ec29fdd0db8 neue .lex Dateien f?r Normalisierung / externe Objekte update Josef Willenborg <jwillenborg@mpiwg-berlin.mpg.de> parents: diff changeset	81 return j;
1ec29fdd0db8 neue .lex Dateien f?r Normalisierung / externe Objekte update Josef Willenborg <jwillenborg@mpiwg-berlin.mpg.de> parents: diff changeset	82 }
1ec29fdd0db8 neue .lex Dateien f?r Normalisierung / externe Objekte update Josef Willenborg <jwillenborg@mpiwg-berlin.mpg.de> parents: diff changeset	83
1ec29fdd0db8 neue .lex Dateien f?r Normalisierung / externe Objekte update Josef Willenborg <jwillenborg@mpiwg-berlin.mpg.de> parents: diff changeset	84
1ec29fdd0db8 neue .lex Dateien f?r Normalisierung / externe Objekte update Josef Willenborg <jwillenborg@mpiwg-berlin.mpg.de> parents: diff changeset	85 /**
1ec29fdd0db8 neue .lex Dateien f?r Normalisierung / externe Objekte update Josef Willenborg <jwillenborg@mpiwg-berlin.mpg.de> parents: diff changeset	86 * Translates a state to a row index in the transition table
1ec29fdd0db8 neue .lex Dateien f?r Normalisierung / externe Objekte update Josef Willenborg <jwillenborg@mpiwg-berlin.mpg.de> parents: diff changeset	87 */
1ec29fdd0db8 neue .lex Dateien f?r Normalisierung / externe Objekte update Josef Willenborg <jwillenborg@mpiwg-berlin.mpg.de> parents: diff changeset	88 private static final int [] ZZ_ROWMAP = zzUnpackRowMap();
1ec29fdd0db8 neue .lex Dateien f?r Normalisierung / externe Objekte update Josef Willenborg <jwillenborg@mpiwg-berlin.mpg.de> parents: diff changeset	89
1ec29fdd0db8 neue .lex Dateien f?r Normalisierung / externe Objekte update Josef Willenborg <jwillenborg@mpiwg-berlin.mpg.de> parents: diff changeset	90 private static final String ZZ_ROWMAP_PACKED_0 =
1ec29fdd0db8 neue .lex Dateien f?r Normalisierung / externe Objekte update Josef Willenborg <jwillenborg@mpiwg-berlin.mpg.de> parents: diff changeset	91 "\0\0\0\3\0\6\0\11\0\11\0\11\0\11";
1ec29fdd0db8 neue .lex Dateien f?r Normalisierung / externe Objekte update Josef Willenborg <jwillenborg@mpiwg-berlin.mpg.de> parents: diff changeset	92
1ec29fdd0db8 neue .lex Dateien f?r Normalisierung / externe Objekte update Josef Willenborg <jwillenborg@mpiwg-berlin.mpg.de> parents: diff changeset	93 private static int [] zzUnpackRowMap() {
1ec29fdd0db8 neue .lex Dateien f?r Normalisierung / externe Objekte update Josef Willenborg <jwillenborg@mpiwg-berlin.mpg.de> parents: diff changeset	94 int [] result = new int[7];
1ec29fdd0db8 neue .lex Dateien f?r Normalisierung / externe Objekte update Josef Willenborg <jwillenborg@mpiwg-berlin.mpg.de> parents: diff changeset	95 int offset = 0;
1ec29fdd0db8 neue .lex Dateien f?r Normalisierung / externe Objekte update Josef Willenborg <jwillenborg@mpiwg-berlin.mpg.de> parents: diff changeset	96 offset = zzUnpackRowMap(ZZ_ROWMAP_PACKED_0, offset, result);
1ec29fdd0db8 neue .lex Dateien f?r Normalisierung / externe Objekte update Josef Willenborg <jwillenborg@mpiwg-berlin.mpg.de> parents: diff changeset	97 return result;
1ec29fdd0db8 neue .lex Dateien f?r Normalisierung / externe Objekte update Josef Willenborg <jwillenborg@mpiwg-berlin.mpg.de> parents: diff changeset	98 }
1ec29fdd0db8 neue .lex Dateien f?r Normalisierung / externe Objekte update Josef Willenborg <jwillenborg@mpiwg-berlin.mpg.de> parents: diff changeset	99
1ec29fdd0db8 neue .lex Dateien f?r Normalisierung / externe Objekte update Josef Willenborg <jwillenborg@mpiwg-berlin.mpg.de> parents: diff changeset	100 private static int zzUnpackRowMap(String packed, int offset, int [] result) {
1ec29fdd0db8 neue .lex Dateien f?r Normalisierung / externe Objekte update Josef Willenborg <jwillenborg@mpiwg-berlin.mpg.de> parents: diff changeset	101 int i = 0; /* index in packed string */
1ec29fdd0db8 neue .lex Dateien f?r Normalisierung / externe Objekte update Josef Willenborg <jwillenborg@mpiwg-berlin.mpg.de> parents: diff changeset	102 int j = offset; /* index in unpacked array */
1ec29fdd0db8 neue .lex Dateien f?r Normalisierung / externe Objekte update Josef Willenborg <jwillenborg@mpiwg-berlin.mpg.de> parents: diff changeset	103 int l = packed.length();
1ec29fdd0db8 neue .lex Dateien f?r Normalisierung / externe Objekte update Josef Willenborg <jwillenborg@mpiwg-berlin.mpg.de> parents: diff changeset	104 while (i < l) {
1ec29fdd0db8 neue .lex Dateien f?r Normalisierung / externe Objekte update Josef Willenborg <jwillenborg@mpiwg-berlin.mpg.de> parents: diff changeset	105 int high = packed.charAt(i++) << 16;
1ec29fdd0db8 neue .lex Dateien f?r Normalisierung / externe Objekte update Josef Willenborg <jwillenborg@mpiwg-berlin.mpg.de> parents: diff changeset	106 result[j++] = high \| packed.charAt(i++);
1ec29fdd0db8 neue .lex Dateien f?r Normalisierung / externe Objekte update Josef Willenborg <jwillenborg@mpiwg-berlin.mpg.de> parents: diff changeset	107 }
1ec29fdd0db8 neue .lex Dateien f?r Normalisierung / externe Objekte update Josef Willenborg <jwillenborg@mpiwg-berlin.mpg.de> parents: diff changeset	108 return j;
1ec29fdd0db8 neue .lex Dateien f?r Normalisierung / externe Objekte update Josef Willenborg <jwillenborg@mpiwg-berlin.mpg.de> parents: diff changeset	109 }
1ec29fdd0db8 neue .lex Dateien f?r Normalisierung / externe Objekte update Josef Willenborg <jwillenborg@mpiwg-berlin.mpg.de> parents: diff changeset	110
1ec29fdd0db8 neue .lex Dateien f?r Normalisierung / externe Objekte update Josef Willenborg <jwillenborg@mpiwg-berlin.mpg.de> parents: diff changeset	111 /**
1ec29fdd0db8 neue .lex Dateien f?r Normalisierung / externe Objekte update Josef Willenborg <jwillenborg@mpiwg-berlin.mpg.de> parents: diff changeset	112 * The transition table of the DFA
1ec29fdd0db8 neue .lex Dateien f?r Normalisierung / externe Objekte update Josef Willenborg <jwillenborg@mpiwg-berlin.mpg.de> parents: diff changeset	113 */
1ec29fdd0db8 neue .lex Dateien f?r Normalisierung / externe Objekte update Josef Willenborg <jwillenborg@mpiwg-berlin.mpg.de> parents: diff changeset	114 private static final int [] ZZ_TRANS = zzUnpackTrans();
1ec29fdd0db8 neue .lex Dateien f?r Normalisierung / externe Objekte update Josef Willenborg <jwillenborg@mpiwg-berlin.mpg.de> parents: diff changeset	115
1ec29fdd0db8 neue .lex Dateien f?r Normalisierung / externe Objekte update Josef Willenborg <jwillenborg@mpiwg-berlin.mpg.de> parents: diff changeset	116 private static final String ZZ_TRANS_PACKED_0 =
1ec29fdd0db8 neue .lex Dateien f?r Normalisierung / externe Objekte update Josef Willenborg <jwillenborg@mpiwg-berlin.mpg.de> parents: diff changeset	117 "\1\4\1\0\1\5\1\4\1\6\1\5\1\4\1\7"+
1ec29fdd0db8 neue .lex Dateien f?r Normalisierung / externe Objekte update Josef Willenborg <jwillenborg@mpiwg-berlin.mpg.de> parents: diff changeset	118 "\1\5\3\0";
1ec29fdd0db8 neue .lex Dateien f?r Normalisierung / externe Objekte update Josef Willenborg <jwillenborg@mpiwg-berlin.mpg.de> parents: diff changeset	119
1ec29fdd0db8 neue .lex Dateien f?r Normalisierung / externe Objekte update Josef Willenborg <jwillenborg@mpiwg-berlin.mpg.de> parents: diff changeset	120 private static int [] zzUnpackTrans() {
1ec29fdd0db8 neue .lex Dateien f?r Normalisierung / externe Objekte update Josef Willenborg <jwillenborg@mpiwg-berlin.mpg.de> parents: diff changeset	121 int [] result = new int[12];
1ec29fdd0db8 neue .lex Dateien f?r Normalisierung / externe Objekte update Josef Willenborg <jwillenborg@mpiwg-berlin.mpg.de> parents: diff changeset	122 int offset = 0;
1ec29fdd0db8 neue .lex Dateien f?r Normalisierung / externe Objekte update Josef Willenborg <jwillenborg@mpiwg-berlin.mpg.de> parents: diff changeset	123 offset = zzUnpackTrans(ZZ_TRANS_PACKED_0, offset, result);
1ec29fdd0db8 neue .lex Dateien f?r Normalisierung / externe Objekte update Josef Willenborg <jwillenborg@mpiwg-berlin.mpg.de> parents: diff changeset	124 return result;
1ec29fdd0db8 neue .lex Dateien f?r Normalisierung / externe Objekte update Josef Willenborg <jwillenborg@mpiwg-berlin.mpg.de> parents: diff changeset	125 }
1ec29fdd0db8 neue .lex Dateien f?r Normalisierung / externe Objekte update Josef Willenborg <jwillenborg@mpiwg-berlin.mpg.de> parents: diff changeset	126
1ec29fdd0db8 neue .lex Dateien f?r Normalisierung / externe Objekte update Josef Willenborg <jwillenborg@mpiwg-berlin.mpg.de> parents: diff changeset	127 private static int zzUnpackTrans(String packed, int offset, int [] result) {
1ec29fdd0db8 neue .lex Dateien f?r Normalisierung / externe Objekte update Josef Willenborg <jwillenborg@mpiwg-berlin.mpg.de> parents: diff changeset	128 int i = 0; /* index in packed string */
1ec29fdd0db8 neue .lex Dateien f?r Normalisierung / externe Objekte update Josef Willenborg <jwillenborg@mpiwg-berlin.mpg.de> parents: diff changeset	129 int j = offset; /* index in unpacked array */
1ec29fdd0db8 neue .lex Dateien f?r Normalisierung / externe Objekte update Josef Willenborg <jwillenborg@mpiwg-berlin.mpg.de> parents: diff changeset	130 int l = packed.length();
1ec29fdd0db8 neue .lex Dateien f?r Normalisierung / externe Objekte update Josef Willenborg <jwillenborg@mpiwg-berlin.mpg.de> parents: diff changeset	131 while (i < l) {
1ec29fdd0db8 neue .lex Dateien f?r Normalisierung / externe Objekte update Josef Willenborg <jwillenborg@mpiwg-berlin.mpg.de> parents: diff changeset	132 int count = packed.charAt(i++);
1ec29fdd0db8 neue .lex Dateien f?r Normalisierung / externe Objekte update Josef Willenborg <jwillenborg@mpiwg-berlin.mpg.de> parents: diff changeset	133 int value = packed.charAt(i++);
1ec29fdd0db8 neue .lex Dateien f?r Normalisierung / externe Objekte update Josef Willenborg <jwillenborg@mpiwg-berlin.mpg.de> parents: diff changeset	134 value--;
1ec29fdd0db8 neue .lex Dateien f?r Normalisierung / externe Objekte update Josef Willenborg <jwillenborg@mpiwg-berlin.mpg.de> parents: diff changeset	135 do result[j++] = value; while (--count > 0);
1ec29fdd0db8 neue .lex Dateien f?r Normalisierung / externe Objekte update Josef Willenborg <jwillenborg@mpiwg-berlin.mpg.de> parents: diff changeset	136 }
1ec29fdd0db8 neue .lex Dateien f?r Normalisierung / externe Objekte update Josef Willenborg <jwillenborg@mpiwg-berlin.mpg.de> parents: diff changeset	137 return j;
1ec29fdd0db8 neue .lex Dateien f?r Normalisierung / externe Objekte update Josef Willenborg <jwillenborg@mpiwg-berlin.mpg.de> parents: diff changeset	138 }
1ec29fdd0db8 neue .lex Dateien f?r Normalisierung / externe Objekte update Josef Willenborg <jwillenborg@mpiwg-berlin.mpg.de> parents: diff changeset	139
1ec29fdd0db8 neue .lex Dateien f?r Normalisierung / externe Objekte update Josef Willenborg <jwillenborg@mpiwg-berlin.mpg.de> parents: diff changeset	140
1ec29fdd0db8 neue .lex Dateien f?r Normalisierung / externe Objekte update Josef Willenborg <jwillenborg@mpiwg-berlin.mpg.de> parents: diff changeset	141 /* error codes */
1ec29fdd0db8 neue .lex Dateien f?r Normalisierung / externe Objekte update Josef Willenborg <jwillenborg@mpiwg-berlin.mpg.de> parents: diff changeset	142 private static final int ZZ_UNKNOWN_ERROR = 0;
1ec29fdd0db8 neue .lex Dateien f?r Normalisierung / externe Objekte update Josef Willenborg <jwillenborg@mpiwg-berlin.mpg.de> parents: diff changeset	143 private static final int ZZ_NO_MATCH = 1;
1ec29fdd0db8 neue .lex Dateien f?r Normalisierung / externe Objekte update Josef Willenborg <jwillenborg@mpiwg-berlin.mpg.de> parents: diff changeset	144 private static final int ZZ_PUSHBACK_2BIG = 2;
1ec29fdd0db8 neue .lex Dateien f?r Normalisierung / externe Objekte update Josef Willenborg <jwillenborg@mpiwg-berlin.mpg.de> parents: diff changeset	145
1ec29fdd0db8 neue .lex Dateien f?r Normalisierung / externe Objekte update Josef Willenborg <jwillenborg@mpiwg-berlin.mpg.de> parents: diff changeset	146 /* error messages for the codes above */
1ec29fdd0db8 neue .lex Dateien f?r Normalisierung / externe Objekte update Josef Willenborg <jwillenborg@mpiwg-berlin.mpg.de> parents: diff changeset	147 private static final String ZZ_ERROR_MSG[] = {
1ec29fdd0db8 neue .lex Dateien f?r Normalisierung / externe Objekte update Josef Willenborg <jwillenborg@mpiwg-berlin.mpg.de> parents: diff changeset	148 "Unkown internal scanner error",
1ec29fdd0db8 neue .lex Dateien f?r Normalisierung / externe Objekte update Josef Willenborg <jwillenborg@mpiwg-berlin.mpg.de> parents: diff changeset	149 "Error: could not match input",
1ec29fdd0db8 neue .lex Dateien f?r Normalisierung / externe Objekte update Josef Willenborg <jwillenborg@mpiwg-berlin.mpg.de> parents: diff changeset	150 "Error: pushback value was too large"
1ec29fdd0db8 neue .lex Dateien f?r Normalisierung / externe Objekte update Josef Willenborg <jwillenborg@mpiwg-berlin.mpg.de> parents: diff changeset	151 };
1ec29fdd0db8 neue .lex Dateien f?r Normalisierung / externe Objekte update Josef Willenborg <jwillenborg@mpiwg-berlin.mpg.de> parents: diff changeset	152
1ec29fdd0db8 neue .lex Dateien f?r Normalisierung / externe Objekte update Josef Willenborg <jwillenborg@mpiwg-berlin.mpg.de> parents: diff changeset	153 /**
1ec29fdd0db8 neue .lex Dateien f?r Normalisierung / externe Objekte update Josef Willenborg <jwillenborg@mpiwg-berlin.mpg.de> parents: diff changeset	154 * ZZ_ATTRIBUTE[aState] contains the attributes of state <code>aState</code>
1ec29fdd0db8 neue .lex Dateien f?r Normalisierung / externe Objekte update Josef Willenborg <jwillenborg@mpiwg-berlin.mpg.de> parents: diff changeset	155 */
1ec29fdd0db8 neue .lex Dateien f?r Normalisierung / externe Objekte update Josef Willenborg <jwillenborg@mpiwg-berlin.mpg.de> parents: diff changeset	156 private static final int [] ZZ_ATTRIBUTE = zzUnpackAttribute();
1ec29fdd0db8 neue .lex Dateien f?r Normalisierung / externe Objekte update Josef Willenborg <jwillenborg@mpiwg-berlin.mpg.de> parents: diff changeset	157
1ec29fdd0db8 neue .lex Dateien f?r Normalisierung / externe Objekte update Josef Willenborg <jwillenborg@mpiwg-berlin.mpg.de> parents: diff changeset	158 private static final String ZZ_ATTRIBUTE_PACKED_0 =
1ec29fdd0db8 neue .lex Dateien f?r Normalisierung / externe Objekte update Josef Willenborg <jwillenborg@mpiwg-berlin.mpg.de> parents: diff changeset	159 "\3\0\4\11";
1ec29fdd0db8 neue .lex Dateien f?r Normalisierung / externe Objekte update Josef Willenborg <jwillenborg@mpiwg-berlin.mpg.de> parents: diff changeset	160
1ec29fdd0db8 neue .lex Dateien f?r Normalisierung / externe Objekte update Josef Willenborg <jwillenborg@mpiwg-berlin.mpg.de> parents: diff changeset	161 private static int [] zzUnpackAttribute() {
1ec29fdd0db8 neue .lex Dateien f?r Normalisierung / externe Objekte update Josef Willenborg <jwillenborg@mpiwg-berlin.mpg.de> parents: diff changeset	162 int [] result = new int[7];
1ec29fdd0db8 neue .lex Dateien f?r Normalisierung / externe Objekte update Josef Willenborg <jwillenborg@mpiwg-berlin.mpg.de> parents: diff changeset	163 int offset = 0;
1ec29fdd0db8 neue .lex Dateien f?r Normalisierung / externe Objekte update Josef Willenborg <jwillenborg@mpiwg-berlin.mpg.de> parents: diff changeset	164 offset = zzUnpackAttribute(ZZ_ATTRIBUTE_PACKED_0, offset, result);
1ec29fdd0db8 neue .lex Dateien f?r Normalisierung / externe Objekte update Josef Willenborg <jwillenborg@mpiwg-berlin.mpg.de> parents: diff changeset	165 return result;
1ec29fdd0db8 neue .lex Dateien f?r Normalisierung / externe Objekte update Josef Willenborg <jwillenborg@mpiwg-berlin.mpg.de> parents: diff changeset	166 }
1ec29fdd0db8 neue .lex Dateien f?r Normalisierung / externe Objekte update Josef Willenborg <jwillenborg@mpiwg-berlin.mpg.de> parents: diff changeset	167
1ec29fdd0db8 neue .lex Dateien f?r Normalisierung / externe Objekte update Josef Willenborg <jwillenborg@mpiwg-berlin.mpg.de> parents: diff changeset	168 private static int zzUnpackAttribute(String packed, int offset, int [] result) {
1ec29fdd0db8 neue .lex Dateien f?r Normalisierung / externe Objekte update Josef Willenborg <jwillenborg@mpiwg-berlin.mpg.de> parents: diff changeset	169 int i = 0; /* index in packed string */
1ec29fdd0db8 neue .lex Dateien f?r Normalisierung / externe Objekte update Josef Willenborg <jwillenborg@mpiwg-berlin.mpg.de> parents: diff changeset	170 int j = offset; /* index in unpacked array */
1ec29fdd0db8 neue .lex Dateien f?r Normalisierung / externe Objekte update Josef Willenborg <jwillenborg@mpiwg-berlin.mpg.de> parents: diff changeset	171 int l = packed.length();
1ec29fdd0db8 neue .lex Dateien f?r Normalisierung / externe Objekte update Josef Willenborg <jwillenborg@mpiwg-berlin.mpg.de> parents: diff changeset	172 while (i < l) {
1ec29fdd0db8 neue .lex Dateien f?r Normalisierung / externe Objekte update Josef Willenborg <jwillenborg@mpiwg-berlin.mpg.de> parents: diff changeset	173 int count = packed.charAt(i++);
1ec29fdd0db8 neue .lex Dateien f?r Normalisierung / externe Objekte update Josef Willenborg <jwillenborg@mpiwg-berlin.mpg.de> parents: diff changeset	174 int value = packed.charAt(i++);
1ec29fdd0db8 neue .lex Dateien f?r Normalisierung / externe Objekte update Josef Willenborg <jwillenborg@mpiwg-berlin.mpg.de> parents: diff changeset	175 do result[j++] = value; while (--count > 0);
1ec29fdd0db8 neue .lex Dateien f?r Normalisierung / externe Objekte update Josef Willenborg <jwillenborg@mpiwg-berlin.mpg.de> parents: diff changeset	176 }
1ec29fdd0db8 neue .lex Dateien f?r Normalisierung / externe Objekte update Josef Willenborg <jwillenborg@mpiwg-berlin.mpg.de> parents: diff changeset	177 return j;
1ec29fdd0db8 neue .lex Dateien f?r Normalisierung / externe Objekte update Josef Willenborg <jwillenborg@mpiwg-berlin.mpg.de> parents: diff changeset	178 }
1ec29fdd0db8 neue .lex Dateien f?r Normalisierung / externe Objekte update Josef Willenborg <jwillenborg@mpiwg-berlin.mpg.de> parents: diff changeset	179
1ec29fdd0db8 neue .lex Dateien f?r Normalisierung / externe Objekte update Josef Willenborg <jwillenborg@mpiwg-berlin.mpg.de> parents: diff changeset	180 /** the input device */
1ec29fdd0db8 neue .lex Dateien f?r Normalisierung / externe Objekte update Josef Willenborg <jwillenborg@mpiwg-berlin.mpg.de> parents: diff changeset	181 private java.io.Reader zzReader;
1ec29fdd0db8 neue .lex Dateien f?r Normalisierung / externe Objekte update Josef Willenborg <jwillenborg@mpiwg-berlin.mpg.de> parents: diff changeset	182
1ec29fdd0db8 neue .lex Dateien f?r Normalisierung / externe Objekte update Josef Willenborg <jwillenborg@mpiwg-berlin.mpg.de> parents: diff changeset	183 /** the current state of the DFA */
1ec29fdd0db8 neue .lex Dateien f?r Normalisierung / externe Objekte update Josef Willenborg <jwillenborg@mpiwg-berlin.mpg.de> parents: diff changeset	184 private int zzState;
1ec29fdd0db8 neue .lex Dateien f?r Normalisierung / externe Objekte update Josef Willenborg <jwillenborg@mpiwg-berlin.mpg.de> parents: diff changeset	185
1ec29fdd0db8 neue .lex Dateien f?r Normalisierung / externe Objekte update Josef Willenborg <jwillenborg@mpiwg-berlin.mpg.de> parents: diff changeset	186 /** the current lexical state */
1ec29fdd0db8 neue .lex Dateien f?r Normalisierung / externe Objekte update Josef Willenborg <jwillenborg@mpiwg-berlin.mpg.de> parents: diff changeset	187 private int zzLexicalState = YYINITIAL;
1ec29fdd0db8 neue .lex Dateien f?r Normalisierung / externe Objekte update Josef Willenborg <jwillenborg@mpiwg-berlin.mpg.de> parents: diff changeset	188
1ec29fdd0db8 neue .lex Dateien f?r Normalisierung / externe Objekte update Josef Willenborg <jwillenborg@mpiwg-berlin.mpg.de> parents: diff changeset	189 /** this buffer contains the current text to be matched and is
1ec29fdd0db8 neue .lex Dateien f?r Normalisierung / externe Objekte update Josef Willenborg <jwillenborg@mpiwg-berlin.mpg.de> parents: diff changeset	190 the source of the yytext() string */
1ec29fdd0db8 neue .lex Dateien f?r Normalisierung / externe Objekte update Josef Willenborg <jwillenborg@mpiwg-berlin.mpg.de> parents: diff changeset	191 private char zzBuffer[] = new char[ZZ_BUFFERSIZE];
1ec29fdd0db8 neue .lex Dateien f?r Normalisierung / externe Objekte update Josef Willenborg <jwillenborg@mpiwg-berlin.mpg.de> parents: diff changeset	192
1ec29fdd0db8 neue .lex Dateien f?r Normalisierung / externe Objekte update Josef Willenborg <jwillenborg@mpiwg-berlin.mpg.de> parents: diff changeset	193 /** the textposition at the last accepting state */
1ec29fdd0db8 neue .lex Dateien f?r Normalisierung / externe Objekte update Josef Willenborg <jwillenborg@mpiwg-berlin.mpg.de> parents: diff changeset	194 private int zzMarkedPos;
1ec29fdd0db8 neue .lex Dateien f?r Normalisierung / externe Objekte update Josef Willenborg <jwillenborg@mpiwg-berlin.mpg.de> parents: diff changeset	195
1ec29fdd0db8 neue .lex Dateien f?r Normalisierung / externe Objekte update Josef Willenborg <jwillenborg@mpiwg-berlin.mpg.de> parents: diff changeset	196 /** the current text position in the buffer */
1ec29fdd0db8 neue .lex Dateien f?r Normalisierung / externe Objekte update Josef Willenborg <jwillenborg@mpiwg-berlin.mpg.de> parents: diff changeset	197 private int zzCurrentPos;
1ec29fdd0db8 neue .lex Dateien f?r Normalisierung / externe Objekte update Josef Willenborg <jwillenborg@mpiwg-berlin.mpg.de> parents: diff changeset	198
1ec29fdd0db8 neue .lex Dateien f?r Normalisierung / externe Objekte update Josef Willenborg <jwillenborg@mpiwg-berlin.mpg.de> parents: diff changeset	199 /** startRead marks the beginning of the yytext() string in the buffer */
1ec29fdd0db8 neue .lex Dateien f?r Normalisierung / externe Objekte update Josef Willenborg <jwillenborg@mpiwg-berlin.mpg.de> parents: diff changeset	200 private int zzStartRead;
1ec29fdd0db8 neue .lex Dateien f?r Normalisierung / externe Objekte update Josef Willenborg <jwillenborg@mpiwg-berlin.mpg.de> parents: diff changeset	201
1ec29fdd0db8 neue .lex Dateien f?r Normalisierung / externe Objekte update Josef Willenborg <jwillenborg@mpiwg-berlin.mpg.de> parents: diff changeset	202 /** endRead marks the last character in the buffer, that has been read
1ec29fdd0db8 neue .lex Dateien f?r Normalisierung / externe Objekte update Josef Willenborg <jwillenborg@mpiwg-berlin.mpg.de> parents: diff changeset	203 from input */
1ec29fdd0db8 neue .lex Dateien f?r Normalisierung / externe Objekte update Josef Willenborg <jwillenborg@mpiwg-berlin.mpg.de> parents: diff changeset	204 private int zzEndRead;
1ec29fdd0db8 neue .lex Dateien f?r Normalisierung / externe Objekte update Josef Willenborg <jwillenborg@mpiwg-berlin.mpg.de> parents: diff changeset	205
1ec29fdd0db8 neue .lex Dateien f?r Normalisierung / externe Objekte update Josef Willenborg <jwillenborg@mpiwg-berlin.mpg.de> parents: diff changeset	206 /** number of newlines encountered up to the start of the matched text */
1ec29fdd0db8 neue .lex Dateien f?r Normalisierung / externe Objekte update Josef Willenborg <jwillenborg@mpiwg-berlin.mpg.de> parents: diff changeset	207 private int yyline;
1ec29fdd0db8 neue .lex Dateien f?r Normalisierung / externe Objekte update Josef Willenborg <jwillenborg@mpiwg-berlin.mpg.de> parents: diff changeset	208
1ec29fdd0db8 neue .lex Dateien f?r Normalisierung / externe Objekte update Josef Willenborg <jwillenborg@mpiwg-berlin.mpg.de> parents: diff changeset	209 /** the number of characters up to the start of the matched text */
1ec29fdd0db8 neue .lex Dateien f?r Normalisierung / externe Objekte update Josef Willenborg <jwillenborg@mpiwg-berlin.mpg.de> parents: diff changeset	210 private int yychar;
1ec29fdd0db8 neue .lex Dateien f?r Normalisierung / externe Objekte update Josef Willenborg <jwillenborg@mpiwg-berlin.mpg.de> parents: diff changeset	211
1ec29fdd0db8 neue .lex Dateien f?r Normalisierung / externe Objekte update Josef Willenborg <jwillenborg@mpiwg-berlin.mpg.de> parents: diff changeset	212 /**
1ec29fdd0db8 neue .lex Dateien f?r Normalisierung / externe Objekte update Josef Willenborg <jwillenborg@mpiwg-berlin.mpg.de> parents: diff changeset	213 * the number of characters from the last newline up to the start of the
1ec29fdd0db8 neue .lex Dateien f?r Normalisierung / externe Objekte update Josef Willenborg <jwillenborg@mpiwg-berlin.mpg.de> parents: diff changeset	214 * matched text
1ec29fdd0db8 neue .lex Dateien f?r Normalisierung / externe Objekte update Josef Willenborg <jwillenborg@mpiwg-berlin.mpg.de> parents: diff changeset	215 */
1ec29fdd0db8 neue .lex Dateien f?r Normalisierung / externe Objekte update Josef Willenborg <jwillenborg@mpiwg-berlin.mpg.de> parents: diff changeset	216 private int yycolumn;
1ec29fdd0db8 neue .lex Dateien f?r Normalisierung / externe Objekte update Josef Willenborg <jwillenborg@mpiwg-berlin.mpg.de> parents: diff changeset	217
1ec29fdd0db8 neue .lex Dateien f?r Normalisierung / externe Objekte update Josef Willenborg <jwillenborg@mpiwg-berlin.mpg.de> parents: diff changeset	218 /**
1ec29fdd0db8 neue .lex Dateien f?r Normalisierung / externe Objekte update Josef Willenborg <jwillenborg@mpiwg-berlin.mpg.de> parents: diff changeset	219 * zzAtBOL == true <=> the scanner is currently at the beginning of a line
1ec29fdd0db8 neue .lex Dateien f?r Normalisierung / externe Objekte update Josef Willenborg <jwillenborg@mpiwg-berlin.mpg.de> parents: diff changeset	220 */
1ec29fdd0db8 neue .lex Dateien f?r Normalisierung / externe Objekte update Josef Willenborg <jwillenborg@mpiwg-berlin.mpg.de> parents: diff changeset	221 private boolean zzAtBOL = true;
1ec29fdd0db8 neue .lex Dateien f?r Normalisierung / externe Objekte update Josef Willenborg <jwillenborg@mpiwg-berlin.mpg.de> parents: diff changeset	222
1ec29fdd0db8 neue .lex Dateien f?r Normalisierung / externe Objekte update Josef Willenborg <jwillenborg@mpiwg-berlin.mpg.de> parents: diff changeset	223 /** zzAtEOF == true <=> the scanner is at the EOF */
1ec29fdd0db8 neue .lex Dateien f?r Normalisierung / externe Objekte update Josef Willenborg <jwillenborg@mpiwg-berlin.mpg.de> parents: diff changeset	224 private boolean zzAtEOF;
1ec29fdd0db8 neue .lex Dateien f?r Normalisierung / externe Objekte update Josef Willenborg <jwillenborg@mpiwg-berlin.mpg.de> parents: diff changeset	225
1ec29fdd0db8 neue .lex Dateien f?r Normalisierung / externe Objekte update Josef Willenborg <jwillenborg@mpiwg-berlin.mpg.de> parents: diff changeset	226 /** denotes if the user-EOF-code has already been executed */
1ec29fdd0db8 neue .lex Dateien f?r Normalisierung / externe Objekte update Josef Willenborg <jwillenborg@mpiwg-berlin.mpg.de> parents: diff changeset	227 private boolean zzEOFDone;
1ec29fdd0db8 neue .lex Dateien f?r Normalisierung / externe Objekte update Josef Willenborg <jwillenborg@mpiwg-berlin.mpg.de> parents: diff changeset	228
1ec29fdd0db8 neue .lex Dateien f?r Normalisierung / externe Objekte update Josef Willenborg <jwillenborg@mpiwg-berlin.mpg.de> parents: diff changeset	229 /* user code: */
1ec29fdd0db8 neue .lex Dateien f?r Normalisierung / externe Objekte update Josef Willenborg <jwillenborg@mpiwg-berlin.mpg.de> parents: diff changeset	230 private String original = "";
1ec29fdd0db8 neue .lex Dateien f?r Normalisierung / externe Objekte update Josef Willenborg <jwillenborg@mpiwg-berlin.mpg.de> parents: diff changeset	231 private String normalized = "";
1ec29fdd0db8 neue .lex Dateien f?r Normalisierung / externe Objekte update Josef Willenborg <jwillenborg@mpiwg-berlin.mpg.de> parents: diff changeset	232 private int problem = 0;
1ec29fdd0db8 neue .lex Dateien f?r Normalisierung / externe Objekte update Josef Willenborg <jwillenborg@mpiwg-berlin.mpg.de> parents: diff changeset	233
1ec29fdd0db8 neue .lex Dateien f?r Normalisierung / externe Objekte update Josef Willenborg <jwillenborg@mpiwg-berlin.mpg.de> parents: diff changeset	234 private void add (String norm) {
1ec29fdd0db8 neue .lex Dateien f?r Normalisierung / externe Objekte update Josef Willenborg <jwillenborg@mpiwg-berlin.mpg.de> parents: diff changeset	235 original += yytext();
1ec29fdd0db8 neue .lex Dateien f?r Normalisierung / externe Objekte update Josef Willenborg <jwillenborg@mpiwg-berlin.mpg.de> parents: diff changeset	236 normalized += norm;
1ec29fdd0db8 neue .lex Dateien f?r Normalisierung / externe Objekte update Josef Willenborg <jwillenborg@mpiwg-berlin.mpg.de> parents: diff changeset	237 }
1ec29fdd0db8 neue .lex Dateien f?r Normalisierung / externe Objekte update Josef Willenborg <jwillenborg@mpiwg-berlin.mpg.de> parents: diff changeset	238
1ec29fdd0db8 neue .lex Dateien f?r Normalisierung / externe Objekte update Josef Willenborg <jwillenborg@mpiwg-berlin.mpg.de> parents: diff changeset	239
1ec29fdd0db8 neue .lex Dateien f?r Normalisierung / externe Objekte update Josef Willenborg <jwillenborg@mpiwg-berlin.mpg.de> parents: diff changeset	240 /**
1ec29fdd0db8 neue .lex Dateien f?r Normalisierung / externe Objekte update Josef Willenborg <jwillenborg@mpiwg-berlin.mpg.de> parents: diff changeset	241 * Creates a new scanner
1ec29fdd0db8 neue .lex Dateien f?r Normalisierung / externe Objekte update Josef Willenborg <jwillenborg@mpiwg-berlin.mpg.de> parents: diff changeset	242 * There is also a java.io.InputStream version of this constructor.
1ec29fdd0db8 neue .lex Dateien f?r Normalisierung / externe Objekte update Josef Willenborg <jwillenborg@mpiwg-berlin.mpg.de> parents: diff changeset	243 *
1ec29fdd0db8 neue .lex Dateien f?r Normalisierung / externe Objekte update Josef Willenborg <jwillenborg@mpiwg-berlin.mpg.de> parents: diff changeset	244 * @param in the java.io.Reader to read input from.
1ec29fdd0db8 neue .lex Dateien f?r Normalisierung / externe Objekte update Josef Willenborg <jwillenborg@mpiwg-berlin.mpg.de> parents: diff changeset	245 */
1ec29fdd0db8 neue .lex Dateien f?r Normalisierung / externe Objekte update Josef Willenborg <jwillenborg@mpiwg-berlin.mpg.de> parents: diff changeset	246 public MpdlNormalizerLexAR(java.io.Reader in) {
1ec29fdd0db8 neue .lex Dateien f?r Normalisierung / externe Objekte update Josef Willenborg <jwillenborg@mpiwg-berlin.mpg.de> parents: diff changeset	247 this.zzReader = in;
1ec29fdd0db8 neue .lex Dateien f?r Normalisierung / externe Objekte update Josef Willenborg <jwillenborg@mpiwg-berlin.mpg.de> parents: diff changeset	248 }
1ec29fdd0db8 neue .lex Dateien f?r Normalisierung / externe Objekte update Josef Willenborg <jwillenborg@mpiwg-berlin.mpg.de> parents: diff changeset	249
1ec29fdd0db8 neue .lex Dateien f?r Normalisierung / externe Objekte update Josef Willenborg <jwillenborg@mpiwg-berlin.mpg.de> parents: diff changeset	250 /**
1ec29fdd0db8 neue .lex Dateien f?r Normalisierung / externe Objekte update Josef Willenborg <jwillenborg@mpiwg-berlin.mpg.de> parents: diff changeset	251 * Creates a new scanner.
1ec29fdd0db8 neue .lex Dateien f?r Normalisierung / externe Objekte update Josef Willenborg <jwillenborg@mpiwg-berlin.mpg.de> parents: diff changeset	252 * There is also java.io.Reader version of this constructor.
1ec29fdd0db8 neue .lex Dateien f?r Normalisierung / externe Objekte update Josef Willenborg <jwillenborg@mpiwg-berlin.mpg.de> parents: diff changeset	253 *
1ec29fdd0db8 neue .lex Dateien f?r Normalisierung / externe Objekte update Josef Willenborg <jwillenborg@mpiwg-berlin.mpg.de> parents: diff changeset	254 * @param in the java.io.Inputstream to read input from.
1ec29fdd0db8 neue .lex Dateien f?r Normalisierung / externe Objekte update Josef Willenborg <jwillenborg@mpiwg-berlin.mpg.de> parents: diff changeset	255 */
1ec29fdd0db8 neue .lex Dateien f?r Normalisierung / externe Objekte update Josef Willenborg <jwillenborg@mpiwg-berlin.mpg.de> parents: diff changeset	256 public MpdlNormalizerLexAR(java.io.InputStream in) {
1ec29fdd0db8 neue .lex Dateien f?r Normalisierung / externe Objekte update Josef Willenborg <jwillenborg@mpiwg-berlin.mpg.de> parents: diff changeset	257 this(new java.io.InputStreamReader(in));
1ec29fdd0db8 neue .lex Dateien f?r Normalisierung / externe Objekte update Josef Willenborg <jwillenborg@mpiwg-berlin.mpg.de> parents: diff changeset	258 }
1ec29fdd0db8 neue .lex Dateien f?r Normalisierung / externe Objekte update Josef Willenborg <jwillenborg@mpiwg-berlin.mpg.de> parents: diff changeset	259
1ec29fdd0db8 neue .lex Dateien f?r Normalisierung / externe Objekte update Josef Willenborg <jwillenborg@mpiwg-berlin.mpg.de> parents: diff changeset	260 /**
1ec29fdd0db8 neue .lex Dateien f?r Normalisierung / externe Objekte update Josef Willenborg <jwillenborg@mpiwg-berlin.mpg.de> parents: diff changeset	261 * Unpacks the compressed character translation table.
1ec29fdd0db8 neue .lex Dateien f?r Normalisierung / externe Objekte update Josef Willenborg <jwillenborg@mpiwg-berlin.mpg.de> parents: diff changeset	262 *
1ec29fdd0db8 neue .lex Dateien f?r Normalisierung / externe Objekte update Josef Willenborg <jwillenborg@mpiwg-berlin.mpg.de> parents: diff changeset	263 * @param packed the packed character translation table
1ec29fdd0db8 neue .lex Dateien f?r Normalisierung / externe Objekte update Josef Willenborg <jwillenborg@mpiwg-berlin.mpg.de> parents: diff changeset	264 * @return the unpacked character translation table
1ec29fdd0db8 neue .lex Dateien f?r Normalisierung / externe Objekte update Josef Willenborg <jwillenborg@mpiwg-berlin.mpg.de> parents: diff changeset	265 */
1ec29fdd0db8 neue .lex Dateien f?r Normalisierung / externe Objekte update Josef Willenborg <jwillenborg@mpiwg-berlin.mpg.de> parents: diff changeset	266 private static char [] zzUnpackCMap(String packed) {
1ec29fdd0db8 neue .lex Dateien f?r Normalisierung / externe Objekte update Josef Willenborg <jwillenborg@mpiwg-berlin.mpg.de> parents: diff changeset	267 char [] map = new char[0x10000];
1ec29fdd0db8 neue .lex Dateien f?r Normalisierung / externe Objekte update Josef Willenborg <jwillenborg@mpiwg-berlin.mpg.de> parents: diff changeset	268 int i = 0; /* index in packed string */
1ec29fdd0db8 neue .lex Dateien f?r Normalisierung / externe Objekte update Josef Willenborg <jwillenborg@mpiwg-berlin.mpg.de> parents: diff changeset	269 int j = 0; /* index in unpacked array */
1ec29fdd0db8 neue .lex Dateien f?r Normalisierung / externe Objekte update Josef Willenborg <jwillenborg@mpiwg-berlin.mpg.de> parents: diff changeset	270 while (i < 10) {
1ec29fdd0db8 neue .lex Dateien f?r Normalisierung / externe Objekte update Josef Willenborg <jwillenborg@mpiwg-berlin.mpg.de> parents: diff changeset	271 int count = packed.charAt(i++);
1ec29fdd0db8 neue .lex Dateien f?r Normalisierung / externe Objekte update Josef Willenborg <jwillenborg@mpiwg-berlin.mpg.de> parents: diff changeset	272 char value = packed.charAt(i++);
1ec29fdd0db8 neue .lex Dateien f?r Normalisierung / externe Objekte update Josef Willenborg <jwillenborg@mpiwg-berlin.mpg.de> parents: diff changeset	273 do map[j++] = value; while (--count > 0);
1ec29fdd0db8 neue .lex Dateien f?r Normalisierung / externe Objekte update Josef Willenborg <jwillenborg@mpiwg-berlin.mpg.de> parents: diff changeset	274 }
1ec29fdd0db8 neue .lex Dateien f?r Normalisierung / externe Objekte update Josef Willenborg <jwillenborg@mpiwg-berlin.mpg.de> parents: diff changeset	275 return map;
1ec29fdd0db8 neue .lex Dateien f?r Normalisierung / externe Objekte update Josef Willenborg <jwillenborg@mpiwg-berlin.mpg.de> parents: diff changeset	276 }
1ec29fdd0db8 neue .lex Dateien f?r Normalisierung / externe Objekte update Josef Willenborg <jwillenborg@mpiwg-berlin.mpg.de> parents: diff changeset	277
1ec29fdd0db8 neue .lex Dateien f?r Normalisierung / externe Objekte update Josef Willenborg <jwillenborg@mpiwg-berlin.mpg.de> parents: diff changeset	278
1ec29fdd0db8 neue .lex Dateien f?r Normalisierung / externe Objekte update Josef Willenborg <jwillenborg@mpiwg-berlin.mpg.de> parents: diff changeset	279 /**
1ec29fdd0db8 neue .lex Dateien f?r Normalisierung / externe Objekte update Josef Willenborg <jwillenborg@mpiwg-berlin.mpg.de> parents: diff changeset	280 * Refills the input buffer.
1ec29fdd0db8 neue .lex Dateien f?r Normalisierung / externe Objekte update Josef Willenborg <jwillenborg@mpiwg-berlin.mpg.de> parents: diff changeset	281 *
1ec29fdd0db8 neue .lex Dateien f?r Normalisierung / externe Objekte update Josef Willenborg <jwillenborg@mpiwg-berlin.mpg.de> parents: diff changeset	282 * @return <code>false</code>, iff there was new input.
1ec29fdd0db8 neue .lex Dateien f?r Normalisierung / externe Objekte update Josef Willenborg <jwillenborg@mpiwg-berlin.mpg.de> parents: diff changeset	283 *
1ec29fdd0db8 neue .lex Dateien f?r Normalisierung / externe Objekte update Josef Willenborg <jwillenborg@mpiwg-berlin.mpg.de> parents: diff changeset	284 * @exception java.io.IOException if any I/O-Error occurs
1ec29fdd0db8 neue .lex Dateien f?r Normalisierung / externe Objekte update Josef Willenborg <jwillenborg@mpiwg-berlin.mpg.de> parents: diff changeset	285 */
1ec29fdd0db8 neue .lex Dateien f?r Normalisierung / externe Objekte update Josef Willenborg <jwillenborg@mpiwg-berlin.mpg.de> parents: diff changeset	286 private boolean zzRefill() throws java.io.IOException {
1ec29fdd0db8 neue .lex Dateien f?r Normalisierung / externe Objekte update Josef Willenborg <jwillenborg@mpiwg-berlin.mpg.de> parents: diff changeset	287
1ec29fdd0db8 neue .lex Dateien f?r Normalisierung / externe Objekte update Josef Willenborg <jwillenborg@mpiwg-berlin.mpg.de> parents: diff changeset	288 /* first: make room (if you can) */
1ec29fdd0db8 neue .lex Dateien f?r Normalisierung / externe Objekte update Josef Willenborg <jwillenborg@mpiwg-berlin.mpg.de> parents: diff changeset	289 if (zzStartRead > 0) {
1ec29fdd0db8 neue .lex Dateien f?r Normalisierung / externe Objekte update Josef Willenborg <jwillenborg@mpiwg-berlin.mpg.de> parents: diff changeset	290 System.arraycopy(zzBuffer, zzStartRead,
1ec29fdd0db8 neue .lex Dateien f?r Normalisierung / externe Objekte update Josef Willenborg <jwillenborg@mpiwg-berlin.mpg.de> parents: diff changeset	291 zzBuffer, 0,
1ec29fdd0db8 neue .lex Dateien f?r Normalisierung / externe Objekte update Josef Willenborg <jwillenborg@mpiwg-berlin.mpg.de> parents: diff changeset	292 zzEndRead-zzStartRead);
1ec29fdd0db8 neue .lex Dateien f?r Normalisierung / externe Objekte update Josef Willenborg <jwillenborg@mpiwg-berlin.mpg.de> parents: diff changeset	293
1ec29fdd0db8 neue .lex Dateien f?r Normalisierung / externe Objekte update Josef Willenborg <jwillenborg@mpiwg-berlin.mpg.de> parents: diff changeset	294 /* translate stored positions */
1ec29fdd0db8 neue .lex Dateien f?r Normalisierung / externe Objekte update Josef Willenborg <jwillenborg@mpiwg-berlin.mpg.de> parents: diff changeset	295 zzEndRead-= zzStartRead;
1ec29fdd0db8 neue .lex Dateien f?r Normalisierung / externe Objekte update Josef Willenborg <jwillenborg@mpiwg-berlin.mpg.de> parents: diff changeset	296 zzCurrentPos-= zzStartRead;
1ec29fdd0db8 neue .lex Dateien f?r Normalisierung / externe Objekte update Josef Willenborg <jwillenborg@mpiwg-berlin.mpg.de> parents: diff changeset	297 zzMarkedPos-= zzStartRead;
1ec29fdd0db8 neue .lex Dateien f?r Normalisierung / externe Objekte update Josef Willenborg <jwillenborg@mpiwg-berlin.mpg.de> parents: diff changeset	298 zzStartRead = 0;
1ec29fdd0db8 neue .lex Dateien f?r Normalisierung / externe Objekte update Josef Willenborg <jwillenborg@mpiwg-berlin.mpg.de> parents: diff changeset	299 }
1ec29fdd0db8 neue .lex Dateien f?r Normalisierung / externe Objekte update Josef Willenborg <jwillenborg@mpiwg-berlin.mpg.de> parents: diff changeset	300
1ec29fdd0db8 neue .lex Dateien f?r Normalisierung / externe Objekte update Josef Willenborg <jwillenborg@mpiwg-berlin.mpg.de> parents: diff changeset	301 /* is the buffer big enough? */
1ec29fdd0db8 neue .lex Dateien f?r Normalisierung / externe Objekte update Josef Willenborg <jwillenborg@mpiwg-berlin.mpg.de> parents: diff changeset	302 if (zzCurrentPos >= zzBuffer.length) {
1ec29fdd0db8 neue .lex Dateien f?r Normalisierung / externe Objekte update Josef Willenborg <jwillenborg@mpiwg-berlin.mpg.de> parents: diff changeset	303 /* if not: blow it up */
1ec29fdd0db8 neue .lex Dateien f?r Normalisierung / externe Objekte update Josef Willenborg <jwillenborg@mpiwg-berlin.mpg.de> parents: diff changeset	304 char newBuffer[] = new char[zzCurrentPos*2];
1ec29fdd0db8 neue .lex Dateien f?r Normalisierung / externe Objekte update Josef Willenborg <jwillenborg@mpiwg-berlin.mpg.de> parents: diff changeset	305 System.arraycopy(zzBuffer, 0, newBuffer, 0, zzBuffer.length);
1ec29fdd0db8 neue .lex Dateien f?r Normalisierung / externe Objekte update Josef Willenborg <jwillenborg@mpiwg-berlin.mpg.de> parents: diff changeset	306 zzBuffer = newBuffer;
1ec29fdd0db8 neue .lex Dateien f?r Normalisierung / externe Objekte update Josef Willenborg <jwillenborg@mpiwg-berlin.mpg.de> parents: diff changeset	307 }
1ec29fdd0db8 neue .lex Dateien f?r Normalisierung / externe Objekte update Josef Willenborg <jwillenborg@mpiwg-berlin.mpg.de> parents: diff changeset	308
1ec29fdd0db8 neue .lex Dateien f?r Normalisierung / externe Objekte update Josef Willenborg <jwillenborg@mpiwg-berlin.mpg.de> parents: diff changeset	309 /* finally: fill the buffer with new input */
1ec29fdd0db8 neue .lex Dateien f?r Normalisierung / externe Objekte update Josef Willenborg <jwillenborg@mpiwg-berlin.mpg.de> parents: diff changeset	310 int numRead = zzReader.read(zzBuffer, zzEndRead,
1ec29fdd0db8 neue .lex Dateien f?r Normalisierung / externe Objekte update Josef Willenborg <jwillenborg@mpiwg-berlin.mpg.de> parents: diff changeset	311 zzBuffer.length-zzEndRead);
1ec29fdd0db8 neue .lex Dateien f?r Normalisierung / externe Objekte update Josef Willenborg <jwillenborg@mpiwg-berlin.mpg.de> parents: diff changeset	312
1ec29fdd0db8 neue .lex Dateien f?r Normalisierung / externe Objekte update Josef Willenborg <jwillenborg@mpiwg-berlin.mpg.de> parents: diff changeset	313 if (numRead > 0) {
1ec29fdd0db8 neue .lex Dateien f?r Normalisierung / externe Objekte update Josef Willenborg <jwillenborg@mpiwg-berlin.mpg.de> parents: diff changeset	314 zzEndRead+= numRead;
1ec29fdd0db8 neue .lex Dateien f?r Normalisierung / externe Objekte update Josef Willenborg <jwillenborg@mpiwg-berlin.mpg.de> parents: diff changeset	315 return false;
1ec29fdd0db8 neue .lex Dateien f?r Normalisierung / externe Objekte update Josef Willenborg <jwillenborg@mpiwg-berlin.mpg.de> parents: diff changeset	316 }
1ec29fdd0db8 neue .lex Dateien f?r Normalisierung / externe Objekte update Josef Willenborg <jwillenborg@mpiwg-berlin.mpg.de> parents: diff changeset	317 // unlikely but not impossible: read 0 characters, but not at end of stream
1ec29fdd0db8 neue .lex Dateien f?r Normalisierung / externe Objekte update Josef Willenborg <jwillenborg@mpiwg-berlin.mpg.de> parents: diff changeset	318 if (numRead == 0) {
1ec29fdd0db8 neue .lex Dateien f?r Normalisierung / externe Objekte update Josef Willenborg <jwillenborg@mpiwg-berlin.mpg.de> parents: diff changeset	319 int c = zzReader.read();
1ec29fdd0db8 neue .lex Dateien f?r Normalisierung / externe Objekte update Josef Willenborg <jwillenborg@mpiwg-berlin.mpg.de> parents: diff changeset	320 if (c == -1) {
1ec29fdd0db8 neue .lex Dateien f?r Normalisierung / externe Objekte update Josef Willenborg <jwillenborg@mpiwg-berlin.mpg.de> parents: diff changeset	321 return true;
1ec29fdd0db8 neue .lex Dateien f?r Normalisierung / externe Objekte update Josef Willenborg <jwillenborg@mpiwg-berlin.mpg.de> parents: diff changeset	322 } else {
1ec29fdd0db8 neue .lex Dateien f?r Normalisierung / externe Objekte update Josef Willenborg <jwillenborg@mpiwg-berlin.mpg.de> parents: diff changeset	323 zzBuffer[zzEndRead++] = (char) c;
1ec29fdd0db8 neue .lex Dateien f?r Normalisierung / externe Objekte update Josef Willenborg <jwillenborg@mpiwg-berlin.mpg.de> parents: diff changeset	324 return false;
1ec29fdd0db8 neue .lex Dateien f?r Normalisierung / externe Objekte update Josef Willenborg <jwillenborg@mpiwg-berlin.mpg.de> parents: diff changeset	325 }
1ec29fdd0db8 neue .lex Dateien f?r Normalisierung / externe Objekte update Josef Willenborg <jwillenborg@mpiwg-berlin.mpg.de> parents: diff changeset	326 }
1ec29fdd0db8 neue .lex Dateien f?r Normalisierung / externe Objekte update Josef Willenborg <jwillenborg@mpiwg-berlin.mpg.de> parents: diff changeset	327
1ec29fdd0db8 neue .lex Dateien f?r Normalisierung / externe Objekte update Josef Willenborg <jwillenborg@mpiwg-berlin.mpg.de> parents: diff changeset	328 // numRead < 0
1ec29fdd0db8 neue .lex Dateien f?r Normalisierung / externe Objekte update Josef Willenborg <jwillenborg@mpiwg-berlin.mpg.de> parents: diff changeset	329 return true;
1ec29fdd0db8 neue .lex Dateien f?r Normalisierung / externe Objekte update Josef Willenborg <jwillenborg@mpiwg-berlin.mpg.de> parents: diff changeset	330 }
1ec29fdd0db8 neue .lex Dateien f?r Normalisierung / externe Objekte update Josef Willenborg <jwillenborg@mpiwg-berlin.mpg.de> parents: diff changeset	331
1ec29fdd0db8 neue .lex Dateien f?r Normalisierung / externe Objekte update Josef Willenborg <jwillenborg@mpiwg-berlin.mpg.de> parents: diff changeset	332
1ec29fdd0db8 neue .lex Dateien f?r Normalisierung / externe Objekte update Josef Willenborg <jwillenborg@mpiwg-berlin.mpg.de> parents: diff changeset	333 /**
1ec29fdd0db8 neue .lex Dateien f?r Normalisierung / externe Objekte update Josef Willenborg <jwillenborg@mpiwg-berlin.mpg.de> parents: diff changeset	334 * Closes the input stream.
1ec29fdd0db8 neue .lex Dateien f?r Normalisierung / externe Objekte update Josef Willenborg <jwillenborg@mpiwg-berlin.mpg.de> parents: diff changeset	335 */
1ec29fdd0db8 neue .lex Dateien f?r Normalisierung / externe Objekte update Josef Willenborg <jwillenborg@mpiwg-berlin.mpg.de> parents: diff changeset	336 public final void yyclose() throws java.io.IOException {
1ec29fdd0db8 neue .lex Dateien f?r Normalisierung / externe Objekte update Josef Willenborg <jwillenborg@mpiwg-berlin.mpg.de> parents: diff changeset	337 zzAtEOF = true; /* indicate end of file */
1ec29fdd0db8 neue .lex Dateien f?r Normalisierung / externe Objekte update Josef Willenborg <jwillenborg@mpiwg-berlin.mpg.de> parents: diff changeset	338 zzEndRead = zzStartRead; /* invalidate buffer */
1ec29fdd0db8 neue .lex Dateien f?r Normalisierung / externe Objekte update Josef Willenborg <jwillenborg@mpiwg-berlin.mpg.de> parents: diff changeset	339
1ec29fdd0db8 neue .lex Dateien f?r Normalisierung / externe Objekte update Josef Willenborg <jwillenborg@mpiwg-berlin.mpg.de> parents: diff changeset	340 if (zzReader != null)
1ec29fdd0db8 neue .lex Dateien f?r Normalisierung / externe Objekte update Josef Willenborg <jwillenborg@mpiwg-berlin.mpg.de> parents: diff changeset	341 zzReader.close();
1ec29fdd0db8 neue .lex Dateien f?r Normalisierung / externe Objekte update Josef Willenborg <jwillenborg@mpiwg-berlin.mpg.de> parents: diff changeset	342 }
1ec29fdd0db8 neue .lex Dateien f?r Normalisierung / externe Objekte update Josef Willenborg <jwillenborg@mpiwg-berlin.mpg.de> parents: diff changeset	343
1ec29fdd0db8 neue .lex Dateien f?r Normalisierung / externe Objekte update Josef Willenborg <jwillenborg@mpiwg-berlin.mpg.de> parents: diff changeset	344
1ec29fdd0db8 neue .lex Dateien f?r Normalisierung / externe Objekte update Josef Willenborg <jwillenborg@mpiwg-berlin.mpg.de> parents: diff changeset	345 /**
1ec29fdd0db8 neue .lex Dateien f?r Normalisierung / externe Objekte update Josef Willenborg <jwillenborg@mpiwg-berlin.mpg.de> parents: diff changeset	346 * Resets the scanner to read from a new input stream.
1ec29fdd0db8 neue .lex Dateien f?r Normalisierung / externe Objekte update Josef Willenborg <jwillenborg@mpiwg-berlin.mpg.de> parents: diff changeset	347 * Does not close the old reader.
1ec29fdd0db8 neue .lex Dateien f?r Normalisierung / externe Objekte update Josef Willenborg <jwillenborg@mpiwg-berlin.mpg.de> parents: diff changeset	348 *
1ec29fdd0db8 neue .lex Dateien f?r Normalisierung / externe Objekte update Josef Willenborg <jwillenborg@mpiwg-berlin.mpg.de> parents: diff changeset	349 * All internal variables are reset, the old input stream
1ec29fdd0db8 neue .lex Dateien f?r Normalisierung / externe Objekte update Josef Willenborg <jwillenborg@mpiwg-berlin.mpg.de> parents: diff changeset	350 * <b>cannot</b> be reused (internal buffer is discarded and lost).
1ec29fdd0db8 neue .lex Dateien f?r Normalisierung / externe Objekte update Josef Willenborg <jwillenborg@mpiwg-berlin.mpg.de> parents: diff changeset	351 * Lexical state is set to <tt>ZZ_INITIAL</tt>.
1ec29fdd0db8 neue .lex Dateien f?r Normalisierung / externe Objekte update Josef Willenborg <jwillenborg@mpiwg-berlin.mpg.de> parents: diff changeset	352 *
1ec29fdd0db8 neue .lex Dateien f?r Normalisierung / externe Objekte update Josef Willenborg <jwillenborg@mpiwg-berlin.mpg.de> parents: diff changeset	353 * @param reader the new input stream
1ec29fdd0db8 neue .lex Dateien f?r Normalisierung / externe Objekte update Josef Willenborg <jwillenborg@mpiwg-berlin.mpg.de> parents: diff changeset	354 */
1ec29fdd0db8 neue .lex Dateien f?r Normalisierung / externe Objekte update Josef Willenborg <jwillenborg@mpiwg-berlin.mpg.de> parents: diff changeset	355 public final void yyreset(java.io.Reader reader) {
1ec29fdd0db8 neue .lex Dateien f?r Normalisierung / externe Objekte update Josef Willenborg <jwillenborg@mpiwg-berlin.mpg.de> parents: diff changeset	356 zzReader = reader;
1ec29fdd0db8 neue .lex Dateien f?r Normalisierung / externe Objekte update Josef Willenborg <jwillenborg@mpiwg-berlin.mpg.de> parents: diff changeset	357 zzAtBOL = true;
1ec29fdd0db8 neue .lex Dateien f?r Normalisierung / externe Objekte update Josef Willenborg <jwillenborg@mpiwg-berlin.mpg.de> parents: diff changeset	358 zzAtEOF = false;
1ec29fdd0db8 neue .lex Dateien f?r Normalisierung / externe Objekte update Josef Willenborg <jwillenborg@mpiwg-berlin.mpg.de> parents: diff changeset	359 zzEOFDone = false;
1ec29fdd0db8 neue .lex Dateien f?r Normalisierung / externe Objekte update Josef Willenborg <jwillenborg@mpiwg-berlin.mpg.de> parents: diff changeset	360 zzEndRead = zzStartRead = 0;
1ec29fdd0db8 neue .lex Dateien f?r Normalisierung / externe Objekte update Josef Willenborg <jwillenborg@mpiwg-berlin.mpg.de> parents: diff changeset	361 zzCurrentPos = zzMarkedPos = 0;
1ec29fdd0db8 neue .lex Dateien f?r Normalisierung / externe Objekte update Josef Willenborg <jwillenborg@mpiwg-berlin.mpg.de> parents: diff changeset	362 yyline = yychar = yycolumn = 0;
1ec29fdd0db8 neue .lex Dateien f?r Normalisierung / externe Objekte update Josef Willenborg <jwillenborg@mpiwg-berlin.mpg.de> parents: diff changeset	363 zzLexicalState = YYINITIAL;
1ec29fdd0db8 neue .lex Dateien f?r Normalisierung / externe Objekte update Josef Willenborg <jwillenborg@mpiwg-berlin.mpg.de> parents: diff changeset	364 }
1ec29fdd0db8 neue .lex Dateien f?r Normalisierung / externe Objekte update Josef Willenborg <jwillenborg@mpiwg-berlin.mpg.de> parents: diff changeset	365
1ec29fdd0db8 neue .lex Dateien f?r Normalisierung / externe Objekte update Josef Willenborg <jwillenborg@mpiwg-berlin.mpg.de> parents: diff changeset	366
1ec29fdd0db8 neue .lex Dateien f?r Normalisierung / externe Objekte update Josef Willenborg <jwillenborg@mpiwg-berlin.mpg.de> parents: diff changeset	367 /**
1ec29fdd0db8 neue .lex Dateien f?r Normalisierung / externe Objekte update Josef Willenborg <jwillenborg@mpiwg-berlin.mpg.de> parents: diff changeset	368 * Returns the current lexical state.
1ec29fdd0db8 neue .lex Dateien f?r Normalisierung / externe Objekte update Josef Willenborg <jwillenborg@mpiwg-berlin.mpg.de> parents: diff changeset	369 */
1ec29fdd0db8 neue .lex Dateien f?r Normalisierung / externe Objekte update Josef Willenborg <jwillenborg@mpiwg-berlin.mpg.de> parents: diff changeset	370 public final int yystate() {
1ec29fdd0db8 neue .lex Dateien f?r Normalisierung / externe Objekte update Josef Willenborg <jwillenborg@mpiwg-berlin.mpg.de> parents: diff changeset	371 return zzLexicalState;
1ec29fdd0db8 neue .lex Dateien f?r Normalisierung / externe Objekte update Josef Willenborg <jwillenborg@mpiwg-berlin.mpg.de> parents: diff changeset	372 }
1ec29fdd0db8 neue .lex Dateien f?r Normalisierung / externe Objekte update Josef Willenborg <jwillenborg@mpiwg-berlin.mpg.de> parents: diff changeset	373
1ec29fdd0db8 neue .lex Dateien f?r Normalisierung / externe Objekte update Josef Willenborg <jwillenborg@mpiwg-berlin.mpg.de> parents: diff changeset	374
1ec29fdd0db8 neue .lex Dateien f?r Normalisierung / externe Objekte update Josef Willenborg <jwillenborg@mpiwg-berlin.mpg.de> parents: diff changeset	375 /**
1ec29fdd0db8 neue .lex Dateien f?r Normalisierung / externe Objekte update Josef Willenborg <jwillenborg@mpiwg-berlin.mpg.de> parents: diff changeset	376 * Enters a new lexical state
1ec29fdd0db8 neue .lex Dateien f?r Normalisierung / externe Objekte update Josef Willenborg <jwillenborg@mpiwg-berlin.mpg.de> parents: diff changeset	377 *
1ec29fdd0db8 neue .lex Dateien f?r Normalisierung / externe Objekte update Josef Willenborg <jwillenborg@mpiwg-berlin.mpg.de> parents: diff changeset	378 * @param newState the new lexical state
1ec29fdd0db8 neue .lex Dateien f?r Normalisierung / externe Objekte update Josef Willenborg <jwillenborg@mpiwg-berlin.mpg.de> parents: diff changeset	379 */
1ec29fdd0db8 neue .lex Dateien f?r Normalisierung / externe Objekte update Josef Willenborg <jwillenborg@mpiwg-berlin.mpg.de> parents: diff changeset	380 public final void yybegin(int newState) {
1ec29fdd0db8 neue .lex Dateien f?r Normalisierung / externe Objekte update Josef Willenborg <jwillenborg@mpiwg-berlin.mpg.de> parents: diff changeset	381 zzLexicalState = newState;
1ec29fdd0db8 neue .lex Dateien f?r Normalisierung / externe Objekte update Josef Willenborg <jwillenborg@mpiwg-berlin.mpg.de> parents: diff changeset	382 }
1ec29fdd0db8 neue .lex Dateien f?r Normalisierung / externe Objekte update Josef Willenborg <jwillenborg@mpiwg-berlin.mpg.de> parents: diff changeset	383
1ec29fdd0db8 neue .lex Dateien f?r Normalisierung / externe Objekte update Josef Willenborg <jwillenborg@mpiwg-berlin.mpg.de> parents: diff changeset	384
1ec29fdd0db8 neue .lex Dateien f?r Normalisierung / externe Objekte update Josef Willenborg <jwillenborg@mpiwg-berlin.mpg.de> parents: diff changeset	385 /**
1ec29fdd0db8 neue .lex Dateien f?r Normalisierung / externe Objekte update Josef Willenborg <jwillenborg@mpiwg-berlin.mpg.de> parents: diff changeset	386 * Returns the text matched by the current regular expression.
1ec29fdd0db8 neue .lex Dateien f?r Normalisierung / externe Objekte update Josef Willenborg <jwillenborg@mpiwg-berlin.mpg.de> parents: diff changeset	387 */
1ec29fdd0db8 neue .lex Dateien f?r Normalisierung / externe Objekte update Josef Willenborg <jwillenborg@mpiwg-berlin.mpg.de> parents: diff changeset	388 public final String yytext() {
1ec29fdd0db8 neue .lex Dateien f?r Normalisierung / externe Objekte update Josef Willenborg <jwillenborg@mpiwg-berlin.mpg.de> parents: diff changeset	389 return new String( zzBuffer, zzStartRead, zzMarkedPos-zzStartRead );
1ec29fdd0db8 neue .lex Dateien f?r Normalisierung / externe Objekte update Josef Willenborg <jwillenborg@mpiwg-berlin.mpg.de> parents: diff changeset	390 }
1ec29fdd0db8 neue .lex Dateien f?r Normalisierung / externe Objekte update Josef Willenborg <jwillenborg@mpiwg-berlin.mpg.de> parents: diff changeset	391
1ec29fdd0db8 neue .lex Dateien f?r Normalisierung / externe Objekte update Josef Willenborg <jwillenborg@mpiwg-berlin.mpg.de> parents: diff changeset	392
1ec29fdd0db8 neue .lex Dateien f?r Normalisierung / externe Objekte update Josef Willenborg <jwillenborg@mpiwg-berlin.mpg.de> parents: diff changeset	393 /**
1ec29fdd0db8 neue .lex Dateien f?r Normalisierung / externe Objekte update Josef Willenborg <jwillenborg@mpiwg-berlin.mpg.de> parents: diff changeset	394 * Returns the character at position <tt>pos</tt> from the
1ec29fdd0db8 neue .lex Dateien f?r Normalisierung / externe Objekte update Josef Willenborg <jwillenborg@mpiwg-berlin.mpg.de> parents: diff changeset	395 * matched text.
1ec29fdd0db8 neue .lex Dateien f?r Normalisierung / externe Objekte update Josef Willenborg <jwillenborg@mpiwg-berlin.mpg.de> parents: diff changeset	396 *
1ec29fdd0db8 neue .lex Dateien f?r Normalisierung / externe Objekte update Josef Willenborg <jwillenborg@mpiwg-berlin.mpg.de> parents: diff changeset	397 * It is equivalent to yytext().charAt(pos), but faster
1ec29fdd0db8 neue .lex Dateien f?r Normalisierung / externe Objekte update Josef Willenborg <jwillenborg@mpiwg-berlin.mpg.de> parents: diff changeset	398 *
1ec29fdd0db8 neue .lex Dateien f?r Normalisierung / externe Objekte update Josef Willenborg <jwillenborg@mpiwg-berlin.mpg.de> parents: diff changeset	399 * @param pos the position of the character to fetch.
1ec29fdd0db8 neue .lex Dateien f?r Normalisierung / externe Objekte update Josef Willenborg <jwillenborg@mpiwg-berlin.mpg.de> parents: diff changeset	400 * A value from 0 to yylength()-1.
1ec29fdd0db8 neue .lex Dateien f?r Normalisierung / externe Objekte update Josef Willenborg <jwillenborg@mpiwg-berlin.mpg.de> parents: diff changeset	401 *
1ec29fdd0db8 neue .lex Dateien f?r Normalisierung / externe Objekte update Josef Willenborg <jwillenborg@mpiwg-berlin.mpg.de> parents: diff changeset	402 * @return the character at position pos
1ec29fdd0db8 neue .lex Dateien f?r Normalisierung / externe Objekte update Josef Willenborg <jwillenborg@mpiwg-berlin.mpg.de> parents: diff changeset	403 */
1ec29fdd0db8 neue .lex Dateien f?r Normalisierung / externe Objekte update Josef Willenborg <jwillenborg@mpiwg-berlin.mpg.de> parents: diff changeset	404 public final char yycharat(int pos) {
1ec29fdd0db8 neue .lex Dateien f?r Normalisierung / externe Objekte update Josef Willenborg <jwillenborg@mpiwg-berlin.mpg.de> parents: diff changeset	405 return zzBuffer[zzStartRead+pos];
1ec29fdd0db8 neue .lex Dateien f?r Normalisierung / externe Objekte update Josef Willenborg <jwillenborg@mpiwg-berlin.mpg.de> parents: diff changeset	406 }
1ec29fdd0db8 neue .lex Dateien f?r Normalisierung / externe Objekte update Josef Willenborg <jwillenborg@mpiwg-berlin.mpg.de> parents: diff changeset	407
1ec29fdd0db8 neue .lex Dateien f?r Normalisierung / externe Objekte update Josef Willenborg <jwillenborg@mpiwg-berlin.mpg.de> parents: diff changeset	408
1ec29fdd0db8 neue .lex Dateien f?r Normalisierung / externe Objekte update Josef Willenborg <jwillenborg@mpiwg-berlin.mpg.de> parents: diff changeset	409 /**
1ec29fdd0db8 neue .lex Dateien f?r Normalisierung / externe Objekte update Josef Willenborg <jwillenborg@mpiwg-berlin.mpg.de> parents: diff changeset	410 * Returns the length of the matched text region.
1ec29fdd0db8 neue .lex Dateien f?r Normalisierung / externe Objekte update Josef Willenborg <jwillenborg@mpiwg-berlin.mpg.de> parents: diff changeset	411 */
1ec29fdd0db8 neue .lex Dateien f?r Normalisierung / externe Objekte update Josef Willenborg <jwillenborg@mpiwg-berlin.mpg.de> parents: diff changeset	412 public final int yylength() {
1ec29fdd0db8 neue .lex Dateien f?r Normalisierung / externe Objekte update Josef Willenborg <jwillenborg@mpiwg-berlin.mpg.de> parents: diff changeset	413 return zzMarkedPos-zzStartRead;
1ec29fdd0db8 neue .lex Dateien f?r Normalisierung / externe Objekte update Josef Willenborg <jwillenborg@mpiwg-berlin.mpg.de> parents: diff changeset	414 }
1ec29fdd0db8 neue .lex Dateien f?r Normalisierung / externe Objekte update Josef Willenborg <jwillenborg@mpiwg-berlin.mpg.de> parents: diff changeset	415
1ec29fdd0db8 neue .lex Dateien f?r Normalisierung / externe Objekte update Josef Willenborg <jwillenborg@mpiwg-berlin.mpg.de> parents: diff changeset	416
1ec29fdd0db8 neue .lex Dateien f?r Normalisierung / externe Objekte update Josef Willenborg <jwillenborg@mpiwg-berlin.mpg.de> parents: diff changeset	417 /**
1ec29fdd0db8 neue .lex Dateien f?r Normalisierung / externe Objekte update Josef Willenborg <jwillenborg@mpiwg-berlin.mpg.de> parents: diff changeset	418 * Reports an error that occured while scanning.
1ec29fdd0db8 neue .lex Dateien f?r Normalisierung / externe Objekte update Josef Willenborg <jwillenborg@mpiwg-berlin.mpg.de> parents: diff changeset	419 *
1ec29fdd0db8 neue .lex Dateien f?r Normalisierung / externe Objekte update Josef Willenborg <jwillenborg@mpiwg-berlin.mpg.de> parents: diff changeset	420 * In a wellformed scanner (no or only correct usage of
1ec29fdd0db8 neue .lex Dateien f?r Normalisierung / externe Objekte update Josef Willenborg <jwillenborg@mpiwg-berlin.mpg.de> parents: diff changeset	421 * yypushback(int) and a match-all fallback rule) this method
1ec29fdd0db8 neue .lex Dateien f?r Normalisierung / externe Objekte update Josef Willenborg <jwillenborg@mpiwg-berlin.mpg.de> parents: diff changeset	422 * will only be called with things that "Can't Possibly Happen".
1ec29fdd0db8 neue .lex Dateien f?r Normalisierung / externe Objekte update Josef Willenborg <jwillenborg@mpiwg-berlin.mpg.de> parents: diff changeset	423 * If this method is called, something is seriously wrong
1ec29fdd0db8 neue .lex Dateien f?r Normalisierung / externe Objekte update Josef Willenborg <jwillenborg@mpiwg-berlin.mpg.de> parents: diff changeset	424 * (e.g. a JFlex bug producing a faulty scanner etc.).
1ec29fdd0db8 neue .lex Dateien f?r Normalisierung / externe Objekte update Josef Willenborg <jwillenborg@mpiwg-berlin.mpg.de> parents: diff changeset	425 *
1ec29fdd0db8 neue .lex Dateien f?r Normalisierung / externe Objekte update Josef Willenborg <jwillenborg@mpiwg-berlin.mpg.de> parents: diff changeset	426 * Usual syntax/scanner level error handling should be done
1ec29fdd0db8 neue .lex Dateien f?r Normalisierung / externe Objekte update Josef Willenborg <jwillenborg@mpiwg-berlin.mpg.de> parents: diff changeset	427 * in error fallback rules.
1ec29fdd0db8 neue .lex Dateien f?r Normalisierung / externe Objekte update Josef Willenborg <jwillenborg@mpiwg-berlin.mpg.de> parents: diff changeset	428 *
1ec29fdd0db8 neue .lex Dateien f?r Normalisierung / externe Objekte update Josef Willenborg <jwillenborg@mpiwg-berlin.mpg.de> parents: diff changeset	429 * @param errorCode the code of the errormessage to display
1ec29fdd0db8 neue .lex Dateien f?r Normalisierung / externe Objekte update Josef Willenborg <jwillenborg@mpiwg-berlin.mpg.de> parents: diff changeset	430 */
1ec29fdd0db8 neue .lex Dateien f?r Normalisierung / externe Objekte update Josef Willenborg <jwillenborg@mpiwg-berlin.mpg.de> parents: diff changeset	431 private void zzScanError(int errorCode) {
1ec29fdd0db8 neue .lex Dateien f?r Normalisierung / externe Objekte update Josef Willenborg <jwillenborg@mpiwg-berlin.mpg.de> parents: diff changeset	432 String message;
1ec29fdd0db8 neue .lex Dateien f?r Normalisierung / externe Objekte update Josef Willenborg <jwillenborg@mpiwg-berlin.mpg.de> parents: diff changeset	433 try {
1ec29fdd0db8 neue .lex Dateien f?r Normalisierung / externe Objekte update Josef Willenborg <jwillenborg@mpiwg-berlin.mpg.de> parents: diff changeset	434 message = ZZ_ERROR_MSG[errorCode];
1ec29fdd0db8 neue .lex Dateien f?r Normalisierung / externe Objekte update Josef Willenborg <jwillenborg@mpiwg-berlin.mpg.de> parents: diff changeset	435 }
1ec29fdd0db8 neue .lex Dateien f?r Normalisierung / externe Objekte update Josef Willenborg <jwillenborg@mpiwg-berlin.mpg.de> parents: diff changeset	436 catch (ArrayIndexOutOfBoundsException e) {
1ec29fdd0db8 neue .lex Dateien f?r Normalisierung / externe Objekte update Josef Willenborg <jwillenborg@mpiwg-berlin.mpg.de> parents: diff changeset	437 message = ZZ_ERROR_MSG[ZZ_UNKNOWN_ERROR];
1ec29fdd0db8 neue .lex Dateien f?r Normalisierung / externe Objekte update Josef Willenborg <jwillenborg@mpiwg-berlin.mpg.de> parents: diff changeset	438 }
1ec29fdd0db8 neue .lex Dateien f?r Normalisierung / externe Objekte update Josef Willenborg <jwillenborg@mpiwg-berlin.mpg.de> parents: diff changeset	439
1ec29fdd0db8 neue .lex Dateien f?r Normalisierung / externe Objekte update Josef Willenborg <jwillenborg@mpiwg-berlin.mpg.de> parents: diff changeset	440 throw new Error(message);
1ec29fdd0db8 neue .lex Dateien f?r Normalisierung / externe Objekte update Josef Willenborg <jwillenborg@mpiwg-berlin.mpg.de> parents: diff changeset	441 }
1ec29fdd0db8 neue .lex Dateien f?r Normalisierung / externe Objekte update Josef Willenborg <jwillenborg@mpiwg-berlin.mpg.de> parents: diff changeset	442
1ec29fdd0db8 neue .lex Dateien f?r Normalisierung / externe Objekte update Josef Willenborg <jwillenborg@mpiwg-berlin.mpg.de> parents: diff changeset	443
1ec29fdd0db8 neue .lex Dateien f?r Normalisierung / externe Objekte update Josef Willenborg <jwillenborg@mpiwg-berlin.mpg.de> parents: diff changeset	444 /**
1ec29fdd0db8 neue .lex Dateien f?r Normalisierung / externe Objekte update Josef Willenborg <jwillenborg@mpiwg-berlin.mpg.de> parents: diff changeset	445 * Pushes the specified amount of characters back into the input stream.
1ec29fdd0db8 neue .lex Dateien f?r Normalisierung / externe Objekte update Josef Willenborg <jwillenborg@mpiwg-berlin.mpg.de> parents: diff changeset	446 *
1ec29fdd0db8 neue .lex Dateien f?r Normalisierung / externe Objekte update Josef Willenborg <jwillenborg@mpiwg-berlin.mpg.de> parents: diff changeset	447 * They will be read again by then next call of the scanning method
1ec29fdd0db8 neue .lex Dateien f?r Normalisierung / externe Objekte update Josef Willenborg <jwillenborg@mpiwg-berlin.mpg.de> parents: diff changeset	448 *
1ec29fdd0db8 neue .lex Dateien f?r Normalisierung / externe Objekte update Josef Willenborg <jwillenborg@mpiwg-berlin.mpg.de> parents: diff changeset	449 * @param number the number of characters to be read again.
1ec29fdd0db8 neue .lex Dateien f?r Normalisierung / externe Objekte update Josef Willenborg <jwillenborg@mpiwg-berlin.mpg.de> parents: diff changeset	450 * This number must not be greater than yylength()!
1ec29fdd0db8 neue .lex Dateien f?r Normalisierung / externe Objekte update Josef Willenborg <jwillenborg@mpiwg-berlin.mpg.de> parents: diff changeset	451 */
1ec29fdd0db8 neue .lex Dateien f?r Normalisierung / externe Objekte update Josef Willenborg <jwillenborg@mpiwg-berlin.mpg.de> parents: diff changeset	452 public void yypushback(int number) {
1ec29fdd0db8 neue .lex Dateien f?r Normalisierung / externe Objekte update Josef Willenborg <jwillenborg@mpiwg-berlin.mpg.de> parents: diff changeset	453 if ( number > yylength() )
1ec29fdd0db8 neue .lex Dateien f?r Normalisierung / externe Objekte update Josef Willenborg <jwillenborg@mpiwg-berlin.mpg.de> parents: diff changeset	454 zzScanError(ZZ_PUSHBACK_2BIG);
1ec29fdd0db8 neue .lex Dateien f?r Normalisierung / externe Objekte update Josef Willenborg <jwillenborg@mpiwg-berlin.mpg.de> parents: diff changeset	455
1ec29fdd0db8 neue .lex Dateien f?r Normalisierung / externe Objekte update Josef Willenborg <jwillenborg@mpiwg-berlin.mpg.de> parents: diff changeset	456 zzMarkedPos -= number;
1ec29fdd0db8 neue .lex Dateien f?r Normalisierung / externe Objekte update Josef Willenborg <jwillenborg@mpiwg-berlin.mpg.de> parents: diff changeset	457 }
1ec29fdd0db8 neue .lex Dateien f?r Normalisierung / externe Objekte update Josef Willenborg <jwillenborg@mpiwg-berlin.mpg.de> parents: diff changeset	458
1ec29fdd0db8 neue .lex Dateien f?r Normalisierung / externe Objekte update Josef Willenborg <jwillenborg@mpiwg-berlin.mpg.de> parents: diff changeset	459
1ec29fdd0db8 neue .lex Dateien f?r Normalisierung / externe Objekte update Josef Willenborg <jwillenborg@mpiwg-berlin.mpg.de> parents: diff changeset	460 /**
1ec29fdd0db8 neue .lex Dateien f?r Normalisierung / externe Objekte update Josef Willenborg <jwillenborg@mpiwg-berlin.mpg.de> parents: diff changeset	461 * Resumes scanning until the next regular expression is matched,
1ec29fdd0db8 neue .lex Dateien f?r Normalisierung / externe Objekte update Josef Willenborg <jwillenborg@mpiwg-berlin.mpg.de> parents: diff changeset	462 * the end of input is encountered or an I/O-Error occurs.
1ec29fdd0db8 neue .lex Dateien f?r Normalisierung / externe Objekte update Josef Willenborg <jwillenborg@mpiwg-berlin.mpg.de> parents: diff changeset	463 *
1ec29fdd0db8 neue .lex Dateien f?r Normalisierung / externe Objekte update Josef Willenborg <jwillenborg@mpiwg-berlin.mpg.de> parents: diff changeset	464 * @return the next token
1ec29fdd0db8 neue .lex Dateien f?r Normalisierung / externe Objekte update Josef Willenborg <jwillenborg@mpiwg-berlin.mpg.de> parents: diff changeset	465 * @exception java.io.IOException if any I/O-Error occurs
1ec29fdd0db8 neue .lex Dateien f?r Normalisierung / externe Objekte update Josef Willenborg <jwillenborg@mpiwg-berlin.mpg.de> parents: diff changeset	466 */
1ec29fdd0db8 neue .lex Dateien f?r Normalisierung / externe Objekte update Josef Willenborg <jwillenborg@mpiwg-berlin.mpg.de> parents: diff changeset	467 public java.lang.String yylex() throws java.io.IOException {
1ec29fdd0db8 neue .lex Dateien f?r Normalisierung / externe Objekte update Josef Willenborg <jwillenborg@mpiwg-berlin.mpg.de> parents: diff changeset	468 int zzInput;
1ec29fdd0db8 neue .lex Dateien f?r Normalisierung / externe Objekte update Josef Willenborg <jwillenborg@mpiwg-berlin.mpg.de> parents: diff changeset	469 int zzAction;
1ec29fdd0db8 neue .lex Dateien f?r Normalisierung / externe Objekte update Josef Willenborg <jwillenborg@mpiwg-berlin.mpg.de> parents: diff changeset	470
1ec29fdd0db8 neue .lex Dateien f?r Normalisierung / externe Objekte update Josef Willenborg <jwillenborg@mpiwg-berlin.mpg.de> parents: diff changeset	471 // cached fields:
1ec29fdd0db8 neue .lex Dateien f?r Normalisierung / externe Objekte update Josef Willenborg <jwillenborg@mpiwg-berlin.mpg.de> parents: diff changeset	472 int zzCurrentPosL;
1ec29fdd0db8 neue .lex Dateien f?r Normalisierung / externe Objekte update Josef Willenborg <jwillenborg@mpiwg-berlin.mpg.de> parents: diff changeset	473 int zzMarkedPosL;
1ec29fdd0db8 neue .lex Dateien f?r Normalisierung / externe Objekte update Josef Willenborg <jwillenborg@mpiwg-berlin.mpg.de> parents: diff changeset	474 int zzEndReadL = zzEndRead;
1ec29fdd0db8 neue .lex Dateien f?r Normalisierung / externe Objekte update Josef Willenborg <jwillenborg@mpiwg-berlin.mpg.de> parents: diff changeset	475 char [] zzBufferL = zzBuffer;
1ec29fdd0db8 neue .lex Dateien f?r Normalisierung / externe Objekte update Josef Willenborg <jwillenborg@mpiwg-berlin.mpg.de> parents: diff changeset	476 char [] zzCMapL = ZZ_CMAP;
1ec29fdd0db8 neue .lex Dateien f?r Normalisierung / externe Objekte update Josef Willenborg <jwillenborg@mpiwg-berlin.mpg.de> parents: diff changeset	477
1ec29fdd0db8 neue .lex Dateien f?r Normalisierung / externe Objekte update Josef Willenborg <jwillenborg@mpiwg-berlin.mpg.de> parents: diff changeset	478 int [] zzTransL = ZZ_TRANS;
1ec29fdd0db8 neue .lex Dateien f?r Normalisierung / externe Objekte update Josef Willenborg <jwillenborg@mpiwg-berlin.mpg.de> parents: diff changeset	479 int [] zzRowMapL = ZZ_ROWMAP;
1ec29fdd0db8 neue .lex Dateien f?r Normalisierung / externe Objekte update Josef Willenborg <jwillenborg@mpiwg-berlin.mpg.de> parents: diff changeset	480 int [] zzAttrL = ZZ_ATTRIBUTE;
1ec29fdd0db8 neue .lex Dateien f?r Normalisierung / externe Objekte update Josef Willenborg <jwillenborg@mpiwg-berlin.mpg.de> parents: diff changeset	481
1ec29fdd0db8 neue .lex Dateien f?r Normalisierung / externe Objekte update Josef Willenborg <jwillenborg@mpiwg-berlin.mpg.de> parents: diff changeset	482 while (true) {
1ec29fdd0db8 neue .lex Dateien f?r Normalisierung / externe Objekte update Josef Willenborg <jwillenborg@mpiwg-berlin.mpg.de> parents: diff changeset	483 zzMarkedPosL = zzMarkedPos;
1ec29fdd0db8 neue .lex Dateien f?r Normalisierung / externe Objekte update Josef Willenborg <jwillenborg@mpiwg-berlin.mpg.de> parents: diff changeset	484
1ec29fdd0db8 neue .lex Dateien f?r Normalisierung / externe Objekte update Josef Willenborg <jwillenborg@mpiwg-berlin.mpg.de> parents: diff changeset	485 zzAction = -1;
1ec29fdd0db8 neue .lex Dateien f?r Normalisierung / externe Objekte update Josef Willenborg <jwillenborg@mpiwg-berlin.mpg.de> parents: diff changeset	486
1ec29fdd0db8 neue .lex Dateien f?r Normalisierung / externe Objekte update Josef Willenborg <jwillenborg@mpiwg-berlin.mpg.de> parents: diff changeset	487 zzCurrentPosL = zzCurrentPos = zzStartRead = zzMarkedPosL;
1ec29fdd0db8 neue .lex Dateien f?r Normalisierung / externe Objekte update Josef Willenborg <jwillenborg@mpiwg-berlin.mpg.de> parents: diff changeset	488
1ec29fdd0db8 neue .lex Dateien f?r Normalisierung / externe Objekte update Josef Willenborg <jwillenborg@mpiwg-berlin.mpg.de> parents: diff changeset	489 zzState = ZZ_LEXSTATE[zzLexicalState];
1ec29fdd0db8 neue .lex Dateien f?r Normalisierung / externe Objekte update Josef Willenborg <jwillenborg@mpiwg-berlin.mpg.de> parents: diff changeset	490
1ec29fdd0db8 neue .lex Dateien f?r Normalisierung / externe Objekte update Josef Willenborg <jwillenborg@mpiwg-berlin.mpg.de> parents: diff changeset	491
1ec29fdd0db8 neue .lex Dateien f?r Normalisierung / externe Objekte update Josef Willenborg <jwillenborg@mpiwg-berlin.mpg.de> parents: diff changeset	492 zzForAction: {
1ec29fdd0db8 neue .lex Dateien f?r Normalisierung / externe Objekte update Josef Willenborg <jwillenborg@mpiwg-berlin.mpg.de> parents: diff changeset	493 while (true) {
1ec29fdd0db8 neue .lex Dateien f?r Normalisierung / externe Objekte update Josef Willenborg <jwillenborg@mpiwg-berlin.mpg.de> parents: diff changeset	494
1ec29fdd0db8 neue .lex Dateien f?r Normalisierung / externe Objekte update Josef Willenborg <jwillenborg@mpiwg-berlin.mpg.de> parents: diff changeset	495 if (zzCurrentPosL < zzEndReadL)
1ec29fdd0db8 neue .lex Dateien f?r Normalisierung / externe Objekte update Josef Willenborg <jwillenborg@mpiwg-berlin.mpg.de> parents: diff changeset	496 zzInput = zzBufferL[zzCurrentPosL++];
1ec29fdd0db8 neue .lex Dateien f?r Normalisierung / externe Objekte update Josef Willenborg <jwillenborg@mpiwg-berlin.mpg.de> parents: diff changeset	497 else if (zzAtEOF) {
1ec29fdd0db8 neue .lex Dateien f?r Normalisierung / externe Objekte update Josef Willenborg <jwillenborg@mpiwg-berlin.mpg.de> parents: diff changeset	498 zzInput = YYEOF;
1ec29fdd0db8 neue .lex Dateien f?r Normalisierung / externe Objekte update Josef Willenborg <jwillenborg@mpiwg-berlin.mpg.de> parents: diff changeset	499 break zzForAction;
1ec29fdd0db8 neue .lex Dateien f?r Normalisierung / externe Objekte update Josef Willenborg <jwillenborg@mpiwg-berlin.mpg.de> parents: diff changeset	500 }
1ec29fdd0db8 neue .lex Dateien f?r Normalisierung / externe Objekte update Josef Willenborg <jwillenborg@mpiwg-berlin.mpg.de> parents: diff changeset	501 else {
1ec29fdd0db8 neue .lex Dateien f?r Normalisierung / externe Objekte update Josef Willenborg <jwillenborg@mpiwg-berlin.mpg.de> parents: diff changeset	502 // store back cached positions
1ec29fdd0db8 neue .lex Dateien f?r Normalisierung / externe Objekte update Josef Willenborg <jwillenborg@mpiwg-berlin.mpg.de> parents: diff changeset	503 zzCurrentPos = zzCurrentPosL;
1ec29fdd0db8 neue .lex Dateien f?r Normalisierung / externe Objekte update Josef Willenborg <jwillenborg@mpiwg-berlin.mpg.de> parents: diff changeset	504 zzMarkedPos = zzMarkedPosL;
1ec29fdd0db8 neue .lex Dateien f?r Normalisierung / externe Objekte update Josef Willenborg <jwillenborg@mpiwg-berlin.mpg.de> parents: diff changeset	505 boolean eof = zzRefill();
1ec29fdd0db8 neue .lex Dateien f?r Normalisierung / externe Objekte update Josef Willenborg <jwillenborg@mpiwg-berlin.mpg.de> parents: diff changeset	506 // get translated positions and possibly new buffer
1ec29fdd0db8 neue .lex Dateien f?r Normalisierung / externe Objekte update Josef Willenborg <jwillenborg@mpiwg-berlin.mpg.de> parents: diff changeset	507 zzCurrentPosL = zzCurrentPos;
1ec29fdd0db8 neue .lex Dateien f?r Normalisierung / externe Objekte update Josef Willenborg <jwillenborg@mpiwg-berlin.mpg.de> parents: diff changeset	508 zzMarkedPosL = zzMarkedPos;
1ec29fdd0db8 neue .lex Dateien f?r Normalisierung / externe Objekte update Josef Willenborg <jwillenborg@mpiwg-berlin.mpg.de> parents: diff changeset	509 zzBufferL = zzBuffer;
1ec29fdd0db8 neue .lex Dateien f?r Normalisierung / externe Objekte update Josef Willenborg <jwillenborg@mpiwg-berlin.mpg.de> parents: diff changeset	510 zzEndReadL = zzEndRead;
1ec29fdd0db8 neue .lex Dateien f?r Normalisierung / externe Objekte update Josef Willenborg <jwillenborg@mpiwg-berlin.mpg.de> parents: diff changeset	511 if (eof) {
1ec29fdd0db8 neue .lex Dateien f?r Normalisierung / externe Objekte update Josef Willenborg <jwillenborg@mpiwg-berlin.mpg.de> parents: diff changeset	512 zzInput = YYEOF;
1ec29fdd0db8 neue .lex Dateien f?r Normalisierung / externe Objekte update Josef Willenborg <jwillenborg@mpiwg-berlin.mpg.de> parents: diff changeset	513 break zzForAction;
1ec29fdd0db8 neue .lex Dateien f?r Normalisierung / externe Objekte update Josef Willenborg <jwillenborg@mpiwg-berlin.mpg.de> parents: diff changeset	514 }
1ec29fdd0db8 neue .lex Dateien f?r Normalisierung / externe Objekte update Josef Willenborg <jwillenborg@mpiwg-berlin.mpg.de> parents: diff changeset	515 else {
1ec29fdd0db8 neue .lex Dateien f?r Normalisierung / externe Objekte update Josef Willenborg <jwillenborg@mpiwg-berlin.mpg.de> parents: diff changeset	516 zzInput = zzBufferL[zzCurrentPosL++];
1ec29fdd0db8 neue .lex Dateien f?r Normalisierung / externe Objekte update Josef Willenborg <jwillenborg@mpiwg-berlin.mpg.de> parents: diff changeset	517 }
1ec29fdd0db8 neue .lex Dateien f?r Normalisierung / externe Objekte update Josef Willenborg <jwillenborg@mpiwg-berlin.mpg.de> parents: diff changeset	518 }
1ec29fdd0db8 neue .lex Dateien f?r Normalisierung / externe Objekte update Josef Willenborg <jwillenborg@mpiwg-berlin.mpg.de> parents: diff changeset	519 int zzNext = zzTransL[ zzRowMapL[zzState] + zzCMapL[zzInput] ];
1ec29fdd0db8 neue .lex Dateien f?r Normalisierung / externe Objekte update Josef Willenborg <jwillenborg@mpiwg-berlin.mpg.de> parents: diff changeset	520 if (zzNext == -1) break zzForAction;
1ec29fdd0db8 neue .lex Dateien f?r Normalisierung / externe Objekte update Josef Willenborg <jwillenborg@mpiwg-berlin.mpg.de> parents: diff changeset	521 zzState = zzNext;
1ec29fdd0db8 neue .lex Dateien f?r Normalisierung / externe Objekte update Josef Willenborg <jwillenborg@mpiwg-berlin.mpg.de> parents: diff changeset	522
1ec29fdd0db8 neue .lex Dateien f?r Normalisierung / externe Objekte update Josef Willenborg <jwillenborg@mpiwg-berlin.mpg.de> parents: diff changeset	523 int zzAttributes = zzAttrL[zzState];
1ec29fdd0db8 neue .lex Dateien f?r Normalisierung / externe Objekte update Josef Willenborg <jwillenborg@mpiwg-berlin.mpg.de> parents: diff changeset	524 if ( (zzAttributes & 1) == 1 ) {
1ec29fdd0db8 neue .lex Dateien f?r Normalisierung / externe Objekte update Josef Willenborg <jwillenborg@mpiwg-berlin.mpg.de> parents: diff changeset	525 zzAction = zzState;
1ec29fdd0db8 neue .lex Dateien f?r Normalisierung / externe Objekte update Josef Willenborg <jwillenborg@mpiwg-berlin.mpg.de> parents: diff changeset	526 zzMarkedPosL = zzCurrentPosL;
1ec29fdd0db8 neue .lex Dateien f?r Normalisierung / externe Objekte update Josef Willenborg <jwillenborg@mpiwg-berlin.mpg.de> parents: diff changeset	527 if ( (zzAttributes & 8) == 8 ) break zzForAction;
1ec29fdd0db8 neue .lex Dateien f?r Normalisierung / externe Objekte update Josef Willenborg <jwillenborg@mpiwg-berlin.mpg.de> parents: diff changeset	528 }
1ec29fdd0db8 neue .lex Dateien f?r Normalisierung / externe Objekte update Josef Willenborg <jwillenborg@mpiwg-berlin.mpg.de> parents: diff changeset	529
1ec29fdd0db8 neue .lex Dateien f?r Normalisierung / externe Objekte update Josef Willenborg <jwillenborg@mpiwg-berlin.mpg.de> parents: diff changeset	530 }
1ec29fdd0db8 neue .lex Dateien f?r Normalisierung / externe Objekte update Josef Willenborg <jwillenborg@mpiwg-berlin.mpg.de> parents: diff changeset	531 }
1ec29fdd0db8 neue .lex Dateien f?r Normalisierung / externe Objekte update Josef Willenborg <jwillenborg@mpiwg-berlin.mpg.de> parents: diff changeset	532
1ec29fdd0db8 neue .lex Dateien f?r Normalisierung / externe Objekte update Josef Willenborg <jwillenborg@mpiwg-berlin.mpg.de> parents: diff changeset	533 // store back cached position
1ec29fdd0db8 neue .lex Dateien f?r Normalisierung / externe Objekte update Josef Willenborg <jwillenborg@mpiwg-berlin.mpg.de> parents: diff changeset	534 zzMarkedPos = zzMarkedPosL;
1ec29fdd0db8 neue .lex Dateien f?r Normalisierung / externe Objekte update Josef Willenborg <jwillenborg@mpiwg-berlin.mpg.de> parents: diff changeset	535
1ec29fdd0db8 neue .lex Dateien f?r Normalisierung / externe Objekte update Josef Willenborg <jwillenborg@mpiwg-berlin.mpg.de> parents: diff changeset	536 switch (zzAction < 0 ? zzAction : ZZ_ACTION[zzAction]) {
1ec29fdd0db8 neue .lex Dateien f?r Normalisierung / externe Objekte update Josef Willenborg <jwillenborg@mpiwg-berlin.mpg.de> parents: diff changeset	537 case 4:
1ec29fdd0db8 neue .lex Dateien f?r Normalisierung / externe Objekte update Josef Willenborg <jwillenborg@mpiwg-berlin.mpg.de> parents: diff changeset	538 { switch (problem) {
1ec29fdd0db8 neue .lex Dateien f?r Normalisierung / externe Objekte update Josef Willenborg <jwillenborg@mpiwg-berlin.mpg.de> parents: diff changeset	539 case 1: return "";
1ec29fdd0db8 neue .lex Dateien f?r Normalisierung / externe Objekte update Josef Willenborg <jwillenborg@mpiwg-berlin.mpg.de> parents: diff changeset	540 default: return normalized;
1ec29fdd0db8 neue .lex Dateien f?r Normalisierung / externe Objekte update Josef Willenborg <jwillenborg@mpiwg-berlin.mpg.de> parents: diff changeset	541 }
1ec29fdd0db8 neue .lex Dateien f?r Normalisierung / externe Objekte update Josef Willenborg <jwillenborg@mpiwg-berlin.mpg.de> parents: diff changeset	542 }
1ec29fdd0db8 neue .lex Dateien f?r Normalisierung / externe Objekte update Josef Willenborg <jwillenborg@mpiwg-berlin.mpg.de> parents: diff changeset	543 case 5: break;
1ec29fdd0db8 neue .lex Dateien f?r Normalisierung / externe Objekte update Josef Willenborg <jwillenborg@mpiwg-berlin.mpg.de> parents: diff changeset	544 case 2:
1ec29fdd0db8 neue .lex Dateien f?r Normalisierung / externe Objekte update Josef Willenborg <jwillenborg@mpiwg-berlin.mpg.de> parents: diff changeset	545 { problem = 1; add(yytext());
1ec29fdd0db8 neue .lex Dateien f?r Normalisierung / externe Objekte update Josef Willenborg <jwillenborg@mpiwg-berlin.mpg.de> parents: diff changeset	546 }
1ec29fdd0db8 neue .lex Dateien f?r Normalisierung / externe Objekte update Josef Willenborg <jwillenborg@mpiwg-berlin.mpg.de> parents: diff changeset	547 case 6: break;
1ec29fdd0db8 neue .lex Dateien f?r Normalisierung / externe Objekte update Josef Willenborg <jwillenborg@mpiwg-berlin.mpg.de> parents: diff changeset	548 case 3:
1ec29fdd0db8 neue .lex Dateien f?r Normalisierung / externe Objekte update Josef Willenborg <jwillenborg@mpiwg-berlin.mpg.de> parents: diff changeset	549 { switch (problem) {
1ec29fdd0db8 neue .lex Dateien f?r Normalisierung / externe Objekte update Josef Willenborg <jwillenborg@mpiwg-berlin.mpg.de> parents: diff changeset	550 case 1: return original;
1ec29fdd0db8 neue .lex Dateien f?r Normalisierung / externe Objekte update Josef Willenborg <jwillenborg@mpiwg-berlin.mpg.de> parents: diff changeset	551 default: return normalized;
1ec29fdd0db8 neue .lex Dateien f?r Normalisierung / externe Objekte update Josef Willenborg <jwillenborg@mpiwg-berlin.mpg.de> parents: diff changeset	552 }
1ec29fdd0db8 neue .lex Dateien f?r Normalisierung / externe Objekte update Josef Willenborg <jwillenborg@mpiwg-berlin.mpg.de> parents: diff changeset	553 }
1ec29fdd0db8 neue .lex Dateien f?r Normalisierung / externe Objekte update Josef Willenborg <jwillenborg@mpiwg-berlin.mpg.de> parents: diff changeset	554 case 7: break;
1ec29fdd0db8 neue .lex Dateien f?r Normalisierung / externe Objekte update Josef Willenborg <jwillenborg@mpiwg-berlin.mpg.de> parents: diff changeset	555 case 1:
1ec29fdd0db8 neue .lex Dateien f?r Normalisierung / externe Objekte update Josef Willenborg <jwillenborg@mpiwg-berlin.mpg.de> parents: diff changeset	556 { add(yytext());
1ec29fdd0db8 neue .lex Dateien f?r Normalisierung / externe Objekte update Josef Willenborg <jwillenborg@mpiwg-berlin.mpg.de> parents: diff changeset	557 }
1ec29fdd0db8 neue .lex Dateien f?r Normalisierung / externe Objekte update Josef Willenborg <jwillenborg@mpiwg-berlin.mpg.de> parents: diff changeset	558 case 8: break;
1ec29fdd0db8 neue .lex Dateien f?r Normalisierung / externe Objekte update Josef Willenborg <jwillenborg@mpiwg-berlin.mpg.de> parents: diff changeset	559 default:
1ec29fdd0db8 neue .lex Dateien f?r Normalisierung / externe Objekte update Josef Willenborg <jwillenborg@mpiwg-berlin.mpg.de> parents: diff changeset	560 if (zzInput == YYEOF && zzStartRead == zzCurrentPos) {
1ec29fdd0db8 neue .lex Dateien f?r Normalisierung / externe Objekte update Josef Willenborg <jwillenborg@mpiwg-berlin.mpg.de> parents: diff changeset	561 zzAtEOF = true;
1ec29fdd0db8 neue .lex Dateien f?r Normalisierung / externe Objekte update Josef Willenborg <jwillenborg@mpiwg-berlin.mpg.de> parents: diff changeset	562 return null;
1ec29fdd0db8 neue .lex Dateien f?r Normalisierung / externe Objekte update Josef Willenborg <jwillenborg@mpiwg-berlin.mpg.de> parents: diff changeset	563 }
1ec29fdd0db8 neue .lex Dateien f?r Normalisierung / externe Objekte update Josef Willenborg <jwillenborg@mpiwg-berlin.mpg.de> parents: diff changeset	564 else {
1ec29fdd0db8 neue .lex Dateien f?r Normalisierung / externe Objekte update Josef Willenborg <jwillenborg@mpiwg-berlin.mpg.de> parents: diff changeset	565 zzScanError(ZZ_NO_MATCH);
1ec29fdd0db8 neue .lex Dateien f?r Normalisierung / externe Objekte update Josef Willenborg <jwillenborg@mpiwg-berlin.mpg.de> parents: diff changeset	566 }
1ec29fdd0db8 neue .lex Dateien f?r Normalisierung / externe Objekte update Josef Willenborg <jwillenborg@mpiwg-berlin.mpg.de> parents: diff changeset	567 }
1ec29fdd0db8 neue .lex Dateien f?r Normalisierung / externe Objekte update Josef Willenborg <jwillenborg@mpiwg-berlin.mpg.de> parents: diff changeset	568 }
1ec29fdd0db8 neue .lex Dateien f?r Normalisierung / externe Objekte update Josef Willenborg <jwillenborg@mpiwg-berlin.mpg.de> parents: diff changeset	569 }
1ec29fdd0db8 neue .lex Dateien f?r Normalisierung / externe Objekte update Josef Willenborg <jwillenborg@mpiwg-berlin.mpg.de> parents: diff changeset	570
1ec29fdd0db8 neue .lex Dateien f?r Normalisierung / externe Objekte update Josef Willenborg <jwillenborg@mpiwg-berlin.mpg.de> parents: diff changeset	571
1ec29fdd0db8 neue .lex Dateien f?r Normalisierung / externe Objekte update Josef Willenborg <jwillenborg@mpiwg-berlin.mpg.de> parents: diff changeset	572 }

Mercurial > hg > mpdl-group

annotate software/eXist/mpdl-modules/src/de/mpg/mpiwg/berlin/mpdl/lt/analyzer/lang/MpdlNormalizerLexAR.java @ 9:1ec29fdd0db8