*/
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);
+ 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) {
+ public void recordComment(TokenName token) {
super.recordComment(token);
- if (token == TokenNameCOMMENT_LINE) {
+ if (token == TokenName.COMMENT_LINE) {
// for comment line both positions are negative
this.commentStarts[this.commentPtr] = -this.commentStarts[this.commentPtr];
}