1) Added missing strings for italic, underline and strike through.
[phpeclipse.git] / net.sourceforge.phpeclipse / src / net / sourceforge / phpdt / internal / ui / text / PHPCodeReader.java
1 package net.sourceforge.phpdt.internal.ui.text;
2
3 /*
4  * (c) Copyright IBM Corp. 2000, 2001.
5  * All Rights Reserved.
6  */
7
8 import java.io.IOException;
9
10 import net.sourceforge.phpdt.internal.corext.phpdoc.SingleCharReader;
11
12 import org.eclipse.jface.text.BadLocationException;
13 import org.eclipse.jface.text.IDocument;
14
15 /**
16  * Reads from a document either forwards or backwards. May be configured to skip
17  * comments and strings.
18  */
19 public class PHPCodeReader extends SingleCharReader {
20
21         /** The EOF character */
22         public static final int EOF = -1;
23         private boolean fSkipComments = false;
24         private boolean fSkipStrings  = false;
25         private boolean fForward      = false;
26         
27         private IDocument fDocument;
28         
29         private int fOffset;                           // The current text position within the editor's text
30         private int fEnd              = -1;
31         private int fCachedLineNumber = -1;            // Holds the last line we checked for single line comments
32
33         public PHPCodeReader() {
34         }
35
36         /**
37          * Returns the offset of the last read character. Should only be called
38          * after read has been called.
39          */
40         public int getOffset() {
41                 return fForward ? fOffset - 1 : fOffset;
42         }
43
44         public void configureForwardReader(IDocument document, int offset,
45                         int length, boolean skipComments, boolean skipStrings)
46                         throws IOException {
47                 fDocument = document;
48                 fOffset = offset;
49                 fSkipComments = skipComments;
50                 fSkipStrings = skipStrings;
51
52                 fForward = true;
53                 fEnd = Math.min(fDocument.getLength(), fOffset + length);
54         }
55
56         public void configureBackwardReader(IDocument document, int offset,
57                         boolean skipComments, boolean skipStrings) throws IOException {
58                 fDocument = document;
59                 fOffset = offset;
60                 fSkipComments = skipComments;
61                 fSkipStrings = skipStrings;
62
63                 fForward = false;
64                 try {
65                         fCachedLineNumber = fDocument.getLineOfOffset(fOffset);
66                 } catch (BadLocationException x) {
67                         throw new IOException(x.getMessage());
68                 }
69         }
70
71         /*
72          * @see Reader#close()
73          */
74         public void close() throws IOException {
75                 fDocument = null;
76         }
77
78         /*
79          * @see SingleCharReader#read()
80          */
81         public int read() throws IOException {
82                 try {
83                         return fForward ? readForwards() : readBackwards();
84                 } catch (BadLocationException x) {
85                         throw new IOException(x.getMessage());
86                 }
87         }
88
89         private int gotoCommentEnd (int nTextPos) throws BadLocationException {
90                 while (nTextPos < fEnd) {
91                         char current = fDocument.getChar (nTextPos++);
92                         
93                         if (current == '*') {
94                                 if ((nTextPos < fEnd) && 
95                                     (fDocument.getChar (nTextPos) == '/')) {
96                                         ++nTextPos;
97                                         
98                                         return nTextPos;
99                                 }
100                         }
101                 }
102                 
103                 return nTextPos;
104         }
105
106         /**
107          * 
108          * @param delimiter
109          * @throws BadLocationException
110          */
111         private int gotoStringEnd (int nTextPos, char delimiter) throws BadLocationException {
112                 while (nTextPos < fEnd) {               // If long as we are not at the end of text
113                         char current = fDocument.getChar (nTextPos++);
114                         
115                         if (current == '\\') {                          // ignore escaped characters
116                                 ++nTextPos;
117                         } 
118                         else if (current == delimiter) {
119                                 return nTextPos;
120                         }
121                 }
122                 
123                 return nTextPos;                        // End position
124         }
125
126         /**
127          * 
128          * @param nTextPos               The current text position
129          * 
130          * @return                       The position of the start of next line
131          * 
132          * @throws BadLocationException
133          */
134         private int gotoLineEnd (int nTextPos) throws BadLocationException {
135                 int line = fDocument.getLineOfOffset (nTextPos); // Get the line number of the current text position
136                 
137                 return fDocument.getLineOffset (line + 1);
138         }
139
140         private int readForwards () throws BadLocationException {
141                 while (fOffset < fEnd) {
142                         char current = fDocument.getChar(fOffset++);
143
144                         switch (current) {
145                             case '"':
146                             case '\'':
147                                 if (fSkipStrings) {
148                                     fOffset = gotoStringEnd (fOffset, current);
149                                     continue;
150                                 }
151                                 return current;
152                                 
153                             case '#':
154                                 if (fSkipComments && fOffset < fEnd) {
155                                     fOffset = gotoLineEnd (fOffset);
156                                     continue;
157                                 }
158                                 return current;
159
160                             case '/':
161                                 if (fSkipComments && fOffset < fEnd) {
162                                     char next = fDocument.getChar(fOffset);
163                                     
164                                     if (next == '*') {                                  // A comment starts, advance to the comment end
165                                         ++fOffset;
166                                         fOffset = gotoCommentEnd (fOffset);
167                                         continue;
168                                     } else if (next == '/') {                   // '//'-comment starts, advance to the line end
169                                         fOffset = gotoLineEnd (fOffset);
170                                         continue;
171                                     }
172                                 }    
173                                 return current;
174                         }
175
176                         return current;
177                 }
178
179                 return EOF;
180         }
181
182         /**
183          * Check whether the current line contains a single line comment.
184          * If it contains a single line comment (// or #), than set fOffset (the global character index)
185          * to the character just before the single line comment.
186          * 
187          * @throws BadLocationException
188          */
189         
190         private void handleSingleLineComment () throws BadLocationException {
191             char current;
192                 int  line = fDocument.getLineOfOffset (fOffset);         // Get the line number which belongs to the current text position fOffset
193                 
194                 if (line < fCachedLineNumber) {                          // If we didn't parse this line already
195                         fCachedLineNumber = line;                            // Remember this line for the next time (so we don't search again!)   
196                         int nOffset       = fDocument.getLineOffset (line);  // Get the start position of current line      
197                         
198                         while (nOffset < fOffset) {                          // As long as the text position is within the current line 
199                                 current = fDocument.getChar (nOffset);           // Get the character from the current text position
200
201                                 switch (current) {
202                                     case '/':
203                                         if (fDocument.getChar (nOffset + 1) == '/') { // If the following character is '/'
204                                             fOffset = nOffset - 1;
205                                             
206                                             return;
207                                         }
208                                         break;    
209                                     
210                                     case '#':
211                         fOffset = nOffset - 1;
212                         return;
213                                     
214                                     case '"':                                           // It's a string start quote
215                                     case '\'':
216                                         nOffset++;                                      // Set to next character
217                                         
218                                         while (nOffset < fOffset) {                     // As long as we are within the same line
219                                             char cChar = fDocument.getChar (nOffset++);
220                                             
221                                             if (cChar == '\\') {                        // Ignore escaped characters
222                                                 ++nOffset;
223                                             } 
224                                             else if (cChar == current) {                // If end of string found 
225                                                 break;
226                                             }
227                                         }
228                                         break;
229                                 }
230                                 
231                                 nOffset++;                                              // Go for the next character
232                         }
233                 }
234         }
235
236         /**
237          * We search the for the block comment start sequence "/*"
238          * 
239          * The returned value points to the '/'
240          * 
241          * @throws BadLocationException
242          * 
243          * @return The new text position
244          */
245         
246         private int gotoCommentStart (int nTextPos) throws BadLocationException {
247                 while (0 < nTextPos) {                                // As long as we are not at the start of the editor text
248                     char current = fDocument.getChar (nTextPos--);    // Get the character from the current text position        
249                         
250                         if ((current == '*') &&                           // If current character is a '*' 
251                             (0 <= nTextPos) &&                            // and if we are not yet at the start of the editor text 
252                             (fDocument.getChar (nTextPos) == '/')) {      // and the previous character is a '/', 
253                                 return nTextPos;                              // We found the block comment start "/*"
254                         }
255                 }
256                 
257                 return nTextPos;
258         }
259
260         /**
261          * The string closing quote has been found, when reading the editor text backwards.
262          * So we have to search for the start of the string
263          * 
264          * The returned value points to '"' or '''
265          * 
266          * @param delimiter The string double quote '"' or single ''' quote we search for
267          * 
268          * @throws BadLocationException
269          */
270         private int gotoStringStart (int nTextPos, char delimiter) throws BadLocationException {
271                 while (0 < nTextPos) {                              // As long as we are not at the start of the editor text
272                         char current = fDocument.getChar (nTextPos);    // Get the character from the current text position 
273                                                                         
274                         if (current == delimiter) {                     // If we found the same character ('"' or ''') again, we have found the string start
275                                 if (!(0 <= nTextPos &&                        
276                                       fDocument.getChar (nTextPos - 1) == '\\')) // If the character before the string quote is not an '/' 
277                                 return nTextPos;                                 // we found the string start
278                         }
279                                                                             
280                         --nTextPos;                                          // Go one character back
281                 }
282                 
283                 return nTextPos;
284         }
285
286         /**
287          * Read the editor text backwards
288          * 
289          */
290         
291         private int readBackwards() throws BadLocationException {
292             char current;                                                // The character on position fOffset
293             
294                 while (0 < fOffset) {                                        // As long as we are not at the beginning of the editor text
295                         --fOffset;                                               // Step back one character
296
297                         handleSingleLineComment ();                              // Search for a single line comment within the current line
298                                                                                  // If there is a single line comment, fOffset is set to position just before the single line comment
299
300                         current = fDocument.getChar (fOffset);                   // Read the current character
301                         switch (current) {                                       // Process the current character
302                             case '/':                                            // Is it a single line comment? 
303                                 if (fSkipComments &&                             // When comments should be skipped when parsing
304                                     fOffset > 1) {                               // and if there is indeed an additional character before that '/'
305                                     char prev = fDocument.getChar (fOffset - 1); // Look at the character in front of the '/'
306                                     
307                                     if (prev == '*') {                           // If '*' than a block comment ends here, advance to the comment start
308                                         fOffset -= 2;                            // Set character pointer to character before "*/"
309                                         fOffset  = gotoCommentStart (fOffset);   // and search for the starting "/*" of the block comment
310                                         continue;
311                                     }
312                                 }
313                                 return current;                                  // No block comment end, so return the current character
314                                 
315                             case '"':                                            // Is it a string double quote closing '"'?                                                
316                             case '\'':                                           // or a string single quote closing '''?
317                                 if (fSkipStrings) {                              // If we should skip strings when parsing
318                                     --fOffset;                                   // Set pointer one before the string closing quote 
319                                     fOffset = gotoStringStart (fOffset, current);// and search the start of string ('"' or ''')
320                                     continue;
321                                 }
322                                 return current;                                  // No string skip, so return the current character
323                         }
324
325                         return current;                                          // No string and no comment
326                 }
327
328                 return EOF;                                                  // When the start of the text has been found
329         }
330 }