blob: 2138ac07403f0339b5f133f5510db6473e1048f6 [file] [log] [blame]
Bram Moolenaar6e5ea8d2019-01-12 22:47:31 +01001/* vi:set ts=8 sts=4 sw=4 noet:
2 *
3 * VIM - Vi IMproved by Bram Moolenaar
4 *
5 * Do ":help uganda" in Vim to read copying and usage conditions.
6 * Do ":help credits" in Vim to see a list of people who contributed.
7 * See README.txt for an overview of the Vim source code.
8 */
9
10/*
11 * blob.c: Blob support by Yasuhiro Matsumoto
12 */
13
14#include "vim.h"
15
16#if defined(FEAT_EVAL) || defined(PROTO)
17
18/*
19 * Allocate an empty blob.
20 * Caller should take care of the reference count.
21 */
22 blob_T *
23blob_alloc(void)
24{
Bram Moolenaarc799fe22019-05-28 23:08:19 +020025 blob_T *blob = ALLOC_CLEAR_ONE(blob_T);
Bram Moolenaar6e5ea8d2019-01-12 22:47:31 +010026
27 if (blob != NULL)
28 ga_init2(&blob->bv_ga, 1, 100);
29 return blob;
30}
31
32/*
33 * Allocate an empty blob for a return value, with reference count set.
34 * Returns OK or FAIL.
35 */
36 int
37rettv_blob_alloc(typval_T *rettv)
38{
39 blob_T *b = blob_alloc();
40
41 if (b == NULL)
42 return FAIL;
43
44 rettv_blob_set(rettv, b);
45 return OK;
46}
47
48/*
49 * Set a blob as the return value.
50 */
51 void
52rettv_blob_set(typval_T *rettv, blob_T *b)
53{
54 rettv->v_type = VAR_BLOB;
55 rettv->vval.v_blob = b;
56 if (b != NULL)
57 ++b->bv_refcount;
58}
59
Bram Moolenaardd29ea12019-01-23 21:56:21 +010060 int
Bram Moolenaar8a7d6542020-01-26 15:56:19 +010061blob_copy(blob_T *from, typval_T *to)
Bram Moolenaardd29ea12019-01-23 21:56:21 +010062{
63 int ret = OK;
64
65 to->v_type = VAR_BLOB;
Bram Moolenaarb7b9efb2019-07-12 20:17:03 +020066 to->v_lock = 0;
Bram Moolenaar8a7d6542020-01-26 15:56:19 +010067 if (from == NULL)
Bram Moolenaardd29ea12019-01-23 21:56:21 +010068 to->vval.v_blob = NULL;
69 else if (rettv_blob_alloc(to) == FAIL)
70 ret = FAIL;
71 else
72 {
Bram Moolenaar8a7d6542020-01-26 15:56:19 +010073 int len = from->bv_ga.ga_len;
Bram Moolenaardd29ea12019-01-23 21:56:21 +010074
75 if (len > 0)
Bram Moolenaara5be9b62019-01-24 12:31:44 +010076 {
Bram Moolenaardd29ea12019-01-23 21:56:21 +010077 to->vval.v_blob->bv_ga.ga_data =
Bram Moolenaar8a7d6542020-01-26 15:56:19 +010078 vim_memsave(from->bv_ga.ga_data, len);
Bram Moolenaara5be9b62019-01-24 12:31:44 +010079 if (to->vval.v_blob->bv_ga.ga_data == NULL)
80 len = 0;
81 }
Bram Moolenaardd29ea12019-01-23 21:56:21 +010082 to->vval.v_blob->bv_ga.ga_len = len;
Bram Moolenaar66fa5fd2020-10-19 20:21:03 +020083 to->vval.v_blob->bv_ga.ga_maxlen = len;
Bram Moolenaardd29ea12019-01-23 21:56:21 +010084 }
85 return ret;
86}
87
Bram Moolenaar6e5ea8d2019-01-12 22:47:31 +010088 void
89blob_free(blob_T *b)
90{
91 ga_clear(&b->bv_ga);
92 vim_free(b);
93}
94
95/*
96 * Unreference a blob: decrement the reference count and free it when it
97 * becomes zero.
98 */
99 void
100blob_unref(blob_T *b)
101{
102 if (b != NULL && --b->bv_refcount <= 0)
103 blob_free(b);
104}
105
106/*
107 * Get the length of data.
108 */
109 long
110blob_len(blob_T *b)
111{
112 if (b == NULL)
113 return 0L;
114 return b->bv_ga.ga_len;
115}
116
117/*
118 * Get byte "idx" in blob "b".
119 * Caller must check that "idx" is valid.
120 */
Bram Moolenaara5be9b62019-01-24 12:31:44 +0100121 int
Bram Moolenaar6e5ea8d2019-01-12 22:47:31 +0100122blob_get(blob_T *b, int idx)
123{
124 return ((char_u*)b->bv_ga.ga_data)[idx];
125}
126
127/*
Bram Moolenaar51e93322021-04-17 20:44:56 +0200128 * Store one byte "byte" in blob "blob" at "idx".
Bram Moolenaar6e5ea8d2019-01-12 22:47:31 +0100129 * Caller must make sure that "idx" is valid.
130 */
131 void
Bram Moolenaar51e93322021-04-17 20:44:56 +0200132blob_set(blob_T *blob, int idx, int byte)
Bram Moolenaar6e5ea8d2019-01-12 22:47:31 +0100133{
Bram Moolenaar51e93322021-04-17 20:44:56 +0200134 ((char_u*)blob->bv_ga.ga_data)[idx] = byte;
135}
136
137/*
138 * Store one byte "byte" in blob "blob" at "idx".
139 * Append one byte if needed.
140 */
141 void
142blob_set_append(blob_T *blob, int idx, int byte)
143{
144 garray_T *gap = &blob->bv_ga;
145
146 // Allow for appending a byte. Setting a byte beyond
147 // the end is an error otherwise.
148 if (idx < gap->ga_len
149 || (idx == gap->ga_len && ga_grow(gap, 1) == OK))
150 {
151 blob_set(blob, idx, byte);
152 if (idx == gap->ga_len)
153 ++gap->ga_len;
154 }
Bram Moolenaar6e5ea8d2019-01-12 22:47:31 +0100155}
156
157/*
158 * Return TRUE when two blobs have exactly the same values.
159 */
160 int
161blob_equal(
162 blob_T *b1,
163 blob_T *b2)
164{
Bram Moolenaarc0f5a782019-01-13 15:16:13 +0100165 int i;
166 int len1 = blob_len(b1);
167 int len2 = blob_len(b2);
Bram Moolenaar6e5ea8d2019-01-12 22:47:31 +0100168
Bram Moolenaarc0f5a782019-01-13 15:16:13 +0100169 // empty and NULL are considered the same
170 if (len1 == 0 && len2 == 0)
171 return TRUE;
Bram Moolenaar6e5ea8d2019-01-12 22:47:31 +0100172 if (b1 == b2)
173 return TRUE;
Bram Moolenaarc0f5a782019-01-13 15:16:13 +0100174 if (len1 != len2)
Bram Moolenaar6e5ea8d2019-01-12 22:47:31 +0100175 return FALSE;
176
177 for (i = 0; i < b1->bv_ga.ga_len; i++)
178 if (blob_get(b1, i) != blob_get(b2, i)) return FALSE;
179 return TRUE;
180}
181
182/*
183 * Read "blob" from file "fd".
184 * Return OK or FAIL.
185 */
186 int
187read_blob(FILE *fd, blob_T *blob)
188{
189 struct stat st;
190
191 if (fstat(fileno(fd), &st) < 0)
192 return FAIL;
193 if (ga_grow(&blob->bv_ga, st.st_size) == FAIL)
194 return FAIL;
195 blob->bv_ga.ga_len = st.st_size;
196 if (fread(blob->bv_ga.ga_data, 1, blob->bv_ga.ga_len, fd)
197 < (size_t)blob->bv_ga.ga_len)
198 return FAIL;
199 return OK;
200}
201
202/*
203 * Write "blob" to file "fd".
204 * Return OK or FAIL.
205 */
206 int
207write_blob(FILE *fd, blob_T *blob)
208{
209 if (fwrite(blob->bv_ga.ga_data, 1, blob->bv_ga.ga_len, fd)
210 < (size_t)blob->bv_ga.ga_len)
211 {
Bram Moolenaarf9e3e092019-01-13 23:38:42 +0100212 emsg(_(e_write));
Bram Moolenaar6e5ea8d2019-01-12 22:47:31 +0100213 return FAIL;
214 }
215 return OK;
216}
217
Bram Moolenaar8c8b8bb2019-01-13 17:48:04 +0100218/*
Bram Moolenaar4131fd52019-01-17 16:32:53 +0100219 * Convert a blob to a readable form: "0z00112233.44556677.8899"
Bram Moolenaar8c8b8bb2019-01-13 17:48:04 +0100220 */
221 char_u *
222blob2string(blob_T *blob, char_u **tofree, char_u *numbuf)
223{
224 int i;
225 garray_T ga;
226
227 if (blob == NULL)
228 {
229 *tofree = NULL;
Bram Moolenaar4131fd52019-01-17 16:32:53 +0100230 return (char_u *)"0z";
Bram Moolenaar8c8b8bb2019-01-13 17:48:04 +0100231 }
232
233 // Store bytes in the growarray.
234 ga_init2(&ga, 1, 4000);
Bram Moolenaar4131fd52019-01-17 16:32:53 +0100235 ga_concat(&ga, (char_u *)"0z");
Bram Moolenaar8c8b8bb2019-01-13 17:48:04 +0100236 for (i = 0; i < blob_len(blob); i++)
237 {
Bram Moolenaar4131fd52019-01-17 16:32:53 +0100238 if (i > 0 && (i & 3) == 0)
239 ga_concat(&ga, (char_u *)".");
240 vim_snprintf((char *)numbuf, NUMBUFLEN, "%02X", (int)blob_get(blob, i));
Bram Moolenaar8c8b8bb2019-01-13 17:48:04 +0100241 ga_concat(&ga, numbuf);
242 }
Bram Moolenaar8c8b8bb2019-01-13 17:48:04 +0100243 *tofree = ga.ga_data;
244 return *tofree;
245}
246
247/*
248 * Convert a string variable, in the format of blob2string(), to a blob.
249 * Return NULL when conversion failed.
250 */
251 blob_T *
252string2blob(char_u *str)
253{
254 blob_T *blob = blob_alloc();
255 char_u *s = str;
256
Bram Moolenaare142a942019-03-19 23:03:27 +0100257 if (blob == NULL)
258 return NULL;
Bram Moolenaar4131fd52019-01-17 16:32:53 +0100259 if (s[0] != '0' || (s[1] != 'z' && s[1] != 'Z'))
Bram Moolenaar8c8b8bb2019-01-13 17:48:04 +0100260 goto failed;
Bram Moolenaar4131fd52019-01-17 16:32:53 +0100261 s += 2;
262 while (vim_isxdigit(*s))
Bram Moolenaar8c8b8bb2019-01-13 17:48:04 +0100263 {
Bram Moolenaar4131fd52019-01-17 16:32:53 +0100264 if (!vim_isxdigit(s[1]))
Bram Moolenaar8c8b8bb2019-01-13 17:48:04 +0100265 goto failed;
Bram Moolenaar4131fd52019-01-17 16:32:53 +0100266 ga_append(&blob->bv_ga, (hex2nr(s[0]) << 4) + hex2nr(s[1]));
267 s += 2;
268 if (*s == '.' && vim_isxdigit(s[1]))
269 ++s;
Bram Moolenaar8c8b8bb2019-01-13 17:48:04 +0100270 }
Bram Moolenaar4131fd52019-01-17 16:32:53 +0100271 if (*skipwhite(s) != NUL)
272 goto failed; // text after final digit
Bram Moolenaar8c8b8bb2019-01-13 17:48:04 +0100273
274 ++blob->bv_refcount;
275 return blob;
276
277failed:
278 blob_free(blob);
279 return NULL;
280}
281
Bram Moolenaarcfc30232021-04-11 20:26:34 +0200282 int
283blob_slice_or_index(
284 blob_T *blob,
285 int is_range,
286 varnumber_T n1,
287 varnumber_T n2,
288 int exclusive,
289 typval_T *rettv)
290{
291 long len = blob_len(blob);
292
293 if (is_range)
294 {
295 // The resulting variable is a sub-blob. If the indexes
296 // are out of range the result is empty.
297 if (n1 < 0)
298 {
299 n1 = len + n1;
300 if (n1 < 0)
301 n1 = 0;
302 }
303 if (n2 < 0)
304 n2 = len + n2;
305 else if (n2 >= len)
306 n2 = len - (exclusive ? 0 : 1);
307 if (exclusive)
308 --n2;
309 if (n1 >= len || n2 < 0 || n1 > n2)
310 {
311 clear_tv(rettv);
312 rettv->v_type = VAR_BLOB;
313 rettv->vval.v_blob = NULL;
314 }
315 else
316 {
317 blob_T *new_blob = blob_alloc();
318 long i;
319
320 if (new_blob != NULL)
321 {
322 if (ga_grow(&new_blob->bv_ga, n2 - n1 + 1) == FAIL)
323 {
324 blob_free(new_blob);
325 return FAIL;
326 }
327 new_blob->bv_ga.ga_len = n2 - n1 + 1;
328 for (i = n1; i <= n2; i++)
329 blob_set(new_blob, i - n1, blob_get(blob, i));
330
331 clear_tv(rettv);
332 rettv_blob_set(rettv, new_blob);
333 }
334 }
335 }
336 else
337 {
338 // The resulting variable is a byte value.
339 // If the index is too big or negative that is an error.
340 if (n1 < 0)
341 n1 = len + n1;
342 if (n1 < len && n1 >= 0)
343 {
344 int v = blob_get(blob, n1);
345
346 clear_tv(rettv);
347 rettv->v_type = VAR_NUMBER;
348 rettv->vval.v_number = v;
349 }
350 else
351 {
352 semsg(_(e_blobidx), n1);
353 return FAIL;
354 }
355 }
356 return OK;
357}
358
Bram Moolenaar9f9fe372019-07-27 23:12:12 +0200359/*
Bram Moolenaar0e3ff192021-04-14 20:35:23 +0200360 * Check if "n1"- is a valid index for a blobl with length "bloblen".
361 */
362 int
Bram Moolenaarbd6406f2021-04-14 21:30:06 +0200363check_blob_index(long bloblen, varnumber_T n1, int quiet)
Bram Moolenaar0e3ff192021-04-14 20:35:23 +0200364{
365 if (n1 < 0 || n1 > bloblen)
366 {
367 if (!quiet)
368 semsg(_(e_blobidx), n1);
369 return FAIL;
370 }
371 return OK;
372}
373
374/*
375 * Check if "n1"-"n2" is a valid range for a blob with length "bloblen".
376 */
377 int
378check_blob_range(long bloblen, varnumber_T n1, varnumber_T n2, int quiet)
379{
380 if (n2 < 0 || n2 >= bloblen || n2 < n1)
381 {
382 if (!quiet)
383 semsg(_(e_blobidx), n2);
384 return FAIL;
385 }
386 return OK;
387}
388
389/*
Bram Moolenaar68452172021-04-12 21:21:02 +0200390 * Set bytes "n1" to "n2" (inclusive) in "dest" to the value of "src".
391 * Caller must make sure "src" is a blob.
392 * Returns FAIL if the number of bytes does not match.
393 */
394 int
395blob_set_range(blob_T *dest, long n1, long n2, typval_T *src)
396{
397 int il, ir;
398
399 if (n2 - n1 + 1 != blob_len(src->vval.v_blob))
400 {
401 emsg(_("E972: Blob value does not have the right number of bytes"));
402 return FAIL;
403 }
404
405 ir = 0;
406 for (il = n1; il <= n2; il++)
407 blob_set(dest, il, blob_get(src->vval.v_blob, ir++));
408 return OK;
409}
410
411/*
Bram Moolenaar9f9fe372019-07-27 23:12:12 +0200412 * "remove({blob})" function
413 */
414 void
Sean Dewar80d73952021-08-04 19:25:54 +0200415blob_remove(typval_T *argvars, typval_T *rettv, char_u *arg_errmsg)
Bram Moolenaar9f9fe372019-07-27 23:12:12 +0200416{
Sean Dewar80d73952021-08-04 19:25:54 +0200417 blob_T *b = argvars[0].vval.v_blob;
Bram Moolenaar9f9fe372019-07-27 23:12:12 +0200418 int error = FALSE;
Yegappan Lakshmanan83494b42021-07-20 17:51:51 +0200419 long idx;
Bram Moolenaar9f9fe372019-07-27 23:12:12 +0200420 long end;
421
Sean Dewar80d73952021-08-04 19:25:54 +0200422 if (b != NULL && value_check_lock(b->bv_lock, arg_errmsg, TRUE))
423 return;
424
Yegappan Lakshmanan83494b42021-07-20 17:51:51 +0200425 idx = (long)tv_get_number_chk(&argvars[1], &error);
Bram Moolenaar9f9fe372019-07-27 23:12:12 +0200426 if (!error)
427 {
Bram Moolenaar9f9fe372019-07-27 23:12:12 +0200428 int len = blob_len(b);
429 char_u *p;
430
431 if (idx < 0)
432 // count from the end
433 idx = len + idx;
434 if (idx < 0 || idx >= len)
435 {
436 semsg(_(e_blobidx), idx);
437 return;
438 }
439 if (argvars[2].v_type == VAR_UNKNOWN)
440 {
441 // Remove one item, return its value.
442 p = (char_u *)b->bv_ga.ga_data;
443 rettv->vval.v_number = (varnumber_T) *(p + idx);
444 mch_memmove(p + idx, p + idx + 1, (size_t)len - idx - 1);
445 --b->bv_ga.ga_len;
446 }
447 else
448 {
449 blob_T *blob;
450
Bram Moolenaarf7e92aa2021-04-17 21:22:49 +0200451 // Remove range of items, return blob with values.
Bram Moolenaar9f9fe372019-07-27 23:12:12 +0200452 end = (long)tv_get_number_chk(&argvars[2], &error);
453 if (error)
454 return;
455 if (end < 0)
456 // count from the end
457 end = len + end;
458 if (end >= len || idx > end)
459 {
460 semsg(_(e_blobidx), end);
461 return;
462 }
463 blob = blob_alloc();
464 if (blob == NULL)
465 return;
466 blob->bv_ga.ga_len = end - idx + 1;
467 if (ga_grow(&blob->bv_ga, end - idx + 1) == FAIL)
468 {
469 vim_free(blob);
470 return;
471 }
472 p = (char_u *)b->bv_ga.ga_data;
473 mch_memmove((char_u *)blob->bv_ga.ga_data, p + idx,
474 (size_t)(end - idx + 1));
475 ++blob->bv_refcount;
476 rettv->v_type = VAR_BLOB;
477 rettv->vval.v_blob = blob;
478
Bram Moolenaarf7e92aa2021-04-17 21:22:49 +0200479 if (len - end - 1 > 0)
480 mch_memmove(p + idx, p + end + 1, (size_t)(len - end - 1));
Bram Moolenaar9f9fe372019-07-27 23:12:12 +0200481 b->bv_ga.ga_len -= end - idx + 1;
482 }
483 }
484}
485
Bram Moolenaarc667da52019-11-30 20:52:27 +0100486#endif // defined(FEAT_EVAL)