Annotate fields from traits' class object properties

2013-11-11 14:35:21 +04:00
parent 4fa691f4b4
commit 2b6f688a52
6 changed files with 61 additions and 6 deletions
@@ -0,0 +1,18 @@
+public interface TraitClassObjectField extends jet.JetObject {
+    TraitClassObjectField.object object$;
+    @org.jetbrains.annotations.Nullable
+    java.lang.String x = "";
+
+    static final class object implements jet.JetObject {
+        @org.jetbrains.annotations.Nullable
+        private final java.lang.String x = "";
+        private final java.lang.String y = "";
+
+        @org.jetbrains.annotations.Nullable
+        public final java.lang.String getX() { /* compiled code */ }
+
+        private final java.lang.String getY() { /* compiled code */ }
+
+        private object() { /* compiled code */ }
+    }
+}