2020-03-17 04:04:32 +01:00
|
|
|
// Copyright 2016-2020, Pulumi Corporation.
|
|
|
|
//
|
|
|
|
// Licensed under the Apache License, Version 2.0 (the "License");
|
|
|
|
// you may not use this file except in compliance with the License.
|
|
|
|
// You may obtain a copy of the License at
|
|
|
|
//
|
|
|
|
// http://www.apache.org/licenses/LICENSE-2.0
|
|
|
|
//
|
|
|
|
// Unless required by applicable law or agreed to in writing, software
|
|
|
|
// distributed under the License is distributed on an "AS IS" BASIS,
|
|
|
|
// WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
|
|
|
|
// See the License for the specific language governing permissions and
|
|
|
|
// limitations under the License.
|
|
|
|
|
|
|
|
package hcl2
|
|
|
|
|
|
|
|
import (
|
|
|
|
"github.com/hashicorp/hcl/v2"
|
|
|
|
"github.com/hashicorp/hcl/v2/hclsyntax"
|
2020-04-14 10:30:25 +02:00
|
|
|
"github.com/pulumi/pulumi/pkg/v2/codegen"
|
|
|
|
"github.com/pulumi/pulumi/pkg/v2/codegen/hcl2/model"
|
|
|
|
"github.com/pulumi/pulumi/sdk/v2/go/common/util/contract"
|
2020-03-17 04:04:32 +01:00
|
|
|
)
|
|
|
|
|
|
|
|
// bindNode binds a single node in a program. The node's dependencies are bound prior to the node itself; it is an
|
|
|
|
// error for a node to depend--directly or indirectly--upon itself.
|
|
|
|
func (b *binder) bindNode(node Node) hcl.Diagnostics {
|
2020-04-17 01:44:34 +02:00
|
|
|
if node.isBound() {
|
|
|
|
return nil
|
|
|
|
}
|
|
|
|
if node.isBinding() {
|
|
|
|
// TODO(pdg): print trace
|
|
|
|
rng := node.SyntaxNode().Range()
|
|
|
|
return hcl.Diagnostics{{
|
|
|
|
Severity: hcl.DiagError,
|
|
|
|
Summary: "circular reference",
|
|
|
|
Subject: &rng,
|
|
|
|
}}
|
|
|
|
|
|
|
|
}
|
|
|
|
node.markBinding()
|
2020-03-17 04:04:32 +01:00
|
|
|
|
2020-04-03 02:38:03 +02:00
|
|
|
var diagnostics hcl.Diagnostics
|
|
|
|
|
2020-03-17 04:04:32 +01:00
|
|
|
deps := b.getDependencies(node)
|
|
|
|
node.setDependencies(deps)
|
|
|
|
|
2020-04-17 01:44:34 +02:00
|
|
|
// Bind any nodes this node depends on.
|
2020-04-03 02:38:03 +02:00
|
|
|
for _, dep := range deps {
|
2020-04-17 01:44:34 +02:00
|
|
|
diags := b.bindNode(dep)
|
|
|
|
diagnostics = append(diagnostics, diags...)
|
2020-04-03 02:38:03 +02:00
|
|
|
}
|
|
|
|
|
2020-03-17 04:04:32 +01:00
|
|
|
switch node := node.(type) {
|
|
|
|
case *ConfigVariable:
|
2020-04-03 02:38:03 +02:00
|
|
|
diags := b.bindConfigVariable(node)
|
|
|
|
diagnostics = append(diagnostics, diags...)
|
2020-03-17 04:04:32 +01:00
|
|
|
case *LocalVariable:
|
2020-04-03 02:38:03 +02:00
|
|
|
diags := b.bindLocalVariable(node)
|
|
|
|
diagnostics = append(diagnostics, diags...)
|
2020-03-17 04:04:32 +01:00
|
|
|
case *Resource:
|
2020-04-03 02:38:03 +02:00
|
|
|
diags := b.bindResource(node)
|
|
|
|
diagnostics = append(diagnostics, diags...)
|
2020-03-17 04:04:32 +01:00
|
|
|
case *OutputVariable:
|
2020-04-03 02:38:03 +02:00
|
|
|
diags := b.bindOutputVariable(node)
|
|
|
|
diagnostics = append(diagnostics, diags...)
|
2020-03-17 04:04:32 +01:00
|
|
|
default:
|
|
|
|
contract.Failf("unexpected node of type %T (%v)", node, node.SyntaxNode().Range())
|
|
|
|
}
|
2020-04-17 01:44:34 +02:00
|
|
|
|
|
|
|
node.markBound()
|
2020-03-17 04:04:32 +01:00
|
|
|
return diagnostics
|
|
|
|
}
|
|
|
|
|
|
|
|
// getDependencies returns the dependencies for the given node.
|
|
|
|
func (b *binder) getDependencies(node Node) []Node {
|
|
|
|
depSet := codegen.Set{}
|
|
|
|
var deps []Node
|
|
|
|
diags := hclsyntax.VisitAll(node.SyntaxNode(), func(node hclsyntax.Node) hcl.Diagnostics {
|
|
|
|
depName := ""
|
|
|
|
switch node := node.(type) {
|
|
|
|
case *hclsyntax.FunctionCallExpr:
|
|
|
|
// TODO(pdg): function scope binds tighter than "normal" scope
|
|
|
|
depName = node.Name
|
|
|
|
case *hclsyntax.ScopeTraversalExpr:
|
|
|
|
depName = node.Traversal.RootName()
|
|
|
|
default:
|
|
|
|
return nil
|
|
|
|
}
|
|
|
|
|
|
|
|
// Missing reference errors will be issued during expression binding.
|
|
|
|
referent, _ := b.root.BindReference(depName)
|
|
|
|
if node, ok := referent.(Node); ok && !depSet.Has(node) {
|
|
|
|
depSet.Add(node)
|
|
|
|
deps = append(deps, node)
|
|
|
|
}
|
|
|
|
return nil
|
|
|
|
})
|
|
|
|
contract.Assert(len(diags) == 0)
|
|
|
|
return SourceOrderNodes(deps)
|
|
|
|
}
|
|
|
|
|
|
|
|
func (b *binder) bindConfigVariable(node *ConfigVariable) hcl.Diagnostics {
|
2020-04-30 22:22:24 +02:00
|
|
|
block, diagnostics := model.BindBlock(node.syntax, model.StaticScope(b.root), b.tokens, b.options.modelOptions()...)
|
2020-04-03 02:38:03 +02:00
|
|
|
if defaultValue, ok := block.Body.Attribute("default"); ok {
|
|
|
|
node.DefaultValue = defaultValue.Value
|
2020-04-07 04:43:16 +02:00
|
|
|
if model.InputType(node.typ).ConversionFrom(node.DefaultValue.Type()) == model.NoConversion {
|
|
|
|
diagnostics = append(diagnostics, model.ExprNotConvertible(model.InputType(node.typ), node.DefaultValue))
|
2020-04-03 02:38:03 +02:00
|
|
|
}
|
|
|
|
}
|
2020-04-21 19:24:42 +02:00
|
|
|
node.Definition = block
|
2020-04-03 02:38:03 +02:00
|
|
|
return diagnostics
|
2020-03-17 04:04:32 +01:00
|
|
|
}
|
|
|
|
|
|
|
|
func (b *binder) bindLocalVariable(node *LocalVariable) hcl.Diagnostics {
|
2020-04-30 22:22:24 +02:00
|
|
|
attr, diagnostics := model.BindAttribute(node.syntax, b.root, b.tokens, b.options.modelOptions()...)
|
2020-04-21 19:24:42 +02:00
|
|
|
node.Definition = attr
|
2020-04-03 02:38:03 +02:00
|
|
|
return diagnostics
|
2020-03-17 04:04:32 +01:00
|
|
|
}
|
|
|
|
|
|
|
|
func (b *binder) bindOutputVariable(node *OutputVariable) hcl.Diagnostics {
|
2020-04-30 22:22:24 +02:00
|
|
|
block, diagnostics := model.BindBlock(node.syntax, model.StaticScope(b.root), b.tokens, b.options.modelOptions()...)
|
2020-04-03 02:38:03 +02:00
|
|
|
if value, ok := block.Body.Attribute("value"); ok {
|
|
|
|
node.Value = value.Value
|
2020-04-07 04:43:16 +02:00
|
|
|
if model.InputType(node.typ).ConversionFrom(node.Value.Type()) == model.NoConversion {
|
|
|
|
diagnostics = append(diagnostics, model.ExprNotConvertible(model.InputType(node.typ), node.Value))
|
2020-04-03 02:38:03 +02:00
|
|
|
}
|
|
|
|
}
|
2020-04-21 19:24:42 +02:00
|
|
|
node.Definition = block
|
2020-04-03 02:38:03 +02:00
|
|
|
return diagnostics
|
2020-03-17 04:04:32 +01:00
|
|
|
}
|