Changeset 14175

Timestamp:

10/10/12 14:17:11 (8 years ago)

Author:

Mark Evenson

Message:

Reading a Lisp name for \uNNNN works for non-zero padded forms less than 0x1000.

Location:

trunk/abcl

Files:

• doc/manual/abcl.tex (modified) (1 diff)
• src/org/armedbear/lisp/LispCharacter.java (modified) (2 diffs)

trunk/abcl/doc/manual/abcl.tex

@@ -980 +980 @@
 \section{Extensions to the Reader}
 
-We implement a special hexadecimal escape sequence for specifying
-characters to the Lisp reader, namely we allow a sequences of the form
-\# \textbackslash Uxxxx to be processed by the reader as character
-whose code is specified by the hexadecimal digits ``xxxx''.  The
-hexadecimal sequence must be exactly four digits long \footnote{This
-  represents a compromise with contemporary in 2011 32bit hosting
-  architecures for which we wish to make text processing efficient.
-  Should the User require more control over UNICODE processing we
-  recommend Edi Weisz' excellent work with FLEXI-STREAMS which we
-  fully support}, padded by leading zeros for values less than 0x1000.
+We implement a special hexadecimal escape sequence for specifying 32
+bit characters to the Lisp reader\footnote{This represents a
+  compromise with contemporary in 2011 32bit hosting architecures for
+  which we wish to make text processing efficient.  Should the User
+  require more control over UNICODE processing we recommend Edi Weisz'
+  excellent work with FLEXI-STREAMS which we fully support}, namely we
+allow a sequences of the form \# \textbackslash Uxxxx to be processed
+by the reader as character whose code is specified by the hexadecimal
+digits ``xxxx''.  The hexadecimal sequence may be one to four digits
+long.
 
 Note that this sequence is never output by the implementation.  Instead,

trunk/abcl/src/org/armedbear/lisp/LispCharacter.java

@@ -557 +557 @@
         && lower.startsWith("u")) {
         try {
-            int i = Integer.parseInt(lower.substring(1, 5), 16);
+            final int i = Integer.parseInt(lower.substring(1, 5), 16);
             return i;
         } catch (NumberFormatException e) {};
@@ -586 +586 @@
     if (lower.equals("rubout"))
       return 127;
+    if (lower.startsWith("u")) {
+      int length = lower.length();
+      if (length > 1 && length < 5) {
+        try {
+          final int i = Integer.parseInt(lower.substring(1), 16);
+          return i;
+        } catch (NumberFormatException e) {};
+        // fall through
+      }
+    }
+
     // Unknown.
     return -1;