flatbuffers/vtable_writer.rs
1/*
2 * Copyright 2018 Google Inc. All rights reserved.
3 *
4 * Licensed under the Apache License, Version 2.0 (the "License");
5 * you may not use this file except in compliance with the License.
6 * You may obtain a copy of the License at
7 *
8 * http://www.apache.org/licenses/LICENSE-2.0
9 *
10 * Unless required by applicable law or agreed to in writing, software
11 * distributed under the License is distributed on an "AS IS" BASIS,
12 * WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
13 * See the License for the specific language governing permissions and
14 * limitations under the License.
15 */
16
17use core::ptr::write_bytes;
18
19use crate::endian_scalar::emplace_scalar;
20use crate::primitives::*;
21
22/// VTableWriter compartmentalizes actions needed to create a vtable.
23#[derive(Debug)]
24pub struct VTableWriter<'a> {
25 buf: &'a mut [u8],
26}
27
28impl<'a> VTableWriter<'a> {
29 #[inline(always)]
30 pub fn init(buf: &'a mut [u8]) -> Self {
31 VTableWriter { buf }
32 }
33
34 /// Writes the vtable length (in bytes) into the vtable.
35 ///
36 /// Note that callers already need to have computed this to initialize
37 /// a VTableWriter.
38 ///
39 /// In debug mode, asserts that the length of the underlying data is equal
40 /// to the provided value.
41 #[inline(always)]
42 pub fn write_vtable_byte_length(&mut self, n: VOffsetT) {
43 let buf = &mut self.buf[..SIZE_VOFFSET];
44 // Safety:
45 // Validated range above
46 unsafe {
47 emplace_scalar::<VOffsetT>(buf, n);
48 }
49 debug_assert_eq!(n as usize, self.buf.len());
50 }
51
52 /// Writes an object length (in bytes) into the vtable.
53 #[inline(always)]
54 pub fn write_object_inline_size(&mut self, n: VOffsetT) {
55 let buf = &mut self.buf[SIZE_VOFFSET..2 * SIZE_VOFFSET];
56 // Safety:
57 // Validated range above
58 unsafe {
59 emplace_scalar::<VOffsetT>(buf, n);
60 }
61 }
62
63 /// Writes an object field offset into the vtable.
64 ///
65 /// Note that this expects field offsets (which are like pointers), not
66 /// field ids (which are like array indices).
67 #[inline(always)]
68 pub fn write_field_offset(&mut self, vtable_offset: VOffsetT, object_data_offset: VOffsetT) {
69 let idx = vtable_offset as usize;
70 let buf = &mut self.buf[idx..idx + SIZE_VOFFSET];
71 // Safety:
72 // Validated range above
73 unsafe {
74 emplace_scalar::<VOffsetT>(buf, object_data_offset);
75 }
76 }
77
78 /// Clears all data in this VTableWriter. Used to cleanly undo a
79 /// vtable write.
80 #[inline(always)]
81 pub fn clear(&mut self) {
82 // This is the closest thing to memset in Rust right now.
83 let len = self.buf.len();
84 let p = self.buf.as_mut_ptr() as *mut u8;
85
86 // Safety:
87 // p is byte aligned and of length `len`
88 unsafe {
89 write_bytes(p, 0, len);
90 }
91 }
92}