Migrate parser to JDT annotations
[yangtools.git] / yang / yang-parser-reactor / src / main / java / org / opendaylight / yangtools / yang / parser / stmt / reactor / SubstatementContext.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.reactor;
9
10 import static java.util.Objects.requireNonNull;
11
12 import com.google.common.base.Verify;
13 import java.util.Collection;
14 import java.util.Optional;
15 import org.opendaylight.yangtools.util.OptionalBoolean;
16 import org.opendaylight.yangtools.yang.common.QName;
17 import org.opendaylight.yangtools.yang.common.QNameModule;
18 import org.opendaylight.yangtools.yang.common.YangVersion;
19 import org.opendaylight.yangtools.yang.model.api.SchemaPath;
20 import org.opendaylight.yangtools.yang.model.api.meta.DeclaredStatement;
21 import org.opendaylight.yangtools.yang.model.api.meta.EffectiveStatement;
22 import org.opendaylight.yangtools.yang.model.api.stmt.AugmentStatement;
23 import org.opendaylight.yangtools.yang.model.api.stmt.ChoiceStatement;
24 import org.opendaylight.yangtools.yang.model.api.stmt.ConfigStatement;
25 import org.opendaylight.yangtools.yang.model.api.stmt.DeviationStatement;
26 import org.opendaylight.yangtools.yang.model.api.stmt.RefineStatement;
27 import org.opendaylight.yangtools.yang.model.api.stmt.SchemaNodeIdentifier;
28 import org.opendaylight.yangtools.yang.model.api.stmt.UsesStatement;
29 import org.opendaylight.yangtools.yang.model.repo.api.SourceIdentifier;
30 import org.opendaylight.yangtools.yang.parser.spi.meta.CopyType;
31 import org.opendaylight.yangtools.yang.parser.spi.meta.InferenceException;
32 import org.opendaylight.yangtools.yang.parser.spi.meta.MutableStatement;
33 import org.opendaylight.yangtools.yang.parser.spi.meta.NamespaceBehaviour.NamespaceStorageNode;
34 import org.opendaylight.yangtools.yang.parser.spi.meta.NamespaceBehaviour.Registry;
35 import org.opendaylight.yangtools.yang.parser.spi.meta.NamespaceBehaviour.StorageNodeType;
36 import org.opendaylight.yangtools.yang.parser.spi.meta.StmtContext;
37 import org.opendaylight.yangtools.yang.parser.spi.meta.StmtContextUtils;
38 import org.opendaylight.yangtools.yang.parser.spi.source.AugmentToChoiceNamespace;
39 import org.opendaylight.yangtools.yang.parser.spi.source.StatementSourceReference;
40 import org.opendaylight.yangtools.yang.parser.spi.validation.ValidationBundlesNamespace;
41 import org.opendaylight.yangtools.yang.parser.spi.validation.ValidationBundlesNamespace.ValidationBundleType;
42
43 final class SubstatementContext<A, D extends DeclaredStatement<A>, E extends EffectiveStatement<A, D>> extends
44         StatementContextBase<A, D, E> {
45     private final StatementContextBase<?, ?, ?> parent;
46     private final A argument;
47
48     /**
49      * Config statements are not all that common which means we are performing a recursive search towards the root
50      * every time {@link #isConfiguration()} is invoked. This is quite expensive because it causes a linear search
51      * for the (usually non-existent) config statement.
52      *
53      * <p>
54      * This field maintains a resolution cache, so once we have returned a result, we will keep on returning the same
55      * result without performing any lookups.
56      */
57     // BooleanField value
58     private byte configuration;
59
60     /**
61      * This field maintains a resolution cache for ignore config, so once we have returned a result, we will
62      * keep on returning the same result without performing any lookups.
63      */
64     // BooleanField value
65     private byte ignoreConfig;
66
67     /**
68      * This field maintains a resolution cache for ignore if-feature, so once we have returned a result, we will
69      * keep on returning the same result without performing any lookups.
70      */
71     // BooleanField value
72     private byte ignoreIfFeature;
73
74     private volatile SchemaPath schemaPath;
75
76     SubstatementContext(final StatementContextBase<?, ?, ?> parent, final StatementDefinitionContext<A, D, E> def,
77             final StatementSourceReference ref, final String rawArgument) {
78         super(def, ref, rawArgument);
79         this.parent = requireNonNull(parent, "Parent must not be null");
80         this.argument = def.parseArgumentValue(this, rawStatementArgument());
81     }
82
83     SubstatementContext(final StatementContextBase<A, D, E> original, final StatementContextBase<?, ?, ?> parent,
84             final CopyType copyType, final QNameModule targetModule) {
85         super(original, copyType);
86         this.parent = requireNonNull(parent);
87         this.argument = targetModule == null ? original.getStatementArgument()
88                 : original.definition().adaptArgumentValue(original, targetModule);
89     }
90
91     @Override
92     public StatementContextBase<?, ?, ?> getParentContext() {
93         return parent;
94     }
95
96     @Override
97     public StorageNodeType getStorageNodeType() {
98         return StorageNodeType.STATEMENT_LOCAL;
99     }
100
101     @Override
102     public NamespaceStorageNode getParentNamespaceStorage() {
103         return parent;
104     }
105
106     @Override
107     public Registry getBehaviourRegistry() {
108         return parent.getBehaviourRegistry();
109     }
110
111     @Override
112     public RootStatementContext<?, ?, ?> getRoot() {
113         return parent.getRoot();
114     }
115
116     @Override
117     public A getStatementArgument() {
118         return argument;
119     }
120
121     private boolean isSupportedAsShorthandCase() {
122         final Collection<?> supportedCaseShorthands = getFromNamespace(ValidationBundlesNamespace.class,
123                 ValidationBundleType.SUPPORTED_CASE_SHORTHANDS);
124         return supportedCaseShorthands == null || supportedCaseShorthands.contains(getPublicDefinition());
125     }
126
127     private SchemaPath createSchemaPath() {
128         final Optional<SchemaPath> maybeParentPath = parent.getSchemaPath();
129         Verify.verify(maybeParentPath.isPresent(), "Parent %s does not have a SchemaPath", parent);
130         final SchemaPath parentPath = maybeParentPath.get();
131
132         if (StmtContextUtils.isUnknownStatement(this)) {
133             return parentPath.createChild(getPublicDefinition().getStatementName());
134         }
135         if (argument instanceof QName) {
136             final QName qname = (QName) argument;
137             if (StmtContextUtils.producesDeclared(this, UsesStatement.class)) {
138                 return maybeParentPath.orElse(null);
139             }
140
141             final SchemaPath path;
142             if ((StmtContextUtils.producesDeclared(parent, ChoiceStatement.class)
143                     || Boolean.TRUE.equals(parent.getFromNamespace(AugmentToChoiceNamespace.class, parent)))
144                     && isSupportedAsShorthandCase()) {
145                 path = parentPath.createChild(qname);
146             } else {
147                 path = parentPath;
148             }
149             return path.createChild(qname);
150         }
151         if (argument instanceof String) {
152             // FIXME: This may yield illegal argument exceptions
153             final Optional<StmtContext<?, ?, ?>> originalCtx = getOriginalCtx();
154             final QName qname = StmtContextUtils.qnameFromArgument(originalCtx.orElse(this), (String) argument);
155             return parentPath.createChild(qname);
156         }
157         if (argument instanceof SchemaNodeIdentifier
158                 && (StmtContextUtils.producesDeclared(this, AugmentStatement.class)
159                         || StmtContextUtils.producesDeclared(this, RefineStatement.class)
160                         || StmtContextUtils.producesDeclared(this, DeviationStatement.class))) {
161
162             return parentPath.createChild(((SchemaNodeIdentifier) argument).getPathFromRoot());
163         }
164
165         // FIXME: this does not look right
166         return maybeParentPath.orElse(null);
167     }
168
169     @Override
170     public Optional<SchemaPath> getSchemaPath() {
171         SchemaPath local = schemaPath;
172         if (local == null) {
173             synchronized (this) {
174                 local = schemaPath;
175                 if (local == null) {
176                     local = createSchemaPath();
177                     schemaPath = local;
178                 }
179             }
180         }
181
182         return Optional.ofNullable(local);
183     }
184
185     @Override
186     public boolean isConfiguration() {
187         if (isIgnoringConfig()) {
188             return true;
189         }
190
191         if (OptionalBoolean.isPresent(configuration)) {
192             return OptionalBoolean.get(configuration);
193         }
194
195         final StmtContext<Boolean, ?, ?> configStatement = StmtContextUtils.findFirstSubstatement(this,
196             ConfigStatement.class);
197         final boolean parentIsConfig = parent.isConfiguration();
198
199         final boolean isConfig;
200         if (configStatement != null) {
201             isConfig = configStatement.coerceStatementArgument();
202
203             // Validity check: if parent is config=false this cannot be a config=true
204             InferenceException.throwIf(isConfig && !parentIsConfig, getStatementSourceReference(),
205                     "Parent node has config=false, this node must not be specifed as config=true");
206         } else {
207             // If "config" statement is not specified, the default is the same as the parent's "config" value.
208             isConfig = parentIsConfig;
209         }
210
211         // Resolved, make sure we cache this return
212         configuration = OptionalBoolean.of(isConfig);
213         return isConfig;
214     }
215
216     @Override
217     public boolean isEnabledSemanticVersioning() {
218         return parent.isEnabledSemanticVersioning();
219     }
220
221     @Override
222     public YangVersion getRootVersion() {
223         return getRoot().getRootVersion();
224     }
225
226     @Override
227     public void setRootVersion(final YangVersion version) {
228         getRoot().setRootVersion(version);
229     }
230
231     @Override
232     public void addMutableStmtToSeal(final MutableStatement mutableStatement) {
233         getRoot().addMutableStmtToSeal(mutableStatement);
234     }
235
236     @Override
237     public void addRequiredSource(final SourceIdentifier dependency) {
238         getRoot().addRequiredSource(dependency);
239     }
240
241     @Override
242     public void setRootIdentifier(final SourceIdentifier identifier) {
243         getRoot().setRootIdentifier(identifier);
244     }
245
246     @Override
247     protected boolean isIgnoringIfFeatures() {
248         if (OptionalBoolean.isPresent(ignoreIfFeature)) {
249             return OptionalBoolean.get(ignoreIfFeature);
250         }
251
252         final boolean ret = definition().isIgnoringIfFeatures() || parent.isIgnoringIfFeatures();
253         ignoreIfFeature = OptionalBoolean.of(ret);
254
255         return ret;
256     }
257
258     @Override
259     protected boolean isIgnoringConfig() {
260         if (OptionalBoolean.isPresent(ignoreConfig)) {
261             return OptionalBoolean.get(ignoreConfig);
262         }
263
264         final boolean ret = definition().isIgnoringConfig() || parent.isIgnoringConfig();
265         ignoreConfig = OptionalBoolean.of(ret);
266
267         return ret;
268     }
269
270     @Override
271     protected boolean isParentSupportedByFeatures() {
272         return parent.isSupportedByFeatures();
273     }
274 }