Beispiel #1
0
 public Matcher(Dictionary <string, Tree> newNodeNames, CoindexationGenerator coindexer, InsertNode node) :
     base(node, newNodeNames, coindexer)
 {
     this.node       = node;
     locationMatcher = node.location.Matcher(newNodeNames, coindexer);
 }
Beispiel #2
0
 public Matcher(Dictionary<string, Tree> newNodeNames, CoindexationGenerator coindexer, InsertNode node) :
     base(node, newNodeNames, coindexer)
 {
     this.node = node;
     locationMatcher = node.location.Matcher(newNodeNames, coindexer);
 }