--- /dev/null
+package net.sourceforge.phpdt.internal.ui.text;
+
+/*
+ * (c) Copyright IBM Corp. 2000, 2001.
+ * All Rights Reserved.
+ */
+
+import java.io.IOException;
+
+import net.sourceforge.phpdt.internal.corext.phpdoc.SingleCharReader;
+
+import org.eclipse.jface.text.BadLocationException;
+import org.eclipse.jface.text.IDocument;
+
+/**
+ * Reads from a document either forwards or backwards. May be configured to skip
+ * comments and strings.
+ */
+public class PHPCodeReader extends SingleCharReader {
+
+ /** The EOF character */
+ public static final int EOF = -1;
+ private boolean fSkipComments = false;
+ private boolean fSkipStrings = false;
+ private boolean fForward = false;
+
+ private IDocument fDocument;
+
+ private int fOffset; // The current text position within the editor's text
+ private int fEnd = -1;
+ private int fCachedLineNumber = -1; // Holds the last line we checked for single line comments
+
+ public PHPCodeReader() {
+ }
+
+ /**
+ * Returns the offset of the last read character. Should only be called
+ * after read has been called.
+ */
+ public int getOffset() {
+ return fForward ? fOffset - 1 : fOffset;
+ }
+
+ public void configureForwardReader(IDocument document, int offset,
+ int length, boolean skipComments, boolean skipStrings)
+ throws IOException {
+ fDocument = document;
+ fOffset = offset;
+ fSkipComments = skipComments;
+ fSkipStrings = skipStrings;
+
+ fForward = true;
+ fEnd = Math.min(fDocument.getLength(), fOffset + length);
+ }
+
+ public void configureBackwardReader(IDocument document, int offset,
+ boolean skipComments, boolean skipStrings) throws IOException {
+ fDocument = document;
+ fOffset = offset;
+ fSkipComments = skipComments;
+ fSkipStrings = skipStrings;
+
+ fForward = false;
+ try {
+ fCachedLineNumber = fDocument.getLineOfOffset(fOffset);
+ } catch (BadLocationException x) {
+ throw new IOException(x.getMessage());
+ }
+ }
+
+ /*
+ * @see Reader#close()
+ */
+ public void close() throws IOException {
+ fDocument = null;
+ }
+
+ /*
+ * @see SingleCharReader#read()
+ */
+ public int read() throws IOException {
+ try {
+ return fForward ? readForwards() : readBackwards();
+ } catch (BadLocationException x) {
+ throw new IOException(x.getMessage());
+ }
+ }
+
+ private int gotoCommentEnd (int nTextPos) throws BadLocationException {
+ while (nTextPos < fEnd) {
+ char current = fDocument.getChar (nTextPos++);
+
+ if (current == '*') {
+ if ((nTextPos < fEnd) &&
+ (fDocument.getChar (nTextPos) == '/')) {
+ ++nTextPos;
+
+ return nTextPos;
+ }
+ }
+ }
+
+ return nTextPos;
+ }
+
+ /**
+ *
+ * @param delimiter
+ * @throws BadLocationException
+ */
+ private int gotoStringEnd (int nTextPos, char delimiter) throws BadLocationException {
+ while (nTextPos < fEnd) { // If long as we are not at the end of text
+ char current = fDocument.getChar (nTextPos++);
+
+ if (current == '\\') { // ignore escaped characters
+ ++nTextPos;
+ }
+ else if (current == delimiter) {
+ return nTextPos;
+ }
+ }
+
+ return nTextPos; // End position
+ }
+
+ /**
+ *
+ * @param nTextPos The current text position
+ *
+ * @return The position of the start of next line
+ *
+ * @throws BadLocationException
+ */
+ private int gotoLineEnd (int nTextPos) throws BadLocationException {
+ int line = fDocument.getLineOfOffset (nTextPos); // Get the line number of the current text position
+
+ return fDocument.getLineOffset (line + 1);
+ }
+
+ private int readForwards () throws BadLocationException {
+ while (fOffset < fEnd) {
+ char current = fDocument.getChar(fOffset++);
+
+ switch (current) {
+ case '"':
+ case '\'':
+ if (fSkipStrings) {
+ fOffset = gotoStringEnd (fOffset, current);
+ continue;
+ }
+ return current;
+
+ case '#':
+ if (fSkipComments && fOffset < fEnd) {
+ fOffset = gotoLineEnd (fOffset);
+ continue;
+ }
+ return current;
+
+ case '/':
+ if (fSkipComments && fOffset < fEnd) {
+ char next = fDocument.getChar(fOffset);
+
+ if (next == '*') { // A comment starts, advance to the comment end
+ ++fOffset;
+ fOffset = gotoCommentEnd (fOffset);
+ continue;
+ } else if (next == '/') { // '//'-comment starts, advance to the line end
+ fOffset = gotoLineEnd (fOffset);
+ continue;
+ }
+ }
+ return current;
+ }
+
+ return current;
+ }
+
+ return EOF;
+ }
+
+ /**
+ * Check whether the current line contains a single line comment.
+ * If it contains a single line comment (// or #), than set fOffset (the global character index)
+ * to the character just before the single line comment.
+ *
+ * @throws BadLocationException
+ */
+
+ private void handleSingleLineComment () throws BadLocationException {
+ char current;
+ int line = fDocument.getLineOfOffset (fOffset); // Get the line number which belongs to the current text position fOffset
+
+ if (line < fCachedLineNumber) { // If we didn't parse this line already
+ fCachedLineNumber = line; // Remember this line for the next time (so we don't search again!)
+ int nOffset = fDocument.getLineOffset (line); // Get the start position of current line
+
+ while (nOffset < fOffset) { // As long as the text position is within the current line
+ current = fDocument.getChar (nOffset); // Get the character from the current text position
+
+ switch (current) {
+ case '/':
+ if (fDocument.getChar (nOffset + 1) == '/') { // If the following character is '/'
+ fOffset = nOffset - 1;
+
+ return;
+ }
+ break;
+
+ case '#':
+ fOffset = nOffset - 1;
+ return;
+
+ case '"': // It's a string start quote
+ case '\'':
+ nOffset++; // Set to next character
+
+ while (nOffset < fOffset) { // As long as we are within the same line
+ char cChar = fDocument.getChar (nOffset++);
+
+ if (cChar == '\\') { // Ignore escaped characters
+ ++nOffset;
+ }
+ else if (cChar == current) { // If end of string found
+ break;
+ }
+ }
+ break;
+ }
+
+ nOffset++; // Go for the next character
+ }
+ }
+ }
+
+ /**
+ * We search the for the block comment start sequence "/*"
+ *
+ * The returned value points to the '/'
+ *
+ * @throws BadLocationException
+ *
+ * @return The new text position
+ */
+
+ private int gotoCommentStart (int nTextPos) throws BadLocationException {
+ while (0 < nTextPos) { // As long as we are not at the start of the editor text
+ char current = fDocument.getChar (nTextPos--); // Get the character from the current text position
+
+ if ((current == '*') && // If current character is a '*'
+ (0 <= nTextPos) && // and if we are not yet at the start of the editor text
+ (fDocument.getChar (nTextPos) == '/')) { // and the previous character is a '/',
+ return nTextPos; // We found the block comment start "/*"
+ }
+ }
+
+ return nTextPos;
+ }
+
+ /**
+ * The string closing quote has been found, when reading the editor text backwards.
+ * So we have to search for the start of the string
+ *
+ * The returned value points to '"' or '''
+ *
+ * @param delimiter The string double quote '"' or single ''' quote we search for
+ *
+ * @throws BadLocationException
+ */
+ private int gotoStringStart (int nTextPos, char delimiter) throws BadLocationException {
+ while (0 < nTextPos) { // As long as we are not at the start of the editor text
+ char current = fDocument.getChar (nTextPos); // Get the character from the current text position
+
+ if (current == delimiter) { // If we found the same character ('"' or ''') again, we have found the string start
+ if (!(0 <= nTextPos &&
+ fDocument.getChar (nTextPos - 1) == '\\')) // If the character before the string quote is not an '/'
+ return nTextPos; // we found the string start
+ }
+
+ --nTextPos; // Go one character back
+ }
+
+ return nTextPos;
+ }
+
+ /**
+ * Read the editor text backwards
+ *
+ */
+
+ private int readBackwards() throws BadLocationException {
+ char current; // The character on position fOffset
+
+ while (0 < fOffset) { // As long as we are not at the beginning of the editor text
+ --fOffset; // Step back one character
+
+ handleSingleLineComment (); // Search for a single line comment within the current line
+ // If there is a single line comment, fOffset is set to position just before the single line comment
+
+ current = fDocument.getChar (fOffset); // Read the current character
+ switch (current) { // Process the current character
+ case '/': // Is it a single line comment?
+ if (fSkipComments && // When comments should be skipped when parsing
+ fOffset > 1) { // and if there is indeed an additional character before that '/'
+ char prev = fDocument.getChar (fOffset - 1); // Look at the character in front of the '/'
+
+ if (prev == '*') { // If '*' than a block comment ends here, advance to the comment start
+ fOffset -= 2; // Set character pointer to character before "*/"
+ fOffset = gotoCommentStart (fOffset); // and search for the starting "/*" of the block comment
+ continue;
+ }
+ }
+ return current; // No block comment end, so return the current character
+
+ case '"': // Is it a string double quote closing '"'?
+ case '\'': // or a string single quote closing '''?
+ if (fSkipStrings) { // If we should skip strings when parsing
+ --fOffset; // Set pointer one before the string closing quote
+ fOffset = gotoStringStart (fOffset, current);// and search the start of string ('"' or ''')
+ continue;
+ }
+ return current; // No string skip, so return the current character
+ }
+
+ return current; // No string and no comment
+ }
+
+ return EOF; // When the start of the text has been found
+ }
+}
git://secure.phpeclipse.com / phpeclipse.git / blobdiff