| Index: editor/tools/plugins/com.google.dart.engine/src/com/google/dart/engine/internal/builder/ElementBuilder.java
|
| ===================================================================
|
| --- editor/tools/plugins/com.google.dart.engine/src/com/google/dart/engine/internal/builder/ElementBuilder.java (revision 15397)
|
| +++ editor/tools/plugins/com.google.dart.engine/src/com/google/dart/engine/internal/builder/ElementBuilder.java (working copy)
|
| @@ -152,8 +152,7 @@
|
|
|
| SimpleIdentifier constructorName = node.getName();
|
| ConstructorElementImpl element = new ConstructorElementImpl(constructorName);
|
| - Token keyword = node.getKeyword();
|
| - if (keyword instanceof KeywordToken && ((KeywordToken) keyword).getKeyword() == Keyword.FACTORY) {
|
| + if (node.getFactoryKeyword() != null) {
|
| element.setFactory(true);
|
| }
|
| element.setFunctions(holder.getFunctions());
|
|
|