Hi all - Just wanted to submit a small patch for the JavaCC task; the OPTIMIZE_TOKEN_MANAGER option is no longer supported as of JavaCC 4.0. Comments/questions welcome,
Yours, Tom Index: src/main/org/apache/tools/ant/taskdefs/optional/javacc/JavaCC.java =================================================================== --- src/main/org/apache/tools/ant/taskdefs/optional/javacc/JavaCC.java (revision 425395) +++ src/main/org/apache/tools/ant/taskdefs/optional/javacc/JavaCC.java (working copy) @@ -47,7 +47,6 @@ private static final String DEBUG_PARSER = "DEBUG_PARSER"; private static final String DEBUG_LOOKAHEAD = "DEBUG_LOOKAHEAD"; private static final String DEBUG_TOKEN_MANAGER = "DEBUG_TOKEN_MANAGER"; - private static final String OPTIMIZE_TOKEN_MANAGER = "OPTIMIZE_TOKEN_MANAGER"; private static final String ERROR_REPORTING = "ERROR_REPORTING"; private static final String JAVA_UNICODE_ESCAPE = "JAVA_UNICODE_ESCAPE"; private static final String UNICODE_INPUT = "UNICODE_INPUT"; @@ -153,13 +152,6 @@ } /** - * Sets the OPTIMIZE_TOKEN_MANAGER grammar option. - */ - public void setOptimizetokenmanager(boolean optimizeTokenManager) { - optionalAttrs.put(OPTIMIZE_TOKEN_MANAGER, new Boolean(optimizeTokenManager)); - } - - /** * Sets the ERROR_REPORTING grammar option. */ public void setErrorreporting(boolean errorReporting) { Index: docs/manual/OptionalTasks/javacc.html =================================================================== --- docs/manual/OptionalTasks/javacc.html (revision 425395) +++ docs/manual/OptionalTasks/javacc.html (working copy) @@ -131,11 +131,6 @@ <td valign="top" align="center">No</td> </tr> <tr> - <td valign="top">optimizetokenmanager</td> - <td valign="top">Sets the OPTIMIZE_TOKEN_MANAGER grammar option. This is a boolean option.</td> - <td valign="top" align="center">No</td> - </tr> - <tr> <td valign="top">otherambiguitycheck</td> <td valign="top">Sets the OTHER_AMBIGUITY_CHECK grammar option. This is an integer option.</td> <td valign="top" align="center">No</td> --------------------------------------------------------------------- To unsubscribe, e-mail: [EMAIL PROTECTED] For additional commands, e-mail: [EMAIL PROTECTED]