Issue1555182

classification
Title: Improved version of CharStream
Type: Severity: normal
Components: None Versions:
Milestone:
process
Status: closed Resolution: out of date
Dependencies: Superseder:
Assigned To: Nosy List: cgroves, fwierzbicki
Priority: normal Keywords: patch

Created on 2006-09-09.05:35:27 by cgroves, last changed 2008-11-03.20:12:54 by fwierzbicki.

Files
File name Uploaded Description Edit Remove
FastCharStream.java cgroves, 2006-09-09.05:35:27 from Fabio Zadrozny
Messages
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.
History
Date User Action Args
2008-11-03 20:12:54fwierzbickisetstatus: open -> closed
nosy: + fwierzbicki
resolution: out of date
messages: + msg3736
2006-09-09 05:35:27cgrovescreate