KeyStatement is defined in terms of Set<QName>
[yangtools.git] / yang / yang-parser-rfc7950 / src / main / java / org / opendaylight / yangtools / yang / parser / rfc7950 / stmt / list / AbstractListStatementSupport.java
1 /*
2  * Copyright (c) 2017 Pantheon Technologies, s.r.o. 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.rfc7950.stmt.list;
9
10 import com.google.common.collect.ImmutableList;
11 import java.util.ArrayList;
12 import java.util.HashSet;
13 import java.util.List;
14 import java.util.Optional;
15 import java.util.Set;
16 import org.opendaylight.yangtools.yang.common.QName;
17 import org.opendaylight.yangtools.yang.model.api.ElementCountConstraint;
18 import org.opendaylight.yangtools.yang.model.api.LeafSchemaNode;
19 import org.opendaylight.yangtools.yang.model.api.ListSchemaNode;
20 import org.opendaylight.yangtools.yang.model.api.SchemaPath;
21 import org.opendaylight.yangtools.yang.model.api.Status;
22 import org.opendaylight.yangtools.yang.model.api.YangStmtMapping;
23 import org.opendaylight.yangtools.yang.model.api.meta.DeclaredStatement;
24 import org.opendaylight.yangtools.yang.model.api.meta.EffectiveStatement;
25 import org.opendaylight.yangtools.yang.model.api.stmt.KeyEffectiveStatement;
26 import org.opendaylight.yangtools.yang.model.api.stmt.ListEffectiveStatement;
27 import org.opendaylight.yangtools.yang.model.api.stmt.ListStatement;
28 import org.opendaylight.yangtools.yang.model.api.stmt.OrderedByEffectiveStatement;
29 import org.opendaylight.yangtools.yang.model.api.stmt.OrderedByStatement.Ordering;
30 import org.opendaylight.yangtools.yang.model.api.stmt.StatusEffectiveStatement;
31 import org.opendaylight.yangtools.yang.parser.rfc7950.namespace.ChildSchemaNodeNamespace;
32 import org.opendaylight.yangtools.yang.parser.rfc7950.stmt.BaseQNameStatementSupport;
33 import org.opendaylight.yangtools.yang.parser.rfc7950.stmt.EffectiveStatementMixins.EffectiveStatementWithFlags.FlagsBuilder;
34 import org.opendaylight.yangtools.yang.parser.rfc7950.stmt.EffectiveStmtUtils;
35 import org.opendaylight.yangtools.yang.parser.spi.meta.InferenceException;
36 import org.opendaylight.yangtools.yang.parser.spi.meta.StmtContext;
37 import org.opendaylight.yangtools.yang.parser.spi.meta.StmtContext.Mutable;
38 import org.opendaylight.yangtools.yang.parser.spi.meta.StmtContextUtils;
39 import org.opendaylight.yangtools.yang.parser.spi.source.StatementSourceReference;
40 import org.slf4j.Logger;
41 import org.slf4j.LoggerFactory;
42
43 abstract class AbstractListStatementSupport extends BaseQNameStatementSupport<ListStatement, ListEffectiveStatement> {
44     private static final Logger LOG = LoggerFactory.getLogger(AbstractListStatementSupport.class);
45
46     AbstractListStatementSupport() {
47         super(YangStmtMapping.LIST);
48     }
49
50     @Override
51     public final QName parseArgumentValue(final StmtContext<?, ?, ?> ctx, final String value) {
52         return StmtContextUtils.parseIdentifier(ctx, value);
53     }
54
55     @Override
56     public final void onStatementAdded(final Mutable<QName, ListStatement, ListEffectiveStatement> stmt) {
57         stmt.coerceParentContext().addToNs(ChildSchemaNodeNamespace.class, stmt.coerceStatementArgument(), stmt);
58     }
59
60     @Override
61     protected final ListStatement createDeclared(final StmtContext<QName, ListStatement, ?> ctx,
62             final ImmutableList<? extends DeclaredStatement<?>> substatements) {
63         return new RegularListStatement(ctx.coerceStatementArgument(), substatements);
64     }
65
66     @Override
67     protected final ListStatement createEmptyDeclared(final StmtContext<QName, ListStatement, ?> ctx) {
68         return new EmptyListStatement(ctx.coerceStatementArgument());
69     }
70
71     @Override
72     protected final ListEffectiveStatement createEffective(
73             final StmtContext<QName, ListStatement, ListEffectiveStatement> ctx,
74             final ListStatement declared, final ImmutableList<? extends EffectiveStatement<?, ?>> substatements) {
75         final StatementSourceReference ref = ctx.getStatementSourceReference();
76         final SchemaPath path = ctx.getSchemaPath().get();
77         final ListSchemaNode original = (ListSchemaNode) ctx.getOriginalCtx().map(StmtContext::buildEffective)
78                 .orElse(null);
79
80         final ImmutableList<QName> keyDefinition;
81         final KeyEffectiveStatement keyStmt = findFirstStatement(substatements, KeyEffectiveStatement.class);
82         if (keyStmt != null) {
83             final List<QName> keyDefinitionInit = new ArrayList<>(keyStmt.argument().size());
84             final Set<QName> possibleLeafQNamesForKey = new HashSet<>();
85             for (final EffectiveStatement<?, ?> effectiveStatement : substatements) {
86                 if (effectiveStatement instanceof LeafSchemaNode) {
87                     possibleLeafQNamesForKey.add(((LeafSchemaNode) effectiveStatement).getQName());
88                 }
89             }
90             for (final QName keyQName : keyStmt.argument()) {
91                 if (!possibleLeafQNamesForKey.contains(keyQName)) {
92                     throw new InferenceException(ref, "Key '%s' misses node '%s' in list '%s'",
93                         keyStmt.getDeclared().rawArgument(), keyQName.getLocalName(), ctx.getStatementArgument());
94                 }
95                 keyDefinitionInit.add(keyQName);
96             }
97
98             keyDefinition = ImmutableList.copyOf(keyDefinitionInit);
99         } else {
100             keyDefinition = ImmutableList.of();
101         }
102
103         final boolean configuration = ctx.isConfiguration();
104         final int flags = new FlagsBuilder()
105                 .setHistory(ctx.getCopyHistory())
106                 .setStatus(findFirstArgument(substatements, StatusEffectiveStatement.class, Status.CURRENT))
107                 .setConfiguration(configuration)
108                 .setUserOrdered(findFirstArgument(substatements, OrderedByEffectiveStatement.class, Ordering.SYSTEM)
109                     .equals(Ordering.USER))
110                 .toFlags();
111         if (configuration && keyDefinition.isEmpty() && !inGrouping(ctx)) {
112             LOG.info("Configuration list {} does not define any keys in violation of RFC7950 section 7.8.2. While "
113                     + " this is fine with OpenDaylight, it can cause interoperability issues with other systems "
114                     + "[at {}]", ctx.getStatementArgument(), ref);
115         }
116
117         final Optional<ElementCountConstraint> elementCountConstraint =
118                 EffectiveStmtUtils.createElementCountConstraint(substatements);
119         return original == null && !elementCountConstraint.isPresent()
120                 ? new EmptyListEffectiveStatement(declared, path, flags, ctx, substatements, keyDefinition)
121                         : new RegularListEffectiveStatement(declared, path, flags, ctx, substatements, keyDefinition,
122                             elementCountConstraint.orElse(null), original);
123     }
124
125     private static boolean inGrouping(final StmtContext<?, ?, ?> ctx) {
126         StmtContext<?, ?, ?> parent = ctx.getParentContext();
127         while (parent != null) {
128             if (parent.getPublicDefinition() == YangStmtMapping.GROUPING) {
129                 return true;
130             }
131             parent = parent.getParentContext();
132         }
133         return false;
134     }
135
136     @Override
137     protected final ListEffectiveStatement createEmptyEffective(
138             final StmtContext<QName, ListStatement, ListEffectiveStatement> ctx, final ListStatement declared) {
139         return createEffective(ctx, declared, ImmutableList.of());
140     }
141 }