Struct proof_of_sql_parser::resource_id::ResourceId

pub struct ResourceId { /* private fields */ }

Unique resource identifier, like schema.object_name.

Implementations

impl ResourceId

pub fn new(schema: Identifier, object_name: Identifier) -> Self

Constructor for ResourceIds.

pub fn try_new(schema: &str, object_name: &str) -> ParseResult<Self>

Constructor for ResourceIds.

Errors

Fails if the provided schema/object_name strings aren’t valid postgres-style identifiers (excluding dollar signs). These identifiers are defined here: https://www.postgresql.org/docs/current/sql-syntax-lexical.html#SQL-SYNTAX-IDENTIFIERS.

pub fn schema(&self) -> Identifier

The schema identifier of this ResourceId.

pub fn object_name(&self) -> Identifier

The object_name identifier of this ResourceId.

pub fn storage_format(&self) -> String

Conversion to string in the format used in KeyDB.

Space and time APIs accept a . separator in resource ids. However, when a resource id is stored in KeyDB, or used as a key, a : separator is used. This method differs from [ResourceId::to_string] by using the latter format.

Furthermore, while space and time APIs accept lowercase resource identifiers, all resource identifiers are stored internally in uppercase. This method performs that transformation as well. For more information, see https://space-and-time.atlassian.net/wiki/spaces/SE/pages/4947974/Gateway+Storage+Overview#Database-Resources.

Trait Implementations

impl Clone for ResourceId

fn clone(&self) -> ResourceId

Returns a copy of the value.

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

Performs copy-assignment from source.

impl Debug for ResourceId

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

Formats the value using the given formatter.

impl<'d> Deserialize<'d> for ResourceId

fn deserialize<D>(deserializer: D) -> Result<Self, D::Error>

where D: Deserializer<'d>,

Deserialize this value from the given Serde deserializer.

impl Display for ResourceId

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

Formats the value using the given formatter.

impl FromStr for ResourceId

type Err = ParseError

The associated error which can be returned from parsing.

fn from_str(string: &str) -> ParseResult<Self>

Parses a string s to return a value of this type.

impl Hash for ResourceId

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 PartialEq for ResourceId

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

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

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 Serialize for ResourceId

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

where S: Serializer,

Serialize this value into the given Serde serializer.

impl Copy for ResourceId

impl Eq for ResourceId

impl StructuralPartialEq for ResourceId