parser/yang-parser-rfc7950/src/main/java/org/opendaylight/yangtools/yang/parser/rfc7950/stmt/meta/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.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.Uint64;
  17 import org.opendaylight.yangtools.yang.model.api.YangStmtMapping;
  18 import org.opendaylight.yangtools.yang.model.api.meta.DeclarationReference;
  19 import org.opendaylight.yangtools.yang.model.api.meta.DeclaredStatement;
  20 import org.opendaylight.yangtools.yang.model.api.meta.EffectiveStatement;
  21 import org.opendaylight.yangtools.yang.model.api.stmt.LengthEffectiveStatement;
  22 import org.opendaylight.yangtools.yang.model.api.stmt.LengthStatement;
  23 import org.opendaylight.yangtools.yang.model.api.stmt.UnresolvedNumber;
  24 import org.opendaylight.yangtools.yang.model.api.stmt.ValueRange;
  25 import org.opendaylight.yangtools.yang.model.ri.stmt.DeclaredStatementDecorators;
  26 import org.opendaylight.yangtools.yang.model.ri.stmt.DeclaredStatements;
  27 import org.opendaylight.yangtools.yang.model.ri.stmt.EffectiveStatements;
  28 import org.opendaylight.yangtools.yang.parser.api.YangParserConfiguration;
  29 import org.opendaylight.yangtools.yang.parser.rfc7950.stmt.ArgumentUtils;
  30 import org.opendaylight.yangtools.yang.parser.spi.meta.AbstractStatementSupport;
  31 import org.opendaylight.yangtools.yang.parser.spi.meta.EffectiveStmtCtx.Current;
  32 import org.opendaylight.yangtools.yang.parser.spi.meta.InferenceException;
  33 import org.opendaylight.yangtools.yang.parser.spi.meta.StmtContext;
  34 import org.opendaylight.yangtools.yang.parser.spi.meta.SubstatementValidator;
  35 import org.opendaylight.yangtools.yang.parser.spi.source.SourceException;
  36
  37 public final class LengthStatementSupport
  38         extends AbstractStatementSupport<List<ValueRange>, LengthStatement, LengthEffectiveStatement> {
  39     private static final SubstatementValidator SUBSTATEMENT_VALIDATOR =
  40         SubstatementValidator.builder(YangStmtMapping.LENGTH)
  41             .addOptional(YangStmtMapping.DESCRIPTION)
  42             .addOptional(YangStmtMapping.ERROR_APP_TAG)
  43             .addOptional(YangStmtMapping.ERROR_MESSAGE)
  44             .addOptional(YangStmtMapping.REFERENCE)
  45             .build();
  46
  47     public LengthStatementSupport(final YangParserConfiguration config) {
  48         super(YangStmtMapping.LENGTH, StatementPolicy.contextIndependent(), config, SUBSTATEMENT_VALIDATOR);
  49     }
  50
  51     @Override
  52     public ImmutableList<ValueRange> parseArgumentValue(final StmtContext<?, ?, ?> ctx, final String value) {
  53         final List<ValueRange> ranges = new ArrayList<>();
  54
  55         for (final String singleRange : ArgumentUtils.PIPE_SPLITTER.split(value)) {
  56             final Iterator<String> boundaries = ArgumentUtils.TWO_DOTS_SPLITTER.split(singleRange).iterator();
  57             final Number min = parseIntegerConstraintValue(ctx, boundaries.next());
  58
  59             final Number max;
  60             if (boundaries.hasNext()) {
  61                 max = parseIntegerConstraintValue(ctx, boundaries.next());
  62
  63                 // if min larger than max then error
  64                 SourceException.throwIf(ArgumentUtils.compareNumbers(min, max) == 1, ctx,
  65                     "Length constraint %s has descending order of boundaries; should be ascending.", singleRange);
  66                 SourceException.throwIf(boundaries.hasNext(), ctx,
  67                     "Wrong number of boundaries in length constraint %s.", singleRange);
  68             } else {
  69                 max = min;
  70             }
  71
  72             // some of intervals overlapping
  73             InferenceException.throwIf(
  74                 ranges.size() > 1 && ArgumentUtils.compareNumbers(min, Iterables.getLast(ranges).upperBound()) != 1,
  75                 ctx, "Some of the length ranges in %s are not disjoint", value);
  76             ranges.add(ValueRange.of(min, max));
  77         }
  78
  79         return ImmutableList.copyOf(ranges);
  80     }
  81
  82     @Override
  83     protected LengthStatement createDeclared(final StmtContext<List<ValueRange>, LengthStatement, ?> ctx,
  84             final ImmutableList<? extends DeclaredStatement<?>> substatements) {
  85         return DeclaredStatements.createLength(ctx.getRawArgument(), ctx.getArgument(), substatements);
  86     }
  87
  88     @Override
  89     protected LengthStatement attachDeclarationReference(final LengthStatement stmt,
  90             final DeclarationReference reference) {
  91         return DeclaredStatementDecorators.decorateLength(stmt, reference);
  92     }
  93
  94     @Override
  95     protected LengthEffectiveStatement createEffective(final Current<List<ValueRange>, LengthStatement> stmt,
  96             final ImmutableList<? extends EffectiveStatement<?, ?>> substatements) {
  97         return EffectiveStatements.createLength(stmt.declared(), substatements);
  98     }
  99
 100     private static @NonNull Number parseIntegerConstraintValue(final StmtContext<?, ?, ?> ctx, final String value) {
 101         if ("max".equals(value)) {
 102             return UnresolvedNumber.max();
 103         }
 104         if ("min".equals(value)) {
 105             return UnresolvedNumber.min();
 106         }
 107
 108         // As per RFC6020/RFC7950 section 9.4.4:
 109         //
 110         //   An implementation is not required to support a length value larger than 18446744073709551615.
 111         //
 112         // We could support bigger precision at the cost of additional memory and/or potential ValueRange upper/lower
 113         // bound inconsistency. We also take advantage of Uint64's interning facilities.
 114         try {
 115             return Uint64.valueOf(value).intern();
 116         } catch (NumberFormatException e) {
 117             throw new SourceException(ctx, e, "Value %s is not a valid unsigned integer", value);
 118         } catch (IllegalArgumentException e) {
 119             throw new SourceException(ctx, e, "Value %s exceeds maximum supported value %s", value, Uint64.MAX_VALUE);
 120         }
 121     }
 122 }