2018-05-22 02:39:26 +02:00
package funcs
import (
"encoding/base64"
"fmt"
"io/ioutil"
"os"
"path/filepath"
"unicode/utf8"
2019-08-31 02:14:38 +02:00
"github.com/bmatcuk/doublestar"
2019-09-10 00:58:44 +02:00
"github.com/hashicorp/hcl/v2"
"github.com/hashicorp/hcl/v2/hclsyntax"
2018-05-22 02:39:26 +02:00
homedir "github.com/mitchellh/go-homedir"
"github.com/zclconf/go-cty/cty"
"github.com/zclconf/go-cty/cty/function"
)
// MakeFileFunc constructs a function that takes a file path and returns the
// contents of that file, either directly as a string (where valid UTF-8 is
// required) or as a string containing base64 bytes.
func MakeFileFunc ( baseDir string , encBase64 bool ) function . Function {
return function . New ( & function . Spec {
Params : [ ] function . Parameter {
{
2021-12-01 19:10:54 +01:00
Name : "path" ,
Type : cty . String ,
AllowMarked : true ,
2018-05-22 02:39:26 +02:00
} ,
} ,
Type : function . StaticReturnType ( cty . String ) ,
Impl : func ( args [ ] cty . Value , retType cty . Type ) ( cty . Value , error ) {
2021-12-01 19:10:54 +01:00
pathArg , pathMarks := args [ 0 ] . Unmark ( )
path := pathArg . AsString ( )
src , err := readFileBytes ( baseDir , path , pathMarks )
2018-05-22 02:39:26 +02:00
if err != nil {
lang/funcs: Filesystem functions hint about dynamically-generated files
The functions that interact with the filesystem are, by design, restricted
to reading files that are distributed as a static part of the
configuration, and cannot be used to interact with files that are
generated dynamically by resources in the configuration.
However, new users have often yet developed a correct mental model of how
Terraform execution works and are confused by the terse error messages
these functions return. As an interim step to help some of those users,
this just adds some more commentary to the error message which gives a
vague, generic directive to look to attributes of the resource that is
generating the file, which should (if it's designed well) export
attributes that allow the resulting file to be used effectively with
common patterns, such as checksums of the content of the generated file.
The error message here is not particularly attractive due to the
limitations of the context where it's being returned from, but I'm
accepting that here in the interest of keeping this change simple, so we
can give a hint about a case that seems to frequently generate new-user
questions. We may iterate further on the presentation of this message
later.
2020-06-24 00:15:01 +02:00
err = function . NewArgError ( 0 , err )
2019-01-25 18:16:43 +01:00
return cty . UnknownVal ( cty . String ) , err
2018-05-22 02:39:26 +02:00
}
switch {
case encBase64 :
enc := base64 . StdEncoding . EncodeToString ( src )
2021-12-01 19:10:54 +01:00
return cty . StringVal ( enc ) . WithMarks ( pathMarks ) , nil
2018-05-22 02:39:26 +02:00
default :
if ! utf8 . Valid ( src ) {
2021-12-01 19:10:54 +01:00
return cty . UnknownVal ( cty . String ) , fmt . Errorf ( "contents of %s are not valid UTF-8; use the filebase64 function to obtain the Base64 encoded contents or the other file functions (e.g. filemd5, filesha256) to obtain file hashing results instead" , redactIfSensitive ( path , pathMarks ) )
2018-05-22 02:39:26 +02:00
}
2021-12-01 19:10:54 +01:00
return cty . StringVal ( string ( src ) ) . WithMarks ( pathMarks ) , nil
2018-05-22 02:39:26 +02:00
}
} ,
} )
}
2018-12-21 02:42:42 +01:00
// MakeTemplateFileFunc constructs a function that takes a file path and
// an arbitrary object of named values and attempts to render the referenced
// file as a template using HCL template syntax.
//
// The template itself may recursively call other functions so a callback
// must be provided to get access to those functions. The template cannot,
// however, access any variables defined in the scope: it is restricted only to
// those variables provided in the second function argument, to ensure that all
// dependencies on other graph nodes can be seen before executing this function.
//
// As a special exception, a referenced template file may not recursively call
// the templatefile function, since that would risk the same file being
// included into itself indefinitely.
func MakeTemplateFileFunc ( baseDir string , funcsCb func ( ) map [ string ] function . Function ) function . Function {
params := [ ] function . Parameter {
{
2021-12-01 19:10:54 +01:00
Name : "path" ,
Type : cty . String ,
AllowMarked : true ,
2018-12-21 02:42:42 +01:00
} ,
{
Name : "vars" ,
Type : cty . DynamicPseudoType ,
} ,
}
2021-12-01 19:10:54 +01:00
loadTmpl := func ( fn string , marks cty . ValueMarks ) ( hcl . Expression , error ) {
2018-12-21 02:42:42 +01:00
// We re-use File here to ensure the same filename interpretation
// as it does, along with its other safety checks.
2021-12-01 19:10:54 +01:00
tmplVal , err := File ( baseDir , cty . StringVal ( fn ) . WithMarks ( marks ) )
2018-12-21 02:42:42 +01:00
if err != nil {
return nil , err
}
expr , diags := hclsyntax . ParseTemplate ( [ ] byte ( tmplVal . AsString ( ) ) , fn , hcl . Pos { Line : 1 , Column : 1 } )
if diags . HasErrors ( ) {
return nil , diags
}
return expr , nil
}
renderTmpl := func ( expr hcl . Expression , varsVal cty . Value ) ( cty . Value , error ) {
if varsTy := varsVal . Type ( ) ; ! ( varsTy . IsMapType ( ) || varsTy . IsObjectType ( ) ) {
2019-03-20 00:07:04 +01:00
return cty . DynamicVal , function . NewArgErrorf ( 1 , "invalid vars value: must be a map" ) // or an object, but we don't strongly distinguish these most of the time
2018-12-21 02:42:42 +01:00
}
ctx := & hcl . EvalContext {
Variables : varsVal . AsValueMap ( ) ,
}
2020-02-22 01:35:27 +01:00
// We require all of the variables to be valid HCL identifiers, because
// otherwise there would be no way to refer to them in the template
// anyway. Rejecting this here gives better feedback to the user
// than a syntax error somewhere in the template itself.
for n := range ctx . Variables {
if ! hclsyntax . ValidIdentifier ( n ) {
// This error message intentionally doesn't describe _all_ of
// the different permutations that are technically valid as an
// HCL identifier, but rather focuses on what we might
// consider to be an "idiomatic" variable name.
return cty . DynamicVal , function . NewArgErrorf ( 1 , "invalid template variable name %q: must start with a letter, followed by zero or more letters, digits, and underscores" , n )
}
}
2018-12-21 02:42:42 +01:00
// We'll pre-check references in the template here so we can give a
// more specialized error message than HCL would by default, so it's
// clearer that this problem is coming from a templatefile call.
for _ , traversal := range expr . Variables ( ) {
root := traversal . RootName ( )
if _ , ok := ctx . Variables [ root ] ; ! ok {
2019-03-20 00:07:04 +01:00
return cty . DynamicVal , function . NewArgErrorf ( 1 , "vars map does not contain key %q, referenced at %s" , root , traversal [ 0 ] . SourceRange ( ) )
2018-12-21 02:42:42 +01:00
}
}
givenFuncs := funcsCb ( ) // this callback indirection is to avoid chicken/egg problems
funcs := make ( map [ string ] function . Function , len ( givenFuncs ) )
for name , fn := range givenFuncs {
if name == "templatefile" {
// We stub this one out to prevent recursive calls.
funcs [ name ] = function . New ( & function . Spec {
Params : params ,
Type : func ( args [ ] cty . Value ) ( cty . Type , error ) {
return cty . NilType , fmt . Errorf ( "cannot recursively call templatefile from inside templatefile call" )
} ,
} )
continue
}
funcs [ name ] = fn
}
ctx . Functions = funcs
val , diags := expr . Value ( ctx )
if diags . HasErrors ( ) {
return cty . DynamicVal , diags
}
return val , nil
}
return function . New ( & function . Spec {
Params : params ,
Type : func ( args [ ] cty . Value ) ( cty . Type , error ) {
if ! ( args [ 0 ] . IsKnown ( ) && args [ 1 ] . IsKnown ( ) ) {
return cty . DynamicPseudoType , nil
}
// We'll render our template now to see what result type it produces.
// A template consisting only of a single interpolation an potentially
// return any type.
2021-12-01 19:10:54 +01:00
pathArg , pathMarks := args [ 0 ] . Unmark ( )
expr , err := loadTmpl ( pathArg . AsString ( ) , pathMarks )
2018-12-21 02:42:42 +01:00
if err != nil {
return cty . DynamicPseudoType , err
}
// This is safe even if args[1] contains unknowns because the HCL
// template renderer itself knows how to short-circuit those.
val , err := renderTmpl ( expr , args [ 1 ] )
return val . Type ( ) , err
} ,
Impl : func ( args [ ] cty . Value , retType cty . Type ) ( cty . Value , error ) {
2021-12-01 19:10:54 +01:00
pathArg , pathMarks := args [ 0 ] . Unmark ( )
expr , err := loadTmpl ( pathArg . AsString ( ) , pathMarks )
2018-12-21 02:42:42 +01:00
if err != nil {
return cty . DynamicVal , err
}
2021-12-01 19:10:54 +01:00
result , err := renderTmpl ( expr , args [ 1 ] )
return result . WithMarks ( pathMarks ) , err
2018-12-21 02:42:42 +01:00
} ,
} )
}
2018-10-11 12:40:09 +02:00
// MakeFileExistsFunc constructs a function that takes a path
// and determines whether a file exists at that path
func MakeFileExistsFunc ( baseDir string ) function . Function {
return function . New ( & function . Spec {
Params : [ ] function . Parameter {
{
2021-12-01 19:10:54 +01:00
Name : "path" ,
Type : cty . String ,
AllowMarked : true ,
2018-10-11 12:40:09 +02:00
} ,
} ,
Type : function . StaticReturnType ( cty . Bool ) ,
Impl : func ( args [ ] cty . Value , retType cty . Type ) ( cty . Value , error ) {
2021-12-01 19:10:54 +01:00
pathArg , pathMarks := args [ 0 ] . Unmark ( )
path := pathArg . AsString ( )
2018-10-11 12:40:09 +02:00
path , err := homedir . Expand ( path )
if err != nil {
2021-12-01 19:10:54 +01:00
return cty . UnknownVal ( cty . Bool ) , fmt . Errorf ( "failed to expand ~: %w" , err )
2018-10-11 12:40:09 +02:00
}
if ! filepath . IsAbs ( path ) {
path = filepath . Join ( baseDir , path )
}
// Ensure that the path is canonical for the host OS
path = filepath . Clean ( path )
fi , err := os . Stat ( path )
if err != nil {
if os . IsNotExist ( err ) {
2021-12-01 19:10:54 +01:00
return cty . False . WithMarks ( pathMarks ) , nil
2018-10-11 12:40:09 +02:00
}
2021-12-01 19:10:54 +01:00
return cty . UnknownVal ( cty . Bool ) , fmt . Errorf ( "failed to stat %s" , redactIfSensitive ( path , pathMarks ) )
2018-10-11 12:40:09 +02:00
}
if fi . Mode ( ) . IsRegular ( ) {
2021-12-01 19:10:54 +01:00
return cty . True . WithMarks ( pathMarks ) , nil
2018-10-11 12:40:09 +02:00
}
2022-01-11 01:06:19 +01:00
// The Go stat API only provides convenient access to whether it's
// a directory or not, so we need to do some bit fiddling to
// recognize other irregular file types.
filename := redactIfSensitive ( path , pathMarks )
fileType := fi . Mode ( ) . Type ( )
switch {
case ( fileType & os . ModeDir ) != 0 :
err = function . NewArgErrorf ( 1 , "%s is a directory, not a file" , filename )
case ( fileType & os . ModeDevice ) != 0 :
err = function . NewArgErrorf ( 1 , "%s is a device node, not a regular file" , filename )
case ( fileType & os . ModeNamedPipe ) != 0 :
err = function . NewArgErrorf ( 1 , "%s is a named pipe, not a regular file" , filename )
case ( fileType & os . ModeSocket ) != 0 :
err = function . NewArgErrorf ( 1 , "%s is a unix domain socket, not a regular file" , filename )
default :
// If it's not a type we recognize then we'll just return a
// generic error message. This should be very rare.
err = function . NewArgErrorf ( 1 , "%s is not a regular file" , filename )
// Note: os.ModeSymlink should be impossible because we used
// os.Stat above, not os.Lstat.
}
return cty . False , err
2018-10-11 12:40:09 +02:00
} ,
} )
}
2019-08-20 10:50:01 +02:00
// MakeFileSetFunc constructs a function that takes a glob pattern
// and enumerates a file set from that pattern
func MakeFileSetFunc ( baseDir string ) function . Function {
return function . New ( & function . Spec {
Params : [ ] function . Parameter {
2019-08-28 17:54:04 +02:00
{
2021-12-01 19:10:54 +01:00
Name : "path" ,
Type : cty . String ,
AllowMarked : true ,
2019-08-28 17:54:04 +02:00
} ,
2019-08-20 10:50:01 +02:00
{
2021-12-01 19:10:54 +01:00
Name : "pattern" ,
Type : cty . String ,
AllowMarked : true ,
2019-08-20 10:50:01 +02:00
} ,
} ,
Type : function . StaticReturnType ( cty . Set ( cty . String ) ) ,
Impl : func ( args [ ] cty . Value , retType cty . Type ) ( cty . Value , error ) {
2021-12-01 19:10:54 +01:00
pathArg , pathMarks := args [ 0 ] . Unmark ( )
path := pathArg . AsString ( )
patternArg , patternMarks := args [ 1 ] . Unmark ( )
pattern := patternArg . AsString ( )
marks := [ ] cty . ValueMarks { pathMarks , patternMarks }
2019-08-28 17:54:04 +02:00
if ! filepath . IsAbs ( path ) {
path = filepath . Join ( baseDir , path )
2019-08-20 10:50:01 +02:00
}
2019-08-28 17:54:04 +02:00
// Join the path to the glob pattern, while ensuring the full
// pattern is canonical for the host OS. The joined path is
// automatically cleaned during this operation.
pattern = filepath . Join ( path , pattern )
2019-08-20 10:50:01 +02:00
2019-08-31 02:14:38 +02:00
matches , err := doublestar . Glob ( pattern )
2019-08-20 10:50:01 +02:00
if err != nil {
2021-12-01 19:10:54 +01:00
return cty . UnknownVal ( cty . Set ( cty . String ) ) , fmt . Errorf ( "failed to glob pattern %s: %w" , redactIfSensitive ( pattern , marks ... ) , err )
2019-08-20 10:50:01 +02:00
}
var matchVals [ ] cty . Value
for _ , match := range matches {
fi , err := os . Stat ( match )
if err != nil {
2021-12-01 19:10:54 +01:00
return cty . UnknownVal ( cty . Set ( cty . String ) ) , fmt . Errorf ( "failed to stat %s: %w" , redactIfSensitive ( match , marks ... ) , err )
2019-08-20 10:50:01 +02:00
}
if ! fi . Mode ( ) . IsRegular ( ) {
continue
}
2019-08-28 17:54:04 +02:00
// Remove the path and file separator from matches.
2019-08-31 01:41:47 +02:00
match , err = filepath . Rel ( path , match )
if err != nil {
2021-12-01 19:10:54 +01:00
return cty . UnknownVal ( cty . Set ( cty . String ) ) , fmt . Errorf ( "failed to trim path of match %s: %w" , redactIfSensitive ( match , marks ... ) , err )
2019-08-31 01:41:47 +02:00
}
2019-08-28 17:54:04 +02:00
2019-08-28 19:03:57 +02:00
// Replace any remaining file separators with forward slash (/)
// separators for cross-system compatibility.
2019-08-28 17:54:04 +02:00
match = filepath . ToSlash ( match )
2019-08-20 10:50:01 +02:00
matchVals = append ( matchVals , cty . StringVal ( match ) )
}
if len ( matchVals ) == 0 {
2021-12-01 19:10:54 +01:00
return cty . SetValEmpty ( cty . String ) . WithMarks ( marks ... ) , nil
2019-08-20 10:50:01 +02:00
}
2021-12-01 19:10:54 +01:00
return cty . SetVal ( matchVals ) . WithMarks ( marks ... ) , nil
2019-08-20 10:50:01 +02:00
} ,
} )
}
2018-05-23 18:38:12 +02:00
// BasenameFunc constructs a function that takes a string containing a filesystem path
// and removes all except the last portion from it.
2018-05-23 00:04:49 +02:00
var BasenameFunc = function . New ( & function . Spec {
Params : [ ] function . Parameter {
{
Name : "path" ,
Type : cty . String ,
} ,
} ,
Type : function . StaticReturnType ( cty . String ) ,
Impl : func ( args [ ] cty . Value , retType cty . Type ) ( cty . Value , error ) {
return cty . StringVal ( filepath . Base ( args [ 0 ] . AsString ( ) ) ) , nil
} ,
} )
2018-05-23 18:38:12 +02:00
// DirnameFunc constructs a function that takes a string containing a filesystem path
// and removes the last portion from it.
2018-05-23 00:24:50 +02:00
var DirnameFunc = function . New ( & function . Spec {
Params : [ ] function . Parameter {
{
Name : "path" ,
Type : cty . String ,
} ,
} ,
Type : function . StaticReturnType ( cty . String ) ,
Impl : func ( args [ ] cty . Value , retType cty . Type ) ( cty . Value , error ) {
return cty . StringVal ( filepath . Dir ( args [ 0 ] . AsString ( ) ) ) , nil
} ,
} )
2019-07-02 14:30:30 +02:00
// AbsPathFunc constructs a function that converts a filesystem path to an absolute path
var AbsPathFunc = function . New ( & function . Spec {
Params : [ ] function . Parameter {
{
Name : "path" ,
Type : cty . String ,
} ,
} ,
Type : function . StaticReturnType ( cty . String ) ,
Impl : func ( args [ ] cty . Value , retType cty . Type ) ( cty . Value , error ) {
absPath , err := filepath . Abs ( args [ 0 ] . AsString ( ) )
return cty . StringVal ( filepath . ToSlash ( absPath ) ) , err
} ,
} )
2018-05-23 00:43:29 +02:00
// PathExpandFunc constructs a function that expands a leading ~ character to the current user's home directory.
var PathExpandFunc = function . New ( & function . Spec {
Params : [ ] function . Parameter {
{
Name : "path" ,
Type : cty . String ,
} ,
} ,
Type : function . StaticReturnType ( cty . String ) ,
Impl : func ( args [ ] cty . Value , retType cty . Type ) ( cty . Value , error ) {
homePath , err := homedir . Expand ( args [ 0 ] . AsString ( ) )
return cty . StringVal ( homePath ) , err
} ,
} )
2021-05-11 23:22:16 +02:00
func openFile ( baseDir , path string ) ( * os . File , error ) {
2019-01-25 18:16:43 +01:00
path , err := homedir . Expand ( path )
if err != nil {
2021-12-01 19:10:54 +01:00
return nil , fmt . Errorf ( "failed to expand ~: %w" , err )
2019-01-25 18:16:43 +01:00
}
if ! filepath . IsAbs ( path ) {
path = filepath . Join ( baseDir , path )
}
// Ensure that the path is canonical for the host OS
path = filepath . Clean ( path )
2021-05-11 23:22:16 +02:00
return os . Open ( path )
}
2021-12-01 19:10:54 +01:00
func readFileBytes ( baseDir , path string , marks cty . ValueMarks ) ( [ ] byte , error ) {
2021-05-11 23:22:16 +02:00
f , err := openFile ( baseDir , path )
2019-01-25 18:16:43 +01:00
if err != nil {
if os . IsNotExist ( err ) {
2021-05-11 23:22:16 +02:00
// An extra Terraform-specific hint for this situation
2021-12-01 19:10:54 +01:00
return nil , fmt . Errorf ( "no file exists at %s; this function works only with files that are distributed as part of the configuration source code, so if this file will be created by a resource in this configuration you must instead obtain this result from an attribute of that resource" , redactIfSensitive ( path , marks ) )
2019-01-25 18:16:43 +01:00
}
2021-05-11 23:22:16 +02:00
return nil , err
}
2021-11-11 14:32:10 +01:00
defer f . Close ( )
2021-05-11 23:22:16 +02:00
src , err := ioutil . ReadAll ( f )
if err != nil {
2021-12-01 19:10:54 +01:00
return nil , fmt . Errorf ( "failed to read file: %w" , err )
2019-01-25 18:16:43 +01:00
}
return src , nil
}
2018-05-22 02:39:26 +02:00
// File reads the contents of the file at the given path.
//
// The file must contain valid UTF-8 bytes, or this function will return an error.
//
// The underlying function implementation works relative to a particular base
// directory, so this wrapper takes a base directory string and uses it to
// construct the underlying function before calling it.
func File ( baseDir string , path cty . Value ) ( cty . Value , error ) {
fn := MakeFileFunc ( baseDir , false )
return fn . Call ( [ ] cty . Value { path } )
2018-10-11 12:40:09 +02:00
}
// FileExists determines whether a file exists at the given path.
//
// The underlying function implementation works relative to a particular base
// directory, so this wrapper takes a base directory string and uses it to
// construct the underlying function before calling it.
func FileExists ( baseDir string , path cty . Value ) ( cty . Value , error ) {
fn := MakeFileExistsFunc ( baseDir )
return fn . Call ( [ ] cty . Value { path } )
2018-05-22 02:39:26 +02:00
}
2019-08-20 10:50:01 +02:00
// FileSet enumerates a set of files given a glob pattern
//
// The underlying function implementation works relative to a particular base
// directory, so this wrapper takes a base directory string and uses it to
// construct the underlying function before calling it.
2019-08-28 17:54:04 +02:00
func FileSet ( baseDir string , path , pattern cty . Value ) ( cty . Value , error ) {
2019-08-20 10:50:01 +02:00
fn := MakeFileSetFunc ( baseDir )
2019-08-28 17:54:04 +02:00
return fn . Call ( [ ] cty . Value { path , pattern } )
2019-08-20 10:50:01 +02:00
}
2018-05-22 02:39:26 +02:00
// FileBase64 reads the contents of the file at the given path.
//
// The bytes from the file are encoded as base64 before returning.
//
// The underlying function implementation works relative to a particular base
// directory, so this wrapper takes a base directory string and uses it to
// construct the underlying function before calling it.
func FileBase64 ( baseDir string , path cty . Value ) ( cty . Value , error ) {
fn := MakeFileFunc ( baseDir , true )
return fn . Call ( [ ] cty . Value { path } )
}
2018-05-23 00:04:49 +02:00
// Basename takes a string containing a filesystem path and removes all except the last portion from it.
//
// The underlying function implementation works only with the path string and does not access the filesystem itself.
// It is therefore unable to take into account filesystem features such as symlinks.
//
// If the path is empty then the result is ".", representing the current working directory.
func Basename ( path cty . Value ) ( cty . Value , error ) {
return BasenameFunc . Call ( [ ] cty . Value { path } )
}
2018-05-23 00:24:50 +02:00
// Dirname takes a string containing a filesystem path and removes the last portion from it.
//
// The underlying function implementation works only with the path string and does not access the filesystem itself.
// It is therefore unable to take into account filesystem features such as symlinks.
//
// If the path is empty then the result is ".", representing the current working directory.
func Dirname ( path cty . Value ) ( cty . Value , error ) {
return DirnameFunc . Call ( [ ] cty . Value { path } )
}
2018-05-23 00:43:29 +02:00
// Pathexpand takes a string that might begin with a `~` segment, and if so it replaces that segment with
// the current user's home directory path.
//
// The underlying function implementation works only with the path string and does not access the filesystem itself.
// It is therefore unable to take into account filesystem features such as symlinks.
//
// If the leading segment in the path is not `~` then the given path is returned unmodified.
func Pathexpand ( path cty . Value ) ( cty . Value , error ) {
return PathExpandFunc . Call ( [ ] cty . Value { path } )
}