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()); |