BUG-6522: share instances of Config(Effective)Statement
[yangtools.git] / yang / yang-parser-impl / src / main / java / org / opendaylight / yangtools / yang / parser / stmt / rfc6020 / ImportStatementDefinition.java
1 /*
2  * Copyright (c) 2015 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.parser.stmt.rfc6020;
9
10 import static org.opendaylight.yangtools.yang.parser.spi.meta.ModelProcessingPhase.SOURCE_LINKAGE;
11 import static org.opendaylight.yangtools.yang.parser.spi.meta.ModelProcessingPhase.SOURCE_PRE_LINKAGE;
12 import static org.opendaylight.yangtools.yang.parser.spi.meta.StmtContextUtils.firstAttributeOf;
13
14 import com.google.common.base.Optional;
15 import com.google.common.base.Verify;
16 import java.net.URI;
17 import java.util.Collection;
18 import java.util.Date;
19 import java.util.Map;
20 import java.util.Map.Entry;
21 import java.util.NavigableMap;
22 import org.opendaylight.yangtools.concepts.SemVer;
23 import org.opendaylight.yangtools.yang.common.SimpleDateFormatUtil;
24 import org.opendaylight.yangtools.yang.model.api.Module;
25 import org.opendaylight.yangtools.yang.model.api.ModuleIdentifier;
26 import org.opendaylight.yangtools.yang.model.api.Rfc6020Mapping;
27 import org.opendaylight.yangtools.yang.model.api.meta.EffectiveStatement;
28 import org.opendaylight.yangtools.yang.model.api.stmt.ImportStatement;
29 import org.opendaylight.yangtools.yang.model.api.stmt.ModuleStatement;
30 import org.opendaylight.yangtools.yang.model.api.stmt.NamespaceStatement;
31 import org.opendaylight.yangtools.yang.model.api.stmt.PrefixStatement;
32 import org.opendaylight.yangtools.yang.model.api.stmt.RevisionDateStatement;
33 import org.opendaylight.yangtools.yang.parser.builder.impl.ModuleIdentifierImpl;
34 import org.opendaylight.yangtools.yang.parser.spi.ModuleNamespace;
35 import org.opendaylight.yangtools.yang.parser.spi.PreLinkageModuleNamespace;
36 import org.opendaylight.yangtools.yang.parser.spi.SubstatementValidator;
37 import org.opendaylight.yangtools.yang.parser.spi.meta.AbstractStatementSupport;
38 import org.opendaylight.yangtools.yang.parser.spi.meta.InferenceException;
39 import org.opendaylight.yangtools.yang.parser.spi.meta.ModelActionBuilder;
40 import org.opendaylight.yangtools.yang.parser.spi.meta.ModelActionBuilder.InferenceAction;
41 import org.opendaylight.yangtools.yang.parser.spi.meta.ModelActionBuilder.Prerequisite;
42 import org.opendaylight.yangtools.yang.parser.spi.meta.SemanticVersionModuleNamespace;
43 import org.opendaylight.yangtools.yang.parser.spi.meta.SemanticVersionNamespace;
44 import org.opendaylight.yangtools.yang.parser.spi.meta.StmtContext;
45 import org.opendaylight.yangtools.yang.parser.spi.meta.StmtContext.Mutable;
46 import org.opendaylight.yangtools.yang.parser.spi.source.ImpPrefixToModuleIdentifier;
47 import org.opendaylight.yangtools.yang.parser.spi.source.ImpPrefixToNamespace;
48 import org.opendaylight.yangtools.yang.parser.spi.source.ImpPrefixToSemVerModuleIdentifier;
49 import org.opendaylight.yangtools.yang.parser.spi.source.ModuleCtxToModuleIdentifier;
50 import org.opendaylight.yangtools.yang.parser.spi.source.ModuleNameToNamespace;
51 import org.opendaylight.yangtools.yang.parser.stmt.rfc6020.effective.ImportEffectiveStatementImpl;
52
53 public class ImportStatementDefinition extends
54         AbstractStatementSupport<String, ImportStatement, EffectiveStatement<String, ImportStatement>> {
55     private static final SubstatementValidator SUBSTATEMENT_VALIDATOR = SubstatementValidator
56             .builder(Rfc6020Mapping.IMPORT)
57             .addMandatory(Rfc6020Mapping.PREFIX)
58             .addOptional(Rfc6020Mapping.REVISION_DATE)
59             .addOptional(SupportedExtensionsMapping.SEMANTIC_VERSION)
60             .build();
61
62     public ImportStatementDefinition() {
63         super(Rfc6020Mapping.IMPORT);
64     }
65
66     @Override
67     public String parseArgumentValue(final StmtContext<?, ?, ?> ctx, final String value) {
68         return value;
69     }
70
71     @Override
72     public ImportStatement createDeclared(final StmtContext<String, ImportStatement, ?> ctx) {
73         return new ImportStatementImpl(ctx);
74     }
75
76     @Override
77     public EffectiveStatement<String, ImportStatement> createEffective(
78             final StmtContext<String, ImportStatement, EffectiveStatement<String, ImportStatement>> ctx) {
79         return new ImportEffectiveStatementImpl(ctx);
80     }
81
82     @Override
83     public void onFullDefinitionDeclared(
84             final Mutable<String, ImportStatement, EffectiveStatement<String, ImportStatement>> stmt) {
85         super.onFullDefinitionDeclared(stmt);
86         SUBSTATEMENT_VALIDATOR.validate(stmt);
87     }
88
89     @Override
90     public void onPreLinkageDeclared(final Mutable<String, ImportStatement, EffectiveStatement<String, ImportStatement>> stmt) {
91         final String moduleName = stmt.getStatementArgument();
92         final ModelActionBuilder importAction = stmt.newInferenceAction(SOURCE_PRE_LINKAGE);
93         final Prerequisite<StmtContext<?, ?, ?>> imported = importAction.requiresCtx(stmt,
94                 PreLinkageModuleNamespace.class, moduleName, SOURCE_PRE_LINKAGE);
95         final Prerequisite<Mutable<?, ?, ?>> linkageTarget = importAction
96                 .mutatesCtx(stmt.getRoot(), SOURCE_PRE_LINKAGE);
97
98         importAction.apply(new InferenceAction() {
99             @Override
100             public void apply() {
101                 StmtContext<?, ?, ?> importedModuleContext = imported.get();
102                 Verify.verify(moduleName.equals(importedModuleContext.getStatementArgument()));
103                 final URI importedModuleNamespace = importedModuleContext.getFromNamespace(ModuleNameToNamespace.class,
104                         moduleName);
105                 Verify.verifyNotNull(importedModuleNamespace);
106                 final String impPrefix = firstAttributeOf(stmt.declaredSubstatements(), PrefixStatement.class);
107                 Verify.verifyNotNull(impPrefix);
108                 stmt.addToNs(ImpPrefixToNamespace.class, impPrefix, importedModuleNamespace);
109             }
110
111             @Override
112             public void prerequisiteFailed(final Collection<? extends Prerequisite<?>> failed) {
113                 InferenceException.throwIf(failed.contains(imported), stmt.getStatementSourceReference(),
114                         "Imported module [%s] was not found.", moduleName);
115             }
116         });
117     }
118
119     @Override
120     public void onLinkageDeclared(
121             final Mutable<String, ImportStatement, EffectiveStatement<String, ImportStatement>> stmt) {
122         if (stmt.isEnabledSemanticVersioning()) {
123             SemanticVersionImport.onLinkageDeclared(stmt);
124         } else {
125             RevisionImport.onLinkageDeclared(stmt);
126         }
127     }
128
129     private static class RevisionImport {
130
131         private RevisionImport() {
132             throw new UnsupportedOperationException("Utility class");
133         }
134
135         private static void onLinkageDeclared(
136                 final Mutable<String, ImportStatement, EffectiveStatement<String, ImportStatement>> stmt) {
137             final ModuleIdentifier impIdentifier = getImportedModuleIdentifier(stmt);
138             final ModelActionBuilder importAction = stmt.newInferenceAction(SOURCE_LINKAGE);
139             final Prerequisite<StmtContext<?, ?, ?>> imported = importAction.requiresCtx(stmt, ModuleNamespace.class,
140                     impIdentifier, SOURCE_LINKAGE);
141             final Prerequisite<Mutable<?, ?, ?>> linkageTarget = importAction
142                     .mutatesCtx(stmt.getRoot(), SOURCE_LINKAGE);
143
144             importAction.apply(new InferenceAction() {
145                 @Override
146                 public void apply() {
147                     StmtContext<?, ?, ?> importedModule = null;
148                     ModuleIdentifier importedModuleIdentifier = null;
149                     if (impIdentifier.getRevision() == SimpleDateFormatUtil.DEFAULT_DATE_IMP) {
150                         Entry<ModuleIdentifier, StmtContext<?, ModuleStatement, EffectiveStatement<String, ModuleStatement>>> recentModuleEntry = findRecentModule(
151                                 impIdentifier, stmt.getAllFromNamespace(ModuleNamespace.class));
152                         if (recentModuleEntry != null) {
153                             importedModuleIdentifier = recentModuleEntry.getKey();
154                             importedModule = recentModuleEntry.getValue();
155                         }
156                     }
157
158                     if (importedModule == null || importedModuleIdentifier == null) {
159                         importedModule = imported.get();
160                         importedModuleIdentifier = impIdentifier;
161                     }
162
163                     linkageTarget.get().addToNs(ImportedModuleContext.class, importedModuleIdentifier, importedModule);
164                     String impPrefix = firstAttributeOf(stmt.declaredSubstatements(), PrefixStatement.class);
165                     stmt.addToNs(ImpPrefixToModuleIdentifier.class, impPrefix, importedModuleIdentifier);
166
167                     final URI modNs = firstAttributeOf(importedModule.declaredSubstatements(), NamespaceStatement.class);
168                     stmt.addToNs(URIStringToImpPrefix.class, modNs.toString(), impPrefix);
169                 }
170
171                 @Override
172                 public void prerequisiteFailed(final Collection<? extends Prerequisite<?>> failed) {
173                     if (failed.contains(imported)) {
174                         throw new InferenceException(stmt.getStatementSourceReference(),
175                                 "Imported module [%s] was not found.", impIdentifier);
176                     }
177                 }
178             });
179
180         }
181
182         private static Entry<ModuleIdentifier, StmtContext<?, ModuleStatement, EffectiveStatement<String, ModuleStatement>>> findRecentModule(
183                 final ModuleIdentifier impIdentifier,
184                 final Map<ModuleIdentifier, StmtContext<?, ModuleStatement, EffectiveStatement<String, ModuleStatement>>> allModules) {
185
186             ModuleIdentifier recentModuleIdentifier = impIdentifier;
187             Entry<ModuleIdentifier, StmtContext<?, ModuleStatement, EffectiveStatement<String, ModuleStatement>>> recentModuleEntry = null;
188
189             for (Entry<ModuleIdentifier, StmtContext<?, ModuleStatement, EffectiveStatement<String, ModuleStatement>>> moduleEntry : allModules
190                     .entrySet()) {
191                 final ModuleIdentifier id = moduleEntry.getKey();
192
193                 if (id.getName().equals(impIdentifier.getName())
194                         && id.getRevision().compareTo(recentModuleIdentifier.getRevision()) > 0) {
195                     recentModuleIdentifier = id;
196                     recentModuleEntry = moduleEntry;
197                 }
198             }
199
200             return recentModuleEntry;
201         }
202
203         private static ModuleIdentifier getImportedModuleIdentifier(final Mutable<String, ImportStatement, ?> stmt) {
204             Date revision = firstAttributeOf(stmt.declaredSubstatements(), RevisionDateStatement.class);
205             if (revision == null) {
206                 revision = SimpleDateFormatUtil.DEFAULT_DATE_IMP;
207             }
208
209             return new ModuleIdentifierImpl(stmt.getStatementArgument(), Optional.absent(),
210                     Optional.of(revision));
211         }
212     }
213
214     private static class SemanticVersionImport {
215         private SemanticVersionImport() {
216             throw new UnsupportedOperationException("Utility class");
217         }
218
219         private static void onLinkageDeclared(
220                 final Mutable<String, ImportStatement, EffectiveStatement<String, ImportStatement>> stmt) {
221             final ModuleIdentifier impIdentifier = getImportedModuleIdentifier(stmt);
222             final ModelActionBuilder importAction = stmt.newInferenceAction(SOURCE_LINKAGE);
223             final Prerequisite<StmtContext<?, ?, ?>> imported = importAction.requiresCtx(stmt, ModuleNamespace.class,
224                     impIdentifier, SOURCE_LINKAGE);
225             final Prerequisite<Mutable<?, ?, ?>> linkageTarget = importAction
226                     .mutatesCtx(stmt.getRoot(), SOURCE_LINKAGE);
227
228             importAction.apply(new InferenceAction() {
229                 @Override
230                 public void apply() {
231                     Entry<SemVer, StmtContext<?, ?, ?>> importedModuleEntry= findRecentCompatibleModuleEntry(
232                             impIdentifier.getName(), stmt);
233
234                     StmtContext<?, ?, ?> importedModule = null;
235                     ModuleIdentifier importedModuleIdentifier = null;
236                     ModuleIdentifier semVerModuleIdentifier = null;
237                     if (importedModuleEntry != null) {
238                         importedModule = importedModuleEntry.getValue();
239                         importedModuleIdentifier = importedModule.getFromNamespace(ModuleCtxToModuleIdentifier.class, importedModule);
240                         semVerModuleIdentifier = createSemVerModuleIdentifier(importedModuleIdentifier, importedModuleEntry.getKey());
241                     } else {
242                         throw new InferenceException(stmt.getStatementSourceReference(),
243                                 "Unable to find module compatible with requested import [%s(%s)].", impIdentifier
244                                         .getName(), getRequestedImportVersion(stmt));
245                     }
246
247                     linkageTarget.get().addToNs(ImportedModuleContext.class, importedModuleIdentifier, importedModule);
248                     String impPrefix = firstAttributeOf(stmt.declaredSubstatements(), PrefixStatement.class);
249                     stmt.addToNs(ImpPrefixToModuleIdentifier.class, impPrefix, importedModuleIdentifier);
250                     stmt.addToNs(ImpPrefixToSemVerModuleIdentifier.class, impPrefix, semVerModuleIdentifier);
251
252                     final URI modNs = firstAttributeOf(importedModule.declaredSubstatements(), NamespaceStatement.class);
253                     stmt.addToNs(URIStringToImpPrefix.class, modNs.toString(), impPrefix);
254                 }
255
256                 @Override
257                 public void prerequisiteFailed(final Collection<? extends Prerequisite<?>> failed) {
258                     if (failed.contains(imported)) {
259                         throw new InferenceException(stmt.getStatementSourceReference(),
260                                 "Unable to find module compatible with requested import [%s(%s)].", impIdentifier
261                                         .getName(), getRequestedImportVersion(stmt));
262                     }
263                 }
264             });
265         }
266
267         private static SemVer getRequestedImportVersion(final Mutable<?, ?, ?> impStmt) {
268             SemVer requestedImportVersion = impStmt.getFromNamespace(SemanticVersionNamespace.class, impStmt);
269             if (requestedImportVersion == null) {
270                 requestedImportVersion = Module.DEFAULT_SEMANTIC_VERSION;
271             }
272             return requestedImportVersion;
273         }
274
275         private static Entry<SemVer, StmtContext<?, ?, ?>> findRecentCompatibleModuleEntry(final String moduleName,
276                 final Mutable<String, ImportStatement, EffectiveStatement<String, ImportStatement>> impStmt) {
277             NavigableMap<SemVer, StmtContext<?, ?, ?>> allRelevantModulesMap = impStmt.getFromNamespace(
278                     SemanticVersionModuleNamespace.class, moduleName);
279             if (allRelevantModulesMap == null) {
280                 return null;
281             }
282
283             final SemVer requestedImportVersion = getRequestedImportVersion(impStmt);
284             allRelevantModulesMap = allRelevantModulesMap.subMap(requestedImportVersion, true,
285                     SemVer.create(requestedImportVersion.getMajor() + 1), false);
286             if (!allRelevantModulesMap.isEmpty()) {
287                 return allRelevantModulesMap.lastEntry();
288             }
289
290             return null;
291         }
292
293         private static ModuleIdentifier getImportedModuleIdentifier(final Mutable<String, ImportStatement, ?> impStmt) {
294             return new ModuleIdentifierImpl(impStmt.getStatementArgument(), Optional.absent(),
295                     Optional.of(SimpleDateFormatUtil.DEFAULT_DATE_IMP));
296         }
297
298         private static ModuleIdentifier createSemVerModuleIdentifier(final ModuleIdentifier importedModuleIdentifier,
299                 final SemVer semVer) {
300             return new ModuleIdentifierImpl(importedModuleIdentifier.getName(), Optional.fromNullable(importedModuleIdentifier
301                     .getNamespace()), Optional.of(importedModuleIdentifier.getRevision()), semVer);
302         }
303     }
304 }