| Index: editor/tools/plugins/com.google.dart.engine/src/com/google/dart/engine/sdk/SdkLibrary.java
|
| diff --git a/editor/tools/plugins/com.google.dart.engine/src/com/google/dart/engine/sdk/SdkLibrary.java b/editor/tools/plugins/com.google.dart.engine/src/com/google/dart/engine/sdk/SdkLibrary.java
|
| index 042771ef19a9e296dd49f617308400061141e7f1..5f74e5aaf86a2e14d8c030d87861dabdc806217a 100644
|
| --- a/editor/tools/plugins/com.google.dart.engine/src/com/google/dart/engine/sdk/SdkLibrary.java
|
| +++ b/editor/tools/plugins/com.google.dart.engine/src/com/google/dart/engine/sdk/SdkLibrary.java
|
| @@ -62,6 +62,13 @@ public interface SdkLibrary {
|
| public boolean isImplementation();
|
|
|
| /**
|
| + * Return {@code true} if library is internal can be used only by other SDK libraries.
|
| + *
|
| + * @return {@code true} if library is internal can be used only by other SDK libraries
|
| + */
|
| + public boolean isInternal();
|
| +
|
| + /**
|
| * Return {@code true} if library can be used for both client and server.
|
| *
|
| * @return {@code true} if this library can be used for both client and server.
|
|
|