re_duxml 0.1.0 → 0.1.1
Sign up to get free protection for your applications and to get access to all the features.
- checksums.yaml +4 -4
- data/lib/ast_ext/node.rb +52 -52
- data/lib/re_duxml/array.rb +36 -37
- data/lib/re_duxml/element/parameterization.rb +18 -18
- data/lib/re_duxml/element.rb +8 -8
- data/lib/re_duxml/evaluate/parser.rb +3 -2
- data/lib/re_duxml/evaluate.rb +78 -77
- data/lib/re_duxml.rb +104 -99
- data/lib/ruby_ext/boolean.rb +37 -37
- data/lib/ruby_ext/fixnum.rb +5 -5
- data/lib/ruby_ext/macro.rb +50 -50
- data/lib/ruby_ext/regexp.rb +6 -6
- data/lib/ruby_ext/string.rb +14 -14
- data/lib/symbolic_ext/coerced.rb +15 -15
- data/lib/symbolic_ext/symbolic.rb +26 -26
- data/lib/symbolic_ext/variable.rb +60 -60
- data/xml/logic.xml +152 -152
- metadata +20 -6
data/xml/logic.xml
CHANGED
|
@@ -1,153 +1,153 @@
|
|
|
1
|
-
<?xml version="1.0" encoding="UTF-8"?>
|
|
2
|
-
<logic>
|
|
3
|
-
<!-- indexing -->
|
|
4
|
-
<operator id="op_square" precedence="90" logic="string">
|
|
5
|
-
<regexp>\[</regexp>
|
|
6
|
-
<symbol>[</symbol>
|
|
7
|
-
<pair>]</pair>
|
|
8
|
-
</operator>
|
|
9
|
-
<operator id="cl_square" precedence="90" logic="string">
|
|
10
|
-
<regexp>\]</regexp>
|
|
11
|
-
<symbol>]</symbol>
|
|
12
|
-
<position>postfix</position>
|
|
13
|
-
<pair>[</pair>
|
|
14
|
-
<arity>1</arity>
|
|
15
|
-
</operator>
|
|
16
|
-
|
|
17
|
-
<!-- grouping -->
|
|
18
|
-
<operator id="op_parens" precedence="100" logic="global">
|
|
19
|
-
<regexp>\(</regexp>
|
|
20
|
-
<symbol>(</symbol>
|
|
21
|
-
<position>prefix</position>
|
|
22
|
-
<pair>)</pair>
|
|
23
|
-
<arity>1</arity>
|
|
24
|
-
</operator>
|
|
25
|
-
<operator id="cl_parens" precedence="100" logic="global">
|
|
26
|
-
<regexp>\)</regexp>
|
|
27
|
-
<symbol>)</symbol>
|
|
28
|
-
<position>postfix</position>
|
|
29
|
-
<pair>(</pair>
|
|
30
|
-
<arity>1</arity>
|
|
31
|
-
</operator>
|
|
32
|
-
|
|
33
|
-
<!-- combinators -->
|
|
34
|
-
<operator id="interro" logic="global" precedence="0">
|
|
35
|
-
<regexp>\?</regexp>
|
|
36
|
-
<symbol>?</symbol>
|
|
37
|
-
<right_associative>true</right_associative>
|
|
38
|
-
<ruby>ternary</ruby>
|
|
39
|
-
<arity>3</arity>
|
|
40
|
-
<pair>:</pair>
|
|
41
|
-
</operator>
|
|
42
|
-
<operator id="colon" logic="global" precedence="0">
|
|
43
|
-
<symbol>:</symbol>
|
|
44
|
-
<pair>?</pair>
|
|
45
|
-
</operator>
|
|
46
|
-
<operator id="and" logic="boolean" precedence="10">
|
|
47
|
-
<regexp>&{2}</regexp>
|
|
48
|
-
<symbol>&&</symbol>
|
|
49
|
-
<ruby>and</ruby>
|
|
50
|
-
<identity>true</identity>
|
|
51
|
-
</operator>
|
|
52
|
-
<operator id="or" logic="boolean" precedence="10">
|
|
53
|
-
<regexp>\|{2}</regexp>
|
|
54
|
-
<symbol>||</symbol>
|
|
55
|
-
<ruby>or</ruby>
|
|
56
|
-
<identity>false</identity>
|
|
57
|
-
</operator>
|
|
58
|
-
<operator id="not" logic="boolean" precedence="11">
|
|
59
|
-
<position>prefix</position>
|
|
60
|
-
<regexp>(!)(?=\w|!)</regexp>
|
|
61
|
-
<ruby>not</ruby>
|
|
62
|
-
<symbol>!</symbol>
|
|
63
|
-
<arity>1</arity>
|
|
64
|
-
<identity>monad</identity>
|
|
65
|
-
<right_associative>true</right_associative>
|
|
66
|
-
<inverse>!</inverse>
|
|
67
|
-
</operator>
|
|
68
|
-
|
|
69
|
-
<!-- comparators -->
|
|
70
|
-
<operator id="eq" logic="arithmetic string" precedence="30">
|
|
71
|
-
<symbol>==</symbol>
|
|
72
|
-
<reverse>==</reverse>
|
|
73
|
-
<inverse>!=</inverse>
|
|
74
|
-
</operator>
|
|
75
|
-
<operator id="lt" logic="arithmetic string" precedence="35">
|
|
76
|
-
<symbol><</symbol>
|
|
77
|
-
<reverse>></reverse>
|
|
78
|
-
<inverse>>=</inverse>
|
|
79
|
-
</operator>
|
|
80
|
-
<operator id="gt" logic="arithmetic string" precedence="35">
|
|
81
|
-
<symbol>></symbol>
|
|
82
|
-
<reverse><</reverse>
|
|
83
|
-
<inverse><=</inverse>
|
|
84
|
-
</operator>
|
|
85
|
-
<operator id="le" logic="arithmetic string" precedence="35">
|
|
86
|
-
<symbol><=</symbol>
|
|
87
|
-
<reverse>>=</reverse>
|
|
88
|
-
<inverse>></inverse>
|
|
89
|
-
</operator>
|
|
90
|
-
<operator id="ge" logic="arithmetic string" precedence="35">
|
|
91
|
-
<symbol>>=</symbol>
|
|
92
|
-
<reverse><=</reverse>
|
|
93
|
-
<inverse><</inverse>
|
|
94
|
-
</operator>
|
|
95
|
-
<operator id="ne" logic="arithmetic string" precedence="30">
|
|
96
|
-
<symbol>!=</symbol>
|
|
97
|
-
<reverse>!=</reverse>
|
|
98
|
-
<inverse>==</inverse>
|
|
99
|
-
</operator>
|
|
100
|
-
|
|
101
|
-
<!-- arithmetic -->
|
|
102
|
-
<operator id="add" precedence="55" logic="arithmetic string">
|
|
103
|
-
<regexp>\+</regexp>
|
|
104
|
-
<symbol>+</symbol>
|
|
105
|
-
<identity>0</identity>
|
|
106
|
-
<inverse>–</inverse>
|
|
107
|
-
</operator>
|
|
108
|
-
<operator id="sub" precedence="55" logic="arithmetic">
|
|
109
|
-
<symbol>–</symbol>
|
|
110
|
-
<ruby>-</ruby>
|
|
111
|
-
<identity>0</identity>
|
|
112
|
-
<inverse>+</inverse>
|
|
113
|
-
</operator>
|
|
114
|
-
<operator id="neg" precedence="65" logic="arithmetic">
|
|
115
|
-
<position>prefix</position>
|
|
116
|
-
<symbol>-</symbol>
|
|
117
|
-
<ruby>-@</ruby>
|
|
118
|
-
<arity>1</arity>
|
|
119
|
-
<right_associative>true</right_associative>
|
|
120
|
-
<identity>0</identity>
|
|
121
|
-
<inverse>-</inverse>
|
|
122
|
-
</operator>
|
|
123
|
-
<operator id="mul" precedence="60" logic="arithmetic">
|
|
124
|
-
<regexp>\*</regexp>
|
|
125
|
-
<symbol>*</symbol>
|
|
126
|
-
<print>×</print>
|
|
127
|
-
<identity>1</identity>
|
|
128
|
-
<inverse>/</inverse>
|
|
129
|
-
</operator>
|
|
130
|
-
<operator id="div" precedence="60" logic="arithmetic">
|
|
131
|
-
<regexp>\/</regexp>
|
|
132
|
-
<symbol>/</symbol>
|
|
133
|
-
<print>÷</print>
|
|
134
|
-
<identity>1</identity>
|
|
135
|
-
<inverse>*</inverse>
|
|
136
|
-
</operator>
|
|
137
|
-
<operator id="mod" precedence="60" logic="arithmetic">
|
|
138
|
-
<symbol>%</symbol>
|
|
139
|
-
</operator>
|
|
140
|
-
<operator id="exp" precedence="70" logic="arithmetic">
|
|
141
|
-
<regexp>\*{2}</regexp>
|
|
142
|
-
<symbol>**</symbol>
|
|
143
|
-
<ruby>**</ruby>
|
|
144
|
-
<print>^</print>
|
|
145
|
-
<identity>1</identity>
|
|
146
|
-
<inverse>log</inverse>
|
|
147
|
-
</operator>
|
|
148
|
-
<operator id="log" precedence="70" logic="arithmetic">
|
|
149
|
-
<symbol>log</symbol>
|
|
150
|
-
<position>prefix</position>
|
|
151
|
-
<inverse>^</inverse>
|
|
152
|
-
</operator>
|
|
1
|
+
<?xml version="1.0" encoding="UTF-8"?>
|
|
2
|
+
<logic>
|
|
3
|
+
<!-- indexing -->
|
|
4
|
+
<operator id="op_square" precedence="90" logic="string">
|
|
5
|
+
<regexp>\[</regexp>
|
|
6
|
+
<symbol>[</symbol>
|
|
7
|
+
<pair>]</pair>
|
|
8
|
+
</operator>
|
|
9
|
+
<operator id="cl_square" precedence="90" logic="string">
|
|
10
|
+
<regexp>\]</regexp>
|
|
11
|
+
<symbol>]</symbol>
|
|
12
|
+
<position>postfix</position>
|
|
13
|
+
<pair>[</pair>
|
|
14
|
+
<arity>1</arity>
|
|
15
|
+
</operator>
|
|
16
|
+
|
|
17
|
+
<!-- grouping -->
|
|
18
|
+
<operator id="op_parens" precedence="100" logic="global">
|
|
19
|
+
<regexp>\(</regexp>
|
|
20
|
+
<symbol>(</symbol>
|
|
21
|
+
<position>prefix</position>
|
|
22
|
+
<pair>)</pair>
|
|
23
|
+
<arity>1</arity>
|
|
24
|
+
</operator>
|
|
25
|
+
<operator id="cl_parens" precedence="100" logic="global">
|
|
26
|
+
<regexp>\)</regexp>
|
|
27
|
+
<symbol>)</symbol>
|
|
28
|
+
<position>postfix</position>
|
|
29
|
+
<pair>(</pair>
|
|
30
|
+
<arity>1</arity>
|
|
31
|
+
</operator>
|
|
32
|
+
|
|
33
|
+
<!-- combinators -->
|
|
34
|
+
<operator id="interro" logic="global" precedence="0">
|
|
35
|
+
<regexp>\?</regexp>
|
|
36
|
+
<symbol>?</symbol>
|
|
37
|
+
<right_associative>true</right_associative>
|
|
38
|
+
<ruby>ternary</ruby>
|
|
39
|
+
<arity>3</arity>
|
|
40
|
+
<pair>:</pair>
|
|
41
|
+
</operator>
|
|
42
|
+
<operator id="colon" logic="global" precedence="0">
|
|
43
|
+
<symbol>:</symbol>
|
|
44
|
+
<pair>?</pair>
|
|
45
|
+
</operator>
|
|
46
|
+
<operator id="and" logic="boolean" precedence="10">
|
|
47
|
+
<regexp>&{2}</regexp>
|
|
48
|
+
<symbol>&&</symbol>
|
|
49
|
+
<ruby>and</ruby>
|
|
50
|
+
<identity>true</identity>
|
|
51
|
+
</operator>
|
|
52
|
+
<operator id="or" logic="boolean" precedence="10">
|
|
53
|
+
<regexp>\|{2}</regexp>
|
|
54
|
+
<symbol>||</symbol>
|
|
55
|
+
<ruby>or</ruby>
|
|
56
|
+
<identity>false</identity>
|
|
57
|
+
</operator>
|
|
58
|
+
<operator id="not" logic="boolean" precedence="11">
|
|
59
|
+
<position>prefix</position>
|
|
60
|
+
<regexp>(!)(?=\w|!)</regexp>
|
|
61
|
+
<ruby>not</ruby>
|
|
62
|
+
<symbol>!</symbol>
|
|
63
|
+
<arity>1</arity>
|
|
64
|
+
<identity>monad</identity>
|
|
65
|
+
<right_associative>true</right_associative>
|
|
66
|
+
<inverse>!</inverse>
|
|
67
|
+
</operator>
|
|
68
|
+
|
|
69
|
+
<!-- comparators -->
|
|
70
|
+
<operator id="eq" logic="arithmetic string" precedence="30">
|
|
71
|
+
<symbol>==</symbol>
|
|
72
|
+
<reverse>==</reverse>
|
|
73
|
+
<inverse>!=</inverse>
|
|
74
|
+
</operator>
|
|
75
|
+
<operator id="lt" logic="arithmetic string" precedence="35">
|
|
76
|
+
<symbol><</symbol>
|
|
77
|
+
<reverse>></reverse>
|
|
78
|
+
<inverse>>=</inverse>
|
|
79
|
+
</operator>
|
|
80
|
+
<operator id="gt" logic="arithmetic string" precedence="35">
|
|
81
|
+
<symbol>></symbol>
|
|
82
|
+
<reverse><</reverse>
|
|
83
|
+
<inverse><=</inverse>
|
|
84
|
+
</operator>
|
|
85
|
+
<operator id="le" logic="arithmetic string" precedence="35">
|
|
86
|
+
<symbol><=</symbol>
|
|
87
|
+
<reverse>>=</reverse>
|
|
88
|
+
<inverse>></inverse>
|
|
89
|
+
</operator>
|
|
90
|
+
<operator id="ge" logic="arithmetic string" precedence="35">
|
|
91
|
+
<symbol>>=</symbol>
|
|
92
|
+
<reverse><=</reverse>
|
|
93
|
+
<inverse><</inverse>
|
|
94
|
+
</operator>
|
|
95
|
+
<operator id="ne" logic="arithmetic string" precedence="30">
|
|
96
|
+
<symbol>!=</symbol>
|
|
97
|
+
<reverse>!=</reverse>
|
|
98
|
+
<inverse>==</inverse>
|
|
99
|
+
</operator>
|
|
100
|
+
|
|
101
|
+
<!-- arithmetic -->
|
|
102
|
+
<operator id="add" precedence="55" logic="arithmetic string">
|
|
103
|
+
<regexp>\+</regexp>
|
|
104
|
+
<symbol>+</symbol>
|
|
105
|
+
<identity>0</identity>
|
|
106
|
+
<inverse>–</inverse>
|
|
107
|
+
</operator>
|
|
108
|
+
<operator id="sub" precedence="55" logic="arithmetic">
|
|
109
|
+
<symbol>–</symbol>
|
|
110
|
+
<ruby>-</ruby>
|
|
111
|
+
<identity>0</identity>
|
|
112
|
+
<inverse>+</inverse>
|
|
113
|
+
</operator>
|
|
114
|
+
<operator id="neg" precedence="65" logic="arithmetic">
|
|
115
|
+
<position>prefix</position>
|
|
116
|
+
<symbol>-</symbol>
|
|
117
|
+
<ruby>-@</ruby>
|
|
118
|
+
<arity>1</arity>
|
|
119
|
+
<right_associative>true</right_associative>
|
|
120
|
+
<identity>0</identity>
|
|
121
|
+
<inverse>-</inverse>
|
|
122
|
+
</operator>
|
|
123
|
+
<operator id="mul" precedence="60" logic="arithmetic">
|
|
124
|
+
<regexp>\*</regexp>
|
|
125
|
+
<symbol>*</symbol>
|
|
126
|
+
<print>×</print>
|
|
127
|
+
<identity>1</identity>
|
|
128
|
+
<inverse>/</inverse>
|
|
129
|
+
</operator>
|
|
130
|
+
<operator id="div" precedence="60" logic="arithmetic">
|
|
131
|
+
<regexp>\/</regexp>
|
|
132
|
+
<symbol>/</symbol>
|
|
133
|
+
<print>÷</print>
|
|
134
|
+
<identity>1</identity>
|
|
135
|
+
<inverse>*</inverse>
|
|
136
|
+
</operator>
|
|
137
|
+
<operator id="mod" precedence="60" logic="arithmetic">
|
|
138
|
+
<symbol>%</symbol>
|
|
139
|
+
</operator>
|
|
140
|
+
<operator id="exp" precedence="70" logic="arithmetic">
|
|
141
|
+
<regexp>\*{2}</regexp>
|
|
142
|
+
<symbol>**</symbol>
|
|
143
|
+
<ruby>**</ruby>
|
|
144
|
+
<print>^</print>
|
|
145
|
+
<identity>1</identity>
|
|
146
|
+
<inverse>log</inverse>
|
|
147
|
+
</operator>
|
|
148
|
+
<operator id="log" precedence="70" logic="arithmetic">
|
|
149
|
+
<symbol>log</symbol>
|
|
150
|
+
<position>prefix</position>
|
|
151
|
+
<inverse>^</inverse>
|
|
152
|
+
</operator>
|
|
153
153
|
</logic>
|
metadata
CHANGED
|
@@ -1,15 +1,29 @@
|
|
|
1
1
|
--- !ruby/object:Gem::Specification
|
|
2
2
|
name: re_duxml
|
|
3
3
|
version: !ruby/object:Gem::Version
|
|
4
|
-
version: 0.1.
|
|
4
|
+
version: 0.1.1
|
|
5
5
|
platform: ruby
|
|
6
6
|
authors:
|
|
7
7
|
- Peter Kong
|
|
8
8
|
autorequire:
|
|
9
9
|
bindir: bin
|
|
10
10
|
cert_chain: []
|
|
11
|
-
date:
|
|
11
|
+
date: 2017-05-20 00:00:00.000000000 Z
|
|
12
12
|
dependencies:
|
|
13
|
+
- !ruby/object:Gem::Dependency
|
|
14
|
+
name: duxml
|
|
15
|
+
requirement: !ruby/object:Gem::Requirement
|
|
16
|
+
requirements:
|
|
17
|
+
- - "~>"
|
|
18
|
+
- !ruby/object:Gem::Version
|
|
19
|
+
version: 0.8.9
|
|
20
|
+
type: :runtime
|
|
21
|
+
prerelease: false
|
|
22
|
+
version_requirements: !ruby/object:Gem::Requirement
|
|
23
|
+
requirements:
|
|
24
|
+
- - "~>"
|
|
25
|
+
- !ruby/object:Gem::Version
|
|
26
|
+
version: 0.8.9
|
|
13
27
|
- !ruby/object:Gem::Dependency
|
|
14
28
|
name: con_duxml
|
|
15
29
|
requirement: !ruby/object:Gem::Requirement
|
|
@@ -60,14 +74,14 @@ extensions: []
|
|
|
60
74
|
extra_rdoc_files: []
|
|
61
75
|
files:
|
|
62
76
|
- lib/ast_ext/node.rb
|
|
77
|
+
- lib/re_duxml.rb
|
|
63
78
|
- lib/re_duxml/array.rb
|
|
64
|
-
- lib/re_duxml/element/parameterization.rb
|
|
65
79
|
- lib/re_duxml/element.rb
|
|
80
|
+
- lib/re_duxml/element/parameterization.rb
|
|
81
|
+
- lib/re_duxml/evaluate.rb
|
|
66
82
|
- lib/re_duxml/evaluate/lexer.rb
|
|
67
83
|
- lib/re_duxml/evaluate/operator.rb
|
|
68
84
|
- lib/re_duxml/evaluate/parser.rb
|
|
69
|
-
- lib/re_duxml/evaluate.rb
|
|
70
|
-
- lib/re_duxml.rb
|
|
71
85
|
- lib/ruby_ext/boolean.rb
|
|
72
86
|
- lib/ruby_ext/fixnum.rb
|
|
73
87
|
- lib/ruby_ext/macro.rb
|
|
@@ -97,7 +111,7 @@ required_rubygems_version: !ruby/object:Gem::Requirement
|
|
|
97
111
|
version: 1.8.11
|
|
98
112
|
requirements: []
|
|
99
113
|
rubyforge_project:
|
|
100
|
-
rubygems_version: 2.
|
|
114
|
+
rubygems_version: 2.5.1
|
|
101
115
|
signing_key:
|
|
102
116
|
specification_version: 4
|
|
103
117
|
summary: Reusable Dynamic Universal XML
|