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.parent == STRING
    input.Qs.pageSize == INTEGER
    input.Qs.pageToken == STRING
    input.ProviderMetadata.Region == STRING
}

valid {
    input.Body.dataSourceIds[_] == STRING
    input.ReqMap.name == 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.parent == STRING
    input.Qs.pageSize == INTEGER
    input.Qs.pageToken == STRING
    input.ProviderMetadata.Region == STRING
}

valid {
    input.Body.dataSourceIds[_] == STRING
    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
}

valid {
    input.Body.dataRefreshWindowDays == INTEGER
    input.Body.dataSourceId == STRING
    input.Body.destinationDatasetId == STRING
    input.Body.disabled == BOOLEAN
    input.Body.displayName == STRING
    input.Body.emailPreferences.enableFailureEmail == BOOLEAN
    input.Body.encryptionConfiguration.kmsKeyName == STRING
    input.Body.name == STRING
    input.Body.notificationPubsubTopic == STRING
    input.Body.params.STRING == ANY
    input.Body.schedule == STRING
    input.Body.scheduleOptions.disableAutoScheduling == BOOLEAN
    input.Body.scheduleOptions.endTime == STRING
    input.Body.scheduleOptions.startTime == STRING
    input.Body.scheduleOptionsV2.eventDrivenSchedule.pubsubSubscription == STRING
    input.Body.scheduleOptionsV2.manualSchedule.STRING == STRING
    input.Body.scheduleOptionsV2.timeBasedSchedule.endTime == STRING
    input.Body.scheduleOptionsV2.timeBasedSchedule.schedule == STRING
    input.Body.scheduleOptionsV2.timeBasedSchedule.startTime == STRING
    input.Body.userId == STRING
    input.ReqMap.parent == STRING
    input.Qs.authorizationCode == STRING
    input.Qs.serviceAccountName == STRING
    input.Qs.versionInfo == 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.parent == STRING
    input.Qs.dataSourceIds == STRING
    input.Qs.pageSize == INTEGER
    input.Qs.pageToken == STRING
    input.ProviderMetadata.Region == STRING
}

valid {
    input.Body.dataRefreshWindowDays == INTEGER
    input.Body.dataSourceId == STRING
    input.Body.destinationDatasetId == STRING
    input.Body.disabled == BOOLEAN
    input.Body.displayName == STRING
    input.Body.emailPreferences.enableFailureEmail == BOOLEAN
    input.Body.encryptionConfiguration.kmsKeyName == STRING
    input.Body.name == STRING
    input.Body.notificationPubsubTopic == STRING
    input.Body.params.STRING == ANY
    input.Body.schedule == STRING
    input.Body.scheduleOptions.disableAutoScheduling == BOOLEAN
    input.Body.scheduleOptions.endTime == STRING
    input.Body.scheduleOptions.startTime == STRING
    input.Body.scheduleOptionsV2.eventDrivenSchedule.pubsubSubscription == STRING
    input.Body.scheduleOptionsV2.manualSchedule.STRING == STRING
    input.Body.scheduleOptionsV2.timeBasedSchedule.endTime == STRING
    input.Body.scheduleOptionsV2.timeBasedSchedule.schedule == STRING
    input.Body.scheduleOptionsV2.timeBasedSchedule.startTime == STRING
    input.Body.userId == STRING
    input.ReqMap.name == STRING
    input.Qs.authorizationCode == STRING
    input.Qs.serviceAccountName == STRING
    input.Qs.updateMask == STRING
    input.Qs.versionInfo == STRING
    input.ProviderMetadata.Region == STRING
}

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

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

enum_RunAttemptParameter := [ "RUN_ATTEMPT_UNSPECIFIED", "LATEST" ]
enum_StatesParameter := [ "TRANSFER_STATE_UNSPECIFIED", "PENDING", "RUNNING", "SUCCEEDED", "FAILED", "CANCELLED" ]

valid {
    input.ReqMap.parent == STRING
    input.Qs.pageSize == INTEGER
    input.Qs.pageToken == STRING
    input.Qs.runAttempt == enum_RunAttemptParameter[_]
    input.Qs.states == enum_StatesParameter[_]
    input.ProviderMetadata.Region == STRING
}

enum_MessageTypesParameter := [ "MESSAGE_SEVERITY_UNSPECIFIED", "INFO", "WARNING", "ERROR" ]

valid {
    input.ReqMap.parent == STRING
    input.Qs.messageTypes == enum_MessageTypesParameter[_]
    input.Qs.pageSize == INTEGER
    input.Qs.pageToken == STRING
    input.ProviderMetadata.Region == STRING
}

valid {
    input.Body.endTime == STRING
    input.Body.startTime == STRING
    input.ReqMap.parent == STRING
    input.ProviderMetadata.Region == STRING
}

valid {
    input.Body.requestedRunTime == STRING
    input.Body.requestedTimeRange.endTime == STRING
    input.Body.requestedTimeRange.startTime == STRING
    input.ReqMap.parent == STRING
    input.ProviderMetadata.Region == STRING
}

valid {
    input.Body.dataSourceIds[_] == STRING
    input.ReqMap.name == STRING
    input.ProviderMetadata.Region == STRING
}

valid {
    input.Body.dataRefreshWindowDays == INTEGER
    input.Body.dataSourceId == STRING
    input.Body.destinationDatasetId == STRING
    input.Body.disabled == BOOLEAN
    input.Body.displayName == STRING
    input.Body.emailPreferences.enableFailureEmail == BOOLEAN
    input.Body.encryptionConfiguration.kmsKeyName == STRING
    input.Body.name == STRING
    input.Body.notificationPubsubTopic == STRING
    input.Body.params.STRING == ANY
    input.Body.schedule == STRING
    input.Body.scheduleOptions.disableAutoScheduling == BOOLEAN
    input.Body.scheduleOptions.endTime == STRING
    input.Body.scheduleOptions.startTime == STRING
    input.Body.scheduleOptionsV2.eventDrivenSchedule.pubsubSubscription == STRING
    input.Body.scheduleOptionsV2.manualSchedule.STRING == STRING
    input.Body.scheduleOptionsV2.timeBasedSchedule.endTime == STRING
    input.Body.scheduleOptionsV2.timeBasedSchedule.schedule == STRING
    input.Body.scheduleOptionsV2.timeBasedSchedule.startTime == STRING
    input.Body.userId == STRING
    input.ReqMap.parent == STRING
    input.Qs.authorizationCode == STRING
    input.Qs.serviceAccountName == STRING
    input.Qs.versionInfo == 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.parent == STRING
    input.Qs.dataSourceIds == STRING
    input.Qs.pageSize == INTEGER
    input.Qs.pageToken == STRING
    input.ProviderMetadata.Region == STRING
}

valid {
    input.Body.dataRefreshWindowDays == INTEGER
    input.Body.dataSourceId == STRING
    input.Body.destinationDatasetId == STRING
    input.Body.disabled == BOOLEAN
    input.Body.displayName == STRING
    input.Body.emailPreferences.enableFailureEmail == BOOLEAN
    input.Body.encryptionConfiguration.kmsKeyName == STRING
    input.Body.name == STRING
    input.Body.notificationPubsubTopic == STRING
    input.Body.params.STRING == ANY
    input.Body.schedule == STRING
    input.Body.scheduleOptions.disableAutoScheduling == BOOLEAN
    input.Body.scheduleOptions.endTime == STRING
    input.Body.scheduleOptions.startTime == STRING
    input.Body.scheduleOptionsV2.eventDrivenSchedule.pubsubSubscription == STRING
    input.Body.scheduleOptionsV2.manualSchedule.STRING == STRING
    input.Body.scheduleOptionsV2.timeBasedSchedule.endTime == STRING
    input.Body.scheduleOptionsV2.timeBasedSchedule.schedule == STRING
    input.Body.scheduleOptionsV2.timeBasedSchedule.startTime == STRING
    input.Body.userId == STRING
    input.ReqMap.name == STRING
    input.Qs.authorizationCode == STRING
    input.Qs.serviceAccountName == STRING
    input.Qs.updateMask == STRING
    input.Qs.versionInfo == STRING
    input.ProviderMetadata.Region == STRING
}

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

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

enum_RunAttemptParameter := [ "RUN_ATTEMPT_UNSPECIFIED", "LATEST" ]
enum_StatesParameter := [ "TRANSFER_STATE_UNSPECIFIED", "PENDING", "RUNNING", "SUCCEEDED", "FAILED", "CANCELLED" ]

valid {
    input.ReqMap.parent == STRING
    input.Qs.pageSize == INTEGER
    input.Qs.pageToken == STRING
    input.Qs.runAttempt == enum_RunAttemptParameter[_]
    input.Qs.states == enum_StatesParameter[_]
    input.ProviderMetadata.Region == STRING
}

enum_MessageTypesParameter := [ "MESSAGE_SEVERITY_UNSPECIFIED", "INFO", "WARNING", "ERROR" ]

valid {
    input.ReqMap.parent == STRING
    input.Qs.messageTypes == enum_MessageTypesParameter[_]
    input.Qs.pageSize == INTEGER
    input.Qs.pageToken == STRING
    input.ProviderMetadata.Region == STRING
}

valid {
    input.Body.endTime == STRING
    input.Body.startTime == STRING
    input.ReqMap.parent == STRING
    input.ProviderMetadata.Region == STRING
}

valid {
    input.Body.requestedRunTime == STRING
    input.Body.requestedTimeRange.endTime == STRING
    input.Body.requestedTimeRange.startTime == STRING
    input.ReqMap.parent == STRING
    input.ProviderMetadata.Region == STRING
}