enum_InstanceConfigInstanceSize := [ "INSTANCE_SIZE_UNSPECIFIED", "STANDARD_SMALL", "STANDARD_MEDIUM", "STANDARD_LARGE", "STANDARD_XLARGE", "STANDARD_2XLARGE", "STANDARD_3XLARGE", "DEV_XSMALL", "MULTIREGION_SMALL", "MULTIREGION_MEDIUM", "MULTIREGION_LARGE", "MULTIREGION_XLARGE", "MULTIREGION_2XLARGE", "MULTIREGION_3XLARGE" ]
enum_SAMLParamsAuthenticationContexts := [ "AUTHENTICATION_CONTEXT_UNSPECIFIED", "INTERNET_PROTOCOL", "INTERNET_PROTOCOL_PASSWORD", "KERBEROS", "MOBILE_ONE_FACTOR_UNREGISTERED", "MOBILE_TWO_FACTOR_UNREGISTERED", "MOBILE_ONE_FACTOR_CONTRACT", "MOBILE_TWO_FACTOR_CONTRACT", "PASSWORD", "PASSWORD_PROTECTED_TRANSPORT", "PREVIOUS_SESSION", "PUBLIC_KEY_X509", "PUBLIC_KEY_PGP", "PUBLIC_KEY_SPKI", "PUBLIC_KEY_XML_DIGITAL_SIGNATURE", "SMARTCARD", "SMARTCARD_PKI", "SOFTWARE_PKI", "TELEPHONY", "TELEPHONY_NOMADIC", "TELEPHONY_PERSONALIZED", "TELEPHONY_AUTHENTICATED", "SECURE_REMOTE_PASSWORD", "SSL_TLS_CERTIFICATE_BASED", "TIME_SYNC_TOKEN" ]
enum_WeeklyScheduleDays := [ "DAY_OF_WEEK_UNSPECIFIED", "MONDAY", "TUESDAY", "WEDNESDAY", "THURSDAY", "FRIDAY", "SATURDAY", "SUNDAY" ]

valid {
    input.Body.adminUser.familyName == STRING
    input.Body.adminUser.givenName == STRING
    input.Body.ccaipManagedUsers == BOOLEAN
    input.Body.critical.peakHours[_].days[_] == enum_WeeklyScheduleDays[_]
    input.Body.critical.peakHours[_].duration == STRING
    input.Body.critical.peakHours[_].endTime.hours == INTEGER
    input.Body.critical.peakHours[_].endTime.minutes == INTEGER
    input.Body.critical.peakHours[_].endTime.nanos == INTEGER
    input.Body.critical.peakHours[_].endTime.seconds == INTEGER
    input.Body.critical.peakHours[_].startTime.hours == INTEGER
    input.Body.critical.peakHours[_].startTime.minutes == INTEGER
    input.Body.critical.peakHours[_].startTime.nanos == INTEGER
    input.Body.critical.peakHours[_].startTime.seconds == INTEGER
    input.Body.customerDomainPrefix == STRING
    input.Body.displayName == STRING
    input.Body.early.STRING == STRING
    input.Body.instanceConfig.instanceSize == enum_InstanceConfigInstanceSize[_]
    input.Body.kmsKey == STRING
    input.Body.labels.STRING == STRING
    input.Body.name == STRING
    input.Body.normal.STRING == STRING
    input.Body.privateAccess.egressSettings[_].name == STRING
    input.Body.privateAccess.egressSettings[_].serviceAttachmentNames[_] == STRING
    input.Body.privateAccess.ingressSettings[_].name == STRING
    input.Body.privateAccess.ingressSettings[_].serviceAttachmentNames[_] == STRING
    input.Body.privateAccess.pscSetting.allowedConsumerProjectIds[_] == STRING
    input.Body.samlParams.authenticationContexts[_] == enum_SAMLParamsAuthenticationContexts[_]
    input.Body.samlParams.certificate == STRING
    input.Body.samlParams.emailMapping == STRING
    input.Body.samlParams.entityId == STRING
    input.Body.samlParams.ssoUri == STRING
    input.Body.samlParams.userEmail == STRING
    input.Body.userEmail == STRING
    input.ReqMap.parent == STRING
    input.Qs.contactCenterId == STRING
    input.Qs.requestId == STRING
    input.ProviderMetadata.Region == STRING
}

valid {
    input.ReqMap.name == STRING
    input.Qs.requestId == 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.orderBy == STRING
    input.Qs.pageSize == INTEGER
    input.Qs.pageToken == STRING
    input.ProviderMetadata.Region == STRING
}

enum_InstanceConfigInstanceSize := [ "INSTANCE_SIZE_UNSPECIFIED", "STANDARD_SMALL", "STANDARD_MEDIUM", "STANDARD_LARGE", "STANDARD_XLARGE", "STANDARD_2XLARGE", "STANDARD_3XLARGE", "DEV_XSMALL", "MULTIREGION_SMALL", "MULTIREGION_MEDIUM", "MULTIREGION_LARGE", "MULTIREGION_XLARGE", "MULTIREGION_2XLARGE", "MULTIREGION_3XLARGE" ]
enum_SAMLParamsAuthenticationContexts := [ "AUTHENTICATION_CONTEXT_UNSPECIFIED", "INTERNET_PROTOCOL", "INTERNET_PROTOCOL_PASSWORD", "KERBEROS", "MOBILE_ONE_FACTOR_UNREGISTERED", "MOBILE_TWO_FACTOR_UNREGISTERED", "MOBILE_ONE_FACTOR_CONTRACT", "MOBILE_TWO_FACTOR_CONTRACT", "PASSWORD", "PASSWORD_PROTECTED_TRANSPORT", "PREVIOUS_SESSION", "PUBLIC_KEY_X509", "PUBLIC_KEY_PGP", "PUBLIC_KEY_SPKI", "PUBLIC_KEY_XML_DIGITAL_SIGNATURE", "SMARTCARD", "SMARTCARD_PKI", "SOFTWARE_PKI", "TELEPHONY", "TELEPHONY_NOMADIC", "TELEPHONY_PERSONALIZED", "TELEPHONY_AUTHENTICATED", "SECURE_REMOTE_PASSWORD", "SSL_TLS_CERTIFICATE_BASED", "TIME_SYNC_TOKEN" ]
enum_WeeklyScheduleDays := [ "DAY_OF_WEEK_UNSPECIFIED", "MONDAY", "TUESDAY", "WEDNESDAY", "THURSDAY", "FRIDAY", "SATURDAY", "SUNDAY" ]

valid {
    input.Body.adminUser.familyName == STRING
    input.Body.adminUser.givenName == STRING
    input.Body.ccaipManagedUsers == BOOLEAN
    input.Body.critical.peakHours[_].days[_] == enum_WeeklyScheduleDays[_]
    input.Body.critical.peakHours[_].duration == STRING
    input.Body.critical.peakHours[_].endTime.hours == INTEGER
    input.Body.critical.peakHours[_].endTime.minutes == INTEGER
    input.Body.critical.peakHours[_].endTime.nanos == INTEGER
    input.Body.critical.peakHours[_].endTime.seconds == INTEGER
    input.Body.critical.peakHours[_].startTime.hours == INTEGER
    input.Body.critical.peakHours[_].startTime.minutes == INTEGER
    input.Body.critical.peakHours[_].startTime.nanos == INTEGER
    input.Body.critical.peakHours[_].startTime.seconds == INTEGER
    input.Body.customerDomainPrefix == STRING
    input.Body.displayName == STRING
    input.Body.early.STRING == STRING
    input.Body.instanceConfig.instanceSize == enum_InstanceConfigInstanceSize[_]
    input.Body.kmsKey == STRING
    input.Body.labels.STRING == STRING
    input.Body.name == STRING
    input.Body.normal.STRING == STRING
    input.Body.privateAccess.egressSettings[_].name == STRING
    input.Body.privateAccess.egressSettings[_].serviceAttachmentNames[_] == STRING
    input.Body.privateAccess.ingressSettings[_].name == STRING
    input.Body.privateAccess.ingressSettings[_].serviceAttachmentNames[_] == STRING
    input.Body.privateAccess.pscSetting.allowedConsumerProjectIds[_] == STRING
    input.Body.samlParams.authenticationContexts[_] == enum_SAMLParamsAuthenticationContexts[_]
    input.Body.samlParams.certificate == STRING
    input.Body.samlParams.emailMapping == STRING
    input.Body.samlParams.entityId == STRING
    input.Body.samlParams.ssoUri == STRING
    input.Body.samlParams.userEmail == STRING
    input.Body.userEmail == STRING
    input.ReqMap.name == STRING
    input.Qs.requestId == STRING
    input.Qs.updateMask == 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.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.ReqMap.parent == STRING
    input.ProviderMetadata.Region == STRING
}