Permalink
Browse files

Not worried about warnings for generated code. Also this comment is u…

…nnecessary.
  • Loading branch information...
1 parent 7a85ace commit e96b184d813237f4c30855522bc1f000221fae96 @calebegg committed Jan 24, 2013
Showing with 1 addition and 39 deletions.
  1. +1 −39 Acl2TokenMaker.flex
View
@@ -31,45 +31,7 @@ import javax.swing.text.Segment;
import org.fife.ui.rsyntaxtextarea.*;
import org.fife.util.DynamicIntArray;
-
-/**
- * Scanner for the Lisp programming language.<p>
- *
- * This implementation was created using
- * <a href="http://www.jflex.de/">JFlex</a> 1.4.1; however, the generated file
- * was modified for performance. Memory allocation needs to be almost
- * completely removed to be competitive with the handwritten lexers (subclasses
- * of <code>AbstractTokenMaker</code>, so this class has been modified so that
- * Strings are never allocated (via yytext()), and the scanner never has to
- * worry about refilling its buffer (needlessly copying chars around).
- * We can achieve this because RText always scans exactly 1 line of tokens at a
- * time, and hands the scanner this line as an array of characters (a Segment
- * really). Since tokens contain pointers to char arrays instead of Strings
- * holding their contents, there is no need for allocating new memory for
- * Strings.<p>
- *
- * The actual algorithm generated for scanning has, of course, not been
- * modified.<p>
- *
- * If you wish to regenerate this file yourself, keep in mind the following:
- * <ul>
- * <li>The generated LispTokenMaker.java</code> file will contain two
- * definitions of both <code>zzRefill</code> and <code>yyreset</code>.
- * You should hand-delete the second of each definition (the ones
- * generated by the lexer), as these generated methods modify the input
- * buffer, which we'll never have to do.</li>
- * <li>You should also change the declaration/definition of zzBuffer to NOT
- * be initialized. This is a needless memory allocation for us since we
- * will be pointing the array somewhere else anyway.</li>
- * <li>You should NOT call <code>yylex()</code> on the generated scanner
- * directly; rather, you should use <code>getTokenList</code> as you would
- * with any other <code>TokenMaker</code> instance.</li>
- * </ul>
- *
- * @author Robert Futrell
- * @version 0.5
- *
- */
+@SuppressWarnings("all")
%%
%public

0 comments on commit e96b184

Please sign in to comment.