eles 1.0.0

ELES; Extensible Logical Expression Solver
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
109
110
111
112
113
114
115
116
117
118
119
120
121

use anyhow::{
 anyhow,
 Result
};
use eles::solve;

fn basic_logical_output_parser(input: &str) -> Result<bool>
{
 match input
 {
  "true" | "do your already parser -> true" => Ok(true),
  "false" | "do(your, already, parser) -> false" => Ok(false),
  sql if sql.to_lowercase().starts_with("select") => Err(anyhow!("I'm not a SQL.")),
  _ => Err(anyhow!("oops! your syntax {} is something wrong.", input))
 }
}

#[test]
fn just_true()
{
 assert_eq!(solve("true", basic_logical_output_parser).unwrap(), true);
 assert_eq!(solve("do your already parser -> true", basic_logical_output_parser).unwrap(), true);
}

#[test]
fn just_false()
{
 assert_eq!(solve("false", basic_logical_output_parser).unwrap(), false);
 assert_eq!(
  solve("do(your, already, parser) -> false", basic_logical_output_parser).unwrap(),
  false
 );
}

#[test]
fn err()
{
 assert!(solve("something wrong syntax", basic_logical_output_parser).is_err());
 let r = solve("SELECT * FROM my_nyanko_pictures_folder;", basic_logical_output_parser);
 assert_eq!(r.err().unwrap().to_string(), "I'm not a SQL.");
}

#[test]
fn x_and_x()
{
 assert_eq!(solve("true && true", basic_logical_output_parser).unwrap(), true);
 assert_eq!(solve("true && false", basic_logical_output_parser).unwrap(), false);
 assert_eq!(solve("false && true", basic_logical_output_parser).unwrap(), false);
 assert_eq!(solve("false && false", basic_logical_output_parser).unwrap(), false);
}

#[test]
fn x_or_x()
{
 assert_eq!(solve("true || true", basic_logical_output_parser).unwrap(), true);
 assert_eq!(solve("true || false", basic_logical_output_parser).unwrap(), true);
 assert_eq!(solve("false || true", basic_logical_output_parser).unwrap(), true);
 assert_eq!(solve("false || false", basic_logical_output_parser).unwrap(), false);
}

#[test]
fn x_xor_x()
{
 assert_eq!(solve("true ^^ true", basic_logical_output_parser).unwrap(), false);
 assert_eq!(solve("true ^^ false", basic_logical_output_parser).unwrap(), true);
 assert_eq!(solve("false ^^ true", basic_logical_output_parser).unwrap(), true);
 assert_eq!(solve("false ^^ false", basic_logical_output_parser).unwrap(), false);
}

#[test]
fn not()
{
 assert_eq!(solve("!! true", basic_logical_output_parser).unwrap(), false);
 assert_eq!(solve("!! false", basic_logical_output_parser).unwrap(), true);
 assert_eq!(solve("true || !! true", basic_logical_output_parser).unwrap(), true);
 assert_eq!(solve("true || !! false", basic_logical_output_parser).unwrap(), true);
 assert_eq!(solve("true && !! true", basic_logical_output_parser).unwrap(), false);
 assert_eq!(solve("true && !! false", basic_logical_output_parser).unwrap(), true);
 assert_eq!(solve("(( true )) && !! true", basic_logical_output_parser).unwrap(), false);
 assert_eq!(solve("(( true )) && !! false", basic_logical_output_parser).unwrap(), true);
 assert_eq!(solve("true && (( !! true  ))", basic_logical_output_parser).unwrap(), false);
 assert_eq!(solve("true && (( !! false ))", basic_logical_output_parser).unwrap(), true);
}

#[test]
fn parenthes()
{
 assert_eq!(
  solve("(( true || true  )) && (( true  || true  ))", basic_logical_output_parser).unwrap(),
  true
 );
 assert_eq!(
  solve("(( true || false )) && (( true  || false ))", basic_logical_output_parser).unwrap(),
  true
 );
 assert_eq!(
  solve("(( true || false )) && (( false || false ))", basic_logical_output_parser).unwrap(),
  false
 );

 assert_eq!(
  solve("(( true && true  )) || (( true  && true  ))", basic_logical_output_parser).unwrap(),
  true
 );
 assert_eq!(
  solve("(( true && false )) || (( true  && false ))", basic_logical_output_parser).unwrap(),
  false
 );
 assert_eq!(
  solve("(( true && false )) || (( false && false ))", basic_logical_output_parser).unwrap(),
  false
 );
 assert_eq!(
  solve(
   "(( (( true || true )) && (( false || false )) )) ^^ (( true && (( false || true )) ))",
   basic_logical_output_parser
  )
  .unwrap(),
  true
 );
}