/** * Replication Benchmarker * https://github.com/score-team/replication-benchmarker/ * Copyright (C) 2013 LORIA / Inria / SCORE Team * * This program is free software: you can redistribute it and/or modify * it under the terms of the GNU General Public License as published by * the Free Software Foundation, either version 3 of the License, or * (at your option) any later version. * * This program is distributed in the hope that it will be useful, * but WITHOUT ANY WARRANTY; without even the implied warranty of * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the * GNU General Public License for more details. * * You should have received a copy of the GNU General Public License * along with this program. If not, see <http://www.gnu.org/licenses/>. */ package crdt.tree.fctree.Operations; import crdt.tree.fctree.FCIdentifier; import crdt.tree.fctree.FCNode; import crdt.tree.fctree.FCOperation; import crdt.tree.fctree.FCPosition; import crdt.tree.fctree.FCTree; import crdt.tree.fctree.FCTreeGf; import crdt.Operation; /** * * @author Stephane Martin <stephane.martin@loria.fr> */ public class Add<T> extends FCOperation { T label; FCPosition position; FCIdentifier father; public Add(T label, FCPosition position, FCIdentifier father, FCIdentifier id) { super(id); this.label = label; this.position = position; this.father = father; } @Override public Operation clone() { return new Add(label, position, father, this.getId()); } @Override public void apply(FCTree tree) { FCNode node = tree.getNodeById(this.father); if (tree instanceof FCTreeGf || node != null) { apply(node, tree); } } public void apply(FCNode<T> father, FCTree tree) { FCNode newnode = tree.getRoot().createNode(father, label, position, this.getId()); if (father != null) { father.addChildren(newnode); } tree.getMap().put(this.getId(), newnode); if (tree.getPostAction() != null) { tree.getPostAction().postAdd(this, newnode); } } @Override public FCIdentifier[] DependOf() { return new FCIdentifier[]{father}; } @Override public String toString() { return "Add{id=" + this.getId() + " label=" + label + ", position=" + position + ", father=" + father + '}'; } }