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.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
}

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

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

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

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

enum_GoogleChecksRepoScanV1alphaCodeScanDataTypeClassificationDataType := [ "DATA_TYPE_UNSPECIFIED", "DATA_TYPE_APPROXIMATE_LOCATION", "DATA_TYPE_PRECISE_LOCATION", "DATA_TYPE_PERSONAL_NAME", "DATA_TYPE_EMAIL_ADDRESS", "DATA_TYPE_USER_IDS", "DATA_TYPE_PHYSICAL_ADDRESS", "DATA_TYPE_PHONE_NUMBER", "DATA_TYPE_RACE_AND_ETHNICITY", "DATA_TYPE_POLITICAL_OR_RELIGIOUS_BELIEFS", "DATA_TYPE_SEXUAL_ORIENTATION", "DATA_TYPE_OTHER_PERSONAL_INFO", "DATA_TYPE_PAYMENT_INFO", "DATA_TYPE_PURCHASE_HISTORY", "DATA_TYPE_CREDIT_SCORE", "DATA_TYPE_OTHER_FINANCIAL_INFO", "DATA_TYPE_HEALTH_INFO", "DATA_TYPE_FITNESS_INFO", "DATA_TYPE_EMAILS", "DATA_TYPE_TEXT_MESSAGES", "DATA_TYPE_OTHER_IN_APP_MESSAGES", "DATA_TYPE_PHOTOS", "DATA_TYPE_VIDEOS", "DATA_TYPE_VOICE_OR_SOUND_RECORDINGS", "DATA_TYPE_MUSIC_FILES", "DATA_TYPE_OTHER_AUDIO_FILES", "DATA_TYPE_FILES_AND_DOCS", "DATA_TYPE_CALENDAR_EVENTS", "DATA_TYPE_CONTACTS", "DATA_TYPE_APP_INTERACTIONS", "DATA_TYPE_IN_APP_SEARCH_HISTORY", "DATA_TYPE_INSTALLED_APPS", "DATA_TYPE_OTHER_USER_GENERATED_CONTENT", "DATA_TYPE_OTHER_ACTIONS", "DATA_TYPE_WEB_BROWSING_HISTORY", "DATA_TYPE_CRASH_LOGS", "DATA_TYPE_PERFORMANCE_DIAGNOSTICS", "DATA_TYPE_OTHER_APP_PERFORMANCE_DATA", "DATA_TYPE_DEVICE_OR_OTHER_IDS" ]
enum_GoogleChecksRepoScanV1alphaSourceDataType := [ "DATA_TYPE_UNSPECIFIED", "DATA_TYPE_APPROXIMATE_LOCATION", "DATA_TYPE_PRECISE_LOCATION", "DATA_TYPE_PERSONAL_NAME", "DATA_TYPE_EMAIL_ADDRESS", "DATA_TYPE_USER_IDS", "DATA_TYPE_PHYSICAL_ADDRESS", "DATA_TYPE_PHONE_NUMBER", "DATA_TYPE_RACE_AND_ETHNICITY", "DATA_TYPE_POLITICAL_OR_RELIGIOUS_BELIEFS", "DATA_TYPE_SEXUAL_ORIENTATION", "DATA_TYPE_OTHER_PERSONAL_INFO", "DATA_TYPE_PAYMENT_INFO", "DATA_TYPE_PURCHASE_HISTORY", "DATA_TYPE_CREDIT_SCORE", "DATA_TYPE_OTHER_FINANCIAL_INFO", "DATA_TYPE_HEALTH_INFO", "DATA_TYPE_FITNESS_INFO", "DATA_TYPE_EMAILS", "DATA_TYPE_TEXT_MESSAGES", "DATA_TYPE_OTHER_IN_APP_MESSAGES", "DATA_TYPE_PHOTOS", "DATA_TYPE_VIDEOS", "DATA_TYPE_VOICE_OR_SOUND_RECORDINGS", "DATA_TYPE_MUSIC_FILES", "DATA_TYPE_OTHER_AUDIO_FILES", "DATA_TYPE_FILES_AND_DOCS", "DATA_TYPE_CALENDAR_EVENTS", "DATA_TYPE_CONTACTS", "DATA_TYPE_APP_INTERACTIONS", "DATA_TYPE_IN_APP_SEARCH_HISTORY", "DATA_TYPE_INSTALLED_APPS", "DATA_TYPE_OTHER_USER_GENERATED_CONTENT", "DATA_TYPE_OTHER_ACTIONS", "DATA_TYPE_WEB_BROWSING_HISTORY", "DATA_TYPE_CRASH_LOGS", "DATA_TYPE_PERFORMANCE_DIAGNOSTICS", "DATA_TYPE_OTHER_APP_PERFORMANCE_DATA", "DATA_TYPE_DEVICE_OR_OTHER_IDS" ]

valid {
    input.Body.cliAnalysis.codeScans[_].dataTypeClassifications[_].dataType == enum_GoogleChecksRepoScanV1alphaCodeScanDataTypeClassificationDataType[_]
    input.Body.cliAnalysis.codeScans[_].dataTypeClassifications[_].lineNumber == INTEGER
    input.Body.cliAnalysis.codeScans[_].sourceCode.code == STRING
    input.Body.cliAnalysis.codeScans[_].sourceCode.endLine == INTEGER
    input.Body.cliAnalysis.codeScans[_].sourceCode.path == STRING
    input.Body.cliAnalysis.codeScans[_].sourceCode.startLine == INTEGER
    input.Body.cliAnalysis.sources[_].codeAttribution.codeExcerpt == STRING
    input.Body.cliAnalysis.sources[_].codeAttribution.lineNumber == INTEGER
    input.Body.cliAnalysis.sources[_].codeAttribution.path == STRING
    input.Body.cliAnalysis.sources[_].codeAttribution.startLineNumber == INTEGER
    input.Body.cliAnalysis.sources[_].dataType == enum_GoogleChecksRepoScanV1alphaSourceDataType[_]
    input.Body.cliAnalysis.sources[_].falsePositive == BOOLEAN
    input.Body.cliVersion == STRING
    input.Body.localScanPath == STRING
    input.Body.scmMetadata.branch == STRING
    input.Body.scmMetadata.pullRequest.baseBranch == STRING
    input.Body.scmMetadata.pullRequest.prNumber == STRING
    input.Body.scmMetadata.remoteUri == STRING
    input.Body.scmMetadata.revisionId == STRING
    input.ReqMap.parent == STRING
    input.ProviderMetadata.Region == STRING
}

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

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

enum_GoogleChecksAisafetyV1alphaClassifyContentRequestClassifierVersion := [ "CLASSIFIER_VERSION_UNSPECIFIED", "STABLE", "LATEST" ]
enum_GoogleChecksAisafetyV1alphaClassifyContentRequestPolicyConfigPolicyType := [ "POLICY_TYPE_UNSPECIFIED", "DANGEROUS_CONTENT", "PII_SOLICITING_RECITING", "HARASSMENT", "SEXUALLY_EXPLICIT", "HATE_SPEECH", "MEDICAL_INFO", "VIOLENCE_AND_GORE", "OBSCENITY_AND_PROFANITY" ]

valid {
    input.Body.classifierVersion == enum_GoogleChecksAisafetyV1alphaClassifyContentRequestClassifierVersion[_]
    input.Body.context.prompt == STRING
    input.Body.input.textInput.content == STRING
    input.Body.input.textInput.languageCode == STRING
    input.Body.policies[_].policyType == enum_GoogleChecksAisafetyV1alphaClassifyContentRequestPolicyConfigPolicyType[_]
    input.Body.policies[_].threshold == NUMBER
    input.ProviderMetadata.Region == STRING
}

enum_GoogleChecksReportV1alphaAnalyzeUploadRequestAppBinaryFileType := [ "APP_BINARY_FILE_TYPE_UNSPECIFIED", "ANDROID_APK", "ANDROID_AAB", "IOS_IPA" ]

valid {
    input.Body.appBinaryFileType == enum_GoogleChecksReportV1alphaAnalyzeUploadRequestAppBinaryFileType[_]
    input.Body.codeReferenceId == STRING
    input.ReqMap.parent == STRING
    input.ProviderMetadata.Region == STRING
}