CancelResourceRequest

valid {
    input.Body.RequestToken == STRING
    input.ProviderMetadata.Account == STRING
    input.ProviderMetadata.AccessKeyId == STRING
    input.ProviderMetadata.Region == STRING
}

CreateResource

valid {
    input.Body.TypeName == STRING
    input.Body.TypeVersionId == STRING
    input.Body.RoleArn == STRING
    input.Body.ClientToken == STRING
    input.Body.DesiredState == STRING
    input.ProviderMetadata.Account == STRING
    input.ProviderMetadata.AccessKeyId == STRING
    input.ProviderMetadata.Region == STRING
}

DeleteResource

valid {
    input.Body.TypeName == STRING
    input.Body.TypeVersionId == STRING
    input.Body.RoleArn == STRING
    input.Body.ClientToken == STRING
    input.Body.Identifier == STRING
    input.ProviderMetadata.Account == STRING
    input.ProviderMetadata.AccessKeyId == STRING
    input.ProviderMetadata.Region == STRING
}

GetResource

valid {
    input.Body.TypeName == STRING
    input.Body.TypeVersionId == STRING
    input.Body.RoleArn == STRING
    input.Body.Identifier == STRING
    input.ProviderMetadata.Account == STRING
    input.ProviderMetadata.AccessKeyId == STRING
    input.ProviderMetadata.Region == STRING
}

GetResourceRequestStatus

valid {
    input.Body.RequestToken == STRING
    input.ProviderMetadata.Account == STRING
    input.ProviderMetadata.AccessKeyId == STRING
    input.ProviderMetadata.Region == STRING
}

ListResourceRequests

enum_Operation := [ "CREATE", "DELETE", "UPDATE" ]
enum_OperationStatus := [ "PENDING", "IN_PROGRESS", "SUCCESS", "FAILED", "CANCEL_IN_PROGRESS", "CANCEL_COMPLETE" ]

valid {
    input.Body.MaxResults == INTEGER
    input.Body.NextToken == STRING
    input.Body.ResourceRequestStatusFilter.Operations[_] == enum_Operation[_]
    input.Body.ResourceRequestStatusFilter.OperationStatuses[_] == enum_OperationStatus[_]
    input.ProviderMetadata.Account == STRING
    input.ProviderMetadata.AccessKeyId == STRING
    input.ProviderMetadata.Region == STRING
}

ListResources

valid {
    input.Body.TypeName == STRING
    input.Body.TypeVersionId == STRING
    input.Body.RoleArn == STRING
    input.Body.NextToken == STRING
    input.Body.MaxResults == INTEGER
    input.Body.ResourceModel == STRING
    input.ProviderMetadata.Account == STRING
    input.ProviderMetadata.AccessKeyId == STRING
    input.ProviderMetadata.Region == STRING
}

UpdateResource

valid {
    input.Body.TypeName == STRING
    input.Body.TypeVersionId == STRING
    input.Body.RoleArn == STRING
    input.Body.ClientToken == STRING
    input.Body.Identifier == STRING
    input.Body.PatchDocument == STRING
    input.ProviderMetadata.Account == STRING
    input.ProviderMetadata.AccessKeyId == STRING
    input.ProviderMetadata.Region == STRING
}