valid {
    input.ReqMap.name == STRING
    input.ProviderMetadata.Region == STRING
}

enum_InstanceDeploymentType := [ "DEPLOYMENT_TYPE_UNSPECIFIED", "SCRATCH", "PERSISTENT" ]
enum_InstanceDirectoryStripeLevel := [ "DIRECTORY_STRIPE_LEVEL_UNSPECIFIED", "DIRECTORY_STRIPE_LEVEL_MIN", "DIRECTORY_STRIPE_LEVEL_BALANCED", "DIRECTORY_STRIPE_LEVEL_MAX" ]
enum_InstanceFileStripeLevel := [ "FILE_STRIPE_LEVEL_UNSPECIFIED", "FILE_STRIPE_LEVEL_MIN", "FILE_STRIPE_LEVEL_BALANCED", "FILE_STRIPE_LEVEL_MAX" ]

valid {
    input.Body.capacityGib == STRING
    input.Body.deploymentType == enum_InstanceDeploymentType[_]
    input.Body.description == STRING
    input.Body.directoryStripeLevel == enum_InstanceDirectoryStripeLevel[_]
    input.Body.fileStripeLevel == enum_InstanceFileStripeLevel[_]
    input.Body.labels.STRING == STRING
    input.Body.name == STRING
    input.Body.network == STRING
    input.Body.reservedIpRange == STRING
    input.ReqMap.parent == STRING
    input.Qs.instanceId == STRING
    input.Qs.requestId == STRING
    input.ProviderMetadata.Region == STRING
}

valid {
    input.ReqMap.name == STRING
    input.Qs.requestId == STRING
    input.ProviderMetadata.Region == STRING
}

enum_TransferMetadataOptionsGid := [ "GID_UNSPECIFIED", "GID_SKIP", "GID_NUMBER_PRESERVE" ]
enum_TransferMetadataOptionsMode := [ "MODE_UNSPECIFIED", "MODE_SKIP", "MODE_PRESERVE" ]
enum_TransferMetadataOptionsUid := [ "UID_UNSPECIFIED", "UID_SKIP", "UID_NUMBER_PRESERVE" ]

valid {
    input.Body.destinationGcsBucket.uri == STRING
    input.Body.metadataOptions.gid == enum_TransferMetadataOptionsGid[_]
    input.Body.metadataOptions.mode == enum_TransferMetadataOptionsMode[_]
    input.Body.metadataOptions.uid == enum_TransferMetadataOptionsUid[_]
    input.Body.requestId == STRING
    input.Body.serviceAccount == STRING
    input.Body.sourceParallelstore.path == STRING
    input.ReqMap.name == STRING
    input.ProviderMetadata.Region == STRING
}

valid {
    input.ReqMap.name == STRING
    input.ProviderMetadata.Region == STRING
}

enum_TransferMetadataOptionsGid := [ "GID_UNSPECIFIED", "GID_SKIP", "GID_NUMBER_PRESERVE" ]
enum_TransferMetadataOptionsMode := [ "MODE_UNSPECIFIED", "MODE_SKIP", "MODE_PRESERVE" ]
enum_TransferMetadataOptionsUid := [ "UID_UNSPECIFIED", "UID_SKIP", "UID_NUMBER_PRESERVE" ]

valid {
    input.Body.destinationParallelstore.path == STRING
    input.Body.metadataOptions.gid == enum_TransferMetadataOptionsGid[_]
    input.Body.metadataOptions.mode == enum_TransferMetadataOptionsMode[_]
    input.Body.metadataOptions.uid == enum_TransferMetadataOptionsUid[_]
    input.Body.requestId == STRING
    input.Body.serviceAccount == STRING
    input.Body.sourceGcsBucket.uri == STRING
    input.ReqMap.name == STRING
    input.ProviderMetadata.Region == STRING
}

valid {
    input.ReqMap.parent == STRING
    input.Qs.filter == STRING
    input.Qs.orderBy == STRING
    input.Qs.pageSize == INTEGER
    input.Qs.pageToken == STRING
    input.ProviderMetadata.Region == STRING
}

enum_InstanceDeploymentType := [ "DEPLOYMENT_TYPE_UNSPECIFIED", "SCRATCH", "PERSISTENT" ]
enum_InstanceDirectoryStripeLevel := [ "DIRECTORY_STRIPE_LEVEL_UNSPECIFIED", "DIRECTORY_STRIPE_LEVEL_MIN", "DIRECTORY_STRIPE_LEVEL_BALANCED", "DIRECTORY_STRIPE_LEVEL_MAX" ]
enum_InstanceFileStripeLevel := [ "FILE_STRIPE_LEVEL_UNSPECIFIED", "FILE_STRIPE_LEVEL_MIN", "FILE_STRIPE_LEVEL_BALANCED", "FILE_STRIPE_LEVEL_MAX" ]

valid {
    input.Body.capacityGib == STRING
    input.Body.deploymentType == enum_InstanceDeploymentType[_]
    input.Body.description == STRING
    input.Body.directoryStripeLevel == enum_InstanceDirectoryStripeLevel[_]
    input.Body.fileStripeLevel == enum_InstanceFileStripeLevel[_]
    input.Body.labels.STRING == STRING
    input.Body.name == STRING
    input.Body.network == STRING
    input.Body.reservedIpRange == STRING
    input.ReqMap.name == STRING
    input.Qs.requestId == STRING
    input.Qs.updateMask == STRING
    input.ProviderMetadata.Region == STRING
}

valid {
    input.ReqMap.name == STRING
    input.Qs.filter == STRING
    input.Qs.pageSize == INTEGER
    input.Qs.pageToken == STRING
    input.ProviderMetadata.Region == STRING
}

valid {
    input.Body.STRING == STRING
    input.ReqMap.name == STRING
    input.ProviderMetadata.Region == STRING
}

valid {
    input.ReqMap.name == STRING
    input.ProviderMetadata.Region == STRING
}

valid {
    input.ReqMap.name == STRING
    input.ProviderMetadata.Region == STRING
}

valid {
    input.ReqMap.name == STRING
    input.Qs.filter == STRING
    input.Qs.pageSize == INTEGER
    input.Qs.pageToken == STRING
    input.ProviderMetadata.Region == STRING
}