| Index: editor/tools/plugins/com.google.dart.engine.services/src/com/google/dart/engine/services/internal/util/TokenUtils.java
|
| diff --git a/editor/tools/plugins/com.google.dart.engine.services/src/com/google/dart/engine/services/internal/util/TokenUtils.java b/editor/tools/plugins/com.google.dart.engine.services/src/com/google/dart/engine/services/internal/util/TokenUtils.java
|
| index 1f3e085165a0fcf7ada08996744a798f7fcf09d7..748fcb580b0a2bff7301682b2e237c85eaf7e32b 100644
|
| --- a/editor/tools/plugins/com.google.dart.engine.services/src/com/google/dart/engine/services/internal/util/TokenUtils.java
|
| +++ b/editor/tools/plugins/com.google.dart.engine.services/src/com/google/dart/engine/services/internal/util/TokenUtils.java
|
| @@ -62,19 +62,18 @@ public class TokenUtils {
|
| * tokens or some exception happens.
|
| */
|
| public static List<Token> getTokens(final String s) {
|
| - final List<Token> tokens = Lists.newArrayList();
|
| - ExecutionUtils.runIgnore(new RunnableEx() {
|
| - @Override
|
| - public void run() throws Exception {
|
| - Scanner scanner = new Scanner(null, new CharSequenceReader(s), null);
|
| - Token token = scanner.tokenize();
|
| - while (token.getType() != TokenType.EOF) {
|
| - tokens.add(token);
|
| - token = token.getNext();
|
| - }
|
| + try {
|
| + List<Token> tokens = Lists.newArrayList();
|
| + Scanner scanner = new Scanner(null, new CharSequenceReader(s), null);
|
| + Token token = scanner.tokenize();
|
| + while (token.getType() != TokenType.EOF) {
|
| + tokens.add(token);
|
| + token = token.getNext();
|
| }
|
| - });
|
| - return tokens;
|
| + return tokens;
|
| + } catch (Throwable e) {
|
| + return Lists.newArrayList();
|
| + }
|
| }
|
|
|
| /**
|
|
|