BUG-4684: validate changes against effective state
[yangtools.git] / yang / yang-data-impl / src / main / java / org / opendaylight / yangtools / yang / data / impl / schema / tree / SchemaAwareApplyOperation.java
1 /*
2  * Copyright (c) 2014 Cisco Systems, Inc. and others.  All rights reserved.
3  *
4  * This program and the accompanying materials are made available under the
5  * terms of the Eclipse Public License v1.0 which accompanies this distribution,
6  * and is available at http://www.eclipse.org/legal/epl-v10.html
7  */
8 package org.opendaylight.yangtools.yang.data.impl.schema.tree;
9
10 import com.google.common.base.Optional;
11 import com.google.common.base.Preconditions;
12 import java.util.List;
13 import org.opendaylight.yangtools.yang.common.QName;
14 import org.opendaylight.yangtools.yang.data.api.YangInstanceIdentifier;
15 import org.opendaylight.yangtools.yang.data.api.YangInstanceIdentifier.AugmentationIdentifier;
16 import org.opendaylight.yangtools.yang.data.api.YangInstanceIdentifier.PathArgument;
17 import org.opendaylight.yangtools.yang.data.api.schema.tree.ConflictingModificationAppliedException;
18 import org.opendaylight.yangtools.yang.data.api.schema.tree.DataValidationFailedException;
19 import org.opendaylight.yangtools.yang.data.api.schema.tree.ModificationType;
20 import org.opendaylight.yangtools.yang.data.api.schema.tree.TreeType;
21 import org.opendaylight.yangtools.yang.data.api.schema.tree.spi.TreeNode;
22 import org.opendaylight.yangtools.yang.data.api.schema.tree.spi.Version;
23 import org.opendaylight.yangtools.yang.model.api.AugmentationSchema;
24 import org.opendaylight.yangtools.yang.model.api.AugmentationTarget;
25 import org.opendaylight.yangtools.yang.model.api.ChoiceSchemaNode;
26 import org.opendaylight.yangtools.yang.model.api.ContainerSchemaNode;
27 import org.opendaylight.yangtools.yang.model.api.DataNodeContainer;
28 import org.opendaylight.yangtools.yang.model.api.DataSchemaNode;
29 import org.opendaylight.yangtools.yang.model.api.LeafListSchemaNode;
30 import org.opendaylight.yangtools.yang.model.api.LeafSchemaNode;
31 import org.opendaylight.yangtools.yang.model.api.ListSchemaNode;
32 import org.slf4j.Logger;
33 import org.slf4j.LoggerFactory;
34
35 abstract class SchemaAwareApplyOperation extends ModificationApplyOperation {
36     private static final Logger LOG = LoggerFactory.getLogger(SchemaAwareApplyOperation.class);
37
38     public static ModificationApplyOperation from(final DataSchemaNode schemaNode, final TreeType treeType) {
39         if (treeType == TreeType.CONFIGURATION) {
40             Preconditions.checkArgument(schemaNode.isConfiguration(), "Supplied %s does not belongs to configuration tree.", schemaNode.getPath());
41         }
42         if (schemaNode instanceof ContainerSchemaNode) {
43             final ContainerSchemaNode containerSchema = (ContainerSchemaNode) schemaNode;
44             if (containerSchema.isPresenceContainer()) {
45                 return new PresenceContainerModificationStrategy(containerSchema, treeType);
46             } else {
47                 return new StructuralContainerModificationStrategy(containerSchema, treeType);
48             }
49         } else if (schemaNode instanceof ListSchemaNode) {
50             return fromListSchemaNode((ListSchemaNode) schemaNode, treeType);
51         } else if (schemaNode instanceof ChoiceSchemaNode) {
52             return new ChoiceModificationStrategy((ChoiceSchemaNode) schemaNode, treeType);
53         } else if (schemaNode instanceof LeafListSchemaNode) {
54             return fromLeafListSchemaNode((LeafListSchemaNode) schemaNode, treeType);
55         } else if (schemaNode instanceof LeafSchemaNode) {
56             return new LeafModificationStrategy((LeafSchemaNode) schemaNode, treeType);
57         }
58         throw new IllegalArgumentException("Not supported schema node type for " + schemaNode.getClass());
59     }
60
61     public static SchemaAwareApplyOperation from(final DataNodeContainer resolvedTree,
62             final AugmentationTarget augSchemas, final AugmentationIdentifier identifier, final TreeType treeType) {
63         for (final AugmentationSchema potential : augSchemas.getAvailableAugmentations()) {
64             for (final DataSchemaNode child : potential.getChildNodes()) {
65                 if (identifier.getPossibleChildNames().contains(child.getQName())) {
66                     return new AugmentationModificationStrategy(potential, resolvedTree, treeType);
67                 }
68             }
69         }
70
71         return null;
72     }
73
74     public static boolean checkConflicting(final YangInstanceIdentifier path, final boolean condition, final String message) throws ConflictingModificationAppliedException {
75         if(!condition) {
76             throw new ConflictingModificationAppliedException(path, message);
77         }
78         return condition;
79     }
80
81     private static SchemaAwareApplyOperation fromListSchemaNode(final ListSchemaNode schemaNode, final TreeType treeType) {
82         final List<QName> keyDefinition = schemaNode.getKeyDefinition();
83         final SchemaAwareApplyOperation op;
84         if (keyDefinition == null || keyDefinition.isEmpty()) {
85             op = new UnkeyedListModificationStrategy(schemaNode, treeType);
86         } else if (schemaNode.isUserOrdered()) {
87             op =  new OrderedMapModificationStrategy(schemaNode, treeType);
88         } else {
89             op = new UnorderedMapModificationStrategy(schemaNode, treeType);
90         }
91         return MinMaxElementsValidation.from(op, schemaNode);
92     }
93
94     private static SchemaAwareApplyOperation fromLeafListSchemaNode(final LeafListSchemaNode schemaNode, final TreeType treeType) {
95         final SchemaAwareApplyOperation op;
96         if(schemaNode.isUserOrdered()) {
97             op =  new OrderedLeafSetModificationStrategy(schemaNode, treeType);
98         } else {
99             op = new UnorderedLeafSetModificationStrategy(schemaNode, treeType);
100         }
101         return MinMaxElementsValidation.from(op, schemaNode);
102     }
103
104     protected static final void checkNotConflicting(final YangInstanceIdentifier path, final TreeNode original, final TreeNode current) throws ConflictingModificationAppliedException {
105         checkConflicting(path, original.getVersion().equals(current.getVersion()),
106                 "Node was replaced by other transaction.");
107         checkConflicting(path, original.getSubtreeVersion().equals(current.getSubtreeVersion()),
108                 "Node children was modified by other transaction");
109     }
110
111     protected final ModificationApplyOperation resolveChildOperation(final PathArgument child) {
112         final Optional<ModificationApplyOperation> potential = getChild(child);
113         Preconditions.checkArgument(potential.isPresent(), "Operation for child %s is not defined.", child);
114         return potential.get();
115     }
116
117     @Override
118     final void checkApplicable(final YangInstanceIdentifier path,final NodeModification modification, final Optional<TreeNode> current, final Version version) throws DataValidationFailedException {
119         switch (modification.getOperation()) {
120         case DELETE:
121             checkDeleteApplicable(modification, current);
122             break;
123         case TOUCH:
124             checkTouchApplicable(path, modification, current, version);
125             break;
126         case WRITE:
127             checkWriteApplicable(path, modification, current, version);
128             break;
129         case MERGE:
130             checkMergeApplicable(path, modification, current, version);
131             break;
132         case NONE:
133             break;
134         default:
135             throw new UnsupportedOperationException("Suplied modification type "+ modification.getOperation()+ " is not supported.");
136         }
137     }
138
139     protected void checkMergeApplicable(final YangInstanceIdentifier path, final NodeModification modification,
140             final Optional<TreeNode> current, final Version version) throws DataValidationFailedException {
141         final Optional<TreeNode> original = modification.getOriginal();
142         if (original.isPresent() && current.isPresent()) {
143             /*
144              * We need to do conflict detection only and only if the value of leaf changed
145              * before two transactions. If value of leaf is unchanged between two transactions
146              * it should not cause transaction to fail, since result of this merge
147              * leads to same data.
148              */
149             if(!original.get().getData().equals(current.get().getData())) {
150                 checkNotConflicting(path, original.get(), current.get());
151             }
152         }
153     }
154
155     /**
156      * Checks if write operation can be applied to current TreeNode.
157      * The operation checks if original tree node to which the modification is going to be applied exists and if
158      * current node in TreeNode structure exists.
159      *
160      * @param path Path from current node in TreeNode
161      * @param modification modification to apply
162      * @param current current node in TreeNode for modification to apply
163      * @throws DataValidationFailedException
164      */
165     protected void checkWriteApplicable(final YangInstanceIdentifier path, final NodeModification modification,
166         final Optional<TreeNode> current, final Version version) throws DataValidationFailedException {
167         final Optional<TreeNode> original = modification.getOriginal();
168         if (original.isPresent() && current.isPresent()) {
169             checkNotConflicting(path, original.get(), current.get());
170         } else if(original.isPresent()) {
171             throw new ConflictingModificationAppliedException(path,"Node was deleted by other transaction.");
172         } else if (current.isPresent()) {
173             throw new ConflictingModificationAppliedException(path, "Node was created by other transaction.");
174         }
175     }
176
177     private static void checkDeleteApplicable(final NodeModification modification, final Optional<TreeNode> current) {
178         // Delete is always applicable, we do not expose it to subclasses
179         if (!current.isPresent()) {
180             LOG.trace("Delete operation turned to no-op on missing node {}", modification);
181         }
182     }
183
184     @Override
185     protected ChildTrackingPolicy getChildPolicy() {
186         return ChildTrackingPolicy.UNORDERED;
187     }
188
189     @Override
190     final Optional<TreeNode> apply(final ModifiedNode modification, final Optional<TreeNode> currentMeta, final Version version) {
191         switch (modification.getOperation()) {
192         case DELETE:
193             // Deletion of a non-existing node is a no-op, report it as such
194             modification.resolveModificationType(currentMeta.isPresent() ? ModificationType.DELETE : ModificationType.UNMODIFIED);
195             return modification.setSnapshot(Optional.<TreeNode> absent());
196         case TOUCH:
197             Preconditions.checkArgument(currentMeta.isPresent(), "Metadata not available for modification %s",
198                     modification);
199             return modification.setSnapshot(Optional.of(applyTouch(modification, currentMeta.get(),
200                     version)));
201         case MERGE:
202             final TreeNode result;
203
204             // This is a slight optimization: a merge on a non-existing node equals to a write
205             if (currentMeta.isPresent()) {
206                 result = applyMerge(modification, currentMeta.get(), version);
207             } else {
208                 modification.resolveModificationType(ModificationType.WRITE);
209                 result = applyWrite(modification, currentMeta, version);
210             }
211
212             return modification.setSnapshot(Optional.of(result));
213         case WRITE:
214             modification.resolveModificationType(ModificationType.WRITE);
215             return modification.setSnapshot(Optional.of(applyWrite(modification, currentMeta, version)));
216         case NONE:
217             modification.resolveModificationType(ModificationType.UNMODIFIED);
218             return currentMeta;
219         default:
220             throw new IllegalArgumentException("Provided modification type is not supported.");
221         }
222     }
223
224     /**
225      * Apply a merge operation. Since the result of merge differs based on the data type
226      * being modified, implementations of this method are responsible for calling
227      * {@link ModifiedNode#resolveModificationType(ModificationType)} as appropriate.
228      *
229      * @param modification Modified node
230      * @param currentMeta Store Metadata Node on which NodeModification should be applied
231      * @param version New subtree version of parent node
232      * @return A sealed TreeNode representing applied operation.
233      */
234     protected abstract TreeNode applyMerge(ModifiedNode modification, TreeNode currentMeta, Version version);
235
236     protected abstract TreeNode applyWrite(ModifiedNode modification, Optional<TreeNode> currentMeta, Version version);
237
238     /**
239      * Apply a nested operation. Since there may not actually be a nested operation
240      * to be applied, implementations of this method are responsible for calling
241      * {@link ModifiedNode#resolveModificationType(ModificationType)} as appropriate.
242      *
243      * @param modification Modified node
244      * @param currentMeta Store Metadata Node on which NodeModification should be applied
245      * @param version New subtree version of parent node
246      * @return A sealed TreeNode representing applied operation.
247      */
248     protected abstract TreeNode applyTouch(ModifiedNode modification, TreeNode currentMeta, Version version);
249
250     /**
251      *
252      * Checks is supplied {@link NodeModification} is applicable for Subtree Modification.
253      *
254      * @param path Path to current node
255      * @param modification Node modification which should be applied.
256      * @param current Current state of data tree
257      * @throws ConflictingModificationAppliedException If subtree was changed in conflicting way
258      * @throws IncorrectDataStructureException If subtree modification is not applicable (e.g. leaf node).
259      */
260     protected abstract void checkTouchApplicable(YangInstanceIdentifier path, NodeModification modification,
261             Optional<TreeNode> current, Version version) throws DataValidationFailedException;
262
263     /**
264      * Checks if supplied schema node belong to specified Data Tree type. All nodes belong to the operational tree,
265      * nodes in configuration tree are marked as such.
266      *
267      * @param treeType Tree Type
268      * @param node Schema node
269      * @return
270      */
271     static boolean belongsToTree(final TreeType treeType, final DataSchemaNode node) {
272         return treeType == TreeType.OPERATIONAL || node.isConfiguration();
273     }
274 }