aboutsummaryrefslogtreecommitdiff
path: root/src/algebra/strap/ISTRING.lsp
diff options
context:
space:
mode:
Diffstat (limited to 'src/algebra/strap/ISTRING.lsp')
-rw-r--r--src/algebra/strap/ISTRING.lsp824
1 files changed, 0 insertions, 824 deletions
diff --git a/src/algebra/strap/ISTRING.lsp b/src/algebra/strap/ISTRING.lsp
deleted file mode 100644
index cbb527db..00000000
--- a/src/algebra/strap/ISTRING.lsp
+++ /dev/null
@@ -1,824 +0,0 @@
-
-(/VERSIONCHECK 2)
-
-(DECLAIM (FTYPE (FUNCTION ((|%IntegerSection| 0) |%Char| |%Shell|)
- |%Thing|)
- |ISTRING;new;NniC$;1|))
-
-(PUT '|ISTRING;new;NniC$;1| '|SPADreplace| 'MAKE-FULL-CVEC)
-
-(DECLAIM (FTYPE (FUNCTION (|%Shell|) |%Thing|) |ISTRING;empty;$;2|))
-
-(DECLAIM (FTYPE (FUNCTION (|%Thing| |%Shell|) |%Boolean|)
- |ISTRING;empty?;$B;3|))
-
-(PUT '|ISTRING;empty?;$B;3| '|SPADreplace|
- '(XLAM (|s|) (|%ieq| (|%strlength| |s|) 0)))
-
-(DECLAIM (FTYPE (FUNCTION (|%Thing| |%Shell|) (|%IntegerSection| 0))
- |ISTRING;#;$Nni;4|))
-
-(PUT '|ISTRING;#;$Nni;4| '|SPADreplace| '|%strlength|)
-
-(DECLAIM (FTYPE (FUNCTION (|%Thing| |%Thing| |%Shell|) |%Boolean|)
- |ISTRING;=;2$B;5|))
-
-(PUT '|ISTRING;=;2$B;5| '|SPADreplace| '|%streq|)
-
-(DECLAIM (FTYPE (FUNCTION (|%Thing| |%Thing| |%Shell|) |%Boolean|)
- |ISTRING;<;2$B;6|))
-
-(PUT '|ISTRING;<;2$B;6| '|SPADreplace| '|%strlt|)
-
-(DECLAIM (FTYPE (FUNCTION (|%Thing| |%Thing| |%Shell|) |%Thing|)
- |ISTRING;concat;3$;7|))
-
-(PUT '|ISTRING;concat;3$;7| '|SPADreplace| '|%strconc|)
-
-(DECLAIM (FTYPE (FUNCTION (|%Thing| |%Shell|) |%Thing|)
- |ISTRING;copy;2$;8|))
-
-(PUT '|ISTRING;copy;2$;8| '|SPADreplace| '|%strcopy|)
-
-(DECLAIM (FTYPE (FUNCTION (|%Thing| |%Thing| |%Integer| |%Shell|)
- |%Thing|)
- |ISTRING;insert;2$I$;9|))
-
-(DECLAIM (FTYPE (FUNCTION (|%Thing| |%Shell|) |%Thing|)
- |ISTRING;coerce;$Of;10|))
-
-(DECLAIM (FTYPE (FUNCTION (|%Thing| |%Shell|) |%Integer|)
- |ISTRING;minIndex;$I;11|))
-
-(DECLAIM (FTYPE (FUNCTION (|%Thing| |%Shell|) |%Thing|)
- |ISTRING;upperCase!;2$;12|))
-
-(DECLAIM (FTYPE (FUNCTION (|%Thing| |%Shell|) |%Thing|)
- |ISTRING;lowerCase!;2$;13|))
-
-(DECLAIM (FTYPE (FUNCTION (|%Thing| |%Shell|) |%String|)
- |ISTRING;latex;$S;14|))
-
-(PUT '|ISTRING;latex;$S;14| '|SPADreplace|
- '(XLAM (|s|) (|%strconc| "\\mbox{``" (|%strconc| |s| "''}"))))
-
-(DECLAIM (FTYPE (FUNCTION (|%Thing| |%Thing| |%Thing| |%Shell|)
- |%Thing|)
- |ISTRING;replace;$Us2$;15|))
-
-(DECLAIM (FTYPE (FUNCTION (|%Thing| |%Integer| |%Char| |%Shell|)
- |%Char|)
- |ISTRING;setelt;$I2C;16|))
-
-(DECLAIM (FTYPE (FUNCTION (|%Thing| |%Thing| |%Integer| |%Shell|)
- |%Boolean|)
- |ISTRING;substring?;2$IB;17|))
-
-(DECLAIM (FTYPE (FUNCTION (|%Thing| |%Thing| |%Integer| |%Shell|)
- |%Integer|)
- |ISTRING;position;2$2I;18|))
-
-(DECLAIM (FTYPE (FUNCTION (|%Char| |%Thing| |%Integer| |%Shell|)
- |%Integer|)
- |ISTRING;position;C$2I;19|))
-
-(DECLAIM (FTYPE (FUNCTION (|%Thing| |%Thing| |%Integer| |%Shell|)
- |%Integer|)
- |ISTRING;position;Cc$2I;20|))
-
-(DECLAIM (FTYPE (FUNCTION (|%Thing| |%Thing| |%Shell|) |%Boolean|)
- |ISTRING;suffix?;2$B;21|))
-
-(DECLAIM (FTYPE (FUNCTION (|%Thing| |%Char| |%Shell|) |%List|)
- |ISTRING;split;$CL;22|))
-
-(DECLAIM (FTYPE (FUNCTION (|%Thing| |%Thing| |%Shell|) |%List|)
- |ISTRING;split;$CcL;23|))
-
-(DECLAIM (FTYPE (FUNCTION (|%Thing| |%Char| |%Shell|) |%Thing|)
- |ISTRING;leftTrim;$C$;24|))
-
-(DECLAIM (FTYPE (FUNCTION (|%Thing| |%Thing| |%Shell|) |%Thing|)
- |ISTRING;leftTrim;$Cc$;25|))
-
-(DECLAIM (FTYPE (FUNCTION (|%Thing| |%Char| |%Shell|) |%Thing|)
- |ISTRING;rightTrim;$C$;26|))
-
-(DECLAIM (FTYPE (FUNCTION (|%Thing| |%Thing| |%Shell|) |%Thing|)
- |ISTRING;rightTrim;$Cc$;27|))
-
-(DECLAIM (FTYPE (FUNCTION (|%List| |%Shell|) |%Thing|)
- |ISTRING;concat;L$;28|))
-
-(DECLAIM (FTYPE (FUNCTION (|%Thing| |%Thing| |%Integer| |%Shell|)
- |%Thing|)
- |ISTRING;copyInto!;2$I$;29|))
-
-(DECLAIM (FTYPE (FUNCTION (|%Thing| |%Integer| |%Shell|) |%Char|)
- |ISTRING;elt;$IC;30|))
-
-(DECLAIM (FTYPE (FUNCTION (|%Thing| |%Thing| |%Shell|) |%Thing|)
- |ISTRING;elt;$Us$;31|))
-
-(DECLAIM (FTYPE (FUNCTION (|%Thing| |%Shell|) |%Short|)
- |ISTRING;hash;$Si;32|))
-
-(PUT '|ISTRING;hash;$Si;32| '|SPADreplace| '|%hash|)
-
-(DECLAIM (FTYPE (FUNCTION (|%Thing| |%Thing| |%Char| |%Shell|)
- (|%IntegerSection| 0))
- |ISTRING;match;2$CNni;33|))
-
-(DECLAIM (FTYPE (FUNCTION (|%Thing| |%Thing| |%Char| |%Shell|)
- |%Boolean|)
- |ISTRING;match?;2$CB;34|))
-
-(DEFUN |ISTRING;new;NniC$;1| (|n| |c| $)
- (DECLARE (IGNORE $))
- (MAKE-FULL-CVEC |n| |c|))
-
-(DEFUN |ISTRING;empty;$;2| ($) (MAKE-FULL-CVEC 0))
-
-(DEFUN |ISTRING;empty?;$B;3| (|s| $)
- (DECLARE (IGNORE $))
- (ZEROP (LENGTH |s|)))
-
-(DEFUN |ISTRING;#;$Nni;4| (|s| $) (DECLARE (IGNORE $)) (LENGTH |s|))
-
-(DEFUN |ISTRING;=;2$B;5| (|s| |t| $)
- (DECLARE (IGNORE $))
- (NOT (NULL (STRING= |s| |t|))))
-
-(DEFUN |ISTRING;<;2$B;6| (|s| |t| $)
- (DECLARE (IGNORE $))
- (NOT (NULL (STRING< |s| |t|))))
-
-(DEFUN |ISTRING;concat;3$;7| (|s| |t| $)
- (DECLARE (IGNORE $))
- (STRCONC |s| |t|))
-
-(DEFUN |ISTRING;copy;2$;8| (|s| $)
- (DECLARE (IGNORE $))
- (COPY-SEQ |s|))
-
-(DEFUN |ISTRING;insert;2$I$;9| (|s| |t| |i| $)
- (STRCONC (STRCONC (|ISTRING;elt;$Us$;31| |s|
- (SPADCALL (SVREF $ 6) (- |i| 1)
- (|shellEntry| $ 24))
- $)
- |t|)
- (|ISTRING;elt;$Us$;31| |s|
- (SPADCALL |i| (|shellEntry| $ 26)) $)))
-
-(DEFUN |ISTRING;coerce;$Of;10| (|s| $)
- (SPADCALL |s| (|shellEntry| $ 30)))
-
-(DEFUN |ISTRING;minIndex;$I;11| (|s| $) (SVREF $ 6))
-
-(DEFUN |ISTRING;upperCase!;2$;12| (|s| $)
- (SPADCALL (ELT $ 35) |s| (|shellEntry| $ 37)))
-
-(DEFUN |ISTRING;lowerCase!;2$;13| (|s| $)
- (SPADCALL (ELT $ 40) |s| (|shellEntry| $ 37)))
-
-(DEFUN |ISTRING;latex;$S;14| (|s| $)
- (DECLARE (IGNORE $))
- (STRCONC "\\mbox{``" (STRCONC |s| "''}")))
-
-(DEFUN |ISTRING;replace;$Us2$;15| (|s| |sg| |t| $)
- (PROG (|r| |k|)
- (RETURN
- (LET ((|l| (- (SPADCALL |sg| (|shellEntry| $ 44)) (SVREF $ 6)))
- (|m| (LENGTH |s|)) (|n| (LENGTH |t|))
- (|h| (COND
- ((SPADCALL |sg| (|shellEntry| $ 45))
- (- (SPADCALL |sg| (|shellEntry| $ 46)) (SVREF $ 6)))
- (T (- (SPADCALL |s| (|shellEntry| $ 47))
- (SVREF $ 6))))))
- (COND
- ((OR (OR (MINUSP |l|) (NOT (< |h| |m|))) (< |h| (- |l| 1)))
- (|error| "index out of range"))
- (T (SEQ (LETT |r|
- (MAKE-FULL-CVEC
- (LET ((#0=#:G1420
- (+ (- |m| (+ (- |h| |l|) 1)) |n|)))
- (|check-subtype| (NOT (MINUSP #0#))
- '(|NonNegativeInteger|) #0#))
- (|spadConstant| $ 53))
- |ISTRING;replace;$Us2$;15|)
- (LETT |k| 0 |ISTRING;replace;$Us2$;15|)
- (LET ((|i| 0) (#1=#:G1511 (- |l| 1)))
- (LOOP
- (COND
- ((> |i| #1#) (RETURN NIL))
- (T (SEQ (SETF (CHAR |r| |k|) (CHAR |s| |i|))
- (EXIT (SETQ |k| (+ |k| 1))))))
- (SETQ |i| (+ |i| 1))))
- (LET ((|i| 0) (#2=#:G1512 (- |n| 1)))
- (LOOP
- (COND
- ((> |i| #2#) (RETURN NIL))
- (T (SEQ (SETF (CHAR |r| |k|) (CHAR |t| |i|))
- (EXIT (SETQ |k| (+ |k| 1))))))
- (SETQ |i| (+ |i| 1))))
- (LET ((|i| (+ |h| 1)) (#3=#:G1513 (- |m| 1)))
- (LOOP
- (COND
- ((> |i| #3#) (RETURN NIL))
- (T (SEQ (SETF (CHAR |r| |k|) (CHAR |s| |i|))
- (EXIT (SETQ |k| (+ |k| 1))))))
- (SETQ |i| (+ |i| 1))))
- (EXIT |r|))))))))
-
-(DEFUN |ISTRING;setelt;$I2C;16| (|s| |i| |c| $)
- (COND
- ((OR (< |i| (SVREF $ 6))
- (< (SPADCALL |s| (|shellEntry| $ 47)) |i|))
- (|error| "index out of range"))
- (T (SEQ (SETF (CHAR |s| (- |i| (SVREF $ 6))) |c|) (EXIT |c|)))))
-
-(DEFUN |ISTRING;substring?;2$IB;17| (|part| |whole| |startpos| $)
- (LET ((|np| (LENGTH |part|)) (|nw| (LENGTH |whole|)))
- (SEQ (SETQ |startpos| (- |startpos| (SVREF $ 6)))
- (EXIT (COND
- ((MINUSP |startpos|) (|error| "index out of bounds"))
- (T (AND (NOT (< (- |nw| |startpos|) |np|))
- (SEQ (LET ((|ip| 0) (#0=#:G1514 (- |np| 1))
- (|iw| |startpos|))
- (LOOP
- (COND
- ((> |ip| #0#) (RETURN NIL))
- (T
- (COND
- ((NOT
- (CHAR= (CHAR |part| |ip|)
- (CHAR |whole| |iw|)))
- (RETURN-FROM
- |ISTRING;substring?;2$IB;17|
- NIL)))))
- (SETQ |ip| (+ |ip| 1))
- (SETQ |iw| (+ |iw| 1))))
- (EXIT T)))))))))
-
-(DEFUN |ISTRING;position;2$2I;18| (|s| |t| |startpos| $)
- (PROG (|r|)
- (RETURN
- (SEQ (SETQ |startpos| (- |startpos| (SVREF $ 6)))
- (EXIT (COND
- ((MINUSP |startpos|)
- (|error| "index out of bounds"))
- ((NOT (< |startpos| (LENGTH |t|)))
- (- (SVREF $ 6) 1))
- (T (SEQ (LETT |r| (STRPOS |s| |t| |startpos| NIL)
- |ISTRING;position;2$2I;18|)
- (EXIT (COND
- ((EQ |r| NIL) (- (SVREF $ 6) 1))
- (T (+ |r| (SVREF $ 6)))))))))))))
-
-(DEFUN |ISTRING;position;C$2I;19| (|c| |t| |startpos| $)
- (SEQ (SETQ |startpos| (- |startpos| (SVREF $ 6)))
- (EXIT (COND
- ((MINUSP |startpos|) (|error| "index out of bounds"))
- ((NOT (< |startpos| (LENGTH |t|))) (- (SVREF $ 6) 1))
- (T (SEQ (LET ((|r| |startpos|)
- (#0=#:G1515 (- (LENGTH |t|) 1)))
- (LOOP
- (COND
- ((> |r| #0#) (RETURN NIL))
- (T (COND
- ((CHAR= (CHAR |t| |r|) |c|)
- (RETURN-FROM
- |ISTRING;position;C$2I;19|
- (+ |r| (SVREF $ 6)))))))
- (SETQ |r| (+ |r| 1))))
- (EXIT (- (SVREF $ 6) 1))))))))
-
-(DEFUN |ISTRING;position;Cc$2I;20| (|cc| |t| |startpos| $)
- (SEQ (SETQ |startpos| (- |startpos| (SVREF $ 6)))
- (EXIT (COND
- ((MINUSP |startpos|) (|error| "index out of bounds"))
- ((NOT (< |startpos| (LENGTH |t|))) (- (SVREF $ 6) 1))
- (T (SEQ (LET ((|r| |startpos|)
- (#0=#:G1516 (- (LENGTH |t|) 1)))
- (LOOP
- (COND
- ((> |r| #0#) (RETURN NIL))
- (T (COND
- ((SPADCALL (CHAR |t| |r|) |cc|
- (|shellEntry| $ 65))
- (RETURN-FROM
- |ISTRING;position;Cc$2I;20|
- (+ |r| (SVREF $ 6)))))))
- (SETQ |r| (+ |r| 1))))
- (EXIT (- (SVREF $ 6) 1))))))))
-
-(DEFUN |ISTRING;suffix?;2$B;21| (|s| |t| $)
- (LET ((|m| (SPADCALL |s| (|shellEntry| $ 47)))
- (|n| (SPADCALL |t| (|shellEntry| $ 47))))
- (AND (NOT (< |n| |m|))
- (|ISTRING;substring?;2$IB;17| |s| |t|
- (- (+ (SVREF $ 6) |n|) |m|) $))))
-
-(DEFUN |ISTRING;split;$CL;22| (|s| |c| $)
- (PROG (|l| |j|)
- (RETURN
- (LET ((|n| (SPADCALL |s| (|shellEntry| $ 47))) (|i| (SVREF $ 6)))
- (SEQ (LOOP
- (COND
- ((NOT (AND (NOT (< |n| |i|))
- (SPADCALL (|ISTRING;elt;$IC;30| |s| |i| $)
- |c| (|shellEntry| $ 70))))
- (RETURN NIL))
- (T (SETQ |i| (+ |i| 1)))))
- (LETT |l| NIL |ISTRING;split;$CL;22|)
- (LOOP
- (COND
- ((NOT (AND (NOT (< |n| |i|))
- (NOT (< (LETT |j|
- (|ISTRING;position;C$2I;19| |c|
- |s| |i| $)
- |ISTRING;split;$CL;22|)
- (SVREF $ 6)))))
- (RETURN NIL))
- (T (SEQ (SETQ |l|
- (SPADCALL
- (|ISTRING;elt;$Us$;31| |s|
- (SPADCALL |i| (- |j| 1)
- (|shellEntry| $ 24))
- $)
- |l| (|shellEntry| $ 73)))
- (SETQ |i| |j|)
- (EXIT (LOOP
- (COND
- ((NOT
- (AND (NOT (< |n| |i|))
- (SPADCALL
- (|ISTRING;elt;$IC;30| |s| |i| $)
- |c| (|shellEntry| $ 70))))
- (RETURN NIL))
- (T (SETQ |i| (+ |i| 1))))))))))
- (COND
- ((NOT (< |n| |i|))
- (SETQ |l|
- (SPADCALL
- (|ISTRING;elt;$Us$;31| |s|
- (SPADCALL |i| |n| (|shellEntry| $ 24)) $)
- |l| (|shellEntry| $ 73)))))
- (EXIT (NREVERSE |l|)))))))
-
-(DEFUN |ISTRING;split;$CcL;23| (|s| |cc| $)
- (PROG (|l| |j|)
- (RETURN
- (LET ((|n| (SPADCALL |s| (|shellEntry| $ 47))) (|i| (SVREF $ 6)))
- (SEQ (LOOP
- (COND
- ((NOT (AND (NOT (< |n| |i|))
- (SPADCALL (|ISTRING;elt;$IC;30| |s| |i| $)
- |cc| (|shellEntry| $ 65))))
- (RETURN NIL))
- (T (SETQ |i| (+ |i| 1)))))
- (LETT |l| NIL |ISTRING;split;$CcL;23|)
- (LOOP
- (COND
- ((NOT (AND (NOT (< |n| |i|))
- (NOT (< (LETT |j|
- (|ISTRING;position;Cc$2I;20| |cc|
- |s| |i| $)
- |ISTRING;split;$CcL;23|)
- (SVREF $ 6)))))
- (RETURN NIL))
- (T (SEQ (SETQ |l|
- (SPADCALL
- (|ISTRING;elt;$Us$;31| |s|
- (SPADCALL |i| (- |j| 1)
- (|shellEntry| $ 24))
- $)
- |l| (|shellEntry| $ 73)))
- (SETQ |i| |j|)
- (EXIT (LOOP
- (COND
- ((NOT
- (AND (NOT (< |n| |i|))
- (SPADCALL
- (|ISTRING;elt;$IC;30| |s| |i| $)
- |cc| (|shellEntry| $ 65))))
- (RETURN NIL))
- (T (SETQ |i| (+ |i| 1))))))))))
- (COND
- ((NOT (< |n| |i|))
- (SETQ |l|
- (SPADCALL
- (|ISTRING;elt;$Us$;31| |s|
- (SPADCALL |i| |n| (|shellEntry| $ 24)) $)
- |l| (|shellEntry| $ 73)))))
- (EXIT (NREVERSE |l|)))))))
-
-(DEFUN |ISTRING;leftTrim;$C$;24| (|s| |c| $)
- (LET ((|n| (SPADCALL |s| (|shellEntry| $ 47))) (|i| (SVREF $ 6)))
- (SEQ (LOOP
- (COND
- ((NOT (AND (NOT (< |n| |i|))
- (SPADCALL (|ISTRING;elt;$IC;30| |s| |i| $) |c|
- (|shellEntry| $ 70))))
- (RETURN NIL))
- (T (SETQ |i| (+ |i| 1)))))
- (EXIT (|ISTRING;elt;$Us$;31| |s|
- (SPADCALL |i| |n| (|shellEntry| $ 24)) $)))))
-
-(DEFUN |ISTRING;leftTrim;$Cc$;25| (|s| |cc| $)
- (LET ((|n| (SPADCALL |s| (|shellEntry| $ 47))) (|i| (SVREF $ 6)))
- (SEQ (LOOP
- (COND
- ((NOT (AND (NOT (< |n| |i|))
- (SPADCALL (|ISTRING;elt;$IC;30| |s| |i| $) |cc|
- (|shellEntry| $ 65))))
- (RETURN NIL))
- (T (SETQ |i| (+ |i| 1)))))
- (EXIT (|ISTRING;elt;$Us$;31| |s|
- (SPADCALL |i| |n| (|shellEntry| $ 24)) $)))))
-
-(DEFUN |ISTRING;rightTrim;$C$;26| (|s| |c| $)
- (LET ((|j| (SPADCALL |s| (|shellEntry| $ 47))))
- (SEQ (LOOP
- (COND
- ((NOT (AND (NOT (< |j| (SVREF $ 6)))
- (SPADCALL (|ISTRING;elt;$IC;30| |s| |j| $) |c|
- (|shellEntry| $ 70))))
- (RETURN NIL))
- (T (SETQ |j| (- |j| 1)))))
- (EXIT (|ISTRING;elt;$Us$;31| |s|
- (SPADCALL (|ISTRING;minIndex;$I;11| |s| $) |j|
- (|shellEntry| $ 24))
- $)))))
-
-(DEFUN |ISTRING;rightTrim;$Cc$;27| (|s| |cc| $)
- (LET ((|j| (SPADCALL |s| (|shellEntry| $ 47))))
- (SEQ (LOOP
- (COND
- ((NOT (AND (NOT (< |j| (SVREF $ 6)))
- (SPADCALL (|ISTRING;elt;$IC;30| |s| |j| $) |cc|
- (|shellEntry| $ 65))))
- (RETURN NIL))
- (T (SETQ |j| (- |j| 1)))))
- (EXIT (|ISTRING;elt;$Us$;31| |s|
- (SPADCALL (|ISTRING;minIndex;$I;11| |s| $) |j|
- (|shellEntry| $ 24))
- $)))))
-
-(DEFUN |ISTRING;concat;L$;28| (|l| $)
- (LET ((|t| (MAKE-FULL-CVEC
- (LET ((#0=#:G1473 NIL) (#1=#:G1474 T)
- (#2=#:G1518 |l|))
- (LOOP
- (COND
- ((ATOM #2#) (RETURN (COND (#1# 0) (T #0#))))
- (T (LET ((|s| (CAR #2#)))
- (LET ((#3=#:G1472 (LENGTH |s|)))
- (COND
- (#1# (SETQ #0# #3#))
- (T (SETQ #0# (+ #0# #3#))))
- (SETQ #1# NIL)))))
- (SETQ #2# (CDR #2#))))
- (|spadConstant| $ 53)))
- (|i| (SVREF $ 6)))
- (SEQ (LET ((#4=#:G1517 |l|))
- (LOOP
- (COND
- ((ATOM #4#) (RETURN NIL))
- (T (LET ((|s| (CAR #4#)))
- (SEQ (|ISTRING;copyInto!;2$I$;29| |t| |s| |i| $)
- (EXIT (SETQ |i| (+ |i| (LENGTH |s|))))))))
- (SETQ #4# (CDR #4#))))
- (EXIT |t|))))
-
-(DEFUN |ISTRING;copyInto!;2$I$;29| (|y| |x| |s| $)
- (LET ((|m| (LENGTH |x|)) (|n| (LENGTH |y|)))
- (SEQ (SETQ |s| (- |s| (SVREF $ 6)))
- (EXIT (COND
- ((OR (MINUSP |s|) (< |n| (+ |s| |m|)))
- (|error| "index out of range"))
- (T (SEQ (RPLACSTR |y| |s| |m| |x| 0 |m|) (EXIT |y|))))))))
-
-(DEFUN |ISTRING;elt;$IC;30| (|s| |i| $)
- (COND
- ((OR (< |i| (SVREF $ 6))
- (< (SPADCALL |s| (|shellEntry| $ 47)) |i|))
- (|error| "index out of range"))
- (T (CHAR |s| (- |i| (SVREF $ 6))))))
-
-(DEFUN |ISTRING;elt;$Us$;31| (|s| |sg| $)
- (LET ((|l| (- (SPADCALL |sg| (|shellEntry| $ 44)) (SVREF $ 6)))
- (|h| (COND
- ((SPADCALL |sg| (|shellEntry| $ 45))
- (- (SPADCALL |sg| (|shellEntry| $ 46)) (SVREF $ 6)))
- (T (- (SPADCALL |s| (|shellEntry| $ 47)) (SVREF $ 6))))))
- (COND
- ((OR (MINUSP |l|) (NOT (< |h| (LENGTH |s|))))
- (|error| "index out of bound"))
- (T (SUBSTRING |s| |l| (MAX 0 (+ (- |h| |l|) 1)))))))
-
-(DEFUN |ISTRING;hash;$Si;32| (|s| $)
- (DECLARE (IGNORE $))
- (SXHASH |s|))
-
-(DEFUN |ISTRING;match;2$CNni;33| (|pattern| |target| |wildcard| $)
- (|stringMatch| |pattern| |target| (CHARACTER |wildcard|)))
-
-(DEFUN |ISTRING;match?;2$CB;34| (|pattern| |target| |dontcare| $)
- (PROG (|m| |p| |i| |q| |s|)
- (RETURN
- (LET ((|n| (SPADCALL |pattern| (|shellEntry| $ 47))))
- (SEQ (LETT |p|
- (LET ((#0=#:G1501
- (|ISTRING;position;C$2I;19| |dontcare|
- |pattern|
- (LETT |m|
- (|ISTRING;minIndex;$I;11|
- |pattern| $)
- |ISTRING;match?;2$CB;34|)
- $)))
- (|check-subtype| (NOT (MINUSP #0#))
- '(|NonNegativeInteger|) #0#))
- |ISTRING;match?;2$CB;34|)
- (EXIT (COND
- ((EQL |p| (- |m| 1))
- (NOT (NULL (STRING= |pattern| |target|))))
- (T (AND (NOT (AND (SPADCALL |p| |m|
- (|shellEntry| $ 88))
- (NOT
- (SPADCALL
- (|ISTRING;elt;$Us$;31|
- |pattern|
- (SPADCALL |m| (- |p| 1)
- (|shellEntry| $ 24))
- $)
- |target| (|shellEntry| $ 89)))))
- (SEQ (LETT |i| |p|
- |ISTRING;match?;2$CB;34|)
- (LETT |q|
- (LET
- ((#1=#:G1502
- (|ISTRING;position;C$2I;19|
- |dontcare| |pattern|
- (+ |p| 1) $)))
- (|check-subtype|
- (NOT (MINUSP #1#))
- '(|NonNegativeInteger|) #1#))
- |ISTRING;match?;2$CB;34|)
- (LOOP
- (COND
- ((NOT
- (SPADCALL |q| (- |m| 1)
- (|shellEntry| $ 88)))
- (RETURN NIL))
- (T
- (SEQ
- (LETT |s|
- (|ISTRING;elt;$Us$;31|
- |pattern|
- (SPADCALL (+ |p| 1) (- |q| 1)
- (|shellEntry| $ 24))
- $)
- |ISTRING;match?;2$CB;34|)
- (SETQ |i|
- (LET
- ((#2=#:G1503
- (|ISTRING;position;2$2I;18|
- |s| |target| |i| $)))
- (|check-subtype|
- (NOT (MINUSP #2#))
- '(|NonNegativeInteger|)
- #2#)))
- (EXIT
- (COND
- ((EQL |i| (- |m| 1))
- (RETURN-FROM
- |ISTRING;match?;2$CB;34|
- NIL))
- (T
- (SEQ
- (SETQ |i|
- (+ |i| (LENGTH |s|)))
- (SETQ |p| |q|)
- (EXIT
- (SETQ |q|
- (LET
- ((#3=#:G1504
- (|ISTRING;position;C$2I;19|
- |dontcare| |pattern|
- (+ |q| 1) $)))
- (|check-subtype|
- (NOT (MINUSP #3#))
- '(|NonNegativeInteger|)
- #3#))))))))))))
- (COND
- ((AND
- (SPADCALL |p| |n|
- (|shellEntry| $ 88))
- (NOT
- (|ISTRING;suffix?;2$B;21|
- (|ISTRING;elt;$Us$;31|
- |pattern|
- (SPADCALL (+ |p| 1) |n|
- (|shellEntry| $ 24))
- $)
- |target| $)))
- (EXIT NIL)))
- (EXIT T)))))))))))
-
-(DEFUN |IndexedString| (#0=#:G1519)
- (DECLARE (SPECIAL |$ConstructorCache|))
- (LET ((#1=#:G1520
- (|lassocShiftWithFunction| (LIST (|devaluate| #0#))
- (HGET |$ConstructorCache| '|IndexedString|)
- '|domainEqualList|)))
- (COND
- (#1# (|CDRwithIncrement| #1#))
- (T (UNWIND-PROTECT
- (PROG1 (|IndexedString;| #0#) (SETQ #1# T))
- (COND
- ((NOT #1#) (HREM |$ConstructorCache| '|IndexedString|))))))))
-
-(DEFUN |IndexedString;| (|#1|)
- (DECLARE (SPECIAL |$ConstructorCache|))
- (LET* ((|dv$1| (|devaluate| |#1|))
- (|dv$| (LIST '|IndexedString| |dv$1|)) ($ (|newShell| 101))
- (|pv$| (|buildPredVector| 0 0
- (LIST (OR (AND (|HasCategory| (|Character|)
- '(|OrderedSet|))
- (|HasCategory| (|Character|)
- '(|Evalable| (|Character|))))
- (AND (|HasCategory| (|Character|)
- '(|SetCategory|))
- (|HasCategory| (|Character|)
- '(|Evalable| (|Character|)))))
- (OR (|HasCategory| (|Character|)
- '(|CoercibleTo| (|OutputForm|)))
- (AND (|HasCategory| (|Character|)
- '(|SetCategory|))
- (|HasCategory| (|Character|)
- '(|Evalable| (|Character|)))))
- (|HasCategory| (|Character|)
- '(|ConvertibleTo| (|InputForm|)))
- (OR (|HasCategory| (|Character|)
- '(|OrderedSet|))
- (|HasCategory| (|Character|)
- '(|SetCategory|)))
- (|HasCategory| (|Character|) '(|OrderedSet|))
- (OR (|HasCategory| (|Character|)
- '(|BasicType|))
- (|HasCategory| (|Character|)
- '(|OrderedSet|))
- (|HasCategory| (|Character|)
- '(|SetCategory|)))
- (|HasCategory| (|Integer|) '(|OrderedSet|))
- (|HasCategory| (|Character|)
- '(|SetCategory|))
- (|HasCategory| (|Character|)
- '(|CoercibleTo| (|OutputForm|)))
- (|HasCategory| (|Character|) '(|BasicType|))
- (AND (|HasCategory| (|Character|)
- '(|SetCategory|))
- (|HasCategory| (|Character|)
- '(|Evalable| (|Character|))))))))
- (SETF (|shellEntry| $ 0) |dv$|)
- (SETF (|shellEntry| $ 3) |pv$|)
- (|haddProp| |$ConstructorCache| '|IndexedString| (LIST |dv$1|)
- (CONS 1 $))
- (|stuffDomainSlots| $)
- (SETF (|shellEntry| $ 6) |#1|)
- $))
-
-(MAKEPROP '|IndexedString| '|infovec|
- (LIST '#(NIL NIL NIL NIL NIL NIL (|local| |#1|)
- (|NonNegativeInteger|) (|Character|) |ISTRING;new;NniC$;1|
- (|Integer|) (0 . |Zero|) |ISTRING;empty;$;2| (|Boolean|)
- (4 . =) |ISTRING;empty?;$B;3| |ISTRING;#;$Nni;4|
- |ISTRING;=;2$B;5| |ISTRING;<;2$B;6| |ISTRING;concat;3$;7|
- |ISTRING;copy;2$;8| (10 . |One|) (14 . -)
- (|UniversalSegment| 10) (20 . SEGMENT)
- |ISTRING;elt;$Us$;31| (26 . SEGMENT)
- |ISTRING;insert;2$I$;9| (|String|) (|OutputForm|)
- (31 . |outputForm|) |ISTRING;coerce;$Of;10|
- |ISTRING;minIndex;$I;11| (|CharacterClass|)
- (36 . |upperCase|) (40 . |upperCase|) (|Mapping| 8 8)
- (45 . |map!|) |ISTRING;upperCase!;2$;12|
- (51 . |lowerCase|) (55 . |lowerCase|)
- |ISTRING;lowerCase!;2$;13| (60 . |concat|)
- |ISTRING;latex;$S;14| (66 . |lo|) (71 . |hasHi|)
- (76 . |hi|) (81 . |maxIndex|) (86 . |Zero|) (90 . <)
- (96 . >=) (102 . |One|) (106 . +) (112 . |space|)
- (|PositiveInteger|) (116 . |One|) (120 . +)
- |ISTRING;replace;$Us2$;15| (126 . >)
- |ISTRING;setelt;$I2C;16| (132 . |false|) (136 . |true|)
- |ISTRING;substring?;2$IB;17| |ISTRING;position;2$2I;18|
- |ISTRING;position;C$2I;19| (140 . |member?|)
- |ISTRING;position;Cc$2I;20| |ISTRING;suffix?;2$B;21|
- (146 . <=) |ISTRING;elt;$IC;30| (152 . =) (|List| $$)
- (158 . |empty|) (162 . |concat|) (168 . |reverse!|)
- (|List| $) |ISTRING;split;$CL;22| |ISTRING;split;$CcL;23|
- |ISTRING;leftTrim;$C$;24| |ISTRING;leftTrim;$Cc$;25|
- |ISTRING;rightTrim;$C$;26| |ISTRING;rightTrim;$Cc$;27|
- |ISTRING;copyInto!;2$I$;29| |ISTRING;concat;L$;28|
- (173 . |max|) (|SingleInteger|) |ISTRING;hash;$Si;32|
- |ISTRING;match;2$CNni;33| (179 . ~=) (185 . |prefix?|)
- |ISTRING;match?;2$CB;34| (|List| 8) (|Equation| 8)
- (|List| 92) (|Mapping| 8 8 8) (|InputForm|)
- (|Mapping| 13 8) (|Mapping| 13 8 8) (|Void|)
- (|Union| 8 '"failed") (|List| 10))
- '#(~= 191 |upperCase!| 197 |upperCase| 202 |trim| 207 |swap!|
- 219 |suffix?| 226 |substring?| 232 |split| 239 |sorted?|
- 251 |sort!| 262 |sort| 273 |size?| 284 |setelt| 290
- |select| 304 |sample| 310 |rightTrim| 314 |reverse!| 326
- |reverse| 331 |replace| 336 |removeDuplicates| 343
- |remove| 348 |reduce| 360 |qsetelt!| 381 |qelt| 388
- |prefix?| 394 |position| 400 |parts| 433 |new| 438 |more?|
- 444 |minIndex| 450 |min| 455 |merge| 461 |members| 474
- |member?| 479 |maxIndex| 485 |max| 490 |match?| 496
- |match| 503 |map!| 510 |map| 516 |lowerCase!| 529
- |lowerCase| 534 |less?| 539 |leftTrim| 545 |latex| 557
- |insert| 562 |indices| 576 |index?| 581 |hash| 587 |first|
- 592 |find| 597 |fill!| 603 |every?| 609 |eval| 615 |eq?|
- 641 |entry?| 647 |entries| 653 |empty?| 658 |empty| 663
- |elt| 667 |delete| 692 |count| 704 |copyInto!| 716 |copy|
- 723 |convert| 728 |construct| 733 |concat| 738 |coerce|
- 761 |before?| 771 |any?| 777 >= 783 > 789 = 795 <= 801 <
- 807 |#| 813)
- '((|shallowlyMutable| . 0) (|finiteAggregate| . 0))
- (CONS (|makeByteWordVec2| 6
- '(0 0 0 0 0 0 0 5 0 4 5 0 0 0 1 6 0 1 2 3))
- (CONS '#(|StringAggregate&|
- |OneDimensionalArrayAggregate&|
- |FiniteLinearAggregate&| |LinearAggregate&|
- |IndexedAggregate&| |Collection&|
- |HomogeneousAggregate&| NIL
- |EltableAggregate&| |SetCategory&|
- |OrderedType&| NIL |Aggregate&| NIL
- |Evalable&| |BasicType&| NIL |InnerEvalable&|
- NIL NIL)
- (CONS '#((|StringAggregate|)
- (|OneDimensionalArrayAggregate| 8)
- (|FiniteLinearAggregate| 8)
- (|LinearAggregate| 8)
- (|IndexedAggregate| 10 8)
- (|Collection| 8)
- (|HomogeneousAggregate| 8)
- (|OrderedSet|) (|EltableAggregate| 10 8)
- (|SetCategory|) (|OrderedType|)
- (|Eltable| 23 $$) (|Aggregate|)
- (|Eltable| 10 8) (|Evalable| 8)
- (|BasicType|) (|Type|)
- (|InnerEvalable| 8 8) (|CoercibleTo| 29)
- (|ConvertibleTo| 95))
- (|makeByteWordVec2| 100
- '(0 10 0 11 2 10 13 0 0 14 0 10 0 21 2
- 10 0 0 0 22 2 23 0 10 10 24 1 23 0 10
- 26 1 29 0 28 30 0 33 0 34 1 8 0 0 35
- 2 0 0 36 0 37 0 33 0 39 1 8 0 0 40 2
- 28 0 0 0 42 1 23 10 0 44 1 23 13 0 45
- 1 23 10 0 46 1 0 10 0 47 0 7 0 48 2
- 10 13 0 0 49 2 10 13 0 0 50 0 7 0 51
- 2 10 0 0 0 52 0 8 0 53 0 54 0 55 2 7
- 0 0 0 56 2 10 13 0 0 58 0 13 0 60 0
- 13 0 61 2 33 13 8 0 65 2 10 13 0 0 68
- 2 8 13 0 0 70 0 71 0 72 2 71 0 2 0 73
- 1 71 0 0 74 2 10 0 0 0 84 2 10 13 0 0
- 88 2 0 13 0 0 89 2 10 13 0 0 1 1 0 0
- 0 38 1 0 0 0 1 2 0 0 0 8 1 2 0 0 0 33
- 1 3 0 98 0 10 10 1 2 0 13 0 0 67 3 0
- 13 0 0 10 62 2 0 75 0 33 77 2 0 75 0
- 8 76 1 5 13 0 1 2 0 13 97 0 1 1 5 0 0
- 1 2 0 0 97 0 1 1 5 0 0 1 2 0 0 97 0 1
- 2 0 13 0 7 1 3 0 8 0 23 8 1 3 0 8 0
- 10 8 59 2 0 0 96 0 1 0 0 0 1 2 0 0 0
- 8 80 2 0 0 0 33 81 1 0 0 0 1 1 0 0 0
- 1 3 0 0 0 23 0 57 1 8 0 0 1 2 8 0 8 0
- 1 2 0 0 96 0 1 4 8 8 94 0 8 8 1 3 0 8
- 94 0 8 1 2 0 8 94 0 1 3 0 8 0 10 8 1
- 2 0 8 0 10 1 2 0 13 0 0 89 3 8 10 8 0
- 10 64 2 8 10 8 0 1 3 0 10 33 0 10 66
- 3 0 10 0 0 10 63 2 0 10 96 0 1 1 0 91
- 0 1 2 0 0 7 8 9 2 0 13 0 7 1 1 7 10 0
- 32 2 5 0 0 0 1 2 5 0 0 0 1 3 0 0 97 0
- 0 1 1 0 91 0 1 2 8 13 8 0 1 1 7 10 0
- 47 2 5 0 0 0 1 3 0 13 0 0 8 90 3 0 7
- 0 0 8 87 2 0 0 36 0 37 3 0 0 94 0 0 1
- 2 0 0 36 0 1 1 0 0 0 41 1 0 0 0 1 2 0
- 13 0 7 1 2 0 0 0 8 78 2 0 0 0 33 79 1
- 8 28 0 43 3 0 0 8 0 10 1 3 0 0 0 0 10
- 27 1 0 100 0 1 2 0 13 10 0 1 1 8 85 0
- 86 1 7 8 0 1 2 0 99 96 0 1 2 0 0 0 8
- 1 2 0 13 96 0 1 3 11 0 0 91 91 1 3 11
- 0 0 8 8 1 2 11 0 0 93 1 2 11 0 0 92 1
- 2 0 13 0 0 1 2 8 13 8 0 1 1 0 91 0 1
- 1 0 13 0 15 0 0 0 12 2 0 0 0 0 1 2 0
- 0 0 23 25 2 0 8 0 10 69 3 0 8 0 10 8
- 1 2 0 0 0 10 1 2 0 0 0 23 1 2 8 7 8 0
- 1 2 0 7 96 0 1 3 0 0 0 0 10 82 1 0 0
- 0 20 1 3 95 0 1 1 0 0 91 1 2 0 0 0 0
- 19 1 0 0 75 83 2 0 0 8 0 1 2 0 0 0 8
- 1 1 9 29 0 31 1 0 0 8 1 2 10 13 0 0 1
- 2 0 13 96 0 1 2 5 13 0 0 1 2 5 13 0 0
- 1 2 10 13 0 0 17 2 5 13 0 0 1 2 5 13
- 0 0 18 1 0 7 0 16)))))
- '|lookupComplete|))
generated by cgit v1.2.3 (git 2.39.1) at 2024-07-01 05:07:08 +0000