Create all effective statements path Nullable
[yangtools.git] / yang / yang-parser-rfc7950 / src / main / java / org / opendaylight / yangtools / yang / parser / rfc7950 / stmt / type / EnumSpecificationSupport.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.type;
9
10 import com.google.common.collect.ImmutableList;
11 import java.util.Optional;
12 import org.opendaylight.yangtools.yang.model.api.YangStmtMapping;
13 import org.opendaylight.yangtools.yang.model.api.meta.DeclaredStatement;
14 import org.opendaylight.yangtools.yang.model.api.meta.EffectiveStatement;
15 import org.opendaylight.yangtools.yang.model.api.stmt.EnumEffectiveStatement;
16 import org.opendaylight.yangtools.yang.model.api.stmt.TypeStatement.EnumSpecification;
17 import org.opendaylight.yangtools.yang.model.api.stmt.ValueEffectiveStatement;
18 import org.opendaylight.yangtools.yang.model.api.type.EnumTypeDefinition.EnumPair;
19 import org.opendaylight.yangtools.yang.model.util.type.BaseTypes;
20 import org.opendaylight.yangtools.yang.model.util.type.EnumerationTypeBuilder;
21 import org.opendaylight.yangtools.yang.parser.rfc7950.stmt.BaseStatementSupport;
22 import org.opendaylight.yangtools.yang.parser.spi.meta.CommonStmtCtx;
23 import org.opendaylight.yangtools.yang.parser.spi.meta.EffectiveStmtCtx.Current;
24 import org.opendaylight.yangtools.yang.parser.spi.meta.StmtContext;
25 import org.opendaylight.yangtools.yang.parser.spi.meta.SubstatementValidator;
26 import org.opendaylight.yangtools.yang.parser.spi.source.SourceException;
27
28 final class EnumSpecificationSupport
29         extends BaseStatementSupport<String, EnumSpecification, EffectiveStatement<String, EnumSpecification>> {
30     private static final SubstatementValidator SUBSTATEMENT_VALIDATOR =
31             SubstatementValidator.builder(YangStmtMapping.TYPE).addMultiple(YangStmtMapping.ENUM).build();
32
33     EnumSpecificationSupport() {
34         super(YangStmtMapping.TYPE);
35     }
36
37     @Override
38     public String parseArgumentValue(final StmtContext<?, ?, ?> ctx, final String value) {
39         return value;
40     }
41
42     @Override
43     protected SubstatementValidator getSubstatementValidator() {
44         return SUBSTATEMENT_VALIDATOR;
45     }
46
47     @Override
48     protected EnumSpecification createDeclared(final StmtContext<String, EnumSpecification, ?> ctx,
49             final ImmutableList<? extends DeclaredStatement<?>> substatements) {
50         return new EnumSpecificationImpl(ctx.getRawArgument(), substatements);
51     }
52
53     @Override
54     protected EnumSpecification createEmptyDeclared(final StmtContext<String, EnumSpecification, ?> ctx) {
55         throw noEnum(ctx);
56     }
57
58     @Override
59     protected EffectiveStatement<String, EnumSpecification> createEffective(
60             final Current<String, EnumSpecification> stmt,
61             final ImmutableList<? extends EffectiveStatement<?, ?>> substatements) {
62         if (substatements.isEmpty()) {
63             throw noEnum(stmt);
64         }
65
66         final EnumerationTypeBuilder builder = BaseTypes.enumerationTypeBuilder(stmt.wrapSchemaPath());
67         Integer highestValue = null;
68         for (final EffectiveStatement<?, ?> subStmt : substatements) {
69             if (subStmt instanceof EnumEffectiveStatement) {
70                 final EnumEffectiveStatement enumSubStmt = (EnumEffectiveStatement) subStmt;
71
72                 final Optional<Integer> declaredValue =
73                         enumSubStmt.findFirstEffectiveSubstatementArgument(ValueEffectiveStatement.class);
74                 final int effectiveValue;
75                 if (declaredValue.isEmpty()) {
76                     if (highestValue != null) {
77                         SourceException.throwIf(highestValue == 2147483647, stmt,
78                             "Enum '%s' must have a value statement", enumSubStmt);
79                         effectiveValue = highestValue + 1;
80                     } else {
81                         effectiveValue = 0;
82                     }
83                 } else {
84                     effectiveValue = declaredValue.orElseThrow();
85                 }
86
87                 final EnumPair pair = EffectiveTypeUtil.buildEnumPair(enumSubStmt, effectiveValue);
88                 if (highestValue == null || highestValue < pair.getValue()) {
89                     highestValue = pair.getValue();
90                 }
91
92                 builder.addEnum(pair);
93             }
94         }
95
96         return new TypeEffectiveStatementImpl<>(stmt.declared(), substatements, builder);
97     }
98
99     private static SourceException noEnum(final CommonStmtCtx stmt) {
100         /*
101          *  https://tools.ietf.org/html/rfc7950#section-9.6.4
102          *
103          *     The "enum" statement, which is a substatement to the "type"
104          *     statement, MUST be present if the type is "enumeration".
105          */
106         return new SourceException("At least one enum statement has to be present", stmt);
107     }
108
109 }