#118 Scanner does not clean zzFin appropriately

[Anonymous]

I think, there is a bug on the line 1207 of the Emitter.java
Instead of " println(" if ((zzAttrL[zzFState] & 1) == 1) { zzFinL[zzFPos] = true; } ");"
it should read " println(" zzFinL[zzFPos] = ((zzAttrL[zzFState] & 1) == 1;");"

Otherwise, zzFin buffer is not cleared correctly (it is reused, but in the current code elements are never reset to false. See the patch attached.

[Anonymous]

patch

[Steve Rowe]

Is this related to http://sourceforge.net/p/jflex/bugs/110/ ?

[Steve Rowe]

I committed a fix in r723.

The patch for Emitter.java was a bit more involved though, since zzFin wasn't being fully updated with the original patch on this issue - here's what I committed:

@@ -1212,11 +1212,14 @@
         println("            if (zzFin.length <= zzBufferL.length) { zzFin = new boolean[zzBufferL.length+1]; }");
         println("            boolean zzFinL[] = zzFin;");
         println("            while (zzFState != -1 && zzFPos < zzMarkedPos) {");
-        println("              if ((zzAttrL[zzFState] & 1) == 1) { zzFinL[zzFPos] = true; } ");
+        println("              zzFinL[zzFPos] = ((zzAttrL[zzFState] & 1) == 1);");
         println("              zzInput = zzBufferL[zzFPos++];");
         println("              zzFState = zzTransL[ zzRowMapL[zzFState] + zzCMapL[zzInput] ];");
         println("            }");
-        println("            if (zzFState != -1 && (zzAttrL[zzFState] & 1) == 1) { zzFinL[zzFPos] = true; } ");
+        println("            if (zzFState != -1) { zzFinL[zzFPos++] = ((zzAttrL[zzFState] & 1) == 1); } ");
+        println("            while (zzFPos <= zzMarkedPos) {");
+        println("              zzFinL[zzFPos++] = false;");
+        println("            }");
         println();                
         println("            zzFState = "+dfa.entryState[action.getEntryState()+1]+";");
         println("            zzFPos = zzMarkedPos;");

I also added a new test case named genlook2 that failed without the above patch and succeeded with it.