tla-parser-s 0.1.2 → 0.2.2
This diff represents the content of publicly available package versions that have been released to one of the supported registries. The information contained in this diff is provided for informational purposes only and reflects changes between package versions as they appear in their respective public registries.
- checksums.yaml +4 -4
- data/README.md +1 -1
- data/VERSION +1 -1
- data/lib/parser/lvalue.rb +2 -2
- data/lib/parser/parser.rb +1 -1
- data/lib/parser/parser_nodes.rb +200 -85
- data/lib/parser/parser_sexp.treetop +39 -7
- data/lib/semantics/context.rb +113 -55
- data/lib/semantics/resolver.rb +206 -58
- data/lib/semantics/symbol_table.rb +45 -11
- data/lib/utils/logger.rb +2 -1
- data/spec/fixtures/resolver1/op4.tla +2 -0
- data/spec/fixtures/resolver1/op_let.tla +1 -0
- data/spec/fixtures/resolver1/op_tail_chg.tla +1 -0
- data/spec/fixtures/resolver1/var_rec_expr_add.tla +3 -0
- data/spec/parser/parser_fixtures_spec.rb +4 -4
- data/spec/parser/parser_spec.rb +177 -12
- data/spec/semantics/context_spec.rb +52 -0
- data/spec/semantics/resolver_spec.rb +106 -11
- data/spec/semantics/symbol_table_spec.rb +6 -4
- metadata +6 -2
|
@@ -112,7 +112,6 @@ describe TlaParserS::SymbolTable do
|
|
|
112
112
|
},
|
|
113
113
|
},
|
|
114
114
|
|
|
115
|
-
|
|
116
115
|
].each_with_index do |testCase,i|
|
|
117
116
|
|
|
118
117
|
|
|
@@ -129,13 +128,16 @@ describe TlaParserS::SymbolTable do
|
|
|
129
128
|
|
|
130
129
|
end # iterate test case snippets
|
|
131
130
|
|
|
132
|
-
|
|
133
|
-
|
|
131
|
+
result = symbol_table.resolveContext( testCase[:resolve] )
|
|
132
|
+
if testCase[:expect].nil?
|
|
133
|
+
expect( result ).to eql( nil )
|
|
134
|
+
else
|
|
135
|
+
expect( result ).to include( testCase[:expect] )
|
|
136
|
+
end
|
|
134
137
|
|
|
135
138
|
end # it
|
|
136
139
|
|
|
137
140
|
end # each
|
|
138
|
-
|
|
139
141
|
|
|
140
142
|
end
|
|
141
143
|
|
metadata
CHANGED
|
@@ -1,14 +1,14 @@
|
|
|
1
1
|
--- !ruby/object:Gem::Specification
|
|
2
2
|
name: tla-parser-s
|
|
3
3
|
version: !ruby/object:Gem::Version
|
|
4
|
-
version: 0.
|
|
4
|
+
version: 0.2.2
|
|
5
5
|
platform: ruby
|
|
6
6
|
authors:
|
|
7
7
|
- jarjuk
|
|
8
8
|
autorequire:
|
|
9
9
|
bindir: bin
|
|
10
10
|
cert_chain: []
|
|
11
|
-
date: 2016-
|
|
11
|
+
date: 2016-12-02 00:00:00.000000000 Z
|
|
12
12
|
dependencies:
|
|
13
13
|
- !ruby/object:Gem::Dependency
|
|
14
14
|
name: thor
|
|
@@ -93,6 +93,9 @@ files:
|
|
|
93
93
|
- spec/fixtures/resolver1/op1.tla
|
|
94
94
|
- spec/fixtures/resolver1/op2.tla
|
|
95
95
|
- spec/fixtures/resolver1/op3.tla
|
|
96
|
+
- spec/fixtures/resolver1/op4.tla
|
|
97
|
+
- spec/fixtures/resolver1/op_let.tla
|
|
98
|
+
- spec/fixtures/resolver1/op_tail_chg.tla
|
|
96
99
|
- spec/fixtures/resolver1/proc1.tla
|
|
97
100
|
- spec/fixtures/resolver1/proc10.tla
|
|
98
101
|
- spec/fixtures/resolver1/proc2.tla
|
|
@@ -120,6 +123,7 @@ files:
|
|
|
120
123
|
- spec/fixtures/resolver1/var_rec_except.tla
|
|
121
124
|
- spec/fixtures/resolver1/var_rec_except2.tla
|
|
122
125
|
- spec/fixtures/resolver1/var_rec_expr.tla
|
|
126
|
+
- spec/fixtures/resolver1/var_rec_expr_add.tla
|
|
123
127
|
- spec/fixtures/resolver1/var_record.tla
|
|
124
128
|
- spec/fixtures/resolver1/var_seq.tla
|
|
125
129
|
- spec/fixtures/resolver1/var_set.tla
|