| Index: editor/tools/plugins/com.google.dart.engine/src/com/google/dart/engine/internal/element/LibraryElementImpl.java
|
| diff --git a/editor/tools/plugins/com.google.dart.engine/src/com/google/dart/engine/internal/element/LibraryElementImpl.java b/editor/tools/plugins/com.google.dart.engine/src/com/google/dart/engine/internal/element/LibraryElementImpl.java
|
| index 03171f838b61e8351a80413879e9242a8076ebdf..93ae415db7a27e49f767b01b76d090dd67b77de1 100644
|
| --- a/editor/tools/plugins/com.google.dart.engine/src/com/google/dart/engine/internal/element/LibraryElementImpl.java
|
| +++ b/editor/tools/plugins/com.google.dart.engine/src/com/google/dart/engine/internal/element/LibraryElementImpl.java
|
| @@ -283,6 +283,11 @@ public class LibraryElementImpl extends ElementImpl implements LibraryElement {
|
| }
|
|
|
| @Override
|
| + public boolean isInSdk() {
|
| + return getName().startsWith("dart.");
|
| + }
|
| +
|
| + @Override
|
| public boolean isUpToDate(long timeStamp) {
|
| Set<LibraryElement> visitedLibraries = Sets.newHashSet();
|
|
|
|
|