Mercurial > hg > mpdl-group

diff software/mpdl-services/mpiwg-mpdl-lt/src/de/mpg/mpiwg/berlin/mpdl/lt/text/norm/lang/MpdlNormalizerLexEL.java @ 23:e845310098ba

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
diverse Korrekturen
author Josef Willenborg <jwillenborg@mpiwg-berlin.mpg.de>
date Tue, 27 Nov 2012 12:35:19 +0100
parents 4a3641ae14d2
children
line wrap: on
line diff
--- a/software/mpdl-services/mpiwg-mpdl-lt/src/de/mpg/mpiwg/berlin/mpdl/lt/text/norm/lang/MpdlNormalizerLexEL.java	Wed Dec 14 13:57:09 2011 +0100
+++ b/software/mpdl-services/mpiwg-mpdl-lt/src/de/mpg/mpiwg/berlin/mpdl/lt/text/norm/lang/MpdlNormalizerLexEL.java	Tue Nov 27 12:35:19 2012 +0100
@@ -1,4 +1,4 @@
-/* The following code was generated by JFlex 1.4.3 on 05.09.11 10:35 */
+/* The following code was generated by JFlex 1.4.3 on 28.03.12 18:57 */
 
 /*
  * Normalization rules for Greek text
@@ -15,8 +15,8 @@
 /**
  * This class is a scanner generated by 
  * <a href="http://www.jflex.de/">JFlex</a> 1.4.3
- * on 05.09.11 10:35 from the specification file
- * <tt>MpdlNormalizerLexEL.lex</tt>
+ * on 28.03.12 18:57 from the specification file
+ * <tt>/Users/jwillenborg/test/jflexNew/MpdlNormalizerLexEL.lex</tt>
  */
 public class MpdlNormalizerLexEL {
 
@@ -47,12 +47,13 @@
    * Translates characters to character classes
    */
   private static final String ZZ_CMAP_PACKED = 
-    "\12\0\1\3\25\0\1\2\14\0\1\1\2\0\1\1\17\0\1\5"+
-    "\32\5\6\0\1\6\2\5\1\6\20\5\1\6\5\5\1\1\1\0"+
-    "\1\1\u032e\0\1\7\1\10\1\11\1\12\15\0\1\4\3\0\1\4"+
-    "\1\30\11\0\1\13\1\14\1\15\u1ba1\0\1\16\1\0\1\20\1\0"+
-    "\1\21\1\0\1\23\1\0\1\24\1\0\1\25\1\0\1\26\65\0"+
-    "\1\17\17\0\1\22\57\0\1\27\ue00d\0";
+    "\12\0\1\3\25\0\1\2\14\0\1\12\1\0\1\11\1\1\13\0"+
+    "\1\7\1\0\1\10\1\0\1\5\32\5\6\0\1\6\2\5\1\6"+
+    "\20\5\1\6\5\5\1\1\1\0\1\1\u032e\0\1\13\1\14\1\15"+
+    "\1\16\15\0\1\4\3\0\1\4\1\34\11\0\1\17\1\20\1\21"+
+    "\u1ba1\0\1\22\1\0\1\24\1\0\1\25\1\0\1\27\1\0\1\30"+
+    "\1\0\1\31\1\0\1\32\65\0\1\23\17\0\1\26\57\0\1\33"+
+    "\ue00d\0";
 
   /** 
    * Translates characters to character classes
@@ -65,14 +66,14 @@
   private static final int [] ZZ_ACTION = zzUnpackAction();
 
   private static final String ZZ_ACTION_PACKED_0 =
-    "\5\0\2\1\2\2\1\3\1\4\1\5\1\6\1\7"+
-    "\1\10\1\11\1\12\1\13\12\1\1\14\1\15\1\16"+
-    "\1\0\1\17\1\0\1\20\1\0\1\21\1\0\1\22"+
-    "\1\0\1\23\1\0\1\24\1\0\1\25\1\0\1\26"+
-    "\1\0\1\27\1\0";
+    "\5\0\2\1\2\2\2\1\1\3\1\4\1\5\1\6"+
+    "\1\7\1\10\1\11\1\12\1\13\12\1\1\14\1\15"+
+    "\2\0\1\16\1\0\1\17\1\0\1\20\1\0\1\21"+
+    "\1\0\1\22\1\0\1\23\1\0\1\24\1\0\1\25"+
+    "\1\0\1\26\1\0\1\27\4\0\1\1\2\0";
 
   private static int [] zzUnpackAction() {
-    int [] result = new int[50];
+    int [] result = new int[60];
     int offset = 0;
     offset = zzUnpackAction(ZZ_ACTION_PACKED_0, offset, result);
     return result;
@@ -97,16 +98,17 @@
   private static final int [] ZZ_ROWMAP = zzUnpackRowMap();
 
   private static final String ZZ_ROWMAP_PACKED_0 =
-    "\0\0\0\31\0\62\0\113\0\144\0\175\0\226\0\175"+
-    "\0\226\0\175\0\175\0\175\0\175\0\175\0\175\0\175"+
-    "\0\175\0\175\0\257\0\310\0\341\0\372\0\u0113\0\u012c"+
-    "\0\u0145\0\u015e\0\u0177\0\u0190\0\175\0\175\0\175\0\u01a9"+
-    "\0\175\0\u01c2\0\175\0\u01db\0\175\0\u01f4\0\175\0\u020d"+
-    "\0\175\0\u0226\0\175\0\u023f\0\175\0\u0258\0\175\0\u0271"+
-    "\0\175\0\u028a";
+    "\0\0\0\35\0\72\0\127\0\164\0\221\0\256\0\221"+
+    "\0\256\0\313\0\350\0\221\0\221\0\221\0\221\0\221"+
+    "\0\221\0\221\0\221\0\221\0\u0105\0\u0122\0\u013f\0\u015c"+
+    "\0\u0179\0\u0196\0\u01b3\0\u01d0\0\u01ed\0\u020a\0\221\0\221"+
+    "\0\u0227\0\313\0\221\0\u0244\0\221\0\u0261\0\221\0\u027e"+
+    "\0\221\0\u029b\0\221\0\u02b8\0\221\0\u02d5\0\221\0\u02f2"+
+    "\0\221\0\u030f\0\221\0\u032c\0\221\0\u0349\0\u0366\0\u0383"+
+    "\0\u03a0\0\u0366\0\u03bd\0\u03da";
 
   private static int [] zzUnpackRowMap() {
-    int [] result = new int[50];
+    int [] result = new int[60];
     int offset = 0;
     offset = zzUnpackRowMap(ZZ_ROWMAP_PACKED_0, offset, result);
     return result;
@@ -130,30 +132,36 @@
 
   private static final String ZZ_TRANS_PACKED_0 =
     "\1\6\1\7\1\6\1\0\1\6\1\10\1\11\1\12"+
-    "\1\13\1\14\1\15\1\16\1\17\1\20\14\6\1\7"+
-    "\1\6\1\21\1\6\1\10\1\11\1\12\1\13\1\14"+
-    "\1\15\1\16\1\17\1\20\14\6\1\7\1\6\1\22"+
-    "\1\6\1\10\1\11\1\12\1\13\1\14\1\15\1\16"+
-    "\1\17\1\20\1\23\1\24\1\25\1\26\1\27\1\30"+
-    "\1\31\1\32\1\33\1\34\2\6\1\7\1\6\1\35"+
-    "\1\6\1\10\1\11\1\12\1\13\1\14\1\15\1\16"+
-    "\1\17\1\20\1\23\1\24\1\25\1\26\1\27\1\30"+
-    "\1\31\1\32\1\33\1\34\2\6\1\7\1\6\1\22"+
-    "\1\6\1\10\1\11\1\12\1\13\1\14\1\15\1\16"+
-    "\1\17\1\20\1\23\1\24\1\25\1\26\1\27\1\30"+
-    "\1\31\1\32\1\33\1\34\1\36\33\0\1\6\31\0"+
-    "\1\37\1\40\23\0\1\40\3\0\1\41\1\42\23\0"+
-    "\1\42\3\0\1\43\1\44\23\0\1\44\3\0\1\45"+
-    "\1\46\23\0\1\46\3\0\1\47\1\50\23\0\1\50"+
-    "\3\0\1\51\1\52\23\0\1\52\3\0\1\53\1\54"+
-    "\23\0\1\54\3\0\1\55\1\56\23\0\1\56\3\0"+
-    "\1\57\1\60\23\0\1\60\3\0\1\61\1\62\23\0"+
-    "\1\62\3\0\1\37\30\0\1\41\30\0\1\43\30\0"+
-    "\1\45\30\0\1\47\30\0\1\51\30\0\1\53\30\0"+
-    "\1\55\30\0\1\57\30\0\1\61\25\0";
+    "\2\6\1\13\1\14\1\15\1\16\1\17\1\20\1\21"+
+    "\1\22\14\6\1\7\1\6\1\23\1\6\1\10\1\11"+
+    "\1\12\2\6\1\13\1\14\1\15\1\16\1\17\1\20"+
+    "\1\21\1\22\14\6\1\7\1\6\1\24\1\6\1\10"+
+    "\1\11\1\12\2\6\1\13\1\14\1\15\1\16\1\17"+
+    "\1\20\1\21\1\22\1\25\1\26\1\27\1\30\1\31"+
+    "\1\32\1\33\1\34\1\35\1\36\2\6\1\7\1\6"+
+    "\1\37\1\6\1\10\1\11\1\12\2\6\1\13\1\14"+
+    "\1\15\1\16\1\17\1\20\1\21\1\22\1\25\1\26"+
+    "\1\27\1\30\1\31\1\32\1\33\1\34\1\35\1\36"+
+    "\2\6\1\7\1\6\1\24\1\6\1\10\1\11\1\12"+
+    "\2\6\1\13\1\14\1\15\1\16\1\17\1\20\1\21"+
+    "\1\22\1\25\1\26\1\27\1\30\1\31\1\32\1\33"+
+    "\1\34\1\35\1\36\1\40\37\0\1\6\32\0\7\41"+
+    "\2\0\24\41\2\0\1\6\4\0\1\42\30\0\1\43"+
+    "\1\44\27\0\1\44\3\0\1\45\1\46\27\0\1\46"+
+    "\3\0\1\47\1\50\27\0\1\50\3\0\1\51\1\52"+
+    "\27\0\1\52\3\0\1\53\1\54\27\0\1\54\3\0"+
+    "\1\55\1\56\27\0\1\56\3\0\1\57\1\60\27\0"+
+    "\1\60\3\0\1\61\1\62\27\0\1\62\3\0\1\63"+
+    "\1\64\27\0\1\64\3\0\1\65\1\66\27\0\1\66"+
+    "\7\41\1\0\1\67\1\70\23\41\3\0\1\43\34\0"+
+    "\1\45\34\0\1\47\34\0\1\51\34\0\1\53\34\0"+
+    "\1\55\34\0\1\57\34\0\1\61\34\0\1\63\34\0"+
+    "\1\65\40\0\1\71\25\0\7\41\1\0\1\72\1\70"+
+    "\23\41\11\0\1\73\23\0\7\74\2\0\33\74\1\0"+
+    "\1\6\24\74";
 
   private static int [] zzUnpackTrans() {
-    int [] result = new int[675];
+    int [] result = new int[1015];
     int offset = 0;
     offset = zzUnpackTrans(ZZ_TRANS_PACKED_0, offset, result);
     return result;
@@ -191,13 +199,13 @@
   private static final int [] ZZ_ATTRIBUTE = zzUnpackAttribute();
 
   private static final String ZZ_ATTRIBUTE_PACKED_0 =
-    "\5\0\1\11\1\1\1\11\1\1\11\11\12\1\3\11"+
+    "\5\0\1\11\1\1\1\11\3\1\11\11\12\1\2\11"+
+    "\2\0\1\11\1\0\1\11\1\0\1\11\1\0\1\11"+
     "\1\0\1\11\1\0\1\11\1\0\1\11\1\0\1\11"+
-    "\1\0\1\11\1\0\1\11\1\0\1\11\1\0\1\11"+
-    "\1\0\1\11\1\0";
+    "\1\0\1\11\1\0\1\11\4\0\1\1\2\0";
 
   private static int [] zzUnpackAttribute() {
-    int [] result = new int[50];
+    int [] result = new int[60];
     int offset = 0;
     offset = zzUnpackAttribute(ZZ_ATTRIBUTE_PACKED_0, offset, result);
     return result;
@@ -307,7 +315,7 @@
     char [] map = new char[0x10000];
     int i = 0;  /* index in packed string  */
     int j = 0;  /* index in unpacked array */
-    while (i < 112) {
+    while (i < 122) {
       int  count = packed.charAt(i++);
       char value = packed.charAt(i++);
       do map[j++] = value; while (--count > 0);