enum_AuthorizationStrategy := [ "SMART_ON_FHIR_V1", "AWS_AUTH" ]
enum_CmkType := [ "CUSTOMER_MANAGED_KMS_KEY", "AWS_OWNED_KMS_KEY" ]
enum_FHIRVersion := [ "R4" ]
enum_PreloadDataType := [ "SYNTHEA" ]

valid {
    input.Body.DatastoreName == STRING
    input.Body.DatastoreTypeVersion == enum_FHIRVersion[_]
    input.Body.SseConfiguration.KmsEncryptionConfig.CmkType == enum_CmkType[_]
    input.Body.SseConfiguration.KmsEncryptionConfig.KmsKeyId == STRING
    input.Body.PreloadDataConfig.PreloadDataType == enum_PreloadDataType[_]
    input.Body.ClientToken == STRING
    input.Body.Tags[_].Key == STRING
    input.Body.Tags[_].Value == STRING
    input.Body.IdentityProviderConfiguration.AuthorizationStrategy == enum_AuthorizationStrategy[_]
    input.Body.IdentityProviderConfiguration.FineGrainedAuthorizationEnabled == BOOLEAN
    input.Body.IdentityProviderConfiguration.Metadata == STRING
    input.Body.IdentityProviderConfiguration.IdpLambdaArn == STRING
    input.ProviderMetadata.Account == STRING
    input.ProviderMetadata.AccessKeyId == STRING
    input.ProviderMetadata.Region == STRING
}

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

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

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

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

enum_DatastoreStatus := [ "CREATING", "ACTIVE", "DELETING", "DELETED", "CREATE_FAILED" ]

valid {
    input.Body.Filter.DatastoreName == STRING
    input.Body.Filter.DatastoreStatus == enum_DatastoreStatus[_]
    input.Body.Filter.CreatedBefore == TIMESTAMP
    input.Body.Filter.CreatedAfter == TIMESTAMP
    input.Body.NextToken == STRING
    input.Body.MaxResults == INTEGER
    input.ProviderMetadata.Account == STRING
    input.ProviderMetadata.AccessKeyId == STRING
    input.ProviderMetadata.Region == STRING
}

enum_JobStatus := [ "SUBMITTED", "IN_PROGRESS", "COMPLETED_WITH_ERRORS", "COMPLETED", "FAILED", "CANCEL_SUBMITTED", "CANCEL_IN_PROGRESS", "CANCEL_COMPLETED", "CANCEL_FAILED" ]

valid {
    input.Body.DatastoreId == STRING
    input.Body.NextToken == STRING
    input.Body.MaxResults == INTEGER
    input.Body.JobName == STRING
    input.Body.JobStatus == enum_JobStatus[_]
    input.Body.SubmittedBefore == TIMESTAMP
    input.Body.SubmittedAfter == TIMESTAMP
    input.ProviderMetadata.Account == STRING
    input.ProviderMetadata.AccessKeyId == STRING
    input.ProviderMetadata.Region == STRING
}

enum_JobStatus := [ "SUBMITTED", "IN_PROGRESS", "COMPLETED_WITH_ERRORS", "COMPLETED", "FAILED", "CANCEL_SUBMITTED", "CANCEL_IN_PROGRESS", "CANCEL_COMPLETED", "CANCEL_FAILED" ]

valid {
    input.Body.DatastoreId == STRING
    input.Body.NextToken == STRING
    input.Body.MaxResults == INTEGER
    input.Body.JobName == STRING
    input.Body.JobStatus == enum_JobStatus[_]
    input.Body.SubmittedBefore == TIMESTAMP
    input.Body.SubmittedAfter == TIMESTAMP
    input.ProviderMetadata.Account == STRING
    input.ProviderMetadata.AccessKeyId == STRING
    input.ProviderMetadata.Region == STRING
}

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

valid {
    input.Body.JobName == STRING
    input.Body.OutputDataConfig.S3Configuration.S3Uri == STRING
    input.Body.OutputDataConfig.S3Configuration.KmsKeyId == STRING
    input.Body.DatastoreId == STRING
    input.Body.DataAccessRoleArn == STRING
    input.Body.ClientToken == STRING
    input.ProviderMetadata.Account == STRING
    input.ProviderMetadata.AccessKeyId == STRING
    input.ProviderMetadata.Region == STRING
}

valid {
    input.Body.JobName == STRING
    input.Body.InputDataConfig.S3Uri == STRING
    input.Body.JobOutputDataConfig.S3Configuration.S3Uri == STRING
    input.Body.JobOutputDataConfig.S3Configuration.KmsKeyId == STRING
    input.Body.DatastoreId == STRING
    input.Body.DataAccessRoleArn == STRING
    input.Body.ClientToken == STRING
    input.ProviderMetadata.Account == STRING
    input.ProviderMetadata.AccessKeyId == STRING
    input.ProviderMetadata.Region == STRING
}

valid {
    input.Body.ResourceARN == STRING
    input.Body.Tags[_].Key == STRING
    input.Body.Tags[_].Value == STRING
    input.ProviderMetadata.Account == STRING
    input.ProviderMetadata.AccessKeyId == STRING
    input.ProviderMetadata.Region == STRING
}

valid {
    input.Body.ResourceARN == STRING
    input.Body.TagKeys[_] == STRING
    input.ProviderMetadata.Account == STRING
    input.ProviderMetadata.AccessKeyId == STRING
    input.ProviderMetadata.Region == STRING
}