rune/runtime/value/
rtti.rs

Help
1use core::borrow::Borrow;
2use core::cmp::Ordering;
3use core::hash;
4
5use rust_alloc::sync::Arc;
6
7use serde::{Deserialize, Serialize};
8
9use crate::alloc::prelude::*;
10use crate::alloc::HashMap;
11use crate::item::Item;
12use crate::runtime::{FieldMap, TypeInfo, Value};
13use crate::{Hash, ItemBuf};
14
15/// Field accessor for a variant struct.
16#[doc(hidden)]
17pub struct Accessor<'a> {
18    pub(crate) fields: &'a HashMap<Box<str>, usize>,
19    pub(crate) data: &'a [Value],
20}
21
22impl Accessor<'_> {
23    /// Get a field through the accessor.
24    #[doc(hidden)]
25    pub fn get<Q>(&self, key: &Q) -> Option<&Value>
26    where
27        Box<str>: Borrow<Q>,
28        Q: hash::Hash + Eq + ?Sized,
29    {
30        self.data.get(*self.fields.get(key)?)
31    }
32}
33
34/// The kind of value stored.
35#[derive(Debug, Clone, Copy, Serialize, Deserialize)]
36#[serde(rename_all = "kebab-case")]
37pub(crate) enum RttiKind {
38    /// The value stored is empty.
39    Empty,
40    /// The value stored is a tuple.
41    Tuple,
42    /// The value stored is a strict.
43    Struct,
44}
45
46/// Runtime information on variant.
47#[derive(Debug, Serialize, Deserialize)]
48#[non_exhaustive]
49pub struct Rtti {
50    /// The kind of value.
51    pub(crate) kind: RttiKind,
52    /// The type hash of the type.
53    pub(crate) hash: Hash,
54    /// If this type is a variant, designates the hash of the variant.
55    pub(crate) variant_hash: Hash,
56    /// The item of the type.
57    pub(crate) item: ItemBuf,
58    /// Mapping from field names to their corresponding indexes.
59    pub(crate) fields: FieldMap<Box<str>, usize>,
60}
61
62impl Rtti {
63    /// Test if this RTTI matches the given raw hashes.
64    #[inline]
65    pub(crate) fn is(&self, hash: Hash, variant_hash: Hash) -> bool {
66        self.hash == hash && self.variant_hash == variant_hash
67    }
68
69    /// Access the item of the RTTI.
70    #[inline]
71    pub fn item(&self) -> &Item {
72        &self.item
73    }
74
75    /// Access the type hash of the RTTI.
76    #[inline]
77    pub fn type_hash(&self) -> Hash {
78        self.hash
79    }
80
81    /// Access the type information for the RTTI.
82    #[inline]
83    pub fn type_info(self: Arc<Self>) -> TypeInfo {
84        TypeInfo::rtti(self)
85    }
86}
87
88impl PartialEq for Rtti {
89    fn eq(&self, other: &Self) -> bool {
90        self.hash == other.hash && self.variant_hash == other.variant_hash
91    }
92}
93
94impl Eq for Rtti {}
95
96impl hash::Hash for Rtti {
97    fn hash<H: hash::Hasher>(&self, state: &mut H) {
98        self.hash.hash(state);
99        self.variant_hash.hash(state);
100    }
101}
102
103impl PartialOrd for Rtti {
104    fn partial_cmp(&self, other: &Self) -> Option<Ordering> {
105        Some(self.cmp(other))
106    }
107}
108
109impl Ord for Rtti {
110    #[inline]
111    fn cmp(&self, other: &Self) -> Ordering {
112        self.hash
113            .cmp(&other.hash)
114            .then_with(|| self.variant_hash.cmp(&other.variant_hash))
115    }
116}
rune/runtime/value/rtti.rs

rune/runtime/value/
rtti.rs
