asdi 0.2.5

Another Simplistic Datalog Implementation (in Rust)
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

@startuml

!include options.plantuml

class asdi::Program
hide "asdi::Program" members

class asdi::edb::RelationSet
hide "asdi::edb::RelationSet" members

class asdi::edb::Relation
hide "asdi::edb::Relation" members

class asdi::edb::Fact
hide "asdi::edb::Fact" members

class asdi::idb::RuleSet
hide "asdi::idb::RuleSet" members

class asdi::idb::Rule
hide "asdi::idb::Rule" members

class asdi::idb::query::QuerySet
hide "asdi::idb::query::QuerySet" members

class asdi::idb::query::Query
hide "asdi::idb::query::Query" members

namespace asdi::visitor {

    interface ProgramVisitor
    interface ProgramWriter
    interface RelationVisitor
    interface RuleVisitor
    interface QueryVisitor

    ProgramVisitor ..> RelationVisitor
    ProgramVisitor ..> RuleVisitor
    ProgramVisitor ..> QueryVisitor
    ProgramVisitor ..> asdi::Program
    ProgramVisitor ..> asdi::edb::RelationSet
    ProgramVisitor ..> asdi::idb::RuleSet
    ProgramVisitor ..> asdi::idb::query::QuerySet

    ProgramWriter --|> ProgramVisitor

    RelationVisitor ..> asdi::edb::Relation
    RelationVisitor ..> asdi::edb::Fact

    RuleVisitor ..> asdi::idb::Rule

    QueryVisitor ..> asdi::idb::query::Query


    class visitor << module >> {
        visit_program(program: &Program, visitor: &ProgramVisitor) : Result<()>
        format_program(program: &Program, visitor: &ProgramWriter) : Result<()>
    }

    visitor .right.> ProgramVisitor
    visitor .right.> ProgramWriter
}

@enduml