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);
};
}
}