2018-02-07 18:40:58 -06:00
package configs
import (
2018-02-14 14:46:13 -06:00
"sort"
2018-02-07 18:40:58 -06:00
version "github.com/hashicorp/go-version"
2019-09-09 17:58:44 -05:00
"github.com/hashicorp/hcl/v2"
2021-05-17 14:00:50 -05:00
"github.com/hashicorp/terraform/internal/addrs"
2018-02-07 18:40:58 -06:00
)
// BuildConfig constructs a Config from a root module by loading all of its
// descendent modules via the given ModuleWalker.
//
// The result is a module tree that has so far only had basic module- and
// file-level invariants validated. If the returned diagnostics contains errors,
// the returned module tree may be incomplete but can still be used carefully
// for static analysis.
func BuildConfig ( root * Module , walker ModuleWalker ) ( * Config , hcl . Diagnostics ) {
var diags hcl . Diagnostics
cfg := & Config {
Module : root ,
}
cfg . Root = cfg // Root module is self-referential.
cfg . Children , diags = buildChildModules ( cfg , walker )
2021-02-10 10:09:35 -06:00
2021-04-16 11:37:50 -05:00
// Now that the config is built, we can connect the provider names to all
// the known types for validation.
cfg . resolveProviderTypes ( )
2021-02-10 10:09:35 -06:00
diags = append ( diags , validateProviderConfigs ( nil , cfg , false ) ... )
2018-02-07 18:40:58 -06:00
return cfg , diags
}
func buildChildModules ( parent * Config , walker ModuleWalker ) ( map [ string ] * Config , hcl . Diagnostics ) {
var diags hcl . Diagnostics
ret := map [ string ] * Config { }
calls := parent . Module . ModuleCalls
2018-02-14 14:46:13 -06:00
// We'll sort the calls by their local names so that they'll appear in a
// predictable order in any logging that's produced during the walk.
callNames := make ( [ ] string , 0 , len ( calls ) )
for k := range calls {
callNames = append ( callNames , k )
}
sort . Strings ( callNames )
for _ , callName := range callNames {
call := calls [ callName ]
2018-02-09 17:32:49 -06:00
path := make ( [ ] string , len ( parent . Path ) + 1 )
copy ( path , parent . Path )
path [ len ( path ) - 1 ] = call . Name
2018-02-07 18:40:58 -06:00
req := ModuleRequest {
2018-02-08 20:56:48 -06:00
Name : call . Name ,
2018-02-09 17:32:49 -06:00
Path : path ,
2018-02-08 20:56:48 -06:00
SourceAddr : call . SourceAddr ,
SourceAddrRange : call . SourceAddrRange ,
VersionConstraint : call . Version ,
Parent : parent ,
CallRange : call . DeclRange ,
2018-02-07 18:40:58 -06:00
}
mod , ver , modDiags := walker . LoadModule ( & req )
diags = append ( diags , modDiags ... )
if mod == nil {
// nil can be returned if the source address was invalid and so
// nothing could be loaded whatsoever. LoadModule should've
// returned at least one error diagnostic in that case.
continue
}
child := & Config {
Parent : parent ,
Root : parent . Root ,
2018-02-09 17:32:49 -06:00
Path : path ,
2018-02-07 18:40:58 -06:00
Module : mod ,
2018-02-08 20:56:48 -06:00
CallRange : call . DeclRange ,
2018-02-07 18:40:58 -06:00
SourceAddr : call . SourceAddr ,
SourceAddrRange : call . SourceAddrRange ,
Version : ver ,
}
child . Children , modDiags = buildChildModules ( child , walker )
2019-07-16 17:58:40 -05:00
diags = append ( diags , modDiags ... )
2018-02-07 18:40:58 -06:00
2020-11-17 18:42:36 -06:00
if mod . Backend != nil {
diags = diags . Append ( & hcl . Diagnostic {
Severity : hcl . DiagWarning ,
Summary : "Backend configuration ignored" ,
Detail : "Any selected backend applies to the entire configuration, so Terraform expects provider configurations only in the root module.\n\nThis is a warning rather than an error because it's sometimes convenient to temporarily call a root module as a child module for testing purposes, but this backend configuration block will have no effect." ,
Subject : mod . Backend . DeclRange . Ptr ( ) ,
} )
}
2018-02-07 18:40:58 -06:00
ret [ call . Name ] = child
}
return ret , diags
}
// A ModuleWalker knows how to find and load a child module given details about
// the module to be loaded and a reference to its partially-loaded parent
// Config.
type ModuleWalker interface {
// LoadModule finds and loads a requested child module.
//
// If errors are detected during loading, implementations should return them
// in the diagnostics object. If the diagnostics object contains any errors
// then the caller will tolerate the returned module being nil or incomplete.
// If no errors are returned, it should be non-nil and complete.
//
// Full validation need not have been performed but an implementation should
// ensure that the basic file- and module-validations performed by the
// LoadConfigDir function (valid syntax, no namespace collisions, etc) have
// been performed before returning a module.
LoadModule ( req * ModuleRequest ) ( * Module , * version . Version , hcl . Diagnostics )
}
// ModuleWalkerFunc is an implementation of ModuleWalker that directly wraps
// a callback function, for more convenient use of that interface.
type ModuleWalkerFunc func ( req * ModuleRequest ) ( * Module , * version . Version , hcl . Diagnostics )
// LoadModule implements ModuleWalker.
func ( f ModuleWalkerFunc ) LoadModule ( req * ModuleRequest ) ( * Module , * version . Version , hcl . Diagnostics ) {
return f ( req )
}
// ModuleRequest is used with the ModuleWalker interface to describe a child
// module that must be loaded.
type ModuleRequest struct {
// Name is the "logical name" of the module call within configuration.
// This is provided in case the name is used as part of a storage key
// for the module, but implementations must otherwise treat it as an
// opaque string. It is guaranteed to have already been validated as an
// HCL identifier and UTF-8 encoded.
Name string
2018-02-09 17:32:49 -06:00
// Path is a list of logical names that traverse from the root module to
// this module. This can be used, for example, to form a lookup key for
// each distinct module call in a configuration, allowing for multiple
// calls with the same name at different points in the tree.
2018-05-01 13:53:07 -05:00
Path addrs . Module
2018-02-09 17:32:49 -06:00
2018-02-07 18:40:58 -06:00
// SourceAddr is the source address string provided by the user in
// configuration.
Refactoring of module source addresses and module installation
It's been a long while since we gave close attention to the codepaths for
module source address parsing and external module package installation.
Due to their age, these codepaths often diverged from our modern practices
such as representing address types in the addrs package, and encapsulating
package installation details only in a particular location.
In particular, this refactor makes source address parsing a separate step
from module installation, which therefore makes the result of that parsing
available to other Terraform subsystems which work with the configuration
representation objects.
This also presented the opportunity to better encapsulate our use of
go-getter into a new package "getmodules" (echoing "getproviders"), which
is intended to be the only part of Terraform that directly interacts with
go-getter.
This is largely just a refactor of the existing functionality into a new
code organization, but there is one notable change in behavior here: the
source address parsing now happens during configuration loading rather
than module installation, which may cause errors about invalid addresses
to be returned in different situations than before. That counts as
backward compatible because we only promise to remain compatible with
configurations that are _valid_, which means that they can be initialized,
planned, and applied without any errors. This doesn't introduce any new
error cases, and instead just makes a pre-existing error case be detected
earlier.
Our module registry client is still using its own special module address
type from registry/regsrc for now, with a small shim from the new
addrs.ModuleSourceRegistry type. Hopefully in a later commit we'll also
rework the registry client to work with the new address type, but this
commit is already big enough as it is.
2021-05-27 21:24:59 -05:00
SourceAddr addrs . ModuleSource
2018-02-07 18:40:58 -06:00
// SourceAddrRange is the source range for the SourceAddr value as it
// was provided in configuration. This can and should be used to generate
// diagnostics about the source address having invalid syntax, referring
// to a non-existent object, etc.
SourceAddrRange hcl . Range
2018-02-08 20:56:48 -06:00
// VersionConstraint is the version constraint applied to the module in
2018-02-07 18:40:58 -06:00
// configuration. This data structure includes the source range for
2018-02-08 20:56:48 -06:00
// the constraint, which can and should be used to generate diagnostics
2018-02-07 18:40:58 -06:00
// about constraint-related issues, such as constraints that eliminate all
// available versions of a module whose source is otherwise valid.
2018-02-08 20:56:48 -06:00
VersionConstraint VersionConstraint
2018-02-07 18:40:58 -06:00
// Parent is the partially-constructed module tree node that the loaded
// module will be added to. Callers may refer to any field of this
// structure except Children, which is still under construction when
// ModuleRequest objects are created and thus has undefined content.
// The main reason this is provided is so that full module paths can
// be constructed for uniqueness.
Parent * Config
2018-02-08 20:56:48 -06:00
// CallRange is the source range for the header of the "module" block
// in configuration that prompted this request. This can be used as the
// subject of an error diagnostic that relates to the module call itself,
// rather than to either its source address or its version number.
CallRange hcl . Range
2018-02-07 18:40:58 -06:00
}
2018-04-06 20:46:13 -05:00
// DisabledModuleWalker is a ModuleWalker that doesn't support
// child modules at all, and so will return an error if asked to load one.
//
// This is provided primarily for testing. There is no good reason to use this
// in the main application.
var DisabledModuleWalker ModuleWalker
func init ( ) {
DisabledModuleWalker = ModuleWalkerFunc ( func ( req * ModuleRequest ) ( * Module , * version . Version , hcl . Diagnostics ) {
return nil , nil , hcl . Diagnostics {
{
Severity : hcl . DiagError ,
Summary : "Child modules are not supported" ,
Detail : "Child module calls are not allowed in this context." ,
Subject : & req . CallRange ,
} ,
}
} )
}