Changeset 2739 for trunk/Library/FortressLibrary.fsi

Timestamp:

08/25/08 07:23:17 (15 months ago)

Author:

black

Message:

Next iteration of CordedStrings?, with substring nodes. Comparison of Strings with substring nodes is a work in progress. This commit fixes bugs in the Range comparison code that were impeding that progress

Files:

• trunk/Library/FortressLibrary.fsi (modified) (6 diffs)

trunk/Library/FortressLibrary.fsi

@@ -99 +99 @@
     isLeftZero(_:Comparison): Boolean
 end
+
+opr BIG LEXICO(): BigReduction[\TotalComparison, TotalComparison\]
 
 trait Comparison
@@ -701 +703 @@
 trait Condition[\E\] extends SequentialGenerator[\E\]
     getter isEmpty(): Boolean
+    getter nonEmpty(): Boolean
     getter holds(): Boolean
     getter size(): ZZ32
@@ -973 +976 @@
         defined as %|self| = 0%. *)
     getter isEmpty(): Boolean
+    getter nonEmpty(): Boolean
     (** %size()% is depracted; use %|self|% instead. *)
     abstract getter size(): ZZ32
@@ -1802 +1806 @@
                 RangeWithExtent[\T\], PartialRange[\T\] }
     excludes { Number }
-
-    getter isEmpty(): Boolean
+   
     opr =(self,_:Range[\T\]): Boolean
 end
@@ -1969 +1972 @@
     opr |self| : ZZ32
     opr CASE_INSENSITIVE_CMP(self, other:String): TotalComparison
+    
     opr [i:ZZ32]: Char
     (** As a convenience, we permit LowerRange indexing to go 1 past the bounds
@@ -1978 +1982 @@
          should be in a "friends" interface *)
     uncheckedSubstring(r0: Range[\ZZ32\]) : String
+    
+    subdivide(): Maybe[\Generator[\(ZZ32, String)\]\]
 
     (** The operator %||% with at least one String argument converts to string and