Simplify Abstract{Declared,Undeclareds}EffectiveStatement
[yangtools.git] / parser / yang-parser-rfc7950 / src / main / java / org / opendaylight / yangtools / yang / parser / rfc7950 / stmt / meta / CaseStatementSupport.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 com.google.common.base.Verify.verify;
11
12 import com.google.common.annotations.Beta;
13 import com.google.common.collect.ImmutableList;
14 import edu.umd.cs.findbugs.annotations.SuppressFBWarnings;
15 import java.util.Collection;
16 import java.util.Optional;
17 import org.eclipse.jdt.annotation.NonNull;
18 import org.eclipse.jdt.annotation.Nullable;
19 import org.opendaylight.yangtools.yang.common.QName;
20 import org.opendaylight.yangtools.yang.model.api.CaseSchemaNode;
21 import org.opendaylight.yangtools.yang.model.api.DataSchemaNode;
22 import org.opendaylight.yangtools.yang.model.api.Status;
23 import org.opendaylight.yangtools.yang.model.api.YangStmtMapping;
24 import org.opendaylight.yangtools.yang.model.api.meta.DeclarationReference;
25 import org.opendaylight.yangtools.yang.model.api.meta.DeclaredStatement;
26 import org.opendaylight.yangtools.yang.model.api.meta.EffectiveStatement;
27 import org.opendaylight.yangtools.yang.model.api.stmt.CaseEffectiveStatement;
28 import org.opendaylight.yangtools.yang.model.api.stmt.CaseStatement;
29 import org.opendaylight.yangtools.yang.model.api.stmt.StatusEffectiveStatement;
30 import org.opendaylight.yangtools.yang.model.ri.stmt.DeclaredStatementDecorators;
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.ri.stmt.UndeclaredStatements;
34 import org.opendaylight.yangtools.yang.model.spi.meta.EffectiveStatementMixins.EffectiveStatementWithFlags.FlagsBuilder;
35 import org.opendaylight.yangtools.yang.model.spi.meta.SubstatementIndexingException;
36 import org.opendaylight.yangtools.yang.parser.api.YangParserConfiguration;
37 import org.opendaylight.yangtools.yang.parser.spi.meta.BoundStmtCtx;
38 import org.opendaylight.yangtools.yang.parser.spi.meta.EffectiveStatementState;
39 import org.opendaylight.yangtools.yang.parser.spi.meta.EffectiveStmtCtx.Current;
40 import org.opendaylight.yangtools.yang.parser.spi.meta.EffectiveStmtCtx.Parent.EffectiveConfig;
41 import org.opendaylight.yangtools.yang.parser.spi.meta.EffectiveStmtCtx.UndeclaredCurrent;
42 import org.opendaylight.yangtools.yang.parser.spi.meta.QNameWithFlagsEffectiveStatementState;
43 import org.opendaylight.yangtools.yang.parser.spi.meta.SubstatementValidator;
44 import org.opendaylight.yangtools.yang.parser.spi.source.SourceException;
45
46 @Beta
47 public final class CaseStatementSupport
48         extends AbstractImplicitStatementSupport<CaseStatement, CaseEffectiveStatement> {
49     private static final SubstatementValidator RFC6020_VALIDATOR = SubstatementValidator.builder(YangStmtMapping.CASE)
50             .addAny(YangStmtMapping.ANYXML)
51             .addAny(YangStmtMapping.CHOICE)
52             .addAny(YangStmtMapping.CONTAINER)
53             .addOptional(YangStmtMapping.DESCRIPTION)
54             .addAny(YangStmtMapping.IF_FEATURE)
55             .addAny(YangStmtMapping.LEAF)
56             .addAny(YangStmtMapping.LEAF_LIST)
57             .addAny(YangStmtMapping.LIST)
58             .addOptional(YangStmtMapping.REFERENCE)
59             .addOptional(YangStmtMapping.STATUS)
60             .addAny(YangStmtMapping.USES)
61             .addOptional(YangStmtMapping.WHEN)
62             .build();
63     private static final SubstatementValidator RFC7950_VALIDATOR = SubstatementValidator.builder(YangStmtMapping.CASE)
64             .addAny(YangStmtMapping.ANYDATA)
65             .addAny(YangStmtMapping.ANYXML)
66             .addAny(YangStmtMapping.CHOICE)
67             .addAny(YangStmtMapping.CONTAINER)
68             .addOptional(YangStmtMapping.DESCRIPTION)
69             .addAny(YangStmtMapping.IF_FEATURE)
70             .addAny(YangStmtMapping.LEAF)
71             .addAny(YangStmtMapping.LEAF_LIST)
72             .addAny(YangStmtMapping.LIST)
73             .addOptional(YangStmtMapping.REFERENCE)
74             .addOptional(YangStmtMapping.STATUS)
75             .addAny(YangStmtMapping.USES)
76             .addOptional(YangStmtMapping.WHEN)
77             .build();
78
79     private CaseStatementSupport(final YangParserConfiguration config, final SubstatementValidator validator) {
80         super(YangStmtMapping.CASE, instantiatedPolicy(), config, validator);
81     }
82
83     public static @NonNull CaseStatementSupport rfc6020Instance(final YangParserConfiguration config) {
84         return new CaseStatementSupport(config, RFC6020_VALIDATOR);
85     }
86
87     public static @NonNull CaseStatementSupport rfc7950Instance(final YangParserConfiguration config) {
88         return new CaseStatementSupport(config, RFC7950_VALIDATOR);
89     }
90
91     @Override
92     protected CaseStatement createDeclared(final BoundStmtCtx<QName> ctx,
93             final ImmutableList<DeclaredStatement<?>> substatements) {
94         return DeclaredStatements.createCase(ctx.getArgument(), substatements);
95     }
96
97     @Override
98     protected CaseStatement attachDeclarationReference(final CaseStatement stmt, final DeclarationReference reference) {
99         return DeclaredStatementDecorators.decorateCase(stmt, reference);
100     }
101
102     @Override
103     protected CaseEffectiveStatement createEffective(final Current<QName, CaseStatement> stmt,
104             final ImmutableList<? extends EffectiveStatement<?, ?>> substatements) {
105         try {
106             return EffectiveStatements.createCase(stmt.declared(), stmt.getArgument(),
107                 computeFlags(stmt, substatements), substatements);
108         } catch (SubstatementIndexingException e) {
109             throw new SourceException(e.getMessage(), stmt, e);
110         }
111     }
112
113     @Override
114     public CaseEffectiveStatement copyEffective(final Current<QName, CaseStatement> stmt,
115             final CaseEffectiveStatement original) {
116         return EffectiveStatements.copyCase(original, stmt.getArgument(),
117             computeFlags(stmt, original.effectiveSubstatements()));
118     }
119
120     @Override
121     protected CaseEffectiveStatement createUndeclaredEffective(final UndeclaredCurrent<QName, CaseStatement> stmt,
122             final ImmutableList<? extends EffectiveStatement<?, ?>> substatements) {
123         try {
124             return UndeclaredStatements.createCase(stmt.getArgument(), computeFlags(stmt, substatements),
125                 substatements);
126         } catch (SubstatementIndexingException e) {
127             throw new SourceException(e.getMessage(), stmt, e);
128         }
129     }
130
131     @Override
132     public EffectiveStatementState extractEffectiveState(final CaseEffectiveStatement stmt) {
133         verify(stmt instanceof CaseSchemaNode, "Unexpected statement %s", stmt);
134         final var schema = (CaseSchemaNode) stmt;
135         return new QNameWithFlagsEffectiveStatementState(stmt.argument(), new FlagsBuilder()
136             .setHistory(schema)
137             .setStatus(schema.getStatus())
138             .setConfiguration(schema.effectiveConfig().orElse(null))
139             .toFlags());
140     }
141
142     private static int computeFlags(final Current<?, ?> stmt,
143             final Collection<? extends EffectiveStatement<?, ?>> substatements) {
144         final Boolean config;
145         final EffectiveConfig effective = stmt.effectiveConfig();
146         switch (effective) {
147             case FALSE:
148                 config = Boolean.FALSE;
149                 break;
150             case IGNORED:
151                 config = null;
152                 break;
153             case TRUE:
154                 final Boolean sub = substatementEffectiveConfig(substatements);
155                 config = sub != null ? sub : Boolean.TRUE;
156                 break;
157             case UNDETERMINED:
158                 config = substatementEffectiveConfig(substatements);
159                 break;
160             default:
161                 throw new IllegalStateException("Unhandled effective config " + effective);
162         }
163
164         return new FlagsBuilder()
165                 .setHistory(stmt.history())
166                 .setStatus(findFirstArgument(substatements, StatusEffectiveStatement.class, Status.CURRENT))
167                 .setConfiguration(config)
168                 .toFlags();
169     }
170
171     @SuppressFBWarnings(value = "NP_BOOLEAN_RETURN_NULL", justification = "Internal use tagged with @Nullable")
172     private static @Nullable Boolean substatementEffectiveConfig(
173             final Collection<? extends EffectiveStatement<?, ?>> substatements) {
174         for (EffectiveStatement<?, ?> stmt : substatements) {
175             if (stmt instanceof DataSchemaNode) {
176                 final Optional<Boolean> opt = ((DataSchemaNode) stmt).effectiveConfig();
177                 if (opt.isPresent()) {
178                     return opt.orElseThrow();
179                 }
180             }
181         }
182         return null;
183     }
184 }