Differences

This shows you the differences between two versions of the page.

--- language:expressions [2025/03/06 22:27] – [Bit-width rules] rajit
+++ language:expressions [2025/04/21 17:39] (current) – [Structure references] rajit
@@ Line 185: / Line 185: @@
   }
 }
+</code>
+===== Structure references =====
+Functions can return [[language:types2:data#pure_structures|pure structures]], and pure structures can have function methods. The expression syntax is rich enough to support these features. As an illustrative example, consider the following:
+<code act>
+deftype mystruct (int a, b)
+{
+     methods {
+          function getsum() : int
+          {
+              chp {
+                  self := a + b
+              }
+         }
+         function addone() : mystruct
+         {
+            chp {
+                self.a := a + 1;
+                self.b := b + 1
+             }
+         }
+    }
+}
+</code>
+We can have expressions of the following form:
+<code act>
+mystruct s;
+int a;
+...
+chp {
+   ...
+   a := s.addone().getsum();
+   ...
+}
 </code>