@@ -49,10 +49,10 @@ public List<Scope> scopes() {
4949 public Stream <Either <Error , Tuple2 <Origin , Fact >>> apply (
5050 final Supplier <Stream <Tuple2 <Origin , Fact >>> factsSupplier ,
5151 Long ruleOrigin ,
52- SymbolTable symbols ) {
52+ SymbolTable symbolTable ) {
5353 MatchedVariables variables = variablesSet ();
5454
55- Combinator combinator = new Combinator (variables , this .body , factsSupplier , symbols );
55+ Combinator combinator = new Combinator (variables , this .body , factsSupplier , symbolTable );
5656 Spliterator <Tuple2 <Origin , Map <Long , Term >>> splitItr =
5757 Spliterators .spliteratorUnknownSize (combinator , Spliterator .ORDERED );
5858 Stream <Tuple2 <Origin , Map <Long , Term >>> stream = StreamSupport .stream (splitItr , false );
@@ -63,7 +63,7 @@ public Stream<Either<Error, Tuple2<Origin, Fact>>> apply(
6363 t -> {
6464 Origin origin = t ._1 ;
6565 Map <Long , Term > generatedVariables = t ._2 ;
66- TemporarySymbolTable temporarySymbols = new TemporarySymbolTable (symbols );
66+ TemporarySymbolTable temporarySymbols = new TemporarySymbolTable (symbolTable );
6767 for (Expression e : this .expressions ) {
6868 try {
6969 Term term = e .evaluate (generatedVariables , temporarySymbols );
@@ -127,15 +127,15 @@ private MatchedVariables variablesSet() {
127127
128128 // do not produce new facts, only find one matching set of facts
129129 public boolean findMatch (
130- final FactSet facts , Long origin , TrustedOrigins scope , SymbolTable symbols ) throws Error {
130+ final FactSet facts , Long origin , TrustedOrigins scope , SymbolTable symbolTable ) throws Error {
131131 MatchedVariables variables = variablesSet ();
132132
133133 if (this .body .isEmpty ()) {
134- return variables .checkExpressions (this .expressions , symbols ).isDefined ();
134+ return variables .checkExpressions (this .expressions , symbolTable ).isDefined ();
135135 }
136136
137137 Supplier <Stream <Tuple2 <Origin , Fact >>> factsSupplier = () -> facts .stream (scope );
138- Stream <Either <Error , Tuple2 <Origin , Fact >>> stream = this .apply (factsSupplier , origin , symbols );
138+ Stream <Either <Error , Tuple2 <Origin , Fact >>> stream = this .apply (factsSupplier , origin , symbolTable );
139139
140140 Iterator <Either <Error , Tuple2 <Origin , Fact >>> it = stream .iterator ();
141141
@@ -152,24 +152,24 @@ public boolean findMatch(
152152 }
153153
154154 // verifies that the expressions return true for every matching set of facts
155- public boolean checkMatchAll (final FactSet facts , TrustedOrigins scope , SymbolTable symbols )
155+ public boolean checkMatchAll (final FactSet facts , TrustedOrigins scope , SymbolTable symbolTable )
156156 throws Error {
157157 MatchedVariables variables = variablesSet ();
158158
159159 if (this .body .isEmpty ()) {
160- return variables .checkExpressions (this .expressions , symbols ).isDefined ();
160+ return variables .checkExpressions (this .expressions , symbolTable ).isDefined ();
161161 }
162162
163163 Supplier <Stream <Tuple2 <Origin , Fact >>> factsSupplier = () -> facts .stream (scope );
164- Combinator combinator = new Combinator (variables , this .body , factsSupplier , symbols );
164+ Combinator combinator = new Combinator (variables , this .body , factsSupplier , symbolTable );
165165 boolean found = false ;
166166
167167 for (Combinator it = combinator ; it .hasNext (); ) {
168168 Tuple2 <Origin , Map <Long , Term >> t = it .next ();
169169 Map <Long , Term > generatedVariables = t ._2 ;
170170 found = true ;
171171
172- TemporarySymbolTable temporarySymbols = new TemporarySymbolTable (symbols );
172+ TemporarySymbolTable temporarySymbols = new TemporarySymbolTable (symbolTable );
173173 for (Expression e : this .expressions ) {
174174
175175 Term term = e .evaluate (generatedVariables , temporarySymbols );
0 commit comments