[ jEdit-devel ] [ jedit-Feature Requests-1721235 ] switch from java.util.regex to the Stevesoft version

[SourceForge.net <no...@so...>]

Feature Requests item #1721235, was opened at 2007-05-18 03:58
Message generated for change (Comment added) made by vanza
You can respond by visiting: 
https://sourceforge.net/tracker/?func=detail&atid=350588&aid=1721235&group_id=588

Please note that this message will contain a full copy of the comment thread,
including the initial issue submission, for this request,
not just the latest update.
Category: None
Group: None
Status: Open
Resolution: None
Priority: 5
Private: No
Submitted By: Skeeve (ngc)
Assigned to: Nobody/Anonymous (nobody)
Summary: switch from java.util.regex to the Stevesoft version

Initial Comment:
java.util.regex has severe problems with regular expressions using alternatives (the "|"). Please refer to sun bug http://bugs.sun.com/bugdatabase/view_bug.do?bug_id=4675952

There is a solution provided switching from java.utiol.regex to http://javaregex.com/



----------------------------------------------------------------------

>Comment By: Marcelo Vanzin (vanza)
Date: 2007-05-19 16:24

Message:
Logged In: YES 
user_id=75113
Originator: NO

The problem is: we switched to java.util.regex exactly so we would avoid
depending on an external library. If we wanted to stick with another
library, we probably would have kept gnu.regexp around.

So I don't think switching to another library will be done. If Java's
regex system was pluggable (like the XML parsers are), then it would be
simple, but it's not.

----------------------------------------------------------------------

You can respond by visiting: 
https://sourceforge.net/tracker/?func=detail&atid=350588&aid=1721235&group_id=588