triples 0.2.5

A lib and cli for storing data triples
Documentation 
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
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108

grammar;
use crate::turtle_stream::ParsedLine;
use crate::data::Pre;
use crate::data::RdfName;

// Entry rule for each line
pub Line: ParsedLine = {
    <prefix:Prefix> => ParsedLine::Prefix(prefix.0, prefix.1),
    <subject:RDFName> => ParsedLine::Subject(subject.0, RdfName::new(subject.1)),
    <isa:IsaStmt> => ParsedLine::SubjectPredObj( isa.0.0,
        RdfName::new(isa.0.1), Some(Pre::new("rdf".to_string())),
        RdfName::new("type".to_string()), isa.1.0, isa.1.1, isa.2),
    <triple:Triple> => ParsedLine::SubjectPredObj( triple.0.0,
        RdfName::new(triple.0.1), triple.1.0,
        RdfName::new(triple.1.1), triple.2.0, triple.2.1, triple.3),
    <object:RDFName> End => ParsedLine::ContinueObj(object.0, RdfName::new(object.1), false),
    <object:RDFName> Sep => ParsedLine::ContinueObj(object.0, RdfName::new(object.1), true),
    <object:RDFName> ObjSep => ParsedLine::ContinueObj(object.0, RdfName::new(object.1), true),
    <pair:PredicateObjectPair> Sep End => ParsedLine::PredObjTerm(pair.0.0,
        RdfName::new(pair.0.1), pair.1.0, pair.1.1),
    <pair:PredicateObjectPair> End => ParsedLine::PredObjTerm(pair.0.0,
        RdfName::new(pair.0.1), pair.1.0, pair.1.1),
    <pair:PredicateObjectPair> ObjSep => ParsedLine::PredObj(pair.0.0,
        RdfName::new(pair.0.1), pair.1.0, pair.1.1, true),
    <pair:PredicateObjectPair> Sep => ParsedLine::PredObj(pair.0.0,
        RdfName::new(pair.0.1), pair.1.0, pair.1.1, true),

};

IsaStmt: ((Option<Pre>, String), (Option<Pre>, String), bool) = {
    <subject:RDFName> IsA <object:Object> End => (subject, object, false),
    <subject:RDFName> IsA <object:Object> ObjSep => (subject, object, true)
};

Triple: ((Option<Pre>, String), (Option<Pre>, String), (Option<Pre>, String), bool) = {
    <subject:RDFName> <predicate:RDFName> <object:Object> End => (subject, predicate, object, false),
    <subject:RDFName> <predicate:RDFName> <object:Object> ObjSep => (subject, predicate, object, true),
};

PredicateObjectPair: ((Option<Pre>, String), (Option<Pre>, String), bool) = {
    <predicate:RDFName> <object:Object> => (predicate, object, false)
};


pub Prefix: (Pre, RdfName) = {
    "@prefix" <ns:Namespace> PrefixSep <uri:Uri> End => (Pre::new ( ns.to_string() ), RdfName::new(uri.to_string()))
};

// Captures the namespace (like "myns:")
Namespace: &'input str = {
    <n:Ident> => n
};

// Captures the URI enclosed in angle brackets (like "<http://example.com/myns#>")
Uri: &'input str = {
    "<" <u:UriContent> ">" => u.trim_end_matches('/')
};

UriContent: &'input str = r"https?://[^>]+";

pub Object: (Option<Pre>, String) = {
    <quoted:EscapedString> => {
        (None, quoted.trim_matches('"').to_string())
    },
    <name:RDFName> => {
        (name.0, name.1)
    }
};

// RDF Name (like res:... or prop:...)
pub RDFName: (Option<Pre>, String) = {
    <ns:Ident> PrefixSep <name:Ident> => (Some(Pre::new(ns.to_string())), name.to_string()),
    <name:Ident> => (None, name.to_string()),
    <uri:Uri> => (None, uri.to_string()),
};

// Definition of an identifier
Ident: &'input str = {
    r"[a-zA-Z0-9_][a-zA-Z0-9_-]*" => <>
};

EscapedString: &'input str = {
    r#""([^"\\]|\\.)*""# => <>
};

End: () = {
    r"\." => (),
};

Sep: () = {
    r";" => (),
};

//NsSep: () = {
//    r"#" => (),
//};

ObjSep: () = {
    r"," => (),
};

IsA: () = {
    r" a" => (),
};

PrefixSep: () = {
    r":" => (),
};