Add type-based provider-defined function parameter validation

.changes/unreleased/BREAKING CHANGES-20240404-182004.yaml

@@ -0,0 +1,5 @@
+kind: BREAKING CHANGES
+body: 'function: Removed `Definition` type `Parameter()` method'
+time: 2024-04-04T18:20:04.534677+01:00
+custom:
+  Issue: "968"

.changes/unreleased/FEATURES-20240404-154339.yaml

@@ -0,0 +1,5 @@
+kind: FEATURES
+body: 'attr/xattr: Added `ValidateableAttribute` interface for custom value type implementations'
+time: 2024-04-04T15:43:39.796606+01:00
+custom:
+  Issue: "968"

.changes/unreleased/FEATURES-20240404-154439.yaml

@@ -0,0 +1,6 @@
+kind: FEATURES
+body: 'function: Added `ValidateableParameter` interface for custom value
+  type implementations'
+time: 2024-04-04T15:44:39.289946+01:00
+custom:
+  Issue: "968"

.changes/unreleased/NOTES-20240404-155606.yaml

@@ -0,0 +1,7 @@
+kind: NOTES
+body: 'attr/xattr: The `TypeWithValidate` interface has been deprecated in preference
+  of the `ValidateableAttribute` interface. A `ValidatableParameter` interface has
+  also been added to the `function` package'
+time: 2024-04-04T15:56:06.494328+01:00
+custom:
+  Issue: "968"

attr/xattr/attribute.go

@@ -0,0 +1,36 @@
+// Copyright (c) HashiCorp, Inc.
+// SPDX-License-Identifier: MPL-2.0
+
+package xattr
+
+import (
+	"context"
+
+	"github.com/hashicorp/terraform-plugin-framework/diag"
+	"github.com/hashicorp/terraform-plugin-framework/path"
+)
+
+// ValidateableAttribute defines an interface for validating an attribute value.
+type ValidateableAttribute interface {
+	// ValidateAttribute returns any warnings or errors generated during validation
+	// of the attribute. It is generally used to check the data format and ensure
+	// that it complies with the requirements of the Value.
+	ValidateAttribute(context.Context, ValidateAttributeRequest, *ValidateAttributeResponse)
+}
+
+// ValidateAttributeRequest represents a request for the Value to call its
+// validation logic. An instance of this request struct is supplied as an
+// argument to the ValidateAttribute method.
+type ValidateAttributeRequest struct {
+	// Path is the path to the attribute being validated.
+	Path path.Path
+}
+
+// ValidateAttributeResponse represents a response to a ValidateAttributeRequest.
+// An instance of this response struct is supplied as an argument to the
+// ValidateAttribute method.
+type ValidateAttributeResponse struct {
+	// Diagnostics is a collection of warnings or errors generated during
+	// validation of the Value.
+	Diagnostics diag.Diagnostics
+}

attr/xattr/type.go

@@ -6,14 +6,19 @@ package xattr
 import (
 	"context"
 
+	"github.com/hashicorp/terraform-plugin-go/tftypes"
+
 	"github.com/hashicorp/terraform-plugin-framework/attr"
 	"github.com/hashicorp/terraform-plugin-framework/diag"
 	"github.com/hashicorp/terraform-plugin-framework/path"
-	"github.com/hashicorp/terraform-plugin-go/tftypes"
 )
 
 // TypeWithValidate extends the attr.Type interface to include a Validate
 // method, used to bundle consistent validation logic with the Type.
+//
+// Deprecated: Use the ValidateableAttribute interface instead for schema
+// attribute validation. Use the function.ValidateableParameter interface
+// for provider-defined function parameter validation.
 type TypeWithValidate interface {
 	attr.Type
 

function/definition.go

@@ -51,41 +51,6 @@ type Definition struct {
 	DeprecationMessage string
 }
 
-// Parameter returns the Parameter for a given argument position. This may be
-// from the Parameters field or, if defined, the VariadicParameter field. An
-// error diagnostic is raised if the position is outside the expected arguments.
-func (d Definition) Parameter(ctx context.Context, position int) (Parameter, diag.Diagnostics) {
-	if d.VariadicParameter != nil && position >= len(d.Parameters) {
-		return d.VariadicParameter, nil
-	}
-
-	if len(d.Parameters) == 0 {
-		return nil, diag.Diagnostics{
-			diag.NewErrorDiagnostic(
-				"Invalid Parameter Position for Definition",
-				"When determining the parameter for the given argument position, an invalid value was given. "+
-					"This is always an issue in the provider code and should be reported to the provider developers.\n\n"+
-					"Function does not implement parameters.\n"+
-					fmt.Sprintf("Given position: %d", position),
-			),
-		}
-	}
-
-	if position >= len(d.Parameters) {
-		return nil, diag.Diagnostics{
-			diag.NewErrorDiagnostic(
-				"Invalid Parameter Position for Definition",
-				"When determining the parameter for the given argument position, an invalid value was given. "+
-					"This is always an issue in the provider code and should be reported to the provider developers.\n\n"+
-					fmt.Sprintf("Max argument position: %d\n", len(d.Parameters)-1)+
-					fmt.Sprintf("Given position: %d", position),
-			),
-		}
-	}
-
-	return d.Parameters[position], nil
-}
-
 // ValidateImplementation contains logic for validating the provider-defined
 // implementation of the definition to prevent unexpected errors or panics. This
 // logic runs during the GetProviderSchema RPC, or via provider-defined unit

function/definition_test.go

@@ -14,139 +14,6 @@ import (
 	"github.com/hashicorp/terraform-plugin-framework/types"
 )
 
-func TestDefinitionParameter(t *testing.T) {
-	t.Parallel()
-
-	testCases := map[string]struct {
-		definition          function.Definition
-		position            int
-		expected            function.Parameter
-		expectedDiagnostics diag.Diagnostics
-	}{
-		"none": {
-			definition: function.Definition{
-				// no Parameters or VariadicParameter
-			},
-			position: 0,
-			expected: nil,
-			expectedDiagnostics: diag.Diagnostics{
-				diag.NewErrorDiagnostic(
-					"Invalid Parameter Position for Definition",
-					"When determining the parameter for the given argument position, an invalid value was given. "+
-						"This is always an issue in the provider code and should be reported to the provider developers.\n\n"+
-						"Function does not implement parameters.\n"+
-						"Given position: 0",
-				),
-			},
-		},
-		"parameters-first": {
-			definition: function.Definition{
-				Parameters: []function.Parameter{
-					function.BoolParameter{},
-					function.Int64Parameter{},
-					function.StringParameter{},
-				},
-			},
-			position: 0,
-			expected: function.BoolParameter{},
-		},
-		"parameters-last": {
-			definition: function.Definition{
-				Parameters: []function.Parameter{
-					function.BoolParameter{},
-					function.Int64Parameter{},
-					function.StringParameter{},
-				},
-			},
-			position: 2,
-			expected: function.StringParameter{},
-		},
-		"parameters-middle": {
-			definition: function.Definition{
-				Parameters: []function.Parameter{
-					function.BoolParameter{},
-					function.Int64Parameter{},
-					function.StringParameter{},
-				},
-			},
-			position: 1,
-			expected: function.Int64Parameter{},
-		},
-		"parameters-only": {
-			definition: function.Definition{
-				Parameters: []function.Parameter{
-					function.BoolParameter{},
-				},
-			},
-			position: 0,
-			expected: function.BoolParameter{},
-		},
-		"parameters-over": {
-			definition: function.Definition{
-				Parameters: []function.Parameter{
-					function.BoolParameter{},
-				},
-			},
-			position: 1,
-			expected: nil,
-			expectedDiagnostics: diag.Diagnostics{
-				diag.NewErrorDiagnostic(
-					"Invalid Parameter Position for Definition",
-					"When determining the parameter for the given argument position, an invalid value was given. "+
-						"This is always an issue in the provider code and should be reported to the provider developers.\n\n"+
-						"Max argument position: 0\n"+
-						"Given position: 1",
-				),
-			},
-		},
-		"variadicparameter-and-parameters-select-parameter": {
-			definition: function.Definition{
-				Parameters: []function.Parameter{
-					function.BoolParameter{},
-				},
-				VariadicParameter: function.StringParameter{},
-			},
-			position: 0,
-			expected: function.BoolParameter{},
-		},
-		"variadicparameter-and-parameters-select-variadicparameter": {
-			definition: function.Definition{
-				Parameters: []function.Parameter{
-					function.BoolParameter{},
-				},
-				VariadicParameter: function.StringParameter{},
-			},
-			position: 1,
-			expected: function.StringParameter{},
-		},
-		"variadicparameter-only": {
-			definition: function.Definition{
-				VariadicParameter: function.StringParameter{},
-			},
-			position: 0,
-			expected: function.StringParameter{},
-		},
-	}
-
-	for name, testCase := range testCases {
-		name, testCase := name, testCase
-
-		t.Run(name, func(t *testing.T) {
-			t.Parallel()
-
-			got, diags := testCase.definition.Parameter(context.Background(), testCase.position)
-
-			if diff := cmp.Diff(got, testCase.expected); diff != "" {
-				t.Errorf("unexpected difference: %s", diff)
-			}
-
-			if diff := cmp.Diff(diags, testCase.expectedDiagnostics); diff != "" {
-				t.Errorf("unexpected diagnostics difference: %s", diff)
-			}
-		})
-	}
-}
-
 func TestDefinitionValidateImplementation(t *testing.T) {
 	t.Parallel()
 

function/parameter.go

@@ -4,6 +4,8 @@
 package function
 
 import (
+	"context"
+
 	"github.com/hashicorp/terraform-plugin-framework/attr"
 )
 
@@ -38,3 +40,27 @@ type Parameter interface {
 	// Function type Run method.
 	GetType() attr.Type
 }
+
+// ValidateableParameter defines an interface for validating a parameter value.
+type ValidateableParameter interface {
+	// ValidateParameter returns any error generated during validation
+	// of  the parameter. It is generally used to check the data format and ensure
+	// that it complies with the requirements of the Value.
+	ValidateParameter(context.Context, ValidateParameterRequest, *ValidateParameterResponse)
+}
+
+// ValidateParameterRequest represents a request for the Value to call its
+// validation logic. An instance of this request struct is supplied as an
+// argument to the Value type ValidateParameter method.
+type ValidateParameterRequest struct {
+	// Position is the zero-ordered position of the parameter being validated.
+	Position int64
+}
+
+// ValidateParameterResponse represents a response to a ValidateParameterRequest.
+// An instance of this response struct is supplied as an argument to the
+// ValidateParameter method.
+type ValidateParameterResponse struct {
+	// Error is a function error generated during validation of the Value.
+	Error *FuncError
+}