Integrate {Inference,Source}Exception with CommonStmtCtx
[yangtools.git] / yang / yang-parser-rfc7950 / src / main / java / org / opendaylight / yangtools / yang / parser / rfc7950 / stmt / list / AbstractListStatementSupport.java
index 0410b7bd20c3a87571b13a65be564816aa595344..7e91f97fc56b18cbeca8e3e59776ea547432e248 100644 (file)
@@ -36,9 +36,15 @@ import org.opendaylight.yangtools.yang.model.api.stmt.StatusEffectiveStatement;
 import org.opendaylight.yangtools.yang.parser.rfc7950.stmt.BaseSchemaTreeStatementSupport;
 import org.opendaylight.yangtools.yang.parser.rfc7950.stmt.EffectiveStatementMixins.EffectiveStatementWithFlags.FlagsBuilder;
 import org.opendaylight.yangtools.yang.parser.rfc7950.stmt.EffectiveStmtUtils;
+import org.opendaylight.yangtools.yang.parser.rfc7950.stmt.SubstatementIndexingException;
+import org.opendaylight.yangtools.yang.parser.spi.meta.EffectiveStmtCtx;
+import org.opendaylight.yangtools.yang.parser.spi.meta.EffectiveStmtCtx.Current;
+import org.opendaylight.yangtools.yang.parser.spi.meta.EffectiveStmtCtx.Parent;
 import org.opendaylight.yangtools.yang.parser.spi.meta.InferenceException;
 import org.opendaylight.yangtools.yang.parser.spi.meta.StmtContext;
 import org.opendaylight.yangtools.yang.parser.spi.meta.StmtContext.Mutable;
+import org.opendaylight.yangtools.yang.parser.spi.source.SourceException;
+import org.opendaylight.yangtools.yang.parser.spi.source.StatementSourceReference;
 import org.slf4j.Logger;
 import org.slf4j.LoggerFactory;
 
@@ -56,21 +62,18 @@ abstract class AbstractListStatementSupport extends
     @Override
     protected final ListStatement createDeclared(final StmtContext<QName, ListStatement, ?> ctx,
             final ImmutableList<? extends DeclaredStatement<?>> substatements) {
-        return new RegularListStatement(ctx.coerceStatementArgument(), substatements);
+        return new RegularListStatement(ctx.getArgument(), substatements);
     }
 
     @Override
     protected final ListStatement createEmptyDeclared(final StmtContext<QName, ListStatement, ?> ctx) {
-        return new EmptyListStatement(ctx.coerceStatementArgument());
+        return new EmptyListStatement(ctx.getArgument());
     }
 
     @Override
-    protected final ListEffectiveStatement createEffective(
-            final StmtContext<QName, ListStatement, ListEffectiveStatement> ctx,
-            final ListStatement declared, final ImmutableList<? extends EffectiveStatement<?, ?>> substatements) {
-        final SchemaPath path = ctx.getSchemaPath().get();
-        final ListSchemaNode original = (ListSchemaNode) ctx.getOriginalCtx().map(StmtContext::buildEffective)
-                .orElse(null);
+    protected ListEffectiveStatement createEffective(final Current<QName, ListStatement> stmt,
+            final ImmutableList<? extends EffectiveStatement<?, ?>> substatements) {
+        final ListSchemaNode original = (ListSchemaNode) stmt.original();
 
         final ImmutableList<QName> keyDefinition;
         final KeyEffectiveStatement keyStmt = findFirstStatement(substatements, KeyEffectiveStatement.class);
@@ -84,9 +87,8 @@ abstract class AbstractListStatementSupport extends
             }
             for (final QName keyQName : keyStmt.argument()) {
                 if (!possibleLeafQNamesForKey.contains(keyQName)) {
-                    throw new InferenceException(ctx.getStatementSourceReference(),
-                        "Key '%s' misses node '%s' in list '%s'", keyStmt.getDeclared().rawArgument(),
-                        keyQName.getLocalName(), ctx.getStatementArgument());
+                    throw new InferenceException(stmt, "Key '%s' misses node '%s' in list '%s'",
+                        keyStmt.getDeclared().rawArgument(), keyQName.getLocalName(), stmt.argument());
                 }
                 keyDefinitionInit.add(keyQName);
             }
@@ -96,52 +98,62 @@ abstract class AbstractListStatementSupport extends
             keyDefinition = ImmutableList.of();
         }
 
-        final boolean configuration = ctx.isConfiguration();
+        final boolean configuration = stmt.effectiveConfig();
         final int flags = new FlagsBuilder()
-                .setHistory(ctx.getCopyHistory())
+                .setHistory(stmt.history())
                 .setStatus(findFirstArgument(substatements, StatusEffectiveStatement.class, Status.CURRENT))
                 .setConfiguration(configuration)
                 .setUserOrdered(findFirstArgument(substatements, OrderedByEffectiveStatement.class, Ordering.SYSTEM)
                     .equals(Ordering.USER))
                 .toFlags();
-        if (configuration && keyDefinition.isEmpty() && isInstantied(ctx)) {
-            warnConfigList(ctx);
+        if (configuration && keyDefinition.isEmpty() && isInstantied(stmt)) {
+            warnConfigList(stmt);
         }
 
+        EffectiveStmtUtils.checkUniqueGroupings(stmt, substatements);
+        EffectiveStmtUtils.checkUniqueTypedefs(stmt, substatements);
+        EffectiveStmtUtils.checkUniqueUses(stmt, substatements);
+
         final Optional<ElementCountConstraint> elementCountConstraint =
-                EffectiveStmtUtils.createElementCountConstraint(substatements);
-        return original == null && !elementCountConstraint.isPresent()
-                ? new EmptyListEffectiveStatement(declared, path, flags, ctx, substatements, keyDefinition)
-                        : new RegularListEffectiveStatement(declared, path, flags, ctx, substatements, keyDefinition,
-                            elementCountConstraint.orElse(null), original);
+            EffectiveStmtUtils.createElementCountConstraint(substatements);
+        final SchemaPath path = stmt.wrapSchemaPath();
+        try {
+            return original == null && !elementCountConstraint.isPresent()
+                ? new EmptyListEffectiveStatement(stmt.declared(), path, flags, substatements, keyDefinition)
+                    : new RegularListEffectiveStatement(stmt.declared(), path, flags, substatements, keyDefinition,
+                        elementCountConstraint.orElse(null), original);
+        } catch (SubstatementIndexingException e) {
+            throw new SourceException(e.getMessage(), stmt, e);
+        }
     }
 
-    private static void warnConfigList(final @NonNull StmtContext<QName, ListStatement, ListEffectiveStatement> ctx) {
-        final StmtContext<QName, ListStatement, ListEffectiveStatement> warnCtx = ctx.getOriginalCtx().orElse(ctx);
-        final Boolean warned = warnCtx.getFromNamespace(ConfigListWarningNamespace.class, Boolean.TRUE);
+    private static void warnConfigList(final @NonNull Current<QName, ListStatement> stmt) {
+        final StatementSourceReference ref = stmt.sourceReference();
+        final Boolean warned = stmt.getFromNamespace(ConfigListWarningNamespace.class, ref);
         // Hacky check if we have issued a warning for the original statement
         if (warned == null) {
-            verify(warnCtx instanceof Mutable, "Unexpected context %s", warnCtx);
-            ((Mutable<?, ?, ?>) warnCtx).addToNs(ConfigListWarningNamespace.class, Boolean.TRUE, Boolean.TRUE);
+            final StmtContext<?, ?, ?> ctx = stmt.caerbannog();
+            verify(ctx instanceof Mutable, "Unexpected context %s", ctx);
+            ((Mutable<?, ?, ?>) ctx).addToNs(ConfigListWarningNamespace.class, ref, Boolean.TRUE);
             LOG.info("Configuration list {} does not define any keys in violation of RFC7950 section 7.8.2. While "
                     + "this is fine with OpenDaylight, it can cause interoperability issues with other systems "
-                    + "[defined at {}]", ctx.getStatementArgument(), warnCtx.getStatementSourceReference());
+                    + "[defined at {}]", stmt.argument(), ref);
         }
     }
 
-    private static boolean isInstantied(final StmtContext<?, ?, ?> ctx) {
-        StmtContext<?, ?, ?> parent = ctx.getParentContext();
+    private static boolean isInstantied(final EffectiveStmtCtx ctx) {
+        Parent parent = ctx.effectiveParent();
         while (parent != null) {
-            final StatementDefinition parentDef = parent.getPublicDefinition();
+            final StatementDefinition parentDef = parent.publicDefinition();
             if (UNINSTANTIATED_DATATREE_STATEMENTS.contains(parentDef)) {
                 return false;
             }
 
-            final StmtContext<?, ?, ?> grandParent = parent.getParentContext();
+            final Parent grandParent = parent.effectiveParent();
             if (YangStmtMapping.AUGMENT == parentDef && grandParent != null) {
                 // If this is an augment statement and its parent is either a 'module' or 'submodule' statement, we are
                 // dealing with an uninstantiated context.
-                final StatementDefinition grandParentDef = grandParent.getPublicDefinition();
+                final StatementDefinition grandParentDef = grandParent.publicDefinition();
                 if (YangStmtMapping.MODULE == grandParentDef || YangStmtMapping.SUBMODULE == grandParentDef) {
                     return false;
                 }
@@ -151,10 +163,4 @@ abstract class AbstractListStatementSupport extends
         }
         return true;
     }
-
-    @Override
-    protected final ListEffectiveStatement createEmptyEffective(
-            final StmtContext<QName, ListStatement, ListEffectiveStatement> ctx, final ListStatement declared) {
-        return createEffective(ctx, declared, ImmutableList.of());
-    }
 }