Reformulate StatementContextFactory.createEffective()
[yangtools.git] / yang / yang-parser-rfc7950 / src / main / java / org / opendaylight / yangtools / yang / parser / rfc7950 / stmt / length / LengthStatementSupport.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.length;
9
10 import com.google.common.collect.ImmutableList;
11 import com.google.common.collect.Iterables;
12 import java.math.BigInteger;
13 import java.util.ArrayList;
14 import java.util.Iterator;
15 import java.util.List;
16 import org.opendaylight.yangtools.yang.model.api.YangStmtMapping;
17 import org.opendaylight.yangtools.yang.model.api.meta.DeclaredStatement;
18 import org.opendaylight.yangtools.yang.model.api.meta.EffectiveStatement;
19 import org.opendaylight.yangtools.yang.model.api.stmt.LengthEffectiveStatement;
20 import org.opendaylight.yangtools.yang.model.api.stmt.LengthStatement;
21 import org.opendaylight.yangtools.yang.model.api.stmt.UnresolvedNumber;
22 import org.opendaylight.yangtools.yang.model.api.stmt.ValueRange;
23 import org.opendaylight.yangtools.yang.parser.rfc7950.stmt.ArgumentUtils;
24 import org.opendaylight.yangtools.yang.parser.rfc7950.stmt.BaseStatementSupport;
25 import org.opendaylight.yangtools.yang.parser.spi.meta.EffectiveStmtCtx.Current;
26 import org.opendaylight.yangtools.yang.parser.spi.meta.InferenceException;
27 import org.opendaylight.yangtools.yang.parser.spi.meta.StmtContext;
28 import org.opendaylight.yangtools.yang.parser.spi.meta.SubstatementValidator;
29 import org.opendaylight.yangtools.yang.parser.spi.source.SourceException;
30
31 public final class LengthStatementSupport
32         extends BaseStatementSupport<List<ValueRange>, LengthStatement, LengthEffectiveStatement> {
33     private static final SubstatementValidator SUBSTATEMENT_VALIDATOR = SubstatementValidator.builder(YangStmtMapping
34         .LENGTH)
35         .addOptional(YangStmtMapping.DESCRIPTION)
36         .addOptional(YangStmtMapping.ERROR_APP_TAG)
37         .addOptional(YangStmtMapping.ERROR_MESSAGE)
38         .addOptional(YangStmtMapping.REFERENCE)
39         .build();
40     private static final LengthStatementSupport INSTANCE = new LengthStatementSupport();
41
42     private LengthStatementSupport() {
43         super(YangStmtMapping.LENGTH, CopyPolicy.CONTEXT_INDEPENDENT);
44     }
45
46     public static LengthStatementSupport getInstance() {
47         return INSTANCE;
48     }
49
50     @Override
51     public ImmutableList<ValueRange> parseArgumentValue(final StmtContext<?, ?, ?> ctx, final String value) {
52         final List<ValueRange> ranges = new ArrayList<>();
53
54         for (final String singleRange : ArgumentUtils.PIPE_SPLITTER.split(value)) {
55             final Iterator<String> boundaries = ArgumentUtils.TWO_DOTS_SPLITTER.split(singleRange).iterator();
56             final Number min = parseIntegerConstraintValue(ctx, boundaries.next());
57
58             final Number max;
59             if (boundaries.hasNext()) {
60                 max = parseIntegerConstraintValue(ctx, boundaries.next());
61
62                 // if min larger than max then error
63                 SourceException.throwIf(ArgumentUtils.compareNumbers(min, max) == 1, ctx.getStatementSourceReference(),
64                         "Length constraint %s has descending order of boundaries; should be ascending.", singleRange);
65                 SourceException.throwIf(boundaries.hasNext(), ctx.getStatementSourceReference(),
66                         "Wrong number of boundaries in length constraint %s.", singleRange);
67             } else {
68                 max = min;
69             }
70
71             // some of intervals overlapping
72             InferenceException.throwIf(ranges.size() > 1
73                 && ArgumentUtils.compareNumbers(min, Iterables.getLast(ranges).upperBound()) != 1,
74                         ctx.getStatementSourceReference(),  "Some of the length ranges in %s are not disjoint", value);
75             ranges.add(ValueRange.of(min, max));
76         }
77
78         return ImmutableList.copyOf(ranges);
79     }
80
81     @Override
82     protected SubstatementValidator getSubstatementValidator() {
83         return SUBSTATEMENT_VALIDATOR;
84     }
85
86     @Override
87     protected LengthStatement createDeclared(final StmtContext<List<ValueRange>, LengthStatement, ?> ctx,
88             final ImmutableList<? extends DeclaredStatement<?>> substatements) {
89         return new RegularLengthStatement(ctx.coerceRawStatementArgument(), ctx.coerceStatementArgument(),
90             substatements);
91     }
92
93     @Override
94     protected LengthStatement createEmptyDeclared(final StmtContext<List<ValueRange>, LengthStatement, ?> ctx) {
95         return new EmptyLengthStatement(ctx.coerceRawStatementArgument(), ctx.coerceStatementArgument());
96     }
97
98     @Override
99     protected LengthEffectiveStatement createEffective(final Current<List<ValueRange>, LengthStatement> stmt,
100             final ImmutableList<? extends EffectiveStatement<?, ?>> substatements) {
101         return substatements.isEmpty() ? new EmptyLengthEffectiveStatement(stmt.declared())
102             : new RegularLengthEffectiveStatement(stmt.declared(), substatements);
103     }
104
105     private static Number parseIntegerConstraintValue(final StmtContext<?, ?, ?> ctx, final String value) {
106         if ("max".equals(value)) {
107             return UnresolvedNumber.max();
108         }
109         if ("min".equals(value)) {
110             return UnresolvedNumber.min();
111         }
112
113         try {
114             return new BigInteger(value);
115         } catch (final NumberFormatException e) {
116             throw new SourceException(ctx.getStatementSourceReference(), e, "Value %s is not a valid integer", value);
117         }
118     }
119 }