60 lines
2.1 KiB
Go
60 lines
2.1 KiB
Go
|
package python
|
||
|
|
|
||
|
|
import (
|
||
|
|
"github.com/hashicorp/hcl/v2"
|
||
|
|
"github.com/hashicorp/hcl/v2/hclsyntax"
|
||
|
|
"github.com/pulumi/pulumi/pkg/codegen/hcl2"
|
||
|
|
"github.com/pulumi/pulumi/pkg/codegen/hcl2/model"
|
||
|
|
"github.com/pulumi/pulumi/sdk/go/common/util/contract"
|
||
|
|
)
|
||
|
|
|
||
|
|
// parseProxyApply attempts to match the given parsed apply against the pattern (call __applyArg 0). If the call
|
||
|
|
// matches, it returns the ScopeTraversalExpression that corresponds to argument zero, which can then be generated as a
|
||
|
|
// proxied apply call.
|
||
|
|
func (g *generator) parseProxyApply(args []*model.ScopeTraversalExpression,
|
||
|
|
then *model.AnonymousFunctionExpression) (*model.ScopeTraversalExpression, bool) {
|
||
|
|
|
||
|
|
if len(args) != 1 {
|
||
|
|
return nil, false
|
||
|
|
}
|
||
|
|
|
||
|
|
thenTraversal, ok := then.Body.(*model.ScopeTraversalExpression)
|
||
|
|
if !ok || thenTraversal.Parts[0] != then.Parameters[0] {
|
||
|
|
return nil, false
|
||
|
|
}
|
||
|
|
|
||
|
|
traversal := hcl.TraversalJoin(args[0].Syntax.Traversal, thenTraversal.Syntax.Traversal[1:])
|
||
|
|
expr, diags := g.program.BindExpression(&hclsyntax.ScopeTraversalExpr{
|
||
|
|
Traversal: traversal,
|
||
|
|
SrcRange: traversal.SourceRange(),
|
||
|
|
})
|
||
|
|
contract.Assert(len(diags) == 0)
|
||
|
|
return expr.(*model.ScopeTraversalExpression), true
|
||
|
|
}
|
||
|
|
|
||
|
|
// lowerProxyApplies lowers certain calls to the apply intrinsic into proxied property accesses. Concretely, this boils
|
||
|
|
// down to rewriting the following shape:
|
||
|
|
// - (call __apply (resource variable access) (call __applyArg 0))
|
||
|
|
// into
|
||
|
|
// - (resource variable access)
|
||
|
|
func (g *generator) lowerProxyApplies(expr model.Expression) (model.Expression, hcl.Diagnostics) {
|
||
|
|
rewriter := func(expr model.Expression) (model.Expression, hcl.Diagnostics) {
|
||
|
|
// Ignore the node if it is not a call to the apply intrinsic.
|
||
|
|
apply, ok := expr.(*model.FunctionCallExpression)
|
||
|
|
if !ok || apply.Name != hcl2.IntrinsicApply {
|
||
|
|
return expr, nil
|
||
|
|
}
|
||
|
|
|
||
|
|
// Parse the apply call.
|
||
|
|
args, then := hcl2.ParseApplyCall(apply)
|
||
|
|
|
||
|
|
// Attempt to match (call __apply (rvar) (call __applyArg 0))
|
||
|
|
if v, ok := g.parseProxyApply(args, then); ok {
|
||
|
|
return v, nil
|
||
|
|
}
|
||
|
|
|
||
|
|
return expr, nil
|
||
|
|
}
|
||
|
|
return model.VisitExpression(expr, model.IdentityVisitor, rewriter)
|
||
|
|
}
|