Struct aquascope::analysis::permissions::Permissions

pub struct Permissions {
    pub read: bool,
    pub write: bool,
    pub drop: bool,
}

Read, Write, and Own permissions for a single Place.

NOTE: previously, the term drop was used instead of own and this terminology remains within the source and internal documentation.

Fields

read: bool

write: bool

drop: bool

Implementations

impl Permissions

pub fn none() -> Self

pub fn all() -> Self

impl Permissions

pub fn bottom() -> Self

Trait Implementations

impl Clone for Permissions

fn clone(&self) -> Permissions

Returns a copy of the value.

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

Performs copy-assignment from source.

impl Debug for Permissions

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

Formats the value using the given formatter.

impl<C> DebugWithContext<C> for Permissions

fn fmt_diff_with(&self, old: &Self, _ctxt: &C, f: &mut Formatter<'_>) -> Result

Print the difference between self and old.

fn fmt_with(&self, _ctxt: &C, f: &mut Formatter<'_>) -> Result<(), Error>

impl Difference for Permissions

type Diff = PermissionsDiff

fn diff(&self, rhs: Permissions) -> Self::Diff

impl Hash for Permissions

fn hash<__H: Hasher>(&self, state: &mut __H)

Feeds this value into the given Hasher.

fn hash_slice<H>(data: &[Self], state: &mut H)where H: Hasher, Self: Sized,

Feeds a slice of this type into the given Hasher.

impl JoinSemiLattice for Permissions

fn join(&mut self, other: &Self) -> bool

Computes the least upper bound of two elements, storing the result in self and returning true if self has changed.

impl PartialEq<Permissions> for Permissions

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

This method tests for self and other values to be equal, and is used by ==.

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

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

impl Serialize for Permissions

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

Serialize this value into the given Serde serializer.

impl TS for Permissions

const EXPORT_TO: Option<&'static str> = _

fn decl() -> String

Declaration of this type, e.g. interface User { user_id: number, ... }. This function will panic if the type has no declaration.

fn name() -> String

Name of this type in TypeScript.

fn inline() -> String

Formats this types definition in TypeScript, e.g { user_id: number }. This function will panic if the type cannot be inlined.

fn inline_flattened() -> String

Flatten an type declaration.
This function will panic if the type cannot be flattened.

fn dependencies() -> Vec<Dependency>

Information about types this type depends on. This is used for resolving imports when exporting to a file.

fn transparent() -> bool

true if this is a transparent type, e.g tuples or a list.
This is used for resolving imports when using the export! macro.

fn name_with_type_args(args: Vec<String, Global>) -> String

Name of this type in TypeScript, with type arguments.

fn export() -> Result<(), ExportError>

Manually export this type to a file. The output file can be specified by annotating the type with #[ts(export_to = ".."]. By default, the filename will be derived from the types name.

fn export_to(path: impl AsRef<Path>) -> Result<(), ExportError>

Manually export this type to a file with a file with the specified path. This function will ignore the #[ts(export_to = "..)] attribute.

fn export_to_string() -> Result<String, ExportError>

Manually generate bindings for this type, returning a String.
This function does not format the output, even if the format feature is enabled.

impl Copy for Permissions

impl Eq for Permissions

impl StructuralEq for Permissions

impl StructuralPartialEq for Permissions