aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authordos-reis <gdr@axiomatics.org>2010-12-30 03:11:09 +0000
committerdos-reis <gdr@axiomatics.org>2010-12-30 03:11:09 +0000
commit865e926e0c7b9f8ad6201315a41a89b2258d77a7 (patch)
treef0fa217290170432c70485846600e0f776505165
parent68441ed372470b7d3eb3d24178b61dc16bc6978e (diff)
downloadopen-axiom-865e926e0c7b9f8ad6201315a41a89b2258d77a7.tar.gz
more char cleanup
-rw-r--r--src/algebra/string.spad.pamphlet2
-rw-r--r--src/boot/ast.boot2
-rw-r--r--src/interp/scan.boot84
-rw-r--r--src/interp/vmlisp.lisp2
4 files changed, 35 insertions, 55 deletions
diff --git a/src/algebra/string.spad.pamphlet b/src/algebra/string.spad.pamphlet
index 2dd8ec2e..baa4a99d 100644
--- a/src/algebra/string.spad.pamphlet
+++ b/src/algebra/string.spad.pamphlet
@@ -268,7 +268,7 @@ CharacterClass: Join(SetCategory, ConvertibleTo String,
++ Authors: Stephen Watt, Michael Monagan, Manuel Bronstein 1986 .. 1991
-- The following Lisp dependencies are divided into two groups
-- Those that are required
--- QENUM QESET MAKE-FULL-CVEC EQ QSLESSP QSGREATERP
+-- QESET MAKE-FULL-CVEC EQ QSLESSP QSGREATERP
-- Those that can are included for efficiency only
-- COPY STRCONC SUBSTRING STRPOS RPLACSTR DOWNCASE UPCASE CGREATERP
++ Description:
diff --git a/src/boot/ast.boot b/src/boot/ast.boot
index 0d8bd1b5..f1ad60cd 100644
--- a/src/boot/ast.boot
+++ b/src/boot/ast.boot
@@ -748,7 +748,7 @@ bfChar? x ==
char? x or cons? x and first x in '(char CODE_-CHAR SCHAR)
bfSmintable x==
- integer? x or cons? x and first x in '(SIZE LENGTH QENUM)
+ integer? x or cons? x and first x in '(SIZE LENGTH)
bfString? x ==
string? x
diff --git a/src/interp/scan.boot b/src/interp/scan.boot
index be05beec..6f5f5776 100644
--- a/src/interp/scan.boot
+++ b/src/interp/scan.boot
@@ -47,22 +47,6 @@ $RDigits ==
$smallLetters ==
'"abcdefghijklmnopqrstuvwxyz"
---% Separators
-
-$SPACE == QENUM('" ", 0)
-ESCAPE == QENUM('"__ ", 0)
-STRING_CHAR == QENUM('"_" ", 0)
-PLUSCOMMENT == QENUM('"+ ", 0)
-MINUSCOMMENT == QENUM('"- ", 0)
-RADIX_CHAR == QENUM('"r ", 0)
-DOT == QENUM('". ", 0)
-EXPONENT1 == QENUM('"E ", 0)
-EXPONENT2 == QENUM('"e ", 0)
-CLOSEPAREN == QENUM('") ", 0)
-CLOSEANGLE == QENUM('"> ", 0)
-QUESTION == QENUM('"? ",0)
-
-
--% Keywords
scanKeyWords == [ _
@@ -176,7 +160,7 @@ scanKeyTable:=scanKeyTableCons()
scanInsert(s,d) ==
l := #s
- h := QENUM(s,0)
+ h := codePoint stringChar(s,0)
u := d.h
n := #u
k:=0
@@ -215,7 +199,7 @@ scanPunCons()==
BVEC_-SETELT(a,i,0)
for k in listing repeat
if not startsId? k.0
- then BVEC_-SETELT(a,QENUM(k,0),1)
+ then BVEC_-SETELT(a,codePoint stringChar(k,0),1)
a
scanPun:=scanPunCons()
@@ -262,8 +246,7 @@ for i in [ _
scanIgnoreLine(ln,n)==
n = nil => n
- fst := QENUM(ln,0)
- fst = CLOSEPAREN =>
+ stringChar(ln,0) = char ")" =>
incPrefix?('"command",1,ln) => true
nil
n
@@ -302,10 +285,9 @@ lineoftoks(s)==
scanToken() ==
ln := $ln
- c := QENUM($ln,$n)
linepos := $linepos
n := $n
- ch := $ln.$n
+ ch := stringChar($ln,$n)
b :=
startsComment?() =>
scanComment()
@@ -313,17 +295,17 @@ scanToken() ==
startsNegComment?() =>
scanNegComment()
[]
- c = QUESTION =>
+ ch = char "?" =>
$n := $n+1
lfid '"?"
- punctuation? c => scanPunct()
+ punctuation? codePoint ch => scanPunct()
startsId? ch => scanWord(false)
- c = $SPACE =>
+ ch = char " " =>
scanSpace()
[]
- c = STRING_CHAR => scanString()
+ ch = char "_"" => scanString()
digit? ch => scanNumber()
- c = ESCAPE => scanEscape()
+ ch = char "__" => scanEscape()
scanError()
null b => nil
dqUnit constoken(ln,linepos,b,n+lnExtraBlanks linepos)
@@ -396,7 +378,7 @@ scanEsc()==
false
false
$n = n1 => true
- QENUM($ln,n1) = ESCAPE =>
+ stringChar($ln,n1) = char "__" =>
$n:=n1+1
scanEsc()
false
@@ -409,19 +391,19 @@ scanEsc()==
startsComment?()==
$n < $sz =>
- QENUM($ln,$n) = PLUSCOMMENT =>
- www := $n+1
+ stringChar($ln,$n) = char "+" =>
+ www := $n + 1
www >= $sz => false
- QENUM($ln,www) = PLUSCOMMENT
+ stringChar($ln,www) = char "+"
false
false
startsNegComment?()==
$n < $sz =>
- QENUM($ln,$n) = MINUSCOMMENT =>
+ stringChar($ln,$n) = char "-" =>
www := $n+1
www >= $sz => false
- QENUM($ln,www) = MINUSCOMMENT
+ stringChar($ln,www) = char "-"
false
false
@@ -524,7 +506,7 @@ scanW(b)== -- starts pointing to first char
$n := $n+1 -- the first character is not tested
l := $sz
endid := posend($ln,$n)
- endid=l or QENUM($ln,endid) ~= ESCAPE =>
+ endid=l or stringChar($ln,endid) ~= char "__" =>
-- not escaped
$n:=endid
[b,subString($ln,n1,endid-n1)] -- l overflows
@@ -557,7 +539,7 @@ spleI1(dig,zro) ==
l := $sz
while $n<l and FUNCALL(dig,($ln.$n)) repeat
$n := $n+1
- $n = l or QENUM($ln,$n) ~= ESCAPE =>
+ $n = l or stringChar($ln,$n) ~= char "__" =>
n = $n and zro => '"0"
subString($ln,n,$n-n)
-- escaped
@@ -581,12 +563,12 @@ scanCheckRadix(a,w)==
scanNumber() ==
a := spleI(function digit?)
$n >= $sz => lfinteger a
- QENUM($ln,$n) ~= RADIX_CHAR =>
- if $floatok and QENUM($ln,$n)=DOT
+ stringChar($ln,$n) ~= char "r" =>
+ if $floatok and stringChar($ln,$n) = char "."
then
n:=$n
$n:=$n+1
- if $n<$sz and QENUM($ln,$n)=DOT
+ if $n<$sz and stringChar($ln,$n) = char "."
then
$n:=n
lfinteger a
@@ -598,10 +580,10 @@ scanNumber() ==
w := spleI1(function rdigit?,false)
scanCheckRadix(a,w)
$n >= $sz => lfrinteger(a,w)
- QENUM($ln,$n) = DOT =>
+ stringChar($ln,$n) = char "." =>
n := $n
$n := $n+1
- $n < $sz and QENUM($ln,$n) = DOT =>
+ $n < $sz and stringChar($ln,$n) = char "." =>
$n :=n
lfrinteger(a,w)
v := spleI1(function rdigit?,true)
@@ -612,24 +594,24 @@ scanNumber() ==
scanExponent(a,w)==
$n >= $sz => lffloat(a,w,'"0")
n := $n
- c := QENUM($ln,$n)
- c = EXPONENT1 or c = EXPONENT2 =>
- $n := $n+1
+ c := stringChar($ln,$n)
+ c = char "E" or c = char "e" =>
+ $n := $n + 1
$n >= $sz =>
$n:=n
lffloat(a,w,'"0")
digit?($ln.$n) =>
e := spleI(function digit?)
lffloat(a,w,e)
- c1 := QENUM($ln,$n)
- c1 = PLUSCOMMENT or c1 = MINUSCOMMENT =>
- $n := $n+1
+ c := stringChar($ln,$n)
+ c = char "+" or c = char "-" =>
+ $n := $n + 1
$n >= $sz =>
- $n:=n
+ $n := n
lffloat(a,w,'"0")
- digit?($ln.$n) =>
+ digit? stringChar($ln,$n) =>
e := spleI(function digit?)
- lffloat(a,w,(c1 = MINUSCOMMENT => strconc('"-",e); e))
+ lffloat(a,w,(c = char "-" => strconc('"-",e); e))
$n := n
lffloat(a,w,'"0")
lffloat(a,w,'"0")
@@ -655,7 +637,7 @@ subMatch(l,i) ==
substringMatch(l,scanDict,i)
substringMatch (l,d,i)==
- h := QENUM(l, i)
+ h := codePoint stringChar(l, i)
u := d.h
ll := #l
done := false
@@ -667,7 +649,7 @@ substringMatch (l,d,i)==
ls+i > ll => false
eql := true
for k in 1..ls-1 while eql repeat
- eql := QENUM(s,k) = QENUM(l,k+i)
+ eql := stringChar(s,k) = stringChar(l,k+i)
eql =>
s1 := s
true
diff --git a/src/interp/vmlisp.lisp b/src/interp/vmlisp.lisp
index 4f213b69..696c8821 100644
--- a/src/interp/vmlisp.lisp
+++ b/src/interp/vmlisp.lisp
@@ -923,8 +923,6 @@
; 17.2 Accessing
-(defun QENUM (cvec ind) (char-code (char cvec ind)))
-
(defun QESET (cvec ind c)
(setf (char cvec ind) c))