parser/yang-parser-rfc7950/src/main/java/org/opendaylight/yangtools/yang/parser/rfc7950/stmt/meta/RangeStatementSupport.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 com.google.common.collect.ImmutableList;
  11 import com.google.common.collect.Iterables;
  12 import java.util.ArrayList;
  13 import java.util.Iterator;
  14 import java.util.List;
  15 import org.eclipse.jdt.annotation.NonNull;
  16 import org.opendaylight.yangtools.yang.common.Decimal64;
  17 import org.opendaylight.yangtools.yang.common.Uint64;
  18 import org.opendaylight.yangtools.yang.model.api.YangStmtMapping;
  19 import org.opendaylight.yangtools.yang.model.api.meta.DeclarationReference;
  20 import org.opendaylight.yangtools.yang.model.api.meta.DeclaredStatement;
  21 import org.opendaylight.yangtools.yang.model.api.meta.EffectiveStatement;
  22 import org.opendaylight.yangtools.yang.model.api.stmt.RangeEffectiveStatement;
  23 import org.opendaylight.yangtools.yang.model.api.stmt.RangeStatement;
  24 import org.opendaylight.yangtools.yang.model.api.stmt.UnresolvedNumber;
  25 import org.opendaylight.yangtools.yang.model.api.stmt.ValueRange;
  26 import org.opendaylight.yangtools.yang.model.ri.stmt.DeclaredStatementDecorators;
  27 import org.opendaylight.yangtools.yang.model.ri.stmt.DeclaredStatements;
  28 import org.opendaylight.yangtools.yang.model.ri.stmt.EffectiveStatements;
  29 import org.opendaylight.yangtools.yang.parser.api.YangParserConfiguration;
  30 import org.opendaylight.yangtools.yang.parser.rfc7950.stmt.ArgumentUtils;
  31 import org.opendaylight.yangtools.yang.parser.spi.meta.AbstractStatementSupport;
  32 import org.opendaylight.yangtools.yang.parser.spi.meta.BoundStmtCtx;
  33 import org.opendaylight.yangtools.yang.parser.spi.meta.EffectiveStmtCtx.Current;
  34 import org.opendaylight.yangtools.yang.parser.spi.meta.InferenceException;
  35 import org.opendaylight.yangtools.yang.parser.spi.meta.StmtContext;
  36 import org.opendaylight.yangtools.yang.parser.spi.meta.SubstatementValidator;
  37 import org.opendaylight.yangtools.yang.parser.spi.source.SourceException;
  38
  39 public final class RangeStatementSupport
  40         extends AbstractStatementSupport<List<ValueRange>, RangeStatement, RangeEffectiveStatement> {
  41     private static final SubstatementValidator SUBSTATEMENT_VALIDATOR =
  42         SubstatementValidator.builder(YangStmtMapping.RANGE)
  43             .addOptional(YangStmtMapping.DESCRIPTION)
  44             .addOptional(YangStmtMapping.ERROR_APP_TAG)
  45             .addOptional(YangStmtMapping.ERROR_MESSAGE)
  46             .addOptional(YangStmtMapping.REFERENCE)
  47             .build();
  48
  49     public RangeStatementSupport(final YangParserConfiguration config) {
  50         super(YangStmtMapping.RANGE, StatementPolicy.contextIndependent(), config, SUBSTATEMENT_VALIDATOR);
  51     }
  52
  53     @Override
  54     public ImmutableList<ValueRange> parseArgumentValue(final StmtContext<?, ?, ?> ctx, final String rangeArgument) {
  55         final List<ValueRange> ranges = new ArrayList<>();
  56
  57         for (final String singleRange : ArgumentUtils.PIPE_SPLITTER.split(rangeArgument)) {
  58             final Iterator<String> boundaries = ArgumentUtils.TWO_DOTS_SPLITTER.split(singleRange).iterator();
  59             final Number min = parseDecimalConstraintValue(ctx, boundaries.next());
  60
  61             final Number max;
  62             if (boundaries.hasNext()) {
  63                 max = parseDecimalConstraintValue(ctx, boundaries.next());
  64
  65                 // if min larger than max then error
  66                 SourceException.throwIf(ArgumentUtils.compareNumbers(min, max) == 1, ctx,
  67                     "Range constraint %s has descending order of boundaries; should be ascending", singleRange);
  68                 SourceException.throwIf(boundaries.hasNext(), ctx,
  69                     "Wrong number of boundaries in range constraint %s", singleRange);
  70             } else {
  71                 max = min;
  72             }
  73
  74             // some of intervals overlapping
  75             InferenceException.throwIf(
  76                 ranges.size() > 1 && ArgumentUtils.compareNumbers(min, Iterables.getLast(ranges).upperBound()) != 1,
  77                 ctx, "Some of the value ranges in %s are not disjoint", rangeArgument);
  78             ranges.add(ValueRange.of(min, max));
  79         }
  80
  81         return ImmutableList.copyOf(ranges);
  82     }
  83
  84     @Override
  85     protected RangeStatement createDeclared(final BoundStmtCtx<List<ValueRange>> ctx,
  86             final ImmutableList<DeclaredStatement<?>> substatements) {
  87         return DeclaredStatements.createRange(ctx.getRawArgument(), ctx.getArgument(), substatements);
  88     }
  89
  90     @Override
  91     protected RangeStatement attachDeclarationReference(final RangeStatement stmt,
  92             final DeclarationReference reference) {
  93         return DeclaredStatementDecorators.decorateRange(stmt, reference);
  94     }
  95
  96     @Override
  97     protected RangeEffectiveStatement createEffective(final Current<List<ValueRange>, RangeStatement> stmt,
  98             final ImmutableList<? extends EffectiveStatement<?, ?>> substatements) {
  99         return EffectiveStatements.createRange(stmt.declared(), substatements);
 100     }
 101
 102     private static @NonNull Number parseDecimalConstraintValue(final @NonNull StmtContext<?, ?, ?> ctx,
 103             final @NonNull String value) {
 104         if ("max".equals(value)) {
 105             return UnresolvedNumber.max();
 106         }
 107         if ("min".equals(value)) {
 108             return UnresolvedNumber.min();
 109         }
 110         // Deal with decimal64, i.e. 'decimal-value' production of the RFC6020 ABNF
 111         if (value.indexOf('.') != -1) {
 112             try {
 113                 return Decimal64.valueOf(value);
 114             } catch (NumberFormatException e) {
 115                 throw new SourceException(ctx, e, "Value %s is not a valid decimal number", value);
 116             }
 117         }
 118
 119         // This has to be an 'integer-value' production of the RFC6020 ABNF. We also clamp allowed range to Long/Uint,
 120         // as that is the effectively-valid range of allowed values. For Uint64 we also try to intern the value.
 121         try {
 122             return value.startsWith("-") ? Long.valueOf(value) : Uint64.valueOf(value).intern();
 123         } catch (IllegalArgumentException e) {
 124             throw new SourceException(ctx, e, "Value %s is not a valid integral range number", value);
 125         }
 126     }
 127 }