blob: 0a3bee712a02fbfb8822bb9f2573f11667c67223 [file] [log] [blame] [edit]
// Copyright (c) HashiCorp, Inc.
// SPDX-License-Identifier: BUSL-1.1
package providers
import (
"crypto/sha256"
"fmt"
"io"
"log"
"sync"
"github.com/zclconf/go-cty/cty"
"github.com/zclconf/go-cty/cty/function"
"github.com/hashicorp/terraform/internal/addrs"
"github.com/hashicorp/terraform/internal/configs/configschema"
)
type FunctionDecl struct {
Parameters []FunctionParam
VariadicParameter *FunctionParam
ReturnType cty.Type
Description string
DescriptionKind configschema.StringKind
Summary string
DeprecationMessage string
}
type FunctionParam struct {
Name string // Only for documentation and UI, because arguments are positional
Type cty.Type
AllowNullValue bool
AllowUnknownValues bool
Description string
DescriptionKind configschema.StringKind
}
// BuildFunction takes a factory function which will return an unconfigured
// instance of the provider this declaration belongs to and returns a
// cty function that is ready to be called against that provider.
//
// The given name must be the name under which the provider originally
// registered this declaration, or the returned function will try to use an
// invalid name, leading to errors or undefined behavior.
//
// If the given factory returns an instance of any provider other than the
// one the declaration belongs to, or returns a _configured_ instance of
// the provider rather than an unconfigured one, the behavior of the returned
// function is undefined.
//
// Although not functionally required, callers should ideally pass a factory
// function that either retrieves already-running plugins or memoizes the
// plugins it returns so that many calls to functions in the same provider
// will not incur a repeated startup cost.
//
// The resTable argument is a shared instance of *FunctionResults, used to
// check the result values from each function call.
func (d FunctionDecl) BuildFunction(providerAddr addrs.Provider, name string, resTable *FunctionResults, factory func() (Interface, error)) function.Function {
var params []function.Parameter
var varParam *function.Parameter
if len(d.Parameters) > 0 {
params = make([]function.Parameter, len(d.Parameters))
for i, paramDecl := range d.Parameters {
params[i] = paramDecl.ctyParameter()
}
}
if d.VariadicParameter != nil {
cp := d.VariadicParameter.ctyParameter()
varParam = &cp
}
return function.New(&function.Spec{
Type: function.StaticReturnType(d.ReturnType),
Params: params,
VarParam: varParam,
Impl: func(args []cty.Value, retType cty.Type) (cty.Value, error) {
for i, arg := range args {
var param function.Parameter
if i < len(params) {
param = params[i]
} else {
param = *varParam
}
// We promise provider developers that we won't pass them even
// _nested_ unknown values unless they opt in to dealing with
// them.
if !param.AllowUnknown {
if !arg.IsWhollyKnown() {
return cty.UnknownVal(retType), nil
}
}
// We also ensure that null values are never passed where they
// are not expected.
if !param.AllowNull {
if arg.IsNull() {
return cty.UnknownVal(retType), fmt.Errorf("argument %q cannot be null", param.Name)
}
}
}
provider, err := factory()
if err != nil {
return cty.UnknownVal(retType), fmt.Errorf("failed to launch provider plugin: %s", err)
}
resp := provider.CallFunction(CallFunctionRequest{
FunctionName: name,
Arguments: args,
})
if resp.Err != nil {
return cty.UnknownVal(retType), resp.Err
}
if resp.Result == cty.NilVal {
return cty.UnknownVal(retType), fmt.Errorf("provider returned no result and no errors")
}
if resTable != nil {
err = resTable.checkPrior(providerAddr, name, args, resp.Result)
if err != nil {
return cty.UnknownVal(retType), err
}
}
return resp.Result, nil
},
})
}
func (p *FunctionParam) ctyParameter() function.Parameter {
return function.Parameter{
Name: p.Name,
Type: p.Type,
AllowNull: p.AllowNullValue,
// While the function may not allow DynamicVal, a `null` literal is
// also dynamically typed. If the parameter is dynamically typed, then
// we must allow this for `null` to pass through.
AllowDynamicType: p.Type == cty.DynamicPseudoType,
// NOTE: Setting this is not a sufficient implementation of
// FunctionParam.AllowUnknownValues, because cty's function
// system only blocks passing in a top-level unknown, but
// our provider-contributed functions API promises to only
// pass wholly-known values unless AllowUnknownValues is true.
// The function implementation itself must also check this.
AllowUnknown: p.AllowUnknownValues,
}
}
type priorResult struct {
hash [sha256.Size]byte
// when the result was from a current run, we keep a record of the result
// value to aid in debugging. Results stored in the plan will only have the
// hash to avoid bloating the plan with what could be many very large
// values.
value cty.Value
}
type FunctionResults struct {
mu sync.Mutex
// results stores the prior result from a provider function call, keyed by
// the hash of the function name and arguments.
results map[[sha256.Size]byte]priorResult
}
// NewFunctionResultsTable initializes a mapping of function calls to prior
// results used to validate provider function calls. The hashes argument is an
// optional slice of prior result hashes used to preload the cache.
func NewFunctionResultsTable(hashes []FunctionHash) *FunctionResults {
res := &FunctionResults{
results: make(map[[sha256.Size]byte]priorResult),
}
res.insertHashes(hashes)
return res
}
// checkPrior compares the function call against any cached results, and
// returns an error if the result does not match a prior call.
func (f *FunctionResults) checkPrior(provider addrs.Provider, name string, args []cty.Value, result cty.Value) error {
argSum := sha256.New()
io.WriteString(argSum, provider.String())
io.WriteString(argSum, "|"+name)
for _, arg := range args {
// cty.Values have a Hash method, but it is not collision resistant. We
// are going to rely on the GoString formatting instead, which gives
// detailed results for all values.
io.WriteString(argSum, "|"+arg.GoString())
}
f.mu.Lock()
defer f.mu.Unlock()
argHash := [sha256.Size]byte(argSum.Sum(nil))
resHash := sha256.Sum256([]byte(result.GoString()))
res, ok := f.results[argHash]
if !ok {
f.results[argHash] = priorResult{
hash: resHash,
value: result,
}
return nil
}
if resHash != res.hash {
// Log the args for debugging in case the hcl context is
// insufficient. The error should be adequate most of the time, and
// could already be quite long, so we don't want to add all
// arguments too.
log.Printf("[ERROR] provider %s returned an inconsistent result for function %q with args: %#v\n", provider, name, args)
// The hcl package will add the necessary context around the error in
// the diagnostic, but we add the differing results when we can.
// TODO: maybe we should add a call to action, since this is a bug in
// the provider.
if res.value != cty.NilVal {
return fmt.Errorf("provider function returned an inconsistent result,\nwas: %#v,\nnow: %#v", res.value, result)
}
return fmt.Errorf("provider function returned an inconsistent result")
}
return nil
}
// insertHashes insert key-value pairs to the functionResults map. This is used
// to preload stored values before any Verify calls are made.
func (f *FunctionResults) insertHashes(hashes []FunctionHash) {
f.mu.Lock()
defer f.mu.Unlock()
for _, res := range hashes {
f.results[[sha256.Size]byte(res.Key)] = priorResult{
hash: [sha256.Size]byte(res.Result),
}
}
}
// FunctionHash contains the key and result hash values from a prior function
// call.
type FunctionHash struct {
Key []byte
Result []byte
}
// copy the hash values into a struct which can be recorded in the plan.
func (f *FunctionResults) GetHashes() []FunctionHash {
f.mu.Lock()
defer f.mu.Unlock()
var res []FunctionHash
for k, r := range f.results {
res = append(res, FunctionHash{Key: k[:], Result: r.hash[:]})
}
return res
}