public LocationMatcher(Dictionary<string, Tree> newNodeNames, CoindexationGenerator coindexer,
TreeLocation location)
{
this.newNodeNames = newNodeNames;
this.coindexer = coindexer;
this.location = location;
this.childMatcher = location.child.GetMatcher(newNodeNames, coindexer);
}
public LocationMatcher(Dictionary <string, Tree> newNodeNames, CoindexationGenerator coindexer,
TreeLocation location)
{
this.newNodeNames = newNodeNames;
this.coindexer = coindexer;
this.location = location;
this.childMatcher = location.child.GetMatcher(newNodeNames, coindexer);
}
public InsertNode(AuxiliaryTree t, TreeLocation l) :
this(new HoldTreeNode(t), l)
{
// Copy occurs in HoldTreeNode's `evaluate` method
needsCopy = false;
}
public InsertNode(TsurgeonPattern child, TreeLocation l) :
base("insert", new TsurgeonPattern[] { child })
{
this.location = l;
}
public MoveNode(TsurgeonPattern child, TreeLocation l) :
base("move", new TsurgeonPattern[] { child })
{
this.location = l;
}
public InsertNode(AuxiliaryTree t, TreeLocation l) :
this(new HoldTreeNode(t), l)
{
// Copy occurs in HoldTreeNode's `evaluate` method
needsCopy = false;
}
public InsertNode(TsurgeonPattern child, TreeLocation l) :
base("insert", new TsurgeonPattern[] {child})
{
this.location = l;
}
public MoveNode(TsurgeonPattern child, TreeLocation l) :
base("move", new TsurgeonPattern[] {child})
{
this.location = l;
}
