pgschema 0.2.14

Prototype for PG-SChema with property constraints
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57

use crate::{
    edge::Edge, evidence::Evidence, formal_base_type::FormalBaseType, label_property_spec::LabelPropertySpec,
    pgs::PropertyGraphSchema, pgs_error::PgsError,
};
use either::Either;
use std::fmt::Display;

#[derive(Debug, Clone)]
pub struct EdgeType {
    pub source: LabelPropertySpec,
    pub edge: LabelPropertySpec,
    pub target: LabelPropertySpec,
}
impl EdgeType {
    pub fn new(source: LabelPropertySpec, edge: LabelPropertySpec, target: LabelPropertySpec) -> Self {
        EdgeType { source, edge, target }
    }

    pub fn semantics(&self, _schema: &PropertyGraphSchema) -> Result<EdgeSemantics, PgsError> {
        // Placeholder for actual implementation
        Ok(EdgeSemantics {
            source: FormalBaseType::new(),
            edge: FormalBaseType::new(),
            target: FormalBaseType::new(),
        })
    }
}

impl Display for EdgeType {
    fn fmt(&self, f: &mut std::fmt::Formatter<'_>) -> std::fmt::Result {
        write!(f, "EdgeType(({})-[{}]->({}))", self.source, self.edge, self.target)
    }
}

pub struct EdgeSemantics {
    pub source: FormalBaseType,
    pub edge: FormalBaseType,
    pub target: FormalBaseType,
}

impl EdgeSemantics {
    pub fn conforms_edge(&self, _type_name: &str, _edge: &Edge) -> Either<Vec<PgsError>, Vec<Evidence>> {
        // Placeholder for actual implementation
        // This would check if the edge conforms to the semantics defined by this EdgeType
        Either::Right(vec![]) // Return empty evidence for now
    }
}

impl Display for EdgeSemantics {
    fn fmt(&self, f: &mut std::fmt::Formatter<'_>) -> std::fmt::Result {
        write!(
            f,
            "EdgeSemantics(Source: {}, Edge: {}, Target: {})",
            self.source, self.edge, self.target
        )
    }
}