feat: allow referencing properties of constructs

.vscode/launch.json

@@ -47,7 +47,9 @@
       "name": "Debug Extension",
       "type": "extensionHost",
       "request": "launch",
-      "outFiles": ["${workspaceFolder}/apps/vscode-wing/lib/**/*.js"],
+      "outFiles": [
+        "${workspaceFolder}/apps/vscode-wing/lib/**/*.js"
+      ],
       "env": {
         "WING_BIN": "${workspaceFolder}/apps/wing/bin/wing",
         "RUST_BACKTRACE": "1"
@@ -70,11 +72,11 @@
         ]
       },
       "args": [
-        "${input:wingSource}"
+        "${file}"
       ],
       "sourceLanguages": [
         "rust"
       ],
     },
   ]
-}
+}

docs/04-standard-library/01-cloud/bucket.md

@@ -1,5 +1,5 @@
 ---
-title: cloud.Bucket
+title: Bucket
 id: bucket
 description: A built-in resource for handling object storage in the cloud.
 keywords:

docs/04-standard-library/01-cloud/counter.md

@@ -1,5 +1,5 @@
 ---
-title: cloud.Counter 
+title: Counter 
 id: counter
 description: A built-in resource for representing an container for numbers in the cloud.
 keywords: [Wing reference, Wing language, language, Wing standard library, Wing programming language, Counter]

docs/04-standard-library/01-cloud/secret.md

@@ -1,5 +1,5 @@
 ---
-title: cloud.Secret 
+title: Secret 
 id: secret
 description: A built-in resource for securely storing secrets in the cloud.
 keywords: [Wing reference, Wing language, language, Wing standard library, Wing programming language, secrets]

docs/04-standard-library/01-cloud/service.md

@@ -1,5 +1,5 @@
 ---
-title: cloud.Service 
+title: Service 
 id: service
 description: A built-in resource for publishing messages to subscribers.
 keywords: [Wing reference, Wing language, language, Wing standard library, Wing programming language, services]

docs/04-standard-library/01-cloud/topic.md

@@ -1,5 +1,5 @@
 ---
-title: cloud.Topic 
+title: Topic 
 id: topic
 description: A built-in resource for publishing messages to subscribers.
 keywords: [Wing reference, Wing language, language, Wing standard library, Wing programming language, topics]

examples/tests/sdk_tests/bucket/public_url.w

@@ -1,7 +1,6 @@
 bring cloud;
 
-let bucketProps = cloud.BucketProps{public: true};
-let publicBucket = new cloud.Bucket(bucketProps) as "publicBucket";
+let publicBucket = new cloud.Bucket(public: true) as "publicBucket";
 let privateBucket = new cloud.Bucket() as "privateBucket";
 
 test "publicUrl" {

examples/tests/valid/bring_cdktf.w

@@ -1,9 +1,34 @@
 bring "@cdktf/provider-aws" as aws;
 
-new aws.s3Bucket.S3Bucket(
+class MyClass {
+  b2: aws.s3Bucket.S3Bucket;
+
+  init() {
+    this.b2 = new aws.s3Bucket.S3Bucket();
+  }
+
+  inflight getBucketArn(): str {
+    return this.b2.arn;
+  }
+}
+
+let b = new aws.s3Bucket.S3Bucket(
   bucketPrefix: "hello",
-  versioning: aws.s3Bucket.S3BucketVersioning {
-    enabled: true,
-    mfaDelete: true,
-  },
-) as "Bucket";
+  acl: "private",
+);
+
+let c = new MyClass();
+
+test "capture from inflight" {
+  let x1 = b.arn;
+  assert(x1.startsWith("arn:aws:s3"));
+  log("b.arn=${x1}");
+
+  let x2 = b.bucketDomainName;
+  assert(x2.endsWith("s3.amazonaws.com"));
+  log("b.bucketDomainName=${x2}");
+
+  let x3 = c.getBucketArn();
+  assert(x3.startsWith("arn:aws:s3"));
+  log("c.getBucketArn=${x3}");
+}

examples/tests/valid/capture_resource_and_data.w

@@ -1,14 +1,59 @@
 bring cloud;
 
-let data = {1,2,3};
-let res = new cloud.Bucket();
-let queue = new cloud.Queue();
+class Static {
+  static inflight hello(): str { return "hello"; }
+}
+
+struct Foo {
+  bar: str;
+  baz: Array<num>;
+}
+
+// let data = {1,2,3};
+// let res = new cloud.Bucket();
+// let queue = new cloud.Queue();
+let foo = Foo { bar: "hello", baz: [1,2,3] };
+
+class Hello {
+  x: Foo;
+  b: cloud.Bucket;
+
+  init() {
+    this.x = Foo { bar: "aa", baz: [1] };
+    this.b = new cloud.Bucket();
+  }
+
+  inflight hello() {
+    this.b.put("hello", "world");
+  }
+
+  inflight bang() {
+    let localArray = [Json 123,"Hello","World"];
+    log(str.fromJson(localArray.at(1)));
+
+    let local = "hi";
+    assert(local == "hi");
+    assert(local.length == 2);
+
+    log(this.x.bar);
+    log(Static.hello());
+    log(std.Json.stringify(123));
+    this.hello();
+  }
+}
+
+let hello = new Hello();
 
 test "resource and data" {
-  assert(data.size == 3);
+  // assert(data.size == 3);
+
+  // res.put("file.txt", "world");
+  // assert(res.get("file.txt") == "world");
+
+  // assert(foo.bar == "hello");
+  assert(foo.baz.at(1) == 2);
 
-  res.put("file.txt", "world");
-  assert(res.get("file.txt") == "world");
+  // queue.push("spirulina");
 
-  queue.push("spirulina");
+  hello.bang();
 }

examples/tests/valid/new_capture_enum.w

@@ -0,0 +1,5 @@
+enum Goo { A, B }
+
+test "test" {
+  assert(Goo.A != Goo.B);
+}

examples/tests/valid/new_capture_preflight_object.w

@@ -0,0 +1,12 @@
+bring cloud;
+
+let b = new cloud.Bucket();
+
+// test "test" {
+//   b.put("hello.txt", "world");
+//   assert(b.get("hello.txt") == "world");
+// }
+
+test "nested reference" {
+  assert(b.list().length == 0);
+}

examples/tests/valid/new_capture_primitive.w

@@ -0,0 +1,9 @@
+bring cloud;
+
+let s = "hello";
+let goodbye = "goodbye";
+
+test "test" {
+  assert(s == "hello");
+  assert(goodbye.length == 7);
+}

examples/tests/valid/new_capture_static.w

@@ -0,0 +1,9 @@
+class A {
+  static inflight b(): str {
+    return "my_str";
+  }
+}
+
+test "test" {
+  assert(A.b() == "my_str");
+}

examples/tests/valid/new_capture_std_static.w

@@ -0,0 +1,4 @@
+test "test" {
+  assert(num.fromStr("1234") == 1234);
+  assert(std.Number.fromJson(123) == 123);
+}

libs/wingc/src/ast.rs

@@ -161,6 +161,10 @@ impl UserDefinedType {
 		path
 	}
 
+	pub fn full_path_str_vec(&self) -> Vec<String> {
+		return self.full_path().iter().map(|f| f.name.clone()).collect_vec();
+	}
+
 	pub fn full_path_str(&self) -> String {
 		self.full_path().iter().join(".")
 	}