Skip to main content

ModuleV0

aranya_policy_module

Struct ModuleV0

pub struct ModuleV0 {
    pub progmem: Box<[Instruction]>,
    pub labels: BTreeMap<Label, usize>,
    pub action_defs: NamedMap<ActionDef>,
    pub command_defs: NamedMap<CommandDef>,
    pub fact_defs: BTreeMap<Identifier, FactDefinition>,
    pub struct_defs: BTreeMap<Identifier, Vec<FieldDefinition>>,
    pub enum_defs: BTreeMap<Identifier, BTreeMap<Identifier, i64>>,
    pub codemap: Option<CodeMap>,
    pub globals: BTreeMap<Identifier, Value>,
}

Expand description

The Version 0 module format

Fields§

§progmem: Box<[Instruction]>

Program memory

§labels: BTreeMap<Label, usize>

Labels

§action_defs: NamedMap<ActionDef>

Action definitions

§command_defs: NamedMap<CommandDef>

Command definitions

§fact_defs: BTreeMap<Identifier, FactDefinition>

Fact definitions

§struct_defs: BTreeMap<Identifier, Vec<FieldDefinition>>

Struct definitions

§enum_defs: BTreeMap<Identifier, BTreeMap<Identifier, i64>>

Enum definitions

§codemap: Option<CodeMap>

Code map

§globals: BTreeMap<Identifier, Value>

Global static data

Trait Implementations§

impl Archive for ModuleV0
where Box<[Instruction]>: Archive, BTreeMap<Label, usize>: Archive, NamedMap<ActionDef>: Archive, NamedMap<CommandDef>: Archive, BTreeMap<Identifier, FactDefinition>: Archive, BTreeMap<Identifier, Vec<FieldDefinition>>: Archive, BTreeMap<Identifier, BTreeMap<Identifier, i64>>: Archive, Option<CodeMap>: Archive, BTreeMap<Identifier, Value>: Archive,

const COPY_OPTIMIZATION: CopyOptimization<Self>

An optimization flag that allows the bytes of this type to be copied directly to a writer instead of calling serialize. Read more

type Archived = ArchivedModuleV0

The archived representation of this type. Read more

type Resolver = ModuleV0Resolver

The resolver for this type. It must contain all the additional information from serializing needed to make the archived type from the normal type.

fn resolve(&self, resolver: Self::Resolver, out: Place<Self::Archived>)

Creates the archived version of this value at the given position and writes it to the given output. Read more

impl Clone for ModuleV0

fn clone(&self) -> ModuleV0

Returns a duplicate of the value. Read more

1.0.0 · Source§

fn clone_from(&mut self, source: &Self)

Performs copy-assignment from source. Read more

impl Debug for ModuleV0

fn fmt(&self, f: &mut Formatter<'_>) -> Result

Formats the value using the given formatter. Read more

impl<'de> Deserialize<'de> for ModuleV0

fn deserialize<D>(deserializer: D) -> Result<Self, D::Error>
where __D: Deserializer<'de>,

Deserialize this value from the given Serde deserializer. Read more

impl<D: Fallible + ?Sized> Deserialize<ModuleV0, D> for Archived<ModuleV0>
where Box<[Instruction]>: Archive, <Box<[Instruction]> as Archive>::Archived: Deserialize<Box<[Instruction]>, D>, BTreeMap<Label, usize>: Archive, <BTreeMap<Label, usize> as Archive>::Archived: Deserialize<BTreeMap<Label, usize>, D>, NamedMap<ActionDef>: Archive, <NamedMap<ActionDef> as Archive>::Archived: Deserialize<NamedMap<ActionDef>, D>, NamedMap<CommandDef>: Archive, <NamedMap<CommandDef> as Archive>::Archived: Deserialize<NamedMap<CommandDef>, D>, BTreeMap<Identifier, FactDefinition>: Archive, <BTreeMap<Identifier, FactDefinition> as Archive>::Archived: Deserialize<BTreeMap<Identifier, FactDefinition>, D>, BTreeMap<Identifier, Vec<FieldDefinition>>: Archive, <BTreeMap<Identifier, Vec<FieldDefinition>> as Archive>::Archived: Deserialize<BTreeMap<Identifier, Vec<FieldDefinition>>, D>, BTreeMap<Identifier, BTreeMap<Identifier, i64>>: Archive, <BTreeMap<Identifier, BTreeMap<Identifier, i64>> as Archive>::Archived: Deserialize<BTreeMap<Identifier, BTreeMap<Identifier, i64>>, D>, Option<CodeMap>: Archive, <Option<CodeMap> as Archive>::Archived: Deserialize<Option<CodeMap>, D>, BTreeMap<Identifier, Value>: Archive, <BTreeMap<Identifier, Value> as Archive>::Archived: Deserialize<BTreeMap<Identifier, Value>, __D>,

fn deserialize( &self, deserializer: &mut D, ) -> Result<ModuleV0, <D as Fallible>::Error>

Deserializes using the given deserializer

impl PartialEq for ModuleV0

fn eq(&self, other: &ModuleV0) -> bool

Tests for self and other values to be equal, and is used by ==.

1.0.0 · Source§

fn ne(&self, other: &Rhs) -> bool

Tests for !=. The default implementation is almost always sufficient, and should not be overridden without very good reason.

impl<S: Fallible + ?Sized> Serialize<S> for ModuleV0
where Box<[Instruction]>: Serialize<S>, BTreeMap<Label, usize>: Serialize<S>, NamedMap<ActionDef>: Serialize<S>, NamedMap<CommandDef>: Serialize<S>, BTreeMap<Identifier, FactDefinition>: Serialize<S>, BTreeMap<Identifier, Vec<FieldDefinition>>: Serialize<S>, BTreeMap<Identifier, BTreeMap<Identifier, i64>>: Serialize<S>, Option<CodeMap>: Serialize<S>, BTreeMap<Identifier, Value>: Serialize<__S>,

fn serialize( &self, serializer: &mut S, ) -> Result<<Self as Archive>::Resolver, <S as Fallible>::Error>

Writes the dependencies for the object and returns a resolver that can create the archived type.

impl Serialize for ModuleV0

fn serialize<S>(&self, serializer: S) -> Result<S::Ok, S::Error>
where S: Serializer,

Serialize this value into the given Serde serializer. Read more

impl Eq for ModuleV0

impl StructuralPartialEq for ModuleV0

Auto Trait Implementations§

impl Freeze for ModuleV0

impl RefUnwindSafe for ModuleV0

impl Send for ModuleV0

impl Sync for ModuleV0

impl Unpin for ModuleV0

impl UnsafeUnpin for ModuleV0

impl UnwindSafe for ModuleV0

Blanket Implementations§

impl<T> Any for T
where T: 'static + ?Sized,

fn type_id(&self) -> TypeId

Gets the TypeId of self. Read more

impl<T> ArchivePointee for T

type ArchivedMetadata = ()

The archived version of the pointer metadata for this type.

fn pointer_metadata( _: &<T as ArchivePointee>::ArchivedMetadata, ) -> <T as Pointee>::Metadata

Converts some archived metadata to the pointer metadata for itself.

impl<T> ArchiveUnsized for T
where T: Archive,

type Archived = <T as Archive>::Archived

The archived counterpart of this type. Unlike Archive, it may be unsized. Read more

fn archived_metadata( &self, ) -> <<T as ArchiveUnsized>::Archived as ArchivePointee>::ArchivedMetadata

Creates the archived version of the metadata for this value.

impl<T> Borrow<T> for T
where T: ?Sized,

fn borrow(&self) -> &T

Immutably borrows from an owned value. Read more

impl<T> BorrowMut<T> for T
where T: ?Sized,

fn borrow_mut(&mut self) -> &mut T

Mutably borrows from an owned value. Read more

impl<T> CloneToUninit for T
where T: Clone,

unsafe fn clone_to_uninit(&self, dest: *mut u8)

🔬This is a nightly-only experimental API. (clone_to_uninit)

Performs copy-assignment from self to dest. Read more

impl<Q, K> Equivalent<K> for Q
where Q: Eq + ?Sized, K: Borrow<Q> + ?Sized,

fn equivalent(&self, key: &K) -> bool

Checks if this value is equivalent to the given key. Read more

impl<Q, K> Equivalent<K> for Q
where Q: Eq + ?Sized, K: Borrow<Q> + ?Sized,

fn equivalent(&self, key: &K) -> bool

Compare self to key and return true if they are equal.

impl<T> From<T> for T

fn from(t: T) -> T

Returns the argument unchanged.

impl<T, U> Into<U> for T
where U: From<T>,

fn into(self) -> U

Calls U::from(self).

That is, this conversion is whatever the implementation of From<T> for U chooses to do.

impl<T> LayoutRaw for T

fn layout_raw(_: <T as Pointee>::Metadata) -> Result<Layout, LayoutError>

Returns the layout of the type.

impl<T, N1, N2> Niching<NichedOption<T, N1>> for N2
where T: SharedNiching<N1, N2>, N1: Niching<T>, N2: Niching<T>,

unsafe fn is_niched(niched: *const NichedOption<T, N1>) -> bool

Returns whether the given value has been niched. Read more

fn resolve_niched(out: Place<NichedOption<T, N1>>)

Writes data to out indicating that a T is niched.

impl<T> Pointee for T

type Metadata = ()

The metadata type for pointers and references to this type.

impl<T, S> SerializeUnsized<S> for T
where T: Serialize<S>, S: Fallible + Writer + ?Sized,

fn serialize_unsized( &self, serializer: &mut S, ) -> Result<usize, <S as Fallible>::Error>

Writes the object and returns the position of the archived type.

impl<T> ToOwned for T
where T: Clone,

type Owned = T

The resulting type after obtaining ownership.

fn to_owned(&self) -> T

Creates owned data from borrowed data, usually by cloning. Read more

fn clone_into(&self, target: &mut T)

Uses borrowed data to replace owned data, usually by cloning. Read more

impl<T, U> TryFrom<U> for T
where U: Into<T>,

type Error = Infallible

The type returned in the event of a conversion error.

fn try_from(value: U) -> Result<T, <T as TryFrom<U>>::Error>

Performs the conversion.

impl<T, U> TryInto<U> for T
where U: TryFrom<T>,

type Error = <U as TryFrom<T>>::Error

The type returned in the event of a conversion error.

fn try_into(self) -> Result<U, <U as TryFrom<T>>::Error>

Performs the conversion.

impl<T> DeserializeOwned for T
where T: for<'de> Deserialize<'de>,