Changes between Version 5 and Version 6 of Pointers

Timestamp:

11/11/13 09:50:22 (13 years ago)

Author:

siegel

Comment:

--

Pointers

@@ -244 +244 @@
 Original program outline:
 {{{
-| <t1> void f(int *<t1> x);
-| | scope s1
-| | g<s1>(...)
-| <t2> void g(int *<t2> y);
-| | scope s2
-| | f<s2>(...)
-| main() { f<s0>(...); }
+$scope s0;
+int n;
+<t1> void f(int *<t1> x) {
+  $scope s1;
+  int w;
+  g<s1>(&w);
+}
+<t2> void g(int *<t2> y) {
+  $scope s2;
+  int w;
+  f<s2>(&w);
+}
+void main() {
+  f<s0>(&n);
+}
 }}}
 
@@ -256 +264 @@
 
 {{{
-| f0(s0)
-| | scope s1.0
-| | g<s1.0>
-| g0(s1.0)
-| | scope s2.0
-| | f<s2.0>
-| f2(s2.0)
-| | scope s1.1
-| | g<s1.1>
-| g1
-etc.
-}}}
-
+$scope s0;
+int n;
+void f$0(int *<s0> x) {
+  $scope s1$0;
+  int w;
+  g$0(&w);
+}
+void g$0(int *<s1$0> y) {
+  $scope s2$0;
+  int w;
+  f$1(&w);
+}
+void f$1(int *<s2$0> x) {
+  $scope s1$1;
+  int w;
+  g$1(&w);
+}
+void g$1(int *<s1$1> y) {
+  $scope s2$1;
+  int w;
+  f$2(&w);
+}
+etc. forever
+}}}
+