2 * Copyright (c) 2020 PANTHEON.tech, s.r.o. 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.rfc7950.stmt;
10 import com.google.common.annotations.Beta;
11 import com.google.common.base.MoreObjects;
12 import com.google.common.base.Strings;
13 import com.google.common.collect.Collections2;
14 import com.google.common.collect.ImmutableSet;
15 import java.util.Collection;
16 import java.util.Optional;
17 import org.eclipse.jdt.annotation.NonNull;
18 import org.eclipse.jdt.annotation.NonNullByDefault;
19 import org.opendaylight.yangtools.concepts.Mutable;
20 import org.opendaylight.yangtools.yang.common.QName;
21 import org.opendaylight.yangtools.yang.model.api.ActionDefinition;
22 import org.opendaylight.yangtools.yang.model.api.ActionNodeContainer;
23 import org.opendaylight.yangtools.yang.model.api.AddedByUsesAware;
24 import org.opendaylight.yangtools.yang.model.api.AugmentationSchemaNode;
25 import org.opendaylight.yangtools.yang.model.api.AugmentationTarget;
26 import org.opendaylight.yangtools.yang.model.api.ConstraintMetaDefinition;
27 import org.opendaylight.yangtools.yang.model.api.ContainerLike;
28 import org.opendaylight.yangtools.yang.model.api.CopyableNode;
29 import org.opendaylight.yangtools.yang.model.api.DataNodeContainer;
30 import org.opendaylight.yangtools.yang.model.api.DataSchemaNode;
31 import org.opendaylight.yangtools.yang.model.api.DerivableSchemaNode;
32 import org.opendaylight.yangtools.yang.model.api.DocumentedNode;
33 import org.opendaylight.yangtools.yang.model.api.GroupingDefinition;
34 import org.opendaylight.yangtools.yang.model.api.InputSchemaNode;
35 import org.opendaylight.yangtools.yang.model.api.MandatoryAware;
36 import org.opendaylight.yangtools.yang.model.api.MustConstraintAware;
37 import org.opendaylight.yangtools.yang.model.api.MustDefinition;
38 import org.opendaylight.yangtools.yang.model.api.NotificationDefinition;
39 import org.opendaylight.yangtools.yang.model.api.NotificationNodeContainer;
40 import org.opendaylight.yangtools.yang.model.api.OperationDefinition;
41 import org.opendaylight.yangtools.yang.model.api.OutputSchemaNode;
42 import org.opendaylight.yangtools.yang.model.api.SchemaNode;
43 import org.opendaylight.yangtools.yang.model.api.Status;
44 import org.opendaylight.yangtools.yang.model.api.TypeDefinition;
45 import org.opendaylight.yangtools.yang.model.api.UnknownSchemaNode;
46 import org.opendaylight.yangtools.yang.model.api.UsesNode;
47 import org.opendaylight.yangtools.yang.model.api.WhenConditionAware;
48 import org.opendaylight.yangtools.yang.model.api.meta.DeclaredStatement;
49 import org.opendaylight.yangtools.yang.model.api.meta.EffectiveStatement;
50 import org.opendaylight.yangtools.yang.model.api.stmt.DescriptionEffectiveStatement;
51 import org.opendaylight.yangtools.yang.model.api.stmt.ErrorAppTagEffectiveStatement;
52 import org.opendaylight.yangtools.yang.model.api.stmt.ErrorMessageEffectiveStatement;
53 import org.opendaylight.yangtools.yang.model.api.stmt.InputEffectiveStatement;
54 import org.opendaylight.yangtools.yang.model.api.stmt.OutputEffectiveStatement;
55 import org.opendaylight.yangtools.yang.model.api.stmt.ReferenceEffectiveStatement;
56 import org.opendaylight.yangtools.yang.model.api.stmt.TypedefEffectiveStatement;
57 import org.opendaylight.yangtools.yang.model.api.stmt.WhenEffectiveStatement;
58 import org.opendaylight.yangtools.yang.parser.spi.meta.CopyHistory;
59 import org.opendaylight.yangtools.yang.parser.spi.meta.CopyType;
60 import org.opendaylight.yangtools.yang.xpath.api.YangXPathExpression.QualifiedBound;
63 * Mix-in interfaces providing services required by SchemaNode et al. These interfaces provide implementations, or
64 * implementation helpers based on default methods, so the correct behavior can be logically centralized.
67 public final class EffectiveStatementMixins {
68 // Marker interface requiring all mixins to be derived from EffectiveStatement.
69 private interface Mixin<A, D extends DeclaredStatement<A>> extends EffectiveStatement<A, D> {
70 @SuppressWarnings("unchecked")
71 default <T> @NonNull Collection<? extends T> filterEffectiveStatements(final Class<T> type) {
72 // Yeah, this is not nice, but saves one transformation
73 return (Collection<? extends T>) Collections2.filter(effectiveSubstatements(), type::isInstance);
78 * Bridge between {@link EffectiveStatement} and {@link AugmentationTarget}.
80 * @param <A> Argument type ({@link Void} if statement does not have argument.)
81 * @param <D> Class representing declared version of this statement.
83 public interface AugmentationTargetMixin<A, D extends DeclaredStatement<A>>
84 extends Mixin<A, D>, AugmentationTarget {
86 default Collection<? extends AugmentationSchemaNode> getAvailableAugmentations() {
87 return filterEffectiveStatements(AugmentationSchemaNode.class);
92 * Bridge between {@link EffectiveStatementWithFlags} and {@link AddedByUsesAware}.
94 * @param <A> Argument type ({@link Void} if statement does not have argument.)
95 * @param <D> Class representing declared version of this statement.
97 public interface AddedByUsesMixin<A, D extends DeclaredStatement<A>>
98 extends EffectiveStatementWithFlags<A, D>, AddedByUsesAware {
100 default boolean isAddedByUses() {
101 return (flags() & FlagsBuilder.ADDED_BY_USES) != 0;
106 * Bridge between {@link EffectiveStatementWithFlags} and {@link ActionNodeContainer}.
108 * @param <A> Argument type ({@link Void} if statement does not have argument.)
109 * @param <D> Class representing declared version of this statement.
111 public interface ActionNodeContainerMixin<A, D extends DeclaredStatement<A>>
112 extends Mixin<A, D>, ActionNodeContainer {
114 default Collection<? extends ActionDefinition> getActions() {
115 return filterEffectiveStatements(ActionDefinition.class);
120 * Bridge between {@link EffectiveStatementWithFlags} and {@link NotificationNodeContainer}.
122 * @param <A> Argument type ({@link Void} if statement does not have argument.)
123 * @param <D> Class representing declared version of this statement.
125 public interface NotificationNodeContainerMixin<A, D extends DeclaredStatement<A>>
126 extends Mixin<A, D>, NotificationNodeContainer {
128 default Collection<? extends NotificationDefinition> getNotifications() {
129 return filterEffectiveStatements(NotificationDefinition.class);
134 * Bridge between {@link EffectiveStatementWithFlags} and {@link MustConstraintAware}.
136 * @param <A> Argument type ({@link Void} if statement does not have argument.)
137 * @param <D> Class representing declared version of this statement.
139 public interface MustConstraintMixin<A, D extends DeclaredStatement<A>> extends Mixin<A, D>, MustConstraintAware {
141 default Collection<? extends MustDefinition> getMustConstraints() {
142 return filterEffectiveStatements(MustDefinition.class);
147 * Bridge between {@link EffectiveStatementWithFlags} and {@link CopyableNode}.
149 * @param <A> Argument type ({@link Void} if statement does not have argument.)
150 * @param <D> Class representing declared version of this statement.
152 public interface CopyableMixin<A, D extends DeclaredStatement<A>> extends AddedByUsesMixin<A, D>, CopyableNode {
154 default boolean isAugmenting() {
155 return (flags() & FlagsBuilder.AUGMENTING) != 0;
160 * Bridge between {@link EffectiveStatementWithFlags} and {@link DataNodeContainer}.
162 * @param <A> Argument type ({@link Void} if statement does not have argument.)
163 * @param <D> Class representing declared version of this statement.
165 public interface DataNodeContainerMixin<A, D extends DeclaredStatement<A>> extends DataNodeContainer, Mixin<A, D> {
167 default Collection<? extends TypeDefinition<?>> getTypeDefinitions() {
168 return filterTypeDefinitions(this);
172 default Collection<? extends DataSchemaNode> getChildNodes() {
173 return filterEffectiveStatements(DataSchemaNode.class);
177 default Collection<? extends GroupingDefinition> getGroupings() {
178 return filterEffectiveStatements(GroupingDefinition.class);
182 default Collection<? extends UsesNode> getUses() {
183 return filterEffectiveStatements(UsesNode.class);
188 * Bridge between {@link EffectiveStatementWithFlags} and {@link DataSchemaNode}.
190 * @param <A> Argument type ({@link Void} if statement does not have argument.)
191 * @param <D> Class representing declared version of this statement.
193 public interface DataSchemaNodeMixin<A, D extends DeclaredStatement<A>>
194 extends DataSchemaNode, CopyableMixin<A, D>, SchemaNodeMixin<A, D>, WhenConditionMixin<A, D> {
196 default boolean isConfiguration() {
197 return (flags() & FlagsBuilder.CONFIGURATION) != 0;
202 * Bridge between {@link EffectiveStatementWithFlags} and {@link DocumentedNode}.
204 * @param <A> Argument type ({@link Void} if statement does not have argument.)
205 * @param <D> Class representing declared version of this statement.
207 public interface DocumentedNodeMixin<A, D extends DeclaredStatement<A>> extends Mixin<A, D>, DocumentedNode {
209 * Bridge between {@link EffectiveStatementWithFlags} and
210 * {@link org.opendaylight.yangtools.yang.model.api.DocumentedNode.WithStatus}.
212 * @param <A> Argument type ({@link Void} if statement does not have argument.)
213 * @param <D> Class representing declared version of this statement.
215 interface WithStatus<A, D extends DeclaredStatement<A>>
216 extends EffectiveStatementWithFlags<A, D>, DocumentedNodeMixin<A, D>, DocumentedNode.WithStatus {
218 default Status getStatus() {
219 final int status = flags() & FlagsBuilder.MASK_STATUS;
221 case FlagsBuilder.STATUS_CURRENT:
222 return Status.CURRENT;
223 case FlagsBuilder.STATUS_DEPRECATED:
224 return Status.DEPRECATED;
225 case FlagsBuilder.STATUS_OBSOLETE:
226 return Status.OBSOLETE;
228 throw new IllegalStateException("Illegal status " + status);
234 default Optional<String> getDescription() {
235 return findFirstEffectiveSubstatementArgument(DescriptionEffectiveStatement.class);
239 default Optional<String> getReference() {
240 return findFirstEffectiveSubstatementArgument(ReferenceEffectiveStatement.class);
244 default Collection<? extends UnknownSchemaNode> getUnknownSchemaNodes() {
245 return filterEffectiveStatements(UnknownSchemaNode.class);
250 * Bridge between {@link EffectiveStatementWithFlags} and {@link ConstraintMetaDefinition}.
252 * @param <A> Argument type ({@link Void} if statement does not have argument.)
253 * @param <D> Class representing declared version of this statement.
255 public interface ConstraintMetaDefinitionMixin<A, D extends DeclaredStatement<A>> extends DocumentedNodeMixin<A, D>,
256 ConstraintMetaDefinition {
258 default Optional<String> getErrorAppTag() {
259 return findFirstEffectiveSubstatementArgument(ErrorAppTagEffectiveStatement.class);
263 default Optional<String> getErrorMessage() {
264 return findFirstEffectiveSubstatementArgument(ErrorMessageEffectiveStatement.class);
269 * Bridge between {@link EffectiveStatementWithFlags} and {@link MandatoryAware}.
271 * @param <A> Argument type ({@link Void} if statement does not have argument.)
272 * @param <D> Class representing declared version of this statement.
274 public interface MandatoryMixin<A, D extends DeclaredStatement<A>>
275 extends EffectiveStatementWithFlags<A, D>, MandatoryAware {
277 default boolean isMandatory() {
278 return (flags() & FlagsBuilder.MANDATORY) != 0;
283 * Bridge between {@link EffectiveStatementWithFlags} and {@code presence} statement.
285 * @param <A> Argument type ({@link Void} if statement does not have argument.)
286 * @param <D> Class representing declared version of this statement.
288 public interface PresenceMixin<A, D extends DeclaredStatement<A>> extends EffectiveStatementWithFlags<A, D> {
289 default boolean presence() {
290 return (flags() & FlagsBuilder.PRESENCE) != 0;
295 * Bridge between {@link EffectiveStatementWithFlags} and {@link SchemaNode}.
297 * @param <A> Argument type ({@link Void} if statement does not have argument.)
298 * @param <D> Class representing declared version of this statement.
300 public interface SchemaNodeMixin<A, D extends DeclaredStatement<A>>
301 extends DocumentedNodeMixin.WithStatus<A, D>, SchemaNode {
303 default QName getQName() {
304 return getPath().getLastComponent();
309 * Bridge between {@link EffectiveStatementWithFlags} and {@link UnknownSchemaNode}.
311 * @param <A> Argument type ({@link Void} if statement does not have argument.)
312 * @param <D> Class representing declared version of this statement.
314 public interface UnknownSchemaNodeMixin<A, D extends DeclaredStatement<A>>
315 extends SchemaNodeMixin<A, D>, CopyableMixin<A, D>, UnknownSchemaNode {
318 default String getNodeParameter() {
319 return Strings.nullToEmpty(getDeclared().rawArgument());
324 * Bridge between {@link EffectiveStatementWithFlags} and {@code ordered-by} statement.
326 * @param <A> Argument type ({@link Void} if statement does not have argument.)
327 * @param <D> Class representing declared version of this statement.
329 public interface UserOrderedMixin<A, D extends DeclaredStatement<A>> extends EffectiveStatementWithFlags<A, D> {
330 default boolean userOrdered() {
331 return (flags() & FlagsBuilder.USER_ORDERED) != 0;
336 * Helper used to locate the effective {@code when} statement and exposing its argument as per
337 * {@link WhenConditionAware}.
339 * @param <A> Argument type ({@link Void} if statement does not have argument.)
340 * @param <D> Class representing declared version of this statement.
342 public interface WhenConditionMixin<A, D extends DeclaredStatement<A>> extends Mixin<A, D>, WhenConditionAware {
344 default Optional<QualifiedBound> getWhenCondition() {
345 return findFirstEffectiveSubstatementArgument(WhenEffectiveStatement.class);
350 * Helper bridge for operation containers ({@code input} and {@code output}).
352 * @param <D> Class representing declared version of this statement.
354 public interface OperationContainerMixin<D extends DeclaredStatement<QName>>
355 extends ContainerLike, DocumentedNodeMixin.WithStatus<QName, D>, DataNodeContainerMixin<QName, D>,
356 MustConstraintMixin<QName, D>, WhenConditionMixin<QName, D>, AugmentationTargetMixin<QName, D>,
357 SchemaNodeMixin<QName, D>, CopyableMixin<QName, D> {
359 default @NonNull QName argument() {
364 default Optional<ActionDefinition> findAction(final QName qname) {
365 return Optional.empty();
369 default Optional<NotificationDefinition> findNotification(final QName qname) {
370 return Optional.empty();
374 default Collection<? extends ActionDefinition> getActions() {
375 return ImmutableSet.of();
379 default Collection<? extends NotificationDefinition> getNotifications() {
380 return ImmutableSet.of();
384 default boolean isConfiguration() {
388 default String defaultToString() {
389 return MoreObjects.toStringHelper(this).add("path", getPath()).toString();
394 * Helper bridge for {@code anydata} and {@code anyxml} opaque data.
396 * @param <D> Class representing declared version of this statement.
398 public interface OpaqueDataSchemaNodeMixin<D extends DeclaredStatement<QName>>
399 extends DerivableSchemaNode, DataSchemaNodeMixin<QName, D>, DocumentedNodeMixin.WithStatus<QName, D>,
400 MandatoryMixin<QName, D>, MustConstraintMixin<QName, D>, WhenConditionMixin<QName, D> {
402 default @NonNull QName argument() {
408 * Helper bridge for {@code rpc} and {@code action} operations.
410 * @param <D> Class representing declared version of this statement.
412 public interface OperationDefinitionMixin<D extends DeclaredStatement<QName>>
413 extends SchemaNodeMixin<QName, D>, OperationDefinition {
415 default @NonNull QName argument() {
420 default Collection<? extends TypeDefinition<?>> getTypeDefinitions() {
421 return filterTypeDefinitions(this);
425 default Collection<? extends GroupingDefinition> getGroupings() {
426 return filterEffectiveStatements(GroupingDefinition.class);
430 default InputSchemaNode getInput() {
431 return findAsContainer(this, InputEffectiveStatement.class, InputSchemaNode.class);
435 default OutputSchemaNode getOutput() {
436 return findAsContainer(this, OutputEffectiveStatement.class, OutputSchemaNode.class);
441 * Support interface for various mixins. Implementations are required to store 32bits worth of flags, which are
442 * globally assigned to sub-interfaces -- thus providing storage for many low-cardinality properties.
444 * @param <A> Argument type ({@link Void} if statement does not have argument.)
445 * @param <D> Class representing declared version of this statement.
447 public interface EffectiveStatementWithFlags<A, D extends DeclaredStatement<A>> extends Mixin<A, D> {
449 * Return flags assicated with this statements. Flags can be built using {@link FlagsBuilder}.
451 * @return Flag field value (32 bits).
456 final class FlagsBuilder implements Mutable {
457 // We still have 24 flags remaining
458 static final int STATUS_CURRENT = 0x0001;
459 static final int STATUS_DEPRECATED = 0x0002;
460 static final int STATUS_OBSOLETE = 0x0003;
461 static final int MASK_STATUS = 0x0003;
463 static final int CONFIGURATION = 0x0004;
464 static final int MANDATORY = 0x0008;
466 static final int AUGMENTING = 0x0010;
467 static final int ADDED_BY_USES = 0x0020;
468 private static final int MASK_HISTORY = 0x0030;
470 static final int USER_ORDERED = 0x0040;
471 static final int PRESENCE = 0x0080;
475 public FlagsBuilder setConfiguration(final boolean config) {
477 flags |= CONFIGURATION;
479 flags &= ~CONFIGURATION;
484 public FlagsBuilder setHistory(final CopyHistory history) {
486 if (history.contains(CopyType.ADDED_BY_USES_AUGMENTATION)) {
487 bits = AUGMENTING | ADDED_BY_USES;
490 if (history.contains(CopyType.ADDED_BY_AUGMENTATION)) {
493 if (history.contains(CopyType.ADDED_BY_USES)) {
494 bits |= ADDED_BY_USES;
498 flags = flags & ~MASK_HISTORY | bits;
502 public FlagsBuilder setMandatory(final boolean mandatory) {
511 public FlagsBuilder setPresence(final boolean presence) {
520 public FlagsBuilder setStatus(final Status status) {
524 bits = STATUS_CURRENT;
527 bits = STATUS_DEPRECATED;
530 bits = STATUS_OBSOLETE;
533 throw new IllegalStateException("Unhandled status " + status);
536 flags = flags & ~MASK_STATUS | bits;
540 public FlagsBuilder setUserOrdered(final boolean userOrdered) {
542 flags |= USER_ORDERED;
544 flags &= ~USER_ORDERED;
549 public int toFlags() {
555 private EffectiveStatementMixins() {
558 static <T extends ContainerLike> T findAsContainer(final EffectiveStatement<?, ?> stmt,
559 final Class<? extends EffectiveStatement<QName, ?>> type, Class<T> target) {
560 return target.cast(stmt.findFirstEffectiveSubstatement(type).get());
563 static Collection<? extends TypeDefinition<?>> filterTypeDefinitions(final Mixin<?, ?> stmt) {
564 return Collections2.transform(stmt.filterEffectiveStatements(TypedefEffectiveStatement.class),
565 TypedefEffectiveStatement::getTypeDefinition);