Changeset 720eec9 for doc/theses/mike_brooks_MMath/programs

Timestamp:

Oct 25, 2024, 4:09:56 PM (5 months ago)

Author:

Michael Brooks <mlbrooks@…>

Branches:

master

Children:

33474e6

Parents:

d031f7f

Message:

Thesis, array, proofread intro sections.

Location:

doc/theses/mike_brooks_MMath/programs

Files:

• hello-accordion.cfa (modified) (2 diffs)
• hello-array.cfa (modified) (2 diffs)

doc/theses/mike_brooks_MMath/programs/hello-accordion.cfa ¶

@@ -39 +39 @@
 
 forall( [C], [S] )
-void init( @School( C, S ) & classes@, int class, int student, int pref ) with( classes ) {
-        classIds[class] = class; $\C{// handle dynamic offsets of fields within structure}$
-        studentIds[student] = student;
-        preferences[class][student] = pref;
+void put( @School( C, S ) & s@, int class, int student, int pref ) {
+        s.classIds[class] = class; $\C{// fields' offsets are dynamic }$
+        s.studentIds[student] = student;
+        s.preferences[class][student] = pref;
 }
 
@@ -62 +62 @@
         sin | classes | students;
         @School( classes, students ) school;@
-        int class, student, preference;
-        // read data into school calling init
-        // for each student's class/preferences
-        try {
-                for ( ) {
-                        sin | class | student | preference;
-                        init( school, class, student, preference );
-                }
-        } catch( end_of_file * ) {}
+        // elided: read data into school, calling put
+        {       int class, student, preference;
+                // for each student's class/preferences
+                try {
+                        for ( ) {
+                                sin | class | student | preference;
+                                put( school, class, student, preference );
+                        }
+                } catch( end_of_file * ) {}        }
         for ( s; students ) {
                 sout | "student" | s | nonl;

doc/theses/mike_brooks_MMath/programs/hello-array.cfa ¶

@@ -49 +49 @@
 */
 
+
+
+
+
+
+
+
+
+
+
+
+
+
+#ifdef SHOWERR1
+
 void fred() {
+
+
+
+        array( float, @10@ ) x;
+        array( float, @20@ ) y;
+        f( x, x );              $\C[0.5in]{// ok}$
+        f( y, y );              $\C{// ok}$
+        f( x, y );              $\C{// error}\CRT$
+
+
+
+
+}
+
+
+
+
+
+
+
+
+
+
+forall( [M], [N] )
+void bad( array(float, M) &x,
+                array(float, N) &y ) {
+        f( x, x );              $\C[0.5in]{// ok}$
+        f( y, y );              $\C{// ok}$
+
+        f( x, y );              $\C{// error}\CRT$
+}
+
+#endif
+
+
+
+
+
+
+
+
+
+
+forall( [M], [N] )
+void bad_fixed( array( float, M ) & x,
+                array( float, N ) & y ) {
+        f( x, x );              $\C[0.5in]{// ok}$
+        f( y, y );              $\C{// ok}$
+        if ( M == N )
+                f( x, @(array( float, M ) &)@y ); $\C{// ok}$
+}
+
+
+
+
+
+
+void fred_ok_only() {
         array( float, @10@ ) x;
         array( float, @20@ ) y;
@@ -57 +130 @@
 }
 
-#ifdef SHOWERR1
-forall( [M], [N] )
-void bad( array(float, M) &x, array(float, N) &y ) {
-        f( x, x );              $\C[1.5in]{// ok}$
-        f( y, y );              $\C{// ok}$
-        f( x, y );              $\C{// error}\CRT$
-}
-#endif
-
-
 
 forall( [M], [N] )
-void bad_fixed( array( float, M ) & x, array( float, N ) & y ) {
-        if ( M == N )
-                f( x, @(array( float, M ) &)@y ); $\C{// cast y to matching type}$
+void bad_ok_only( array(float, M) &x,
+                array(float, N) &y ) {
+        f( x, x );
+        f( y, y );
+
+//      f( x, y );
 }
+
 
 // Local Variables: //