public IEnvironmentAction buildNonFoldedEdgeAction()

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


    public IEnvironmentAction buildNonFoldedEdgeAction(VertexPatternExpr vertexPatternExpr,
            EdgePatternExpr edgePatternExpr, Function<EdgeIdentifier, List<List<String>>> edgeKeyAccess)
            throws CompilationException {
        VariableExpr edgeVar = edgePatternExpr.getEdgeDescriptor().getVariableExpr();
        VariableExpr vertexVar = vertexPatternExpr.getVariableExpr();
        VariableExpr iterationVar = graphixRewritingContext.getGraphixVariableCopy(edgeVar);
        VariableExpr intermediateVar = graphixRewritingContext.getGraphixVariableCopy(edgeVar);

        // We should only be working with one edge identifier...
        List<EdgeIdentifier> edgeElementIDs = edgePatternExpr.generateIdentifiers(graphIdentifier);
        if (edgeElementIDs.size() != 1) {
            throw new CompilationException(ErrorCode.COMPILATION_ILLEGAL_STATE, "Found non-canonical edge pattern!");
        }
        EdgeIdentifier edgeIdentifier = edgeElementIDs.get(0);
        ElementBodyAnalysisContext edgeAnalysisContext = analysisContextMap.get(edgeIdentifier);
        Expression datasetCallExpression = edgeAnalysisContext.getDatasetCallExpression();

        // ...and only one vertex 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);
        if (edgeAnalysisContext.isExpressionInline() && edgeAnalysisContext.isSelectClauseInline()) {
            return new AbstractInlineAction(graphixRewritingContext, edgeAnalysisContext, iterationVar) {
                @Override
                public void apply(LoweringEnvironment loweringEnvironment) throws CompilationException {
                    // Join our edge iteration variable to our vertex variable.
                    loweringEnvironment.acceptTransformer(lowerList -> {
                        VariableExpr vertexJoinExpr = aliasLookupTable.getJoinAlias(vertexVar);
                        VariableExpr vertexVarCopy = graphixDeepCopyVisitor.visit(vertexJoinExpr, null);
                        VariableExpr iterationVarCopy1 = graphixDeepCopyVisitor.visit(iterationVar, null);
                        VariableExpr iterationVarCopy2 = graphixDeepCopyVisitor.visit(iterationVar, null);
                        Expression vertexEdgeJoin = buildVertexEdgeJoin(
                                buildAccessorList(vertexVarCopy, elementLookupTable.getVertexKey(vertexIdentifier)),
                                buildAccessorList(iterationVarCopy1, edgeKeyAccess.apply(edgeIdentifier)));
                        JoinClause joinClause = new JoinClause(JoinType.INNER, datasetCallExpression, iterationVarCopy2,
                                null, vertexEdgeJoin, null);
                        joinClause.setSourceLocation(edgePatternExpr.getSourceLocation());
                        lowerList.addNonRepresentativeClause(joinClause);
                    });

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

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

                    // Bind our intermediate (join) variable and edge 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.addEdgeBinding(edgeVar, iterationVarCopy2);
                    });
                    aliasLookupTable.addIterationAlias(edgeVar, iterationVar);
                    aliasLookupTable.addJoinAlias(edgeVar, intermediateVar);
                }
            };

        } else if (edgeAnalysisContext.isExpressionInline()) {
            return new AbstractInlineAction(graphixRewritingContext, edgeAnalysisContext, iterationVar) {
                @Override
                public void apply(LoweringEnvironment loweringEnvironment) throws CompilationException {
                    // Join our edge iteration variable to our vertex variable.
                    loweringEnvironment.acceptTransformer(lowerList -> {
                        VariableExpr vertexJoinExpr = aliasLookupTable.getJoinAlias(vertexVar);
                        VariableExpr vertexVarCopy = graphixDeepCopyVisitor.visit(vertexJoinExpr, null);
                        VariableExpr iterationVarCopy1 = graphixDeepCopyVisitor.visit(iterationVar, null);
                        VariableExpr iterationVarCopy2 = graphixDeepCopyVisitor.visit(iterationVar, null);
                        Expression vertexEdgeJoin = buildVertexEdgeJoin(
                                buildAccessorList(vertexVarCopy, elementLookupTable.getVertexKey(vertexIdentifier)),
                                buildAccessorList(iterationVarCopy1, edgeKeyAccess.apply(edgeIdentifier)));
                        JoinClause joinClause = new JoinClause(JoinType.INNER, datasetCallExpression, iterationVarCopy2,
                                null, vertexEdgeJoin, null);
                        joinClause.setSourceLocation(edgePatternExpr.getSourceLocation());
                        lowerList.addNonRepresentativeClause(joinClause);
                    });

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

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

                    // Build a record constructor from our context to bind to our edge 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.addEdgeBinding(edgeVar, recordConstructor2);
                    });
                    aliasLookupTable.addIterationAlias(edgeVar, iterationVar);
                    aliasLookupTable.addJoinAlias(edgeVar, intermediateVar);
                }
            };

        } else {
            GraphElementDeclaration elementDeclaration = elementLookupTable.getElementDecl(edgeIdentifier);
            return loweringEnvironment -> {
                // Join our edge body to our vertex variable.
                loweringEnvironment.acceptTransformer(lowerList -> {
                    VariableExpr vertexJoinExpr = aliasLookupTable.getJoinAlias(vertexVar);
                    VariableExpr iterationVarCopy1 = graphixDeepCopyVisitor.visit(iterationVar, null);
                    VariableExpr iterationVarCopy2 = graphixDeepCopyVisitor.visit(iterationVar, null);
                    Expression vertexEdgeJoin = buildVertexEdgeJoin(
                            buildAccessorList(vertexJoinExpr, elementLookupTable.getVertexKey(vertexIdentifier)),
                            buildAccessorList(iterationVarCopy1, edgeKeyAccess.apply(edgeIdentifier)));
                    ILangExpression declBodyCopy = SqlppRewriteUtil.deepCopy(elementDeclaration.getNormalizedBody());
                    JoinClause joinClause = new JoinClause(JoinType.INNER, (Expression) declBodyCopy, iterationVarCopy2,
                            null, vertexEdgeJoin, null);
                    joinClause.setSourceLocation(edgePatternExpr.getSourceLocation());
                    lowerList.addNonRepresentativeClause(joinClause);
                });

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

                // Bind our intermediate (join) variable and edge 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.addEdgeBinding(edgeVar, iterationVarCopy2);
                });
                aliasLookupTable.addIterationAlias(edgeVar, iterationVar);
                aliasLookupTable.addJoinAlias(edgeVar, intermediateVar);
            };
        }
    }