2 * Copyright (c) 2015 Cisco Systems, Inc. and others. All rights reserved.
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
8 package org.opendaylight.yangtools.yang.parser.spi.meta;
10 import com.google.common.annotations.Beta;
11 import java.util.Optional;
12 import org.eclipse.jdt.annotation.NonNull;
13 import org.eclipse.jdt.annotation.Nullable;
14 import org.opendaylight.yangtools.yang.common.QName;
15 import org.opendaylight.yangtools.yang.common.QNameModule;
16 import org.opendaylight.yangtools.yang.model.api.meta.ArgumentDefinition;
17 import org.opendaylight.yangtools.yang.model.api.meta.DeclaredStatement;
18 import org.opendaylight.yangtools.yang.model.api.meta.EffectiveStatement;
19 import org.opendaylight.yangtools.yang.model.api.meta.StatementDefinition;
20 import org.opendaylight.yangtools.yang.parser.spi.meta.StmtContext.Mutable;
21 import org.opendaylight.yangtools.yang.parser.spi.source.SourceException;
24 * Support for processing concrete YANG statement.
27 * This interface is intended to be implemented by developers, which want to introduce support of statement to parser.
28 * Consider subclassing {@link AbstractStatementSupport} for easier implementation of this interface.
30 * @param <A> Argument type
31 * @param <D> Declared Statement representation
32 * @param <E> Effective Statement representation
34 public interface StatementSupport<A, D extends DeclaredStatement<A>, E extends EffectiveStatement<A, D>>
35 extends StatementDefinition, StatementFactory<A, D, E> {
37 * Returns public statement definition, which will be present in built statements.
40 * Public statement definition may be used to provide different implementation of statement definition,
41 * which will not retain any build specific data or context.
43 * @return public statement definition, which will be present in built statements.
45 @NonNull StatementDefinition getPublicView();
48 * Parses textual representation of argument in object representation.
50 * @param ctx Context, which may be used to access source-specific namespaces required for parsing.
51 * @param value String representation of value, as was present in text source.
52 * @return Parsed value
53 * @throws SourceException when an inconsistency is detected.
55 A parseArgumentValue(StmtContext<?, ?, ?> ctx, String value);
58 * Adapts the argument value to match a new module.
60 * @param ctx Context, which may be used to access source-specific namespaces required for parsing.
61 * @param targetModule Target module, may not be null.
62 * @return Adapted argument value. The default implementation returns original value stored in context.
64 default A adaptArgumentValue(final StmtContext<A, D, E> ctx, final QNameModule targetModule) {
65 return ctx.argument();
69 * Invoked when a statement supported by this instance is added to build context. This allows implementations
70 * of this interface to start tracking the statement and perform any modifications to the build context hierarchy,
71 * accessible via {@link StmtContext#getParentContext()}. One such use is populating the parent's namespaces to
72 * allow it to locate this child statement.
74 * @param stmt Context of added statement. No substatements are available.
76 void onStatementAdded(StmtContext.Mutable<A, D, E> stmt);
79 * Invoked when statement is closed during {@link ModelProcessingPhase#SOURCE_PRE_LINKAGE} phase, only substatements
80 * from this and previous phase are available.
83 * Implementation may use method to perform actions on this event or register modification action using
84 * {@link StmtContext.Mutable#newInferenceAction(ModelProcessingPhase)}.
86 * @param stmt Context of added statement.
88 void onPreLinkageDeclared(StmtContext.Mutable<A, D, E> stmt);
91 * Invoked when statement is closed during {@link ModelProcessingPhase#SOURCE_LINKAGE} phase, only substatements
92 * from this and previous phase are available.
95 * Implementation may use method to perform actions on this event or register modification action using
96 * {@link StmtContext.Mutable#newInferenceAction(ModelProcessingPhase)}.
98 * @param stmt Context of added statement.
99 * @throws SourceException when an inconsistency is detected.
101 void onLinkageDeclared(StmtContext.Mutable<A, D, E> stmt);
104 * Invoked when statement is closed during {@link ModelProcessingPhase#STATEMENT_DEFINITION} phase,
105 * only substatements from this phase are available.
108 * Implementation may use method to perform actions on this event or register modification action using
109 * {@link StmtContext.Mutable#newInferenceAction(ModelProcessingPhase)}.
111 * @param stmt Context of added statement. Argument and statement parent is accessible.
112 * @throws SourceException when an inconsistency is detected.
114 void onStatementDefinitionDeclared(StmtContext.Mutable<A, D, E> stmt);
117 * Invoked when statement is closed during {@link ModelProcessingPhase#FULL_DECLARATION} phase,
118 * only substatements from this phase are available.
121 * Implementation may use method to perform actions on this event or register modification action using
122 * {@link StmtContext.Mutable#newInferenceAction(ModelProcessingPhase)}.
124 * @param stmt Context of added statement. Argument and statement parent is accessible.
125 * @throws SourceException when an inconsistency is detected.
127 void onFullDefinitionDeclared(StmtContext.Mutable<A, D, E> stmt);
130 * Returns true if this support has argument specific supports.
132 boolean hasArgumentSpecificSupports();
135 * If this support has argument specific supports, the method returns support specific for given argument
136 * (e.g. type statement support need to be specialized based on its argument), otherwise returns null.
138 * @param argument argument of statement
139 * @return statement support specific for supplied argument or null
141 @Nullable StatementSupport<?, ?, ?> getSupportSpecificForArgument(String argument);
144 * Determine reactor copy behavior of a statement instance. Statement support classes are required to determine
145 * their operations with regard to their statements being replicated into different contexts, so that
146 * {@link Mutable} instances are not created when it is evident they are superfluous.
148 * @param stmt Context of statement to be copied statement.
149 * @param parent Parent statement context
150 * @param copyType Type of copy being performed
151 * @param targetModule Target module, if present
152 * @return Policy that needs to be applied to the copy operation of this statement.
154 // FIXME: YANGTOOLS-694: clarify targetModule semantics (does null mean 'same as declared'?)
155 default @NonNull CopyPolicy applyCopyPolicy(final Mutable<?, ?, ?> stmt, final Mutable<?, ?, ?> parent,
156 final CopyType copyType, @Nullable final QNameModule targetModule) {
157 // Most of statement supports will just want to copy the statement
158 // FIXME: YANGTOOLS-694: that is not strictly true. Subclasses of this should indicate if they are themselves
160 // 1) if they are not and cannot be targeted by inference, and all their current
161 // substatements are also non-sensitive, we want to return the same context.
162 // 2) if they are not and their current substatements are sensitive, we want to copy
163 // as a lazily-instantiated interceptor to let it deal with substatements when needed
164 // (YANGTOOLS-1067 prerequisite)
165 // 3) otherwise perform this eager copy
166 // return Optional.of(parent.childCopyOf(stmt, copyType, targetModule));
167 return CopyPolicy.DECLARED_COPY;
171 * Given a raw string representation of an argument, try to use a shared representation.
173 * @param rawArgument Argument string
174 * @return A potentially-shard instance
176 default String internArgument(final String rawArgument) {
181 * Returns unknown statement form of a regular YANG statement supplied as a parameter to the method.
183 * @param yangStmtDef statement definition of a regular YANG statement
184 * @return Optional of unknown statement form of a regular YANG statement or empty() if it is not supported by this
187 default Optional<StatementSupport<?, ?, ?>> getUnknownStatementDefinitionOf(final StatementDefinition yangStmtDef) {
188 return Optional.empty();
192 * Returns true if this statement support and all its substatements ignore if-feature statements (e.g. yang-data
193 * extension defined in <a href="https://tools.ietf.org/html/rfc8040#section-8">RFC 8040</a>). Default
194 * implementation returns false.
196 * @return true if this statement support ignores if-feature statements,
200 default boolean isIgnoringIfFeatures() {
205 * Returns true if this statement support and all its substatements ignore config statements (e.g. yang-data
206 * extension defined in <a href="https://tools.ietf.org/html/rfc8040#section-8">RFC 8040</a>). Default
207 * implementation returns false.
209 * @return true if this statement support ignores config statements,
213 default boolean isIgnoringConfig() {
218 default QName getStatementName() {
219 return getPublicView().getStatementName();
223 default @NonNull Optional<ArgumentDefinition> getArgumentDefinition() {
224 return getPublicView().getArgumentDefinition();
228 default Class<? extends DeclaredStatement<?>> getDeclaredRepresentationClass() {
229 return getPublicView().getDeclaredRepresentationClass();
233 default Class<? extends EffectiveStatement<?,?>> getEffectiveRepresentationClass() {
234 return getPublicView().getEffectiveRepresentationClass();
238 * Statement context copy policy, indicating how should reactor handle statement copy operations. Every statement
239 * copied by the reactor is subject to policy check done by
240 * {@link StatementSupport#applyCopyPolicy(Mutable, Mutable, CopyType, QNameModule)}.
245 * Reuse the source statement context in the new place, as it cannot be affected by any further operations. This
246 * implies that the semantics of the effective statement are not affected by any of its substatements. Each
247 * of the substatements is free to make its own policy.
250 * This policy is typically used by static constant statements such as {@code description} or {@code length},
251 * where the baseline RFC7950 does not allow any impact. A {@code description} could hold an extension statement
252 * in which case this interaction would come into play. Normal YANG will see empty substatements, so the reactor
253 * will be free to complete reuse the context.
256 * In case any substatement is of stronger policy, it is up to the reactor to handle correct handling of
257 * resulting subobjects.
259 // TODO: does this mean source must have transitioned to ModelProcessingPhase.EFFECTIVE_MODEL?
262 * Create a copy sharing declared instance, but otherwise having a separate disconnected lifecycle.
264 // TODO: will the copy transition to ModelProcessingPhase.FULL_DECLARATION or which phase?
267 * Reject any attempt to copy this statement. This is useful for statements that are defined as top-level
268 * constructs, such as {@code contact}, {@code deviation} and similar.
272 * Ignore this statement's existence for the purposes of the new place -- it is not impacted. This guidance
273 * is left here for completeness, as it can have justifiable uses (but I can't think of any). Any substatements
274 * need to be ignored, too.