BUG-7052: Move qnameFromArgument to StmtContextUtils
[yangtools.git] / yang / yang-parser-impl / src / main / java / org / opendaylight / yangtools / yang / parser / stmt / rfc6020 / IfFeatureStatementImpl.java
index 76ad6c3cfc408c24fe93aaffafefe9b59341d608..93354e0371a24a56a25e4e6f1f06c5f6f1edca37 100644 (file)
@@ -7,8 +7,20 @@
  */
 package org.opendaylight.yangtools.yang.parser.stmt.rfc6020;
 
-import javax.annotation.Nonnull;
+import com.google.common.base.Preconditions;
+import java.util.Set;
+import java.util.function.Predicate;
+import org.antlr.v4.runtime.ANTLRInputStream;
+import org.antlr.v4.runtime.CommonTokenStream;
+import org.opendaylight.yangtools.antlrv4.code.gen.IfFeatureExpressionLexer;
+import org.opendaylight.yangtools.antlrv4.code.gen.IfFeatureExpressionParser;
+import org.opendaylight.yangtools.antlrv4.code.gen.IfFeatureExpressionParser.Identifier_ref_argContext;
+import org.opendaylight.yangtools.antlrv4.code.gen.IfFeatureExpressionParser.If_feature_exprContext;
+import org.opendaylight.yangtools.antlrv4.code.gen.IfFeatureExpressionParser.If_feature_factorContext;
+import org.opendaylight.yangtools.antlrv4.code.gen.IfFeatureExpressionParser.If_feature_termContext;
+import org.opendaylight.yangtools.antlrv4.code.gen.IfFeatureExpressionParserBaseVisitor;
 import org.opendaylight.yangtools.yang.common.QName;
+import org.opendaylight.yangtools.yang.common.YangVersion;
 import org.opendaylight.yangtools.yang.model.api.YangStmtMapping;
 import org.opendaylight.yangtools.yang.model.api.meta.EffectiveStatement;
 import org.opendaylight.yangtools.yang.model.api.stmt.IfFeatureStatement;
@@ -16,61 +28,113 @@ import org.opendaylight.yangtools.yang.parser.spi.SubstatementValidator;
 import org.opendaylight.yangtools.yang.parser.spi.meta.AbstractDeclaredStatement;
 import org.opendaylight.yangtools.yang.parser.spi.meta.AbstractStatementSupport;
 import org.opendaylight.yangtools.yang.parser.spi.meta.StmtContext;
+import org.opendaylight.yangtools.yang.parser.spi.meta.StmtContextUtils;
+import org.opendaylight.yangtools.yang.parser.spi.source.SourceException;
 import org.opendaylight.yangtools.yang.parser.stmt.rfc6020.effective.IfFeatureEffectiveStatementImpl;
 
-public class IfFeatureStatementImpl extends AbstractDeclaredStatement<QName>
+public class IfFeatureStatementImpl extends AbstractDeclaredStatement<Predicate<Set<QName>>>
         implements IfFeatureStatement {
     private static final SubstatementValidator SUBSTATEMENT_VALIDATOR = SubstatementValidator.builder(YangStmtMapping
             .IF_FEATURE)
             .build();
 
     protected IfFeatureStatementImpl(
-            StmtContext<QName, IfFeatureStatement, ?> context) {
+            final StmtContext<Predicate<Set<QName>>, IfFeatureStatement, ?> context) {
         super(context);
     }
 
     public static class Definition
             extends
-            AbstractStatementSupport<QName, IfFeatureStatement, EffectiveStatement<QName, IfFeatureStatement>> {
+            AbstractStatementSupport<Predicate<Set<QName>>, IfFeatureStatement, EffectiveStatement<Predicate<Set<QName>>, IfFeatureStatement>> {
 
         public Definition() {
             super(YangStmtMapping.IF_FEATURE);
         }
 
         @Override
-        public QName parseArgumentValue(StmtContext<?, ?, ?> ctx, String value) {
-            return Utils.qNameFromArgument(ctx, value);
+        public Predicate<Set<QName>> parseArgumentValue(final StmtContext<?, ?, ?> ctx, final String value) {
+            if(YangVersion.VERSION_1_1.equals(ctx.getRootVersion())) {
+                return parseIfFeatureExpression(ctx, value);
+            } else {
+                final QName qName = StmtContextUtils.qnameFromArgument(ctx, value);
+                return setQNames -> setQNames.contains(qName);
+            }
         }
 
         @Override
         public IfFeatureStatement createDeclared(
-                StmtContext<QName, IfFeatureStatement, ?> ctx) {
+                final StmtContext<Predicate<Set<QName>>, IfFeatureStatement, ?> ctx) {
             return new IfFeatureStatementImpl(ctx);
         }
 
         @Override
-        public EffectiveStatement<QName, IfFeatureStatement> createEffective(
-                StmtContext<QName, IfFeatureStatement, EffectiveStatement<QName, IfFeatureStatement>> ctx) {
+        public EffectiveStatement<Predicate<Set<QName>>, IfFeatureStatement> createEffective(
+                final StmtContext<Predicate<Set<QName>>, IfFeatureStatement, EffectiveStatement<Predicate<Set<QName>>, IfFeatureStatement>> ctx) {
             return new IfFeatureEffectiveStatementImpl(ctx);
         }
 
-        @Override
-        public void onFullDefinitionDeclared(StmtContext.Mutable<QName, IfFeatureStatement,
-                EffectiveStatement<QName, IfFeatureStatement>> stmt) {
-            super.onFullDefinitionDeclared(stmt);
-            getSubstatementValidator().validate(stmt);
-        }
-
         @Override
         protected SubstatementValidator getSubstatementValidator() {
             return SUBSTATEMENT_VALIDATOR;
         }
+
+        private static Predicate<Set<QName>> parseIfFeatureExpression(final StmtContext<?, ?, ?> ctx, final String value) {
+            final IfFeatureExpressionLexer lexer = new IfFeatureExpressionLexer(new ANTLRInputStream(value));
+            final CommonTokenStream tokens = new CommonTokenStream(lexer);
+            final IfFeatureExpressionParser parser = new IfFeatureExpressionParser(tokens);
+
+            return new IfFeaturePredicateVisitor(ctx).visit(parser.if_feature_expr());
+        }
+
+        private static class IfFeaturePredicateVisitor extends IfFeatureExpressionParserBaseVisitor<Predicate<Set<QName>>> {
+            private final StmtContext<?, ?, ?> stmtCtx;
+
+            public IfFeaturePredicateVisitor(final StmtContext<?, ?, ?> ctx) {
+                this.stmtCtx = Preconditions.checkNotNull(ctx);
+            }
+
+            @Override
+            public Predicate<Set<QName>> visitIf_feature_expr(final If_feature_exprContext ctx) {
+                if (ctx.if_feature_expr() != null) {
+                    return visitIf_feature_term(ctx.if_feature_term()).or(visitIf_feature_expr(ctx.if_feature_expr()));
+                } else {
+                    return visitIf_feature_term(ctx.if_feature_term());
+                }
+            }
+
+            @Override
+            public Predicate<Set<QName>> visitIf_feature_term(final If_feature_termContext ctx) {
+                if (ctx.if_feature_term() != null) {
+                    return visitIf_feature_factor(ctx.if_feature_factor()).and(visitIf_feature_term(ctx.if_feature_term()));
+                } else {
+                    return visitIf_feature_factor(ctx.if_feature_factor());
+                }
+            }
+
+            @Override
+            public Predicate<Set<QName>> visitIf_feature_factor(final If_feature_factorContext ctx) {
+                if (ctx.if_feature_expr() != null) {
+                    return visitIf_feature_expr(ctx.if_feature_expr());
+                } else if (ctx.if_feature_factor() != null) {
+                    return visitIf_feature_factor(ctx.if_feature_factor()).negate();
+                } else if (ctx.identifier_ref_arg() != null) {
+                    return visitIdentifier_ref_arg(ctx.identifier_ref_arg());
+                }
+
+                throw new SourceException("Unexpected grammar context during parsing of IfFeature expression. "
+                        + "Most probably IfFeature grammar has been changed.", stmtCtx.getStatementSourceReference());
+            }
+
+            @Override
+            public Predicate<Set<QName>> visitIdentifier_ref_arg(final Identifier_ref_argContext ctx) {
+                final QName featureQName = StmtContextUtils.qnameFromArgument(stmtCtx, ctx.getText());
+                return setQNames -> setQNames.contains(featureQName);
+            }
+        }
     }
 
-    @Nonnull
     @Override
-    public QName getName() {
+    public Predicate<Set<QName>> getIfFeaturePredicate() {
         return argument();
     }
-
 }