Changes in tests/collections/string-api-coverage.cfa [b12b1ba:f2898df]

File:

• tests/collections/string-api-coverage.cfa (modified) (6 diffs)

tests/collections/string-api-coverage.cfa

@@ -1 +1 @@
 #include <collections/string.hfa>
 #include <string_sharectx.hfa>
+
+void assertWellFormedHandleList( int maxLen ) { // with(HeapArea)
+    // HandleNode *n;
+    // int limit1 = maxLen;
+    // for ( n = Header.flink; (limit1-- > 0) && n != &Header; n = n->flink ) {}
+    // assert (n == &Header);
+    // int limit2 = maxLen;
+    // for ( n = Header.blink; (limit2-- > 0) && n != &Header; n = n->blink ) {}
+    // assert (n == &Header);
+    // assert (limit1 == limit2);
+}
+
+// The given string is reachable.
+void assertOnHandleList( string & q ) { // with(HeapArea)
+    // HandleNode *n;
+    // for ( n = Header.flink; n != &Header; n = n->flink ) {
+    //     if ( n == & q.inner->Handle ) return;
+    // }
+    // assert( false );
+}
 
 
@@ -41 +61 @@
 
 
+                                            assertWellFormedHandleList( 10 );
     //
     // breadth Constructors
@@ -95 +116 @@
         sout | b11; // 5.5+3.4i
     }
-
+                                            assertWellFormedHandleList( 10 );
     //
     // Assignments
@@ -155 +176 @@
         sout | b; // 5.5+3.4i
     }
-
+                                            assertWellFormedHandleList( 10 );
 
 
@@ -166 +187 @@
 
     string sx = s + s3;
+                                            assertWellFormedHandleList( 10 );
     sout | sx; // helloworld
+                                            assertWellFormedHandleList( 10 );
     sx = "xx";
+                                            assertWellFormedHandleList( 10 );
     sx = s + s3;
+                                            assertWellFormedHandleList( 10 );
     sout | sx; // helloworld
+                                            assertWellFormedHandleList( 10 );
 
     sx += '!';
@@ -179 +205 @@
     sx += s;
     sout | sx; // hellohello
+                                            assertWellFormedHandleList( 10 );
     sx += ", friend";    
     sout | sx; // hellohello, friend