Issue1555182
Created on 2006-09-09.05:35:27 by cgroves, last changed 2008-11-03.20:12:54 by fwierzbicki.
File name |
Uploaded |
Description |
Edit |
Remove |
FastCharStream.java
|
cgroves,
2006-09-09.05:35:27
|
from Fabio Zadrozny |
|
|
msg2533 (view) |
Author: Charlie Groves (cgroves) |
Date: 2006-09-09.05:35:27 |
|
From
http://thread.gmane.org/gmane.comp.lang.jython.devel/2441
The attached class can be used to replace the
ReaderCharStream class currently used by the parser.
It should be much faster for large files. It'll need
to work on a Reader instead of a String before we can
use it though.
|
msg3736 (view) |
Author: Frank Wierzbicki (fwierzbicki) |
Date: 2008-11-03.20:12:54 |
|
Since ReaderCharStream has already been replaced by Antlr
implementations of the same concept, this patch probably no longer applies.
|
|
Date |
User |
Action |
Args |
2008-11-03 20:12:54 | fwierzbicki | set | status: open -> closed nosy:
+ fwierzbicki resolution: out of date messages:
+ msg3736 |
2006-09-09 05:35:27 | cgroves | create | |
|