• Top
    • Documentation
    • Books
    • Recursion-and-induction
    • Boolean-reasoning
    • Debugging
    • Projects
    • Std
      • Std/lists
      • Std/alists
      • Obags
      • Std/util
      • Std/strings
        • Pretty-printing
        • Printtree
        • Base64
        • Charset-p
        • Strtok!
        • Cases
        • Concatenation
        • Html-encoding
        • Character-kinds
        • Substrings
        • Strtok
        • Equivalences
        • Url-encoding
          • *url-encode-array*
            • Make-url-encode-array
          • Url-encode-chars-aux
          • Url-encode-char
          • Url-encode-chars
          • Url-encode-string
          • Url-encode-string-aux
          • Fast-url-encode-char
        • Lines
        • Ordering
        • Numbers
        • Pad-trim
        • Coercion
        • Std/strings-extensions
        • Std/strings/digit-to-char
        • Substitution
        • Symbols
      • Std/io
      • Std/osets
      • Std/system
      • Std/basic
      • Std/typed-lists
      • Std/bitsets
      • Std/testing
      • Std/typed-alists
      • Std/stobjs
      • Std-extensions
    • Proof-automation
    • Macro-libraries
    • ACL2
    • Interfacing-tools
    • Hardware-verification
    • Software-verification
    • Math
    • Testing-utilities
  • Url-encoding

*url-encode-array*

Array binding character codes to the pre-computed URL encodings.

Definition: *url-encode-array*

(defconst *url-encode-array*
  (compress1 'url-encode-array
             (cons '(:header :dimensions (256)
                             :maximum-length 257
                             :name url-encode-array)
                   (make-url-encode-array 255))))

Value:

((:header :dimensions (256)
          :maximum-length 257
          :name url-encode-array)
 (0 #\% #\0 #\0)
 (1 #\% #\0 #\1)
 (2 #\% #\0 #\2)
 (3 #\% #\0 #\3)
 (4 #\% #\0 #\4)
 (5 #\% #\0 #\5)
 (6 #\% #\0 #\6)
 (7 #\% #\0 #\7)
 (8 #\% #\0 #\8)
 (9 #\% #\0 #\9)
 (10 #\% #\0 #\A)
 (11 #\% #\0 #\B)
 (12 #\% #\0 #\C)
 (13 #\% #\0 #\D)
 (14 #\% #\0 #\E)
 (15 #\% #\0 #\F)
 (16 #\% #\1 #\0)
 (17 #\% #\1 #\1)
 (18 #\% #\1 #\2)
 (19 #\% #\1 #\3)
 (20 #\% #\1 #\4)
 (21 #\% #\1 #\5)
 (22 #\% #\1 #\6)
 (23 #\% #\1 #\7)
 (24 #\% #\1 #\8)
 (25 #\% #\1 #\9)
 (26 #\% #\1 #\A)
 (27 #\% #\1 #\B)
 (28 #\% #\1 #\C)
 (29 #\% #\1 #\D)
 (30 #\% #\1 #\E)
 (31 #\% #\1 #\F)
 (32 #\% #\2 #\0)
 (33 #\% #\2 #\1)
 (34 #\% #\2 #\2)
 (35 #\% #\2 #\3)
 (36 #\% #\2 #\4)
 (37 #\% #\2 #\5)
 (38 #\% #\2 #\6)
 (39 #\% #\2 #\7)
 (40 #\% #\2 #\8)
 (41 #\% #\2 #\9)
 (42 #\% #\2 #\A)
 (43 #\% #\2 #\B)
 (44 #\% #\2 #\C)
 (45 #\-)
 (46 #\.)
 (47 #\% #\2 #\F)
 (48 #\0)
 (49 #\1)
 (50 #\2)
 (51 #\3)
 (52 #\4)
 (53 #\5)
 (54 #\6)
 (55 #\7)
 (56 #\8)
 (57 #\9)
 (58 #\% #\3 #\A)
 (59 #\% #\3 #\B)
 (60 #\% #\3 #\C)
 (61 #\% #\3 #\D)
 (62 #\% #\3 #\E)
 (63 #\% #\3 #\F)
 (64 #\% #\4 #\0)
 (65 #\A)
 (66 #\B)
 (67 #\C)
 (68 #\D)
 (69 #\E)
 (70 #\F)
 (71 #\G)
 (72 #\H)
 (73 #\I)
 (74 #\J)
 (75 #\K)
 (76 #\L)
 (77 #\M)
 (78 #\N)
 (79 #\O)
 (80 #\P)
 (81 #\Q)
 (82 #\R)
 (83 #\S)
 (84 #\T)
 (85 #\U)
 (86 #\V)
 (87 #\W)
 (88 #\X)
 (89 #\Y)
 (90 #\Z)
 (91 #\% #\5 #\B)
 (92 #\% #\5 #\C)
 (93 #\% #\5 #\D)
 (94 #\% #\5 #\E)
 (95 #\_)
 (96 #\% #\6 #\0)
 (97 #\a)
 (98 #\b)
 (99 #\c)
 (100 #\d)
 (101 #\e)
 (102 #\f)
 (103 #\g)
 (104 #\h)
 (105 #\i)
 (106 #\j)
 (107 #\k)
 (108 #\l)
 (109 #\m)
 (110 #\n)
 (111 #\o)
 (112 #\p)
 (113 #\q)
 (114 #\r)
 (115 #\s)
 (116 #\t)
 (117 #\u)
 (118 #\v)
 (119 #\w)
 (120 #\x)
 (121 #\y)
 (122 #\z)
 (123 #\% #\7 #\B)
 (124 #\% #\7 #\C)
 (125 #\% #\7 #\D)
 (126 #\~)
 (127 #\% #\7 #\F)
 (128 #\% #\8 #\0)
 (129 #\% #\8 #\1)
 (130 #\% #\8 #\2)
 (131 #\% #\8 #\3)
 (132 #\% #\8 #\4)
 (133 #\% #\8 #\5)
 (134 #\% #\8 #\6)
 (135 #\% #\8 #\7)
 (136 #\% #\8 #\8)
 (137 #\% #\8 #\9)
 (138 #\% #\8 #\A)
 (139 #\% #\8 #\B)
 (140 #\% #\8 #\C)
 (141 #\% #\8 #\D)
 (142 #\% #\8 #\E)
 (143 #\% #\8 #\F)
 (144 #\% #\9 #\0)
 (145 #\% #\9 #\1)
 (146 #\% #\9 #\2)
 (147 #\% #\9 #\3)
 (148 #\% #\9 #\4)
 (149 #\% #\9 #\5)
 (150 #\% #\9 #\6)
 (151 #\% #\9 #\7)
 (152 #\% #\9 #\8)
 (153 #\% #\9 #\9)
 (154 #\% #\9 #\A)
 (155 #\% #\9 #\B)
 (156 #\% #\9 #\C)
 (157 #\% #\9 #\D)
 (158 #\% #\9 #\E)
 (159 #\% #\9 #\F)
 (160 #\% #\A #\0)
 (161 #\% #\A #\1)
 (162 #\% #\A #\2)
 (163 #\% #\A #\3)
 (164 #\% #\A #\4)
 (165 #\% #\A #\5)
 (166 #\% #\A #\6)
 (167 #\% #\A #\7)
 (168 #\% #\A #\8)
 (169 #\% #\A #\9)
 (170 #\% #\A #\A)
 (171 #\% #\A #\B)
 (172 #\% #\A #\C)
 (173 #\% #\A #\D)
 (174 #\% #\A #\E)
 (175 #\% #\A #\F)
 (176 #\% #\B #\0)
 (177 #\% #\B #\1)
 (178 #\% #\B #\2)
 (179 #\% #\B #\3)
 (180 #\% #\B #\4)
 (181 #\% #\B #\5)
 (182 #\% #\B #\6)
 (183 #\% #\B #\7)
 (184 #\% #\B #\8)
 (185 #\% #\B #\9)
 (186 #\% #\B #\A)
 (187 #\% #\B #\B)
 (188 #\% #\B #\C)
 (189 #\% #\B #\D)
 (190 #\% #\B #\E)
 (191 #\% #\B #\F)
 (192 #\% #\C #\0)
 (193 #\% #\C #\1)
 (194 #\% #\C #\2)
 (195 #\% #\C #\3)
 (196 #\% #\C #\4)
 (197 #\% #\C #\5)
 (198 #\% #\C #\6)
 (199 #\% #\C #\7)
 (200 #\% #\C #\8)
 (201 #\% #\C #\9)
 (202 #\% #\C #\A)
 (203 #\% #\C #\B)
 (204 #\% #\C #\C)
 (205 #\% #\C #\D)
 (206 #\% #\C #\E)
 (207 #\% #\C #\F)
 (208 #\% #\D #\0)
 (209 #\% #\D #\1)
 (210 #\% #\D #\2)
 (211 #\% #\D #\3)
 (212 #\% #\D #\4)
 (213 #\% #\D #\5)
 (214 #\% #\D #\6)
 (215 #\% #\D #\7)
 (216 #\% #\D #\8)
 (217 #\% #\D #\9)
 (218 #\% #\D #\A)
 (219 #\% #\D #\B)
 (220 #\% #\D #\C)
 (221 #\% #\D #\D)
 (222 #\% #\D #\E)
 (223 #\% #\D #\F)
 (224 #\% #\E #\0)
 (225 #\% #\E #\1)
 (226 #\% #\E #\2)
 (227 #\% #\E #\3)
 (228 #\% #\E #\4)
 (229 #\% #\E #\5)
 (230 #\% #\E #\6)
 (231 #\% #\E #\7)
 (232 #\% #\E #\8)
 (233 #\% #\E #\9)
 (234 #\% #\E #\A)
 (235 #\% #\E #\B)
 (236 #\% #\E #\C)
 (237 #\% #\E #\D)
 (238 #\% #\E #\E)
 (239 #\% #\E #\F)
 (240 #\% #\F #\0)
 (241 #\% #\F #\1)
 (242 #\% #\F #\2)
 (243 #\% #\F #\3)
 (244 #\% #\F #\4)
 (245 #\% #\F #\5)
 (246 #\% #\F #\6)
 (247 #\% #\F #\7)
 (248 #\% #\F #\8)
 (249 #\% #\F #\9)
 (250 #\% #\F #\A)
 (251 #\% #\F #\B)
 (252 #\% #\F #\C)
 (253 #\% #\F #\D)
 (254 #\% #\F #\E)
 (255 #\% #\F #\F))

Subtopics

Make-url-encode-array