Blob.cpp 21 KB

123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136137138139140141142143144145146147148149150151152153154155156157158159160161162163164165166167168169170171172173174175176177178179180181182183184185186187188189190191192193194195196197198199200201202203204205206207208209210211212213214215216217218219220221222223224225226227228229230231232233234235236237238239240241242243244245246247248249250251252253254255256257258259260261262263264265266267268269270271272273274275276277278279280281282283284285286287288289290291292293294295296297298299300301302303304305306307308309310311312313314315316317318319320321322323324325326327328329330331332333334335336337338339340341342343344345346347348349350351352353354355356357358359360361362363364365366367368369370371372373374375376377378379380381382383384385386387388389390391392393394395396397398399400401402403404405406407408409410411412413414415416417418419420421422423424425426427428429430431432433434435436437438439440441442443444445446447448449450451452453454455456457458459460461462
  1. /*
  2. * Copyright (c) 2022-2024, Kenneth Myhra <kennethmyhra@serenityos.org>
  3. * Copyright (c) 2023, Shannon Booth <shannon@serenityos.org>
  4. *
  5. * SPDX-License-Identifier: BSD-2-Clause
  6. */
  7. #include <AK/GenericLexer.h>
  8. #include <LibJS/Runtime/ArrayBuffer.h>
  9. #include <LibJS/Runtime/Completion.h>
  10. #include <LibJS/Runtime/TypedArray.h>
  11. #include <LibTextCodec/Decoder.h>
  12. #include <LibWeb/Bindings/BlobPrototype.h>
  13. #include <LibWeb/Bindings/ExceptionOrUtils.h>
  14. #include <LibWeb/Bindings/Intrinsics.h>
  15. #include <LibWeb/FileAPI/Blob.h>
  16. #include <LibWeb/HTML/Scripting/TemporaryExecutionContext.h>
  17. #include <LibWeb/HTML/StructuredSerialize.h>
  18. #include <LibWeb/Infra/Strings.h>
  19. #include <LibWeb/MimeSniff/MimeType.h>
  20. #include <LibWeb/Streams/AbstractOperations.h>
  21. #include <LibWeb/Streams/ReadableStreamDefaultReader.h>
  22. #include <LibWeb/WebIDL/AbstractOperations.h>
  23. #include <LibWeb/WebIDL/Buffers.h>
  24. namespace Web::FileAPI {
  25. JS_DEFINE_ALLOCATOR(Blob);
  26. JS::NonnullGCPtr<Blob> Blob::create(JS::Realm& realm, ByteBuffer byte_buffer, String type)
  27. {
  28. return realm.heap().allocate<Blob>(realm, realm, move(byte_buffer), move(type));
  29. }
  30. // https://w3c.github.io/FileAPI/#convert-line-endings-to-native
  31. ErrorOr<String> convert_line_endings_to_native(StringView string)
  32. {
  33. // 1. Let native line ending be be the code point U+000A LF.
  34. auto native_line_ending = "\n"sv;
  35. // 2. If the underlying platform’s conventions are to represent newlines as a carriage return and line feed sequence, set native line ending to the code point U+000D CR followed by the code point U+000A LF.
  36. // NOTE: this step is a no-op since LibWeb does not compile on Windows, which is the only platform we know of that that uses a carriage return and line feed sequence for line endings.
  37. // 3. Set result to the empty string.
  38. StringBuilder result;
  39. // 4. Let position be a position variable for s, initially pointing at the start of s.
  40. auto lexer = GenericLexer { string };
  41. // 5. Let token be the result of collecting a sequence of code points that are not equal to U+000A LF or U+000D CR from s given position.
  42. // 6. Append token to result.
  43. TRY(result.try_append(lexer.consume_until(is_any_of("\n\r"sv))));
  44. // 7. While position is not past the end of s:
  45. while (!lexer.is_eof()) {
  46. // 1. If the code point at position within s equals U+000D CR:
  47. if (lexer.peek() == '\r') {
  48. // 1. Append native line ending to result.
  49. TRY(result.try_append(native_line_ending));
  50. // 2. Advance position by 1.
  51. lexer.ignore(1);
  52. // 3. If position is not past the end of s and the code point at position within s equals U+000A LF advance position by 1.
  53. if (!lexer.is_eof() && lexer.peek() == '\n')
  54. lexer.ignore(1);
  55. }
  56. // 2. Otherwise if the code point at position within s equals U+000A LF, advance position by 1 and append native line ending to result.
  57. else if (lexer.peek() == '\n') {
  58. lexer.ignore(1);
  59. TRY(result.try_append(native_line_ending));
  60. }
  61. // 3. Let token be the result of collecting a sequence of code points that are not equal to U+000A LF or U+000D CR from s given position.
  62. // 4. Append token to result.
  63. TRY(result.try_append(lexer.consume_until(is_any_of("\n\r"sv))));
  64. }
  65. // 5. Return result.
  66. return result.to_string();
  67. }
  68. // https://w3c.github.io/FileAPI/#process-blob-parts
  69. ErrorOr<ByteBuffer> process_blob_parts(Vector<BlobPart> const& blob_parts, Optional<BlobPropertyBag> const& options)
  70. {
  71. // 1. Let bytes be an empty sequence of bytes.
  72. ByteBuffer bytes {};
  73. // 2. For each element in parts:
  74. for (auto const& blob_part : blob_parts) {
  75. TRY(blob_part.visit(
  76. // 1. If element is a USVString, run the following sub-steps:
  77. [&](String const& string) -> ErrorOr<void> {
  78. // 1. Let s be element.
  79. auto s = string;
  80. // 2. If the endings member of options is "native", set s to the result of converting line endings to native of element.
  81. if (options.has_value() && options->endings == Bindings::EndingType::Native)
  82. s = TRY(convert_line_endings_to_native(s));
  83. // NOTE: The AK::String is always UTF-8.
  84. // 3. Append the result of UTF-8 encoding s to bytes.
  85. return bytes.try_append(s.bytes());
  86. },
  87. // 2. If element is a BufferSource, get a copy of the bytes held by the buffer source, and append those bytes to bytes.
  88. [&](JS::Handle<WebIDL::BufferSource> const& buffer_source) -> ErrorOr<void> {
  89. auto data_buffer = TRY(WebIDL::get_buffer_source_copy(*buffer_source->raw_object()));
  90. return bytes.try_append(data_buffer.bytes());
  91. },
  92. // 3. If element is a Blob, append the bytes it represents to bytes.
  93. [&](JS::Handle<Blob> const& blob) -> ErrorOr<void> {
  94. return bytes.try_append(blob->raw_bytes());
  95. }));
  96. }
  97. // 3. Return bytes.
  98. return bytes;
  99. }
  100. bool is_basic_latin(StringView view)
  101. {
  102. for (auto code_point : view) {
  103. if (code_point < 0x0020 || code_point > 0x007E)
  104. return false;
  105. }
  106. return true;
  107. }
  108. Blob::Blob(JS::Realm& realm)
  109. : PlatformObject(realm)
  110. {
  111. }
  112. Blob::Blob(JS::Realm& realm, ByteBuffer byte_buffer, String type)
  113. : PlatformObject(realm)
  114. , m_byte_buffer(move(byte_buffer))
  115. , m_type(move(type))
  116. {
  117. }
  118. Blob::Blob(JS::Realm& realm, ByteBuffer byte_buffer)
  119. : PlatformObject(realm)
  120. , m_byte_buffer(move(byte_buffer))
  121. {
  122. }
  123. Blob::~Blob() = default;
  124. void Blob::initialize(JS::Realm& realm)
  125. {
  126. Base::initialize(realm);
  127. WEB_SET_PROTOTYPE_FOR_INTERFACE(Blob);
  128. }
  129. WebIDL::ExceptionOr<void> Blob::serialization_steps(HTML::SerializationRecord& record, bool, HTML::SerializationMemory&)
  130. {
  131. auto& vm = this->vm();
  132. // FIXME: 1. Set serialized.[[SnapshotState]] to value’s snapshot state.
  133. // NON-STANDARD: FileAPI spec doesn't specify that type should be serialized, although
  134. // to be conformant with other browsers this needs to be serialized.
  135. TRY(HTML::serialize_string(vm, record, m_type));
  136. // 2. Set serialized.[[ByteSequence]] to value’s underlying byte sequence.
  137. TRY(HTML::serialize_bytes(vm, record, m_byte_buffer.bytes()));
  138. return {};
  139. }
  140. WebIDL::ExceptionOr<void> Blob::deserialization_steps(ReadonlySpan<u32> const& record, size_t& position, HTML::DeserializationMemory&)
  141. {
  142. auto& vm = this->vm();
  143. // FIXME: 1. Set value’s snapshot state to serialized.[[SnapshotState]].
  144. // NON-STANDARD: FileAPI spec doesn't specify that type should be deserialized, although
  145. // to be conformant with other browsers this needs to be deserialized.
  146. m_type = TRY(HTML::deserialize_string(vm, record, position));
  147. // 2. Set value’s underlying byte sequence to serialized.[[ByteSequence]].
  148. m_byte_buffer = TRY(HTML::deserialize_bytes(vm, record, position));
  149. return {};
  150. }
  151. // https://w3c.github.io/FileAPI/#ref-for-dom-blob-blob
  152. JS::NonnullGCPtr<Blob> Blob::create(JS::Realm& realm, Optional<Vector<BlobPart>> const& blob_parts, Optional<BlobPropertyBag> const& options)
  153. {
  154. // 1. If invoked with zero parameters, return a new Blob object consisting of 0 bytes, with size set to 0, and with type set to the empty string.
  155. if (!blob_parts.has_value() && !options.has_value())
  156. return realm.heap().allocate<Blob>(realm, realm);
  157. ByteBuffer byte_buffer {};
  158. // 2. Let bytes be the result of processing blob parts given blobParts and options.
  159. if (blob_parts.has_value()) {
  160. byte_buffer = MUST(process_blob_parts(blob_parts.value(), options));
  161. }
  162. auto type = String {};
  163. // 3. If the type member of the options argument is not the empty string, run the following sub-steps:
  164. if (options.has_value() && !options->type.is_empty()) {
  165. // FIXME: 1. If the type member is provided and is not the empty string, let t be set to the type dictionary member.
  166. // If t contains any characters outside the range U+0020 to U+007E, then set t to the empty string and return from these substeps.
  167. // FIXME: 2. Convert every character in t to ASCII lowercase.
  168. // NOTE: The spec is out of date, and we are supposed to call into the MimeType parser here.
  169. if (!options->type.is_empty()) {
  170. auto maybe_parsed_type = Web::MimeSniff::MimeType::parse(options->type);
  171. if (maybe_parsed_type.has_value())
  172. type = maybe_parsed_type->serialized();
  173. }
  174. }
  175. // 4. Return a Blob object referring to bytes as its associated byte sequence, with its size set to the length of bytes, and its type set to the value of t from the substeps above.
  176. return realm.heap().allocate<Blob>(realm, realm, move(byte_buffer), move(type));
  177. }
  178. WebIDL::ExceptionOr<JS::NonnullGCPtr<Blob>> Blob::construct_impl(JS::Realm& realm, Optional<Vector<BlobPart>> const& blob_parts, Optional<BlobPropertyBag> const& options)
  179. {
  180. return Blob::create(realm, blob_parts, options);
  181. }
  182. // https://w3c.github.io/FileAPI/#dfn-slice
  183. WebIDL::ExceptionOr<JS::NonnullGCPtr<Blob>> Blob::slice(Optional<i64> start, Optional<i64> end, Optional<String> const& content_type)
  184. {
  185. // 1. Let sliceStart, sliceEnd, and sliceContentType be null.
  186. // 2. If start is given, set sliceStart to start.
  187. // 3. If end is given, set sliceEnd to end.
  188. // 3. If contentType is given, set sliceContentType to contentType.
  189. // 4. Return the result of slice blob given this, sliceStart, sliceEnd, and sliceContentType.
  190. return slice_blob(start, end, content_type);
  191. }
  192. // https://w3c.github.io/FileAPI/#slice-blob
  193. WebIDL::ExceptionOr<JS::NonnullGCPtr<Blob>> Blob::slice_blob(Optional<i64> start, Optional<i64> end, Optional<String> const& content_type)
  194. {
  195. auto& vm = realm().vm();
  196. // 1. Let originalSize be blob’s size.
  197. auto original_size = size();
  198. // 2. The start parameter, if non-null, is a value for the start point of a slice blob call, and must be treated as a byte-order position,
  199. // with the zeroth position representing the first byte. User agents must normalize start according to the following:
  200. i64 relative_start;
  201. if (!start.has_value()) {
  202. // a. If start is null, let relativeStart be 0.
  203. relative_start = 0;
  204. } else {
  205. auto start_value = start.value();
  206. // b. If start is negative, let relativeStart be max((originalSize + start), 0).
  207. if (start_value < 0) {
  208. relative_start = max((static_cast<i64>(original_size) + start_value), 0);
  209. }
  210. // c. Otherwise, let relativeStart be min(start, originalSize).
  211. else {
  212. relative_start = min(start_value, original_size);
  213. }
  214. }
  215. // 3. The end parameter, if non-null. is a value for the end point of a slice blob call. User agents must normalize end according to the following:
  216. i64 relative_end;
  217. if (!end.has_value()) {
  218. // a. If end is null, let relativeEnd be originalSize.
  219. relative_end = original_size;
  220. } else {
  221. auto end_value = end.value();
  222. // b. If end is negative, let relativeEnd be max((originalSize + end), 0).
  223. if (end_value < 0) {
  224. relative_end = max((static_cast<i64>(original_size) + end_value), 0);
  225. }
  226. // c. Otherwise, let relativeEnd be min(end, originalSize).
  227. else {
  228. relative_end = min(end_value, original_size);
  229. }
  230. }
  231. // 4. The contentType parameter, if non-null, is used to set the ASCII-encoded string in lower case representing the media type of the Blob.
  232. // User agents must normalize contentType according to the following:
  233. String relative_content_type;
  234. if (!content_type.has_value()) {
  235. // a. If contentType is null, let relativeContentType be set to the empty string.
  236. relative_content_type = {};
  237. } else {
  238. // b. Otherwise, let relativeContentType be set to contentType and run the substeps below:
  239. // 1. If relativeContentType contains any characters outside the range of U+0020 to U+007E, then set relativeContentType to the empty string
  240. // and return from these substeps:
  241. if (!is_basic_latin(content_type.value())) {
  242. relative_content_type = {};
  243. }
  244. // 2. Convert every character in relativeContentType to ASCII lowercase.
  245. else {
  246. relative_content_type = content_type.value().to_ascii_lowercase();
  247. }
  248. }
  249. // 5. Let span be max((relativeEnd - relativeStart), 0).
  250. auto span = max((relative_end - relative_start), 0);
  251. // 6. Return a new Blob object S with the following characteristics:
  252. // a. S refers to span consecutive bytes from blob’s associated byte sequence, beginning with the byte at byte-order position relativeStart.
  253. // b. S.size = span.
  254. // c. S.type = relativeContentType.
  255. auto byte_buffer = TRY_OR_THROW_OOM(vm, m_byte_buffer.slice(relative_start, span));
  256. return heap().allocate<Blob>(realm(), realm(), move(byte_buffer), move(relative_content_type));
  257. }
  258. // https://w3c.github.io/FileAPI/#dom-blob-stream
  259. JS::NonnullGCPtr<Streams::ReadableStream> Blob::stream()
  260. {
  261. // The stream() method, when invoked, must return the result of calling get stream on this.
  262. return get_stream();
  263. }
  264. // https://w3c.github.io/FileAPI/#blob-get-stream
  265. JS::NonnullGCPtr<Streams::ReadableStream> Blob::get_stream()
  266. {
  267. auto& realm = this->realm();
  268. // 1. Let stream be a new ReadableStream created in blob’s relevant Realm.
  269. auto stream = realm.heap().allocate<Streams::ReadableStream>(realm, realm);
  270. // 2. Set up stream with byte reading support.
  271. set_up_readable_stream_controller_with_byte_reading_support(stream);
  272. // FIXME: 3. Run the following steps in parallel:
  273. {
  274. // 1. While not all bytes of blob have been read:
  275. // NOTE: for simplicity the chunk is the entire buffer for now.
  276. {
  277. // 1. Let bytes be the byte sequence that results from reading a chunk from blob, or failure if a chunk cannot be read.
  278. auto bytes = m_byte_buffer;
  279. // 2. Queue a global task on the file reading task source given blob’s relevant global object to perform the following steps:
  280. HTML::queue_global_task(HTML::Task::Source::FileReading, realm.global_object(), JS::create_heap_function(heap(), [stream, bytes = move(bytes)]() {
  281. // NOTE: Using an TemporaryExecutionContext here results in a crash in the method HTML::incumbent_realm()
  282. // since we end up in a state where we have no execution context + an event loop with an empty incumbent
  283. // realm stack. We still need an execution context therefore we push the realm's execution context
  284. // onto the realm's VM, and we need an incumbent realm which is pushed onto the incumbent realm stack
  285. // by HTML::prepare_to_run_callback().
  286. auto& realm = stream->realm();
  287. auto& environment_settings = Bindings::host_defined_environment_settings_object(realm);
  288. realm.vm().push_execution_context(environment_settings.realm_execution_context());
  289. HTML::prepare_to_run_callback(realm);
  290. ScopeGuard const guard = [&realm] {
  291. HTML::clean_up_after_running_callback(realm);
  292. realm.vm().pop_execution_context();
  293. };
  294. // 1. If bytes is failure, then error stream with a failure reason and abort these steps.
  295. // 2. Let chunk be a new Uint8Array wrapping an ArrayBuffer containing bytes. If creating the ArrayBuffer throws an exception, then error stream with that exception and abort these steps.
  296. auto array_buffer = JS::ArrayBuffer::create(stream->realm(), bytes);
  297. auto chunk = JS::Uint8Array::create(stream->realm(), bytes.size(), *array_buffer);
  298. // 3. Enqueue chunk in stream.
  299. auto maybe_error = Bindings::throw_dom_exception_if_needed(stream->realm().vm(), [&]() {
  300. return readable_stream_enqueue(*stream->controller(), chunk);
  301. });
  302. if (maybe_error.is_error()) {
  303. readable_stream_error(*stream, maybe_error.release_error().value().value());
  304. return;
  305. }
  306. // FIXME: Close the stream now that we have finished enqueuing all chunks to the stream. Without this, ReadableStream.read will never resolve the second time around with 'done' set.
  307. // Nowhere in the spec seems to mention this - but testing against other implementations the stream does appear to be closed after reading all data (closed callback is fired).
  308. // Probably there is a better way of doing this.
  309. readable_stream_close(*stream);
  310. }));
  311. }
  312. }
  313. // 4. Return stream.
  314. return stream;
  315. }
  316. // https://w3c.github.io/FileAPI/#dom-blob-text
  317. JS::NonnullGCPtr<WebIDL::Promise> Blob::text()
  318. {
  319. auto& realm = this->realm();
  320. auto& vm = realm.vm();
  321. // 1. Let stream be the result of calling get stream on this.
  322. auto stream = get_stream();
  323. // 2. Let reader be the result of getting a reader from stream. If that threw an exception, return a new promise rejected with that exception.
  324. auto reader_or_exception = acquire_readable_stream_default_reader(*stream);
  325. if (reader_or_exception.is_exception())
  326. return WebIDL::create_rejected_promise_from_exception(realm, reader_or_exception.release_error());
  327. auto reader = reader_or_exception.release_value();
  328. // 3. Let promise be the result of reading all bytes from stream with reader
  329. auto promise = reader->read_all_bytes_deprecated();
  330. // 4. Return the result of transforming promise by a fulfillment handler that returns the result of running UTF-8 decode on its first argument.
  331. return WebIDL::upon_fulfillment(*promise, JS::create_heap_function(heap(), [&vm](JS::Value first_argument) -> WebIDL::ExceptionOr<JS::Value> {
  332. auto const& object = first_argument.as_object();
  333. VERIFY(is<JS::ArrayBuffer>(object));
  334. auto const& buffer = static_cast<const JS::ArrayBuffer&>(object).buffer();
  335. auto decoder = TextCodec::decoder_for("UTF-8"sv);
  336. auto utf8_text = TRY_OR_THROW_OOM(vm, TextCodec::convert_input_to_utf8_using_given_decoder_unless_there_is_a_byte_order_mark(*decoder, buffer));
  337. return JS::PrimitiveString::create(vm, move(utf8_text));
  338. }));
  339. }
  340. // https://w3c.github.io/FileAPI/#dom-blob-arraybuffer
  341. JS::NonnullGCPtr<WebIDL::Promise> Blob::array_buffer()
  342. {
  343. auto& realm = this->realm();
  344. // 1. Let stream be the result of calling get stream on this.
  345. auto stream = get_stream();
  346. // 2. Let reader be the result of getting a reader from stream. If that threw an exception, return a new promise rejected with that exception.
  347. auto reader_or_exception = acquire_readable_stream_default_reader(*stream);
  348. if (reader_or_exception.is_exception())
  349. return WebIDL::create_rejected_promise_from_exception(realm, reader_or_exception.release_error());
  350. auto reader = reader_or_exception.release_value();
  351. // 3. Let promise be the result of reading all bytes from stream with reader.
  352. auto promise = reader->read_all_bytes_deprecated();
  353. // 4. Return the result of transforming promise by a fulfillment handler that returns a new ArrayBuffer whose contents are its first argument.
  354. return WebIDL::upon_fulfillment(*promise, JS::create_heap_function(heap(), [&realm](JS::Value first_argument) -> WebIDL::ExceptionOr<JS::Value> {
  355. auto const& object = first_argument.as_object();
  356. VERIFY(is<JS::ArrayBuffer>(object));
  357. auto const& buffer = static_cast<const JS::ArrayBuffer&>(object).buffer();
  358. return JS::ArrayBuffer::create(realm, buffer);
  359. }));
  360. }
  361. // https://w3c.github.io/FileAPI/#dom-blob-bytes
  362. JS::NonnullGCPtr<WebIDL::Promise> Blob::bytes()
  363. {
  364. auto& realm = this->realm();
  365. // 1. Let stream be the result of calling get stream on this.
  366. auto stream = get_stream();
  367. // 2. Let reader be the result of getting a reader from stream. If that threw an exception, return a new promise rejected with that exception.
  368. auto reader_or_exception = acquire_readable_stream_default_reader(*stream);
  369. if (reader_or_exception.is_exception())
  370. return WebIDL::create_rejected_promise_from_exception(realm, reader_or_exception.release_error());
  371. auto reader = reader_or_exception.release_value();
  372. // 3. Let promise be the result of reading all bytes from stream with reader.
  373. auto promise = reader->read_all_bytes_deprecated();
  374. // 4. Return the result of transforming promise by a fulfillment handler that returns a new Uint8Array wrapping an ArrayBuffer containing its first argument.
  375. return WebIDL::upon_fulfillment(*promise, JS::create_heap_function(heap(), [&realm](JS::Value first_argument) -> WebIDL::ExceptionOr<JS::Value> {
  376. auto& object = first_argument.as_object();
  377. VERIFY(is<JS::ArrayBuffer>(object));
  378. auto& array_buffer = static_cast<JS::ArrayBuffer&>(object);
  379. return JS::Uint8Array::create(realm, array_buffer.byte_length(), array_buffer);
  380. }));
  381. }
  382. }