public IEnvironmentAction buildDanglingVertexAction()

in asterix-graphix/src/main/java/org/apache/asterix/graphix/lang/rewrite/lower/EnvironmentActionFactory.java [134:258]


    public IEnvironmentAction buildDanglingVertexAction(VertexPatternExpr vertexPatternExpr)
            throws CompilationException {
        if (vertexPatternExpr.findHint(LoweringExemptAnnotation.class) == LoweringExemptAnnotation.INSTANCE) {
            return loweringEnvironment -> {
            };
        }
        VariableExpr vertexVar = vertexPatternExpr.getVariableExpr();
        VariableExpr iterationVar = graphixRewritingContext.getGraphixVariableCopy(vertexVar);
        VariableExpr intermediateVar = graphixRewritingContext.getGraphixVariableCopy(vertexVar);

        // We should only be working with one identifier (given that we only have one label).
        List<VertexIdentifier> vertexElementIDs = vertexPatternExpr.generateIdentifiers(graphIdentifier);
        if (vertexElementIDs.size() != 1) {
            throw new CompilationException(ErrorCode.COMPILATION_ILLEGAL_STATE, "Found non-canonical vertex pattern!");
        }
        VertexIdentifier vertexIdentifier = vertexElementIDs.get(0);
        ElementBodyAnalysisContext vertexAnalysisContext = analysisContextMap.get(vertexIdentifier);
        if (vertexAnalysisContext.isExpressionInline() && vertexAnalysisContext.isSelectClauseInline()) {
            return new AbstractInlineAction(graphixRewritingContext, vertexAnalysisContext, iterationVar) {
                @Override
                public void apply(LoweringEnvironment loweringEnvironment) throws CompilationException {
                    // Introduce our iteration expression.
                    loweringEnvironment.acceptTransformer(lowerList -> {
                        CallExpr datasetCallExpression = vertexAnalysisContext.getDatasetCallExpression();
                        VariableExpr iterationVarCopy = graphixDeepCopyVisitor.visit(iterationVar, null);
                        JoinClause joinClause = new JoinClause(JoinType.INNER, datasetCallExpression, iterationVarCopy,
                                null, new LiteralExpr(TrueLiteral.INSTANCE), null);
                        joinClause.setSourceLocation(vertexPatternExpr.getSourceLocation());
                        lowerList.addNonRepresentativeClause(joinClause);
                    });

                    // Inline our vertex body.
                    super.apply(loweringEnvironment);

                    // If we have a filter expression, add it as a WHERE clause here.
                    final Expression filterExpr = vertexPatternExpr.getFilterExpr();
                    if (filterExpr != null) {
                        loweringEnvironment.acceptAction(buildFilterExprAction(filterExpr, vertexVar, iterationVar));
                    }

                    // Bind our intermediate (join) variable and vertex variable.
                    loweringEnvironment.acceptTransformer(lowerList -> {
                        VariableExpr iterationVarCopy1 = graphixDeepCopyVisitor.visit(iterationVar, null);
                        VariableExpr iterationVarCopy2 = graphixDeepCopyVisitor.visit(iterationVar, null);
                        VariableExpr intermediateVarCopy = graphixDeepCopyVisitor.visit(intermediateVar, null);
                        VariableExpr vertexVarCopy = graphixDeepCopyVisitor.visit(vertexVar, null);
                        LetClause nonRepresentativeBinding = new LetClause(intermediateVarCopy, iterationVarCopy1);
                        lowerList.addNonRepresentativeClause(nonRepresentativeBinding);
                        lowerList.addVertexBinding(vertexVarCopy, iterationVarCopy2);
                    });
                    aliasLookupTable.addIterationAlias(vertexVar, iterationVar);
                    aliasLookupTable.addJoinAlias(vertexVar, intermediateVar);
                }
            };

        } else if (vertexAnalysisContext.isExpressionInline()) {
            return new AbstractInlineAction(graphixRewritingContext, vertexAnalysisContext, iterationVar) {
                @Override
                public void apply(LoweringEnvironment loweringEnvironment) throws CompilationException {
                    // Introduce our iteration expression.
                    loweringEnvironment.acceptTransformer(lowerList -> {
                        CallExpr datasetCallExpression = vertexAnalysisContext.getDatasetCallExpression();
                        VariableExpr iterationVarCopy = graphixDeepCopyVisitor.visit(iterationVar, null);
                        JoinClause joinClause = new JoinClause(JoinType.INNER, datasetCallExpression, iterationVarCopy,
                                null, new LiteralExpr(TrueLiteral.INSTANCE), null);
                        joinClause.setSourceLocation(vertexPatternExpr.getSourceLocation());
                        lowerList.addNonRepresentativeClause(joinClause);
                    });

                    // Inline our vertex body.
                    super.apply(loweringEnvironment);

                    // If we have a filter expression, add it as a WHERE clause here.
                    final Expression filterExpr = vertexPatternExpr.getFilterExpr();
                    if (filterExpr != null) {
                        loweringEnvironment.acceptAction(buildFilterExprAction(filterExpr, vertexVar, iterationVar));
                    }

                    // Build a record constructor from our context to bind to our vertex variable.
                    loweringEnvironment.acceptTransformer(lowerList -> {
                        VariableExpr intermediateVarCopy = graphixDeepCopyVisitor.visit(intermediateVar, null);
                        RecordConstructor recordConstructor1 = buildRecordConstructor();
                        RecordConstructor recordConstructor2 = buildRecordConstructor();
                        LetClause nonRepresentativeBinding = new LetClause(intermediateVarCopy, recordConstructor1);
                        lowerList.addNonRepresentativeClause(nonRepresentativeBinding);
                        lowerList.addVertexBinding(vertexVar, recordConstructor2);
                    });
                    aliasLookupTable.addIterationAlias(vertexVar, iterationVar);
                    aliasLookupTable.addJoinAlias(vertexVar, intermediateVar);
                }
            };

        } else {
            GraphElementDeclaration elementDeclaration = elementLookupTable.getElementDecl(vertexIdentifier);
            return loweringEnvironment -> {
                // Introduce our iteration expression.
                loweringEnvironment.acceptTransformer(lowerList -> {
                    ILangExpression declBodyCopy = SqlppRewriteUtil.deepCopy(elementDeclaration.getNormalizedBody());
                    VariableExpr iterationVarCopy = graphixDeepCopyVisitor.visit(iterationVar, null);
                    JoinClause joinClause = new JoinClause(JoinType.INNER, (Expression) declBodyCopy, iterationVarCopy,
                            null, new LiteralExpr(TrueLiteral.INSTANCE), null);
                    joinClause.setSourceLocation(vertexPatternExpr.getSourceLocation());
                    lowerList.addNonRepresentativeClause(joinClause);
                });

                // If we have a filter expression, add it as a WHERE clause here.
                final Expression filterExpr = vertexPatternExpr.getFilterExpr();
                if (filterExpr != null) {
                    loweringEnvironment.acceptAction(buildFilterExprAction(filterExpr, vertexVar, iterationVar));
                }

                // Bind our intermediate (join) variable and vertex variable.
                loweringEnvironment.acceptTransformer(lowerList -> {
                    VariableExpr iterationVarCopy1 = graphixDeepCopyVisitor.visit(iterationVar, null);
                    VariableExpr iterationVarCopy2 = graphixDeepCopyVisitor.visit(iterationVar, null);
                    VariableExpr intermediateVarCopy = graphixDeepCopyVisitor.visit(intermediateVar, null);
                    LetClause nonRepresentativeBinding = new LetClause(intermediateVarCopy, iterationVarCopy1);
                    lowerList.addNonRepresentativeClause(nonRepresentativeBinding);
                    lowerList.addVertexBinding(vertexVar, iterationVarCopy2);
                });
                aliasLookupTable.addIterationAlias(vertexVar, iterationVar);
                aliasLookupTable.addJoinAlias(vertexVar, intermediateVar);
            };
        }
    }