Struct Catalog 

pub struct Catalog {
    pub labels: HashMap<Label, LabelDef>,
    pub indexes: Vec<IndexDef>,
    pub invariants: Vec<Invariant>,
}

カタログ

Fields

labels: HashMap<Label, LabelDef>

indexes: Vec<IndexDef>

invariants: Vec<Invariant>

Implementations

impl Catalog

pub fn empty() -> Self

空のカタログを作成

pub fn add_label(&mut self, def: LabelDef)

ラベル定義を追加

pub fn add_index(&mut self, def: IndexDef)

インデックス定義を追加

pub fn add_invariant(&mut self, inv: Invariant)

不変条件を追加

pub fn get_label(&self, name: &Label) -> Option<&LabelDef>

ラベル定義を取得

pub fn get_property_def( &self, label: &Label, prop: &PropertyKey, ) -> Option<&PropertyDef>

ラベルのプロパティを取得

pub fn has_property(&self, label: &Label, prop: &PropertyKey) -> bool

ラベルにプロパティが存在するかチェック

Trait Implementations

impl Clone for Catalog

fn clone(&self) -> Catalog

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for Catalog

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

Formats the value using the given formatter.

impl<'de> Deserialize<'de> for Catalog

fn deserialize<__D>(__deserializer: __D) -> Result<Self, __D::Error>

where __D: Deserializer<'de>,

Deserialize this value from the given Serde deserializer.

impl Serialize for Catalog

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

where __S: Serializer,

Serialize this value into the given Serde serializer.