Changeset 41 in default for trunk/de.ugoe.cs.swe.bnftools.ebnf.ui/src/de/ugoe/cs/swe/bnftools/ui/formatter/EbnfFormatterVisitor.java

Timestamp:

11/05/10 16:46:19 (14 years ago)

Author:

zeiss

Message:

 

File:

• trunk/de.ugoe.cs.swe.bnftools.ebnf.ui/src/de/ugoe/cs/swe/bnftools/ui/formatter/EbnfFormatterVisitor.java (modified) (1 diff)

trunk/de.ugoe.cs.swe.bnftools.ebnf.ui/src/de/ugoe/cs/swe/bnftools/ui/formatter/EbnfFormatterVisitor.java

@@ -144 +144 @@
                 StringBuffer whiteSpaces = new StringBuffer();
                 int currentPosition = position;
-                while (isWhitespace(str.charAt(currentPosition))) {
+                if (currentPosition >= str.length() || currentPosition < 0)
+                        return "";
+                char ch;
+                ch = str.charAt(currentPosition);
+                while (isWhitespace(ch)) {
                         whiteSpaces.append(str.charAt(currentPosition));
                         currentPosition--;
+                        if (currentPosition < 0)
+                                break;
+                        ch = str.charAt(currentPosition);
                 }
                 return whiteSpaces.toString();