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

use asdi::edb::Constant;

#[test]
fn test_is_identifier() {
    assert!(Constant::is_identifier("socrates"));
    assert!(Constant::is_identifier("socrates_and_plato"));
    assert!(Constant::is_identifier("socrates1"));
    assert!(Constant::is_identifier("greek:socrates"));
    assert!(Constant::is_identifier("greek:Socrates"));
    assert!(Constant::is_identifier("greek:socrates_and_plato"));
    assert!(Constant::is_identifier("greek:Socrates_and_Plato"));
    assert!(Constant::is_identifier("greek:socrates1"));
    assert!(Constant::is_identifier("greek:Socrates1"));
}

#[test]
fn test_is_not_identifier() {
    assert!(!Constant::is_identifier("Socrates"));
    assert!(!Constant::is_identifier("_and_plato"));
    assert!(!Constant::is_identifier("1socrates"));
    assert!(!Constant::is_identifier("Greek:socrates"));
    assert!(!Constant::is_identifier("_greek:socrates"));
    assert!(!Constant::is_identifier("greek:_and_plato"));
    assert!(!Constant::is_identifier("greek:socrates:plato"));
    assert!(!Constant::is_identifier(":greekSocrates"));
    assert!(!Constant::is_identifier("greek:"));
}