Changeset 5546f50b for doc/theses/mike_brooks_MMath/programs/sharing-demo.cfa

Timestamp:

Mar 10, 2024, 11:21:18 AM (3 months ago)

Author:

Peter A. Buhr <pabuhr@…>

Branches:

master

Children:

9398177

Parents:

b64d0f4

Message:

more switch to tabs

File:

• doc/theses/mike_brooks_MMath/programs/sharing-demo.cfa (modified) (18 diffs)

doc/theses/mike_brooks_MMath/programs/sharing-demo.cfa

@@ -37 +37 @@
         assert( s1 == "a+c" );
         sout | xstr(S1s1) | "\t& " | s1 | "\t& " | s1a | "\t& " | s2 | "\t\\\\";
-      
+
         #define S1As1 s1a[1] = '-'
         S1As1;
         assert( s1a == "a-c" );
         sout | xstr(S1As1) | "\t& " | s1 | "\t& " | s1a | "\t& " | s2 | "\t\\\\";
-      
+
         #define S2s1 s2 [1] = '|'
         S2s1;
@@ -49 +49 @@
         sout | "\\end{tabular}";
         sout | "\\par\\noindent";
-      
+
         sout | "Assignment of a value is just a modificiation."
                    "\nThe aliasing relationship is established at construction and is unaffected by assignment of a value.";
@@ -61 +61 @@
         assert( s1 == "qrs" );
         sout | xstr(S1qrs) | "\t& " | s1 | "\t& " | s1a | "\t& " | s2 | "\t\\\\";
-    
+
         #define S1Atuv s1a = "tuv"
         S1Atuv;
         assert( s1a == "tuv" );
         sout | xstr(S1Atuv) | "\t& " | s1 | "\t& " | s1a | "\t& " | s2 | "\t\\\\";
-    
+
         #define S2wxy s2  = "wxy"
         S2wxy;
@@ -87 +87 @@
         assert( s2 == "wxy" );
         sout | xstr(S1S2) | "\t& " | s1 | "\t& " | s1a | "\t& " | s2 | "\t\\\\";
-    
+
         #define S1aaa s1  = "aaa"
         S1aaa;
@@ -94 +94 @@
         assert( s2 == "wxy" );
         sout | xstr(S1aaa) | "\t& " | s1 | "\t& " | s1a | "\t& " | s2 | "\t\\\\";
-    
+
         #define S2S1 s2  = s1
         S2S1;
@@ -101 +101 @@
         assert( s2 == "aaa" );
         sout | xstr(S2S1) | "\t& " | s1 | "\t& " | s1a | "\t& " | s2 | "\t\\\\";
-    
+
         #define S2bbb s2  = "bbb"
         S2bbb;
@@ -191 +191 @@
         sout | "\t\t\t\t& @s1@\t& @s1_mid@\t& @s2@\t\\\\";
         sout | "\t& " | s1 | "\t& " | s1_mid | "\t& " | s2 | "\t\\\\";
-    
+
         #define D2_s1mid_ff s1_mid = "ff"
         D2_s1mid_ff;
@@ -207 +207 @@
         sout | "\\end{tabular}";
         sout | "\\par\\noindent";
-    
+
     sout | "In the \\emph{ff} step, which is a positive example of flow across an aliasing relationship, the result is straightforward to accept because the flow direction is from contained (small) to containing (large).  The following rules for edits through aliasing substrings will guide how to flow in the opposite direction.";
         sout | "\\par";
@@ -233 +233 @@
         assert( s1_mid == "i" );
         sout  | xstr(D2_s1mid_i)  | "\t& " | s1 | "\t& " | s1_mid | "\t\\\\";
-    
+
         #define D2_s1mid_empty s1_mid = ""
         D2_s1mid_empty;
@@ -247 +247 @@
         sout | "\\end{tabular}";
         sout | "\\par\\noindent";
-    
+
     sout | "Multiple portions can be aliased.  When there are several aliasing substrings at once, the text editor analogy becomes an online multi-user editor.  I should be able to edit a paragraph in one place (changing the document's length), without my edits affecting which letters are within a mouse-selection that you had made previously, somewhere else.";
         sout | "\\par\\noindent";
@@ -279 +279 @@
         sout | "\\begin{tabular}{llllll}";
         sout | "\t\t\t\t& @s1@\t& @s1_bgn@\t& @s1_crs@\t& @s1_mid@\t& @s1_end@\t\\\\";
-    
+
         #define D2_s1crs_s1 string s1_crs = s1(3, 2)`shareEdits
         D2_s1crs_s1;
@@ -288 +288 @@
         assert( s1_end == "d" );  
         sout  | xstr(D2_s1crs_s1)  | "\t& " | s1 | "\t& " | s1_bgn | "\t& " | s1_crs | "\t& " | s1_mid | "\t& " | s1_end | "\t\\\\";
-    
+
         #define D2_s1crs_ppp s1_crs = "+++"
         D2_s1crs_ppp;
@@ -316 +316 @@
 
         // "The extreme form of this shortening happens when a bystander alias is a proper substring of an edit.  The bystander becomes an empty substring."
-    
+
         string all = "They said hello again";
         string greet     = all(10,5)`shareEdits;
@@ -327 +327 @@
         assert( greet_end == "o" );
       
-    
+
         greet = "sup";
         assert( all == "They said sup again" );
@@ -334 +334 @@
         // assert( greet_end == "" );
       
-    
+
   
 
@@ -342 +342 @@
 
   
-    
+
         greet_bgn = "what"; 
       
@@ -353 +353 @@
         // assert( greet_end == "" );    ------ Should be so, but fails
       
-    
+
         greet_end = "..."; 
       
@@ -365 +365 @@
         assert( greet_end == "..." );
       
-    
+