Teach YANG parser to retain DeclarationReference
[yangtools.git] / yang / yang-parser-rfc7950 / src / main / java / org / opendaylight / yangtools / yang / parser / rfc7950 / stmt / meta / ChoiceStatementSupport.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.meta;
9
10 import static java.util.Objects.requireNonNull;
11
12 import com.google.common.annotations.Beta;
13 import com.google.common.collect.ImmutableList;
14 import java.util.Collection;
15 import java.util.Optional;
16 import org.eclipse.jdt.annotation.NonNull;
17 import org.opendaylight.yangtools.yang.common.QName;
18 import org.opendaylight.yangtools.yang.model.api.CaseSchemaNode;
19 import org.opendaylight.yangtools.yang.model.api.ChoiceSchemaNode;
20 import org.opendaylight.yangtools.yang.model.api.Status;
21 import org.opendaylight.yangtools.yang.model.api.YangStmtMapping;
22 import org.opendaylight.yangtools.yang.model.api.meta.DeclaredStatement;
23 import org.opendaylight.yangtools.yang.model.api.meta.EffectiveStatement;
24 import org.opendaylight.yangtools.yang.model.api.meta.StatementDefinition;
25 import org.opendaylight.yangtools.yang.model.api.stmt.ChoiceEffectiveStatement;
26 import org.opendaylight.yangtools.yang.model.api.stmt.ChoiceStatement;
27 import org.opendaylight.yangtools.yang.model.api.stmt.DefaultEffectiveStatement;
28 import org.opendaylight.yangtools.yang.model.api.stmt.MandatoryEffectiveStatement;
29 import org.opendaylight.yangtools.yang.model.api.stmt.StatusEffectiveStatement;
30 import org.opendaylight.yangtools.yang.model.parser.api.YangParserConfiguration;
31 import org.opendaylight.yangtools.yang.model.ri.stmt.DeclaredStatements;
32 import org.opendaylight.yangtools.yang.model.ri.stmt.EffectiveStatements;
33 import org.opendaylight.yangtools.yang.model.spi.meta.EffectiveStatementMixins.EffectiveStatementWithFlags.FlagsBuilder;
34 import org.opendaylight.yangtools.yang.model.spi.meta.SubstatementIndexingException;
35 import org.opendaylight.yangtools.yang.parser.rfc7950.reactor.YangValidationBundles;
36 import org.opendaylight.yangtools.yang.parser.spi.meta.AbstractSchemaTreeStatementSupport;
37 import org.opendaylight.yangtools.yang.parser.spi.meta.EffectiveStmtCtx.Current;
38 import org.opendaylight.yangtools.yang.parser.spi.meta.ImplicitParentAwareStatementSupport;
39 import org.opendaylight.yangtools.yang.parser.spi.meta.InferenceException;
40 import org.opendaylight.yangtools.yang.parser.spi.meta.StatementSupport;
41 import org.opendaylight.yangtools.yang.parser.spi.meta.StmtContext;
42 import org.opendaylight.yangtools.yang.parser.spi.meta.SubstatementValidator;
43 import org.opendaylight.yangtools.yang.parser.spi.source.SourceException;
44
45 @Beta
46 public final class ChoiceStatementSupport
47         extends AbstractSchemaTreeStatementSupport<ChoiceStatement, ChoiceEffectiveStatement>
48         implements ImplicitParentAwareStatementSupport {
49     private static final SubstatementValidator RFC6020_VALIDATOR = SubstatementValidator.builder(YangStmtMapping.CHOICE)
50             .addAny(YangStmtMapping.ANYXML)
51             .addAny(YangStmtMapping.CASE)
52             .addOptional(YangStmtMapping.CONFIG)
53             .addAny(YangStmtMapping.CONTAINER)
54             .addOptional(YangStmtMapping.DEFAULT)
55             .addOptional(YangStmtMapping.DESCRIPTION)
56             .addAny(YangStmtMapping.IF_FEATURE)
57             .addAny(YangStmtMapping.LEAF)
58             .addAny(YangStmtMapping.LEAF_LIST)
59             .addAny(YangStmtMapping.LIST)
60             .addOptional(YangStmtMapping.MANDATORY)
61             .addOptional(YangStmtMapping.REFERENCE)
62             .addOptional(YangStmtMapping.STATUS)
63             .addOptional(YangStmtMapping.WHEN)
64             .build();
65
66     private static final SubstatementValidator RFC7950_VALIDATOR = SubstatementValidator.builder(YangStmtMapping.CHOICE)
67             .addAny(YangStmtMapping.ANYDATA)
68             .addAny(YangStmtMapping.ANYXML)
69             .addAny(YangStmtMapping.CASE)
70             .addOptional(YangStmtMapping.CONFIG)
71             .addAny(YangStmtMapping.CONTAINER)
72             .addOptional(YangStmtMapping.DEFAULT)
73             .addOptional(YangStmtMapping.DESCRIPTION)
74             .addAny(YangStmtMapping.IF_FEATURE)
75             .addAny(YangStmtMapping.LEAF)
76             .addAny(YangStmtMapping.LEAF_LIST)
77             .addAny(YangStmtMapping.LIST)
78             .addOptional(YangStmtMapping.MANDATORY)
79             .addOptional(YangStmtMapping.REFERENCE)
80             .addOptional(YangStmtMapping.STATUS)
81             .addOptional(YangStmtMapping.WHEN)
82             .build();
83
84     private final SubstatementValidator validator;
85     private final CaseStatementSupport implicitCase;
86
87     private ChoiceStatementSupport(final YangParserConfiguration config, final SubstatementValidator validator,
88             final CaseStatementSupport implicitCase) {
89         super(YangStmtMapping.CHOICE, instantiatedPolicy(), config);
90         this.validator = requireNonNull(validator);
91         this.implicitCase = requireNonNull(implicitCase);
92     }
93
94     public static @NonNull ChoiceStatementSupport rfc6020Instance(final YangParserConfiguration config,
95             final CaseStatementSupport implicitCase) {
96         return new ChoiceStatementSupport(config, RFC6020_VALIDATOR, implicitCase);
97     }
98
99     public static @NonNull ChoiceStatementSupport rfc7950Instance(final YangParserConfiguration config,
100             final CaseStatementSupport implicitCase) {
101         return new ChoiceStatementSupport(config, RFC7950_VALIDATOR, implicitCase);
102     }
103
104     @Override
105     public Optional<StatementSupport<?, ?, ?>> getImplicitParentFor(final StatementDefinition stmtDef) {
106         return YangValidationBundles.SUPPORTED_CASE_SHORTHANDS.contains(stmtDef) ? Optional.of(implicitCase)
107             : Optional.empty();
108     }
109
110     @Override
111     protected SubstatementValidator getSubstatementValidator() {
112         return validator;
113     }
114
115     @Override
116     protected ChoiceStatement createDeclared(@NonNull final StmtContext<QName, ChoiceStatement, ?> ctx,
117             final ImmutableList<? extends DeclaredStatement<?>> substatements) {
118         return DeclaredStatements.createChoice(ctx.getArgument(), substatements);
119     }
120
121     @Override
122     public ChoiceEffectiveStatement copyEffective(final Current<QName, ChoiceStatement> stmt,
123             final ChoiceEffectiveStatement original) {
124         return EffectiveStatements.copyChoice(original, stmt.effectivePath(),
125             computeFlags(stmt, original.effectiveSubstatements()), stmt.original(ChoiceSchemaNode.class));
126     }
127
128     @Override
129     protected ChoiceEffectiveStatement createEffective(final Current<QName, ChoiceStatement> stmt,
130             final ImmutableList<? extends EffectiveStatement<?, ?>> substatements) {
131         final String defaultArg = findFirstArgument(substatements, DefaultEffectiveStatement.class, null);
132         final CaseSchemaNode defaultCase;
133         if (defaultArg != null) {
134             final QName qname;
135             try {
136                 qname = QName.create(stmt.getArgument(), defaultArg);
137             } catch (IllegalArgumentException e) {
138                 throw new SourceException(stmt, e, "Default statement has invalid name '%s'", defaultArg);
139             }
140
141             // FIXME: this does not work with submodules, as they are
142             defaultCase = InferenceException.throwIfNull(findCase(qname, substatements), stmt,
143                 "Default statement refers to missing case %s", qname);
144         } else {
145             defaultCase = null;
146         }
147
148         try {
149             return EffectiveStatements.createChoice(stmt.declared(), stmt.effectivePath(),
150                 computeFlags(stmt, substatements), substatements, defaultCase, stmt.original(ChoiceSchemaNode.class));
151         } catch (SubstatementIndexingException e) {
152             throw new SourceException(e.getMessage(), stmt, e);
153         }
154     }
155
156     private static int computeFlags(final Current<?, ?> stmt,
157             final Collection<? extends EffectiveStatement<?, ?>> substatements) {
158         return new FlagsBuilder()
159             .setHistory(stmt.history())
160             .setStatus(findFirstArgument(substatements, StatusEffectiveStatement.class, Status.CURRENT))
161             .setConfiguration(stmt.effectiveConfig().asNullable())
162             .setMandatory(findFirstArgument(substatements, MandatoryEffectiveStatement.class, Boolean.FALSE))
163             .toFlags();
164     }
165
166     private static CaseSchemaNode findCase(final QName qname,
167             final ImmutableList<? extends EffectiveStatement<?, ?>> substatements) {
168         for (final EffectiveStatement<?, ?> effectiveStatement : substatements) {
169             if (effectiveStatement instanceof CaseSchemaNode) {
170                 final CaseSchemaNode choiceCaseNode = (CaseSchemaNode) effectiveStatement;
171                 if (qname.equals(choiceCaseNode.getQName())) {
172                     return choiceCaseNode;
173                 }
174             }
175         }
176
177         return null;
178     }
179 }