*/
public class CommentRecorderScanner extends Scanner {
- public CommentRecorderScanner(
- boolean tokenizeComments,
- boolean tokenizeWhiteSpace,
- boolean checkNonExternalizedStringLiterals,
-// long sourceLevel,
- char[][] taskTags,
- char[][] taskPriorities) {
-// boolean isTaskCaseSensitive) {
-// super(tokenizeComments, tokenizeWhiteSpace,
-// checkNonExternalizedStringLiterals,
-// sourceLevel,
-// taskTags, taskPriorities, isTaskCaseSensitive);
- super(tokenizeComments, tokenizeWhiteSpace,
- checkNonExternalizedStringLiterals, false, false,
- taskTags, taskPriorities, true /*taskCaseSensitive*/);
+ public CommentRecorderScanner(boolean tokenizeComments,
+ boolean tokenizeWhiteSpace,
+ boolean checkNonExternalizedStringLiterals,
+ // long sourceLevel,
+ char[][] taskTags, char[][] taskPriorities) {
+ // boolean isTaskCaseSensitive) {
+ // super(tokenizeComments, tokenizeWhiteSpace,
+ // checkNonExternalizedStringLiterals,
+ // sourceLevel,
+ // taskTags, taskPriorities, isTaskCaseSensitive);
+ super(tokenizeComments, tokenizeWhiteSpace,
+ checkNonExternalizedStringLiterals, false, false, taskTags,
+ taskPriorities, true /* taskCaseSensitive */);
}
-
+
/**
* Set start position negative for line comments.
- * @see org.eclipse.jdt.internal.compiler.parser.Scanner#recordComment(int)
+ *
+ * @see net.sourceforge.phpdt.internal.compiler.parser.Scanner#recordComment(int)
*/
public void recordComment(int token) {
super.recordComment(token);