| Index: editor/tools/plugins/com.google.dart.server/src/com/google/dart/server/generated/types/Element.java
|
| diff --git a/editor/tools/plugins/com.google.dart.server/src/com/google/dart/server/generated/types/Element.java b/editor/tools/plugins/com.google.dart.server/src/com/google/dart/server/generated/types/Element.java
|
| index fc875545a2492906b91aa6056caa10c7d9c7834e..bfd72fcf75f06e8a579480b17f91c8d7cf4b661e 100644
|
| --- a/editor/tools/plugins/com.google.dart.server/src/com/google/dart/server/generated/types/Element.java
|
| +++ b/editor/tools/plugins/com.google.dart.server/src/com/google/dart/server/generated/types/Element.java
|
| @@ -35,6 +35,18 @@ public class Element {
|
| */
|
| public static final Element[] EMPTY_ARRAY = new Element[0];
|
|
|
| + private static final int ABSTRACT = 0x01;
|
| +
|
| + private static final int CONST = 0x02;
|
| +
|
| + private static final int FINAL = 0x04;
|
| +
|
| + private static final int TOP_LEVEL_STATIC = 0x08;
|
| +
|
| + private static final int PRIVATE = 0x10;
|
| +
|
| + private static final int DEPRECATED = 0x20;
|
| +
|
| /**
|
| * The kind of the element.
|
| */
|
| @@ -154,6 +166,30 @@ public class Element {
|
| return returnType;
|
| }
|
|
|
| + public boolean isAbstract() {
|
| + return (flags & ABSTRACT) != 0;
|
| + }
|
| +
|
| + public boolean isConst() {
|
| + return (flags & CONST) != 0;
|
| + }
|
| +
|
| + public boolean isDeprecated() {
|
| + return (flags & DEPRECATED) != 0;
|
| + }
|
| +
|
| + public boolean isFinal() {
|
| + return (flags & FINAL) != 0;
|
| + }
|
| +
|
| + public boolean isPrivate() {
|
| + return (flags & PRIVATE) != 0;
|
| + }
|
| +
|
| + public boolean isTopLevelOrStatic() {
|
| + return (flags & TOP_LEVEL_STATIC) != 0;
|
| + }
|
| +
|
| @Override
|
| public String toString() {
|
| StringBuilder builder = new StringBuilder();
|
|
|