valid {
    input.Body.annotationSource.cloudHealthcareSource.name == STRING
    input.Body.customData.STRING == STRING
    input.Body.imageAnnotation.boundingPolys[_].label == STRING
    input.Body.imageAnnotation.boundingPolys[_].vertices[_].x == NUMBER
    input.Body.imageAnnotation.boundingPolys[_].vertices[_].y == NUMBER
    input.Body.imageAnnotation.frameIndex == INTEGER
    input.Body.name == STRING
    input.Body.resourceAnnotation.label == STRING
    input.Body.textAnnotation.details.STRING.findings[_].end == STRING
    input.Body.textAnnotation.details.STRING.findings[_].infoType == STRING
    input.Body.textAnnotation.details.STRING.findings[_].quote == STRING
    input.Body.textAnnotation.details.STRING.findings[_].start == STRING
    input.ReqMap.parent == STRING
    input.ProviderMetadata.Region == STRING
}

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

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

enum_ViewParameter := [ "ANNOTATION_VIEW_UNSPECIFIED", "ANNOTATION_VIEW_BASIC", "ANNOTATION_VIEW_FULL" ]

valid {
    input.ReqMap.parent == STRING
    input.Qs.filter == STRING
    input.Qs.pageSize == INTEGER
    input.Qs.pageToken == STRING
    input.Qs.view == enum_ViewParameter[_]
    input.ProviderMetadata.Region == STRING
}

valid {
    input.Body.annotationSource.cloudHealthcareSource.name == STRING
    input.Body.customData.STRING == STRING
    input.Body.imageAnnotation.boundingPolys[_].label == STRING
    input.Body.imageAnnotation.boundingPolys[_].vertices[_].x == NUMBER
    input.Body.imageAnnotation.boundingPolys[_].vertices[_].y == NUMBER
    input.Body.imageAnnotation.frameIndex == INTEGER
    input.Body.name == STRING
    input.Body.resourceAnnotation.label == STRING
    input.Body.textAnnotation.details.STRING.findings[_].end == STRING
    input.Body.textAnnotation.details.STRING.findings[_].infoType == STRING
    input.Body.textAnnotation.details.STRING.findings[_].quote == STRING
    input.Body.textAnnotation.details.STRING.findings[_].start == STRING
    input.ReqMap.name == STRING
    input.Qs.updateMask == STRING
    input.ProviderMetadata.Region == STRING
}

valid {
    input.Body.labels.STRING == STRING
    input.Body.name == STRING
    input.ReqMap.parent == STRING
    input.Qs.annotationStoreId == STRING
    input.ProviderMetadata.Region == STRING
}

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

enum_GoogleCloudHealthcareV1beta1AnnotationBigQueryDestinationSchemaType := [ "SCHEMA_TYPE_UNSPECIFIED", "SIMPLE" ]
enum_GoogleCloudHealthcareV1beta1AnnotationBigQueryDestinationWriteDisposition := [ "WRITE_DISPOSITION_UNSPECIFIED", "WRITE_EMPTY", "WRITE_TRUNCATE", "WRITE_APPEND" ]

valid {
    input.Body.bigqueryDestination.force == BOOLEAN
    input.Body.bigqueryDestination.schemaType == enum_GoogleCloudHealthcareV1beta1AnnotationBigQueryDestinationSchemaType[_]
    input.Body.bigqueryDestination.tableUri == STRING
    input.Body.bigqueryDestination.writeDisposition == enum_GoogleCloudHealthcareV1beta1AnnotationBigQueryDestinationWriteDisposition[_]
    input.Body.evalInfoTypeMapping.STRING == STRING
    input.Body.goldenInfoTypeMapping.STRING == STRING
    input.Body.goldenStore == STRING
    input.Body.infoTypeConfig.evaluateList.infoTypes[_] == STRING
    input.Body.infoTypeConfig.ignoreList.infoTypes[_] == STRING
    input.Body.infoTypeConfig.strictMatching == BOOLEAN
    input.ReqMap.name == STRING
    input.ProviderMetadata.Region == STRING
}

enum_GoogleCloudHealthcareV1beta1AnnotationBigQueryDestinationSchemaType := [ "SCHEMA_TYPE_UNSPECIFIED", "SIMPLE" ]
enum_GoogleCloudHealthcareV1beta1AnnotationBigQueryDestinationWriteDisposition := [ "WRITE_DISPOSITION_UNSPECIFIED", "WRITE_EMPTY", "WRITE_TRUNCATE", "WRITE_APPEND" ]

valid {
    input.Body.bigqueryDestination.force == BOOLEAN
    input.Body.bigqueryDestination.schemaType == enum_GoogleCloudHealthcareV1beta1AnnotationBigQueryDestinationSchemaType[_]
    input.Body.bigqueryDestination.tableUri == STRING
    input.Body.bigqueryDestination.writeDisposition == enum_GoogleCloudHealthcareV1beta1AnnotationBigQueryDestinationWriteDisposition[_]
    input.Body.gcsDestination.uriPrefix == STRING
    input.ReqMap.name == STRING
    input.ProviderMetadata.Region == STRING
}

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

valid {
    input.ReqMap.resource == STRING
    input.Qs.options.requestedPolicyVersion == INTEGER
    input.ProviderMetadata.Region == STRING
}

valid {
    input.Body.gcsSource.uri == STRING
    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
}

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

enum_AuditLogConfigLogType := [ "LOG_TYPE_UNSPECIFIED", "ADMIN_READ", "DATA_WRITE", "DATA_READ" ]

valid {
    input.Body.policy.auditConfigs[_].auditLogConfigs[_].exemptedMembers[_] == STRING
    input.Body.policy.auditConfigs[_].auditLogConfigs[_].logType == enum_AuditLogConfigLogType[_]
    input.Body.policy.auditConfigs[_].service == STRING
    input.Body.policy.bindings[_].condition.description == STRING
    input.Body.policy.bindings[_].condition.expression == STRING
    input.Body.policy.bindings[_].condition.location == STRING
    input.Body.policy.bindings[_].condition.title == STRING
    input.Body.policy.bindings[_].members[_] == STRING
    input.Body.policy.bindings[_].role == STRING
    input.Body.policy.etag == STRING
    input.Body.policy.version == INTEGER
    input.Body.updateMask == STRING
    input.ReqMap.resource == STRING
    input.ProviderMetadata.Region == STRING
}

valid {
    input.Body.permissions[_] == STRING
    input.ReqMap.resource == STRING
    input.ProviderMetadata.Region == STRING
}

enum_AttributeDefinitionCategory := [ "CATEGORY_UNSPECIFIED", "RESOURCE", "REQUEST" ]

valid {
    input.Body.allowedValues[_] == STRING
    input.Body.category == enum_AttributeDefinitionCategory[_]
    input.Body.consentDefaultValues[_] == STRING
    input.Body.dataMappingDefaultValue == STRING
    input.Body.description == STRING
    input.Body.name == STRING
    input.ReqMap.parent == STRING
    input.Qs.attributeDefinitionId == 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.filter == STRING
    input.Qs.pageSize == INTEGER
    input.Qs.pageToken == STRING
    input.ProviderMetadata.Region == STRING
}

enum_AttributeDefinitionCategory := [ "CATEGORY_UNSPECIFIED", "RESOURCE", "REQUEST" ]

valid {
    input.Body.allowedValues[_] == STRING
    input.Body.category == enum_AttributeDefinitionCategory[_]
    input.Body.consentDefaultValues[_] == STRING
    input.Body.dataMappingDefaultValue == STRING
    input.Body.description == STRING
    input.Body.name == STRING
    input.ReqMap.name == STRING
    input.Qs.updateMask == STRING
    input.ProviderMetadata.Region == STRING
}

enum_CheckDataAccessRequestResponseView := [ "RESPONSE_VIEW_UNSPECIFIED", "BASIC", "FULL" ]

valid {
    input.Body.consentList.consents[_] == STRING
    input.Body.dataId == STRING
    input.Body.requestAttributes.STRING == STRING
    input.Body.responseView == enum_CheckDataAccessRequestResponseView[_]
    input.ReqMap.consentStore == STRING
    input.ProviderMetadata.Region == STRING
}

valid {
    input.Body.consentContentScreenshots[_].gcsUri == STRING
    input.Body.consentContentScreenshots[_].rawBytes == STRING
    input.Body.consentContentVersion == STRING
    input.Body.guardianSignature.image.gcsUri == STRING
    input.Body.guardianSignature.image.rawBytes == STRING
    input.Body.guardianSignature.metadata.STRING == STRING
    input.Body.guardianSignature.signatureTime == STRING
    input.Body.guardianSignature.userId == STRING
    input.Body.metadata.STRING == STRING
    input.Body.name == STRING
    input.Body.userId == STRING
    input.Body.userSignature.image.gcsUri == STRING
    input.Body.userSignature.image.rawBytes == STRING
    input.Body.userSignature.metadata.STRING == STRING
    input.Body.userSignature.signatureTime == STRING
    input.Body.userSignature.userId == STRING
    input.Body.witnessSignature.image.gcsUri == STRING
    input.Body.witnessSignature.image.rawBytes == STRING
    input.Body.witnessSignature.metadata.STRING == STRING
    input.Body.witnessSignature.signatureTime == STRING
    input.Body.witnessSignature.userId == STRING
    input.ReqMap.parent == 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.filter == STRING
    input.Qs.pageSize == INTEGER
    input.Qs.pageToken == STRING
    input.ProviderMetadata.Region == STRING
}

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

enum_ConsentState := [ "STATE_UNSPECIFIED", "ACTIVE", "ARCHIVED", "REVOKED", "DRAFT", "REJECTED" ]

valid {
    input.Body.consentArtifact == STRING
    input.Body.expireTime == STRING
    input.Body.metadata.STRING == STRING
    input.Body.name == STRING
    input.Body.policies[_].authorizationRule.description == STRING
    input.Body.policies[_].authorizationRule.expression == STRING
    input.Body.policies[_].authorizationRule.location == STRING
    input.Body.policies[_].authorizationRule.title == STRING
    input.Body.policies[_].resourceAttributes[_].attributeDefinitionId == STRING
    input.Body.policies[_].resourceAttributes[_].values[_] == STRING
    input.Body.state == enum_ConsentState[_]
    input.Body.ttl == STRING
    input.Body.userId == STRING
    input.ReqMap.parent == 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.ProviderMetadata.Region == STRING
}

valid {
    input.ReqMap.parent == STRING
    input.Qs.filter == STRING
    input.Qs.pageSize == INTEGER
    input.Qs.pageToken == 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
}

enum_ConsentState := [ "STATE_UNSPECIFIED", "ACTIVE", "ARCHIVED", "REVOKED", "DRAFT", "REJECTED" ]

valid {
    input.Body.consentArtifact == STRING
    input.Body.expireTime == STRING
    input.Body.metadata.STRING == STRING
    input.Body.name == STRING
    input.Body.policies[_].authorizationRule.description == STRING
    input.Body.policies[_].authorizationRule.expression == STRING
    input.Body.policies[_].authorizationRule.location == STRING
    input.Body.policies[_].authorizationRule.title == STRING
    input.Body.policies[_].resourceAttributes[_].attributeDefinitionId == STRING
    input.Body.policies[_].resourceAttributes[_].values[_] == STRING
    input.Body.state == enum_ConsentState[_]
    input.Body.ttl == STRING
    input.Body.userId == STRING
    input.ReqMap.name == STRING
    input.Qs.updateMask == STRING
    input.ProviderMetadata.Region == STRING
}

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

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

valid {
    input.Body.defaultConsentTtl == STRING
    input.Body.enableConsentCreateOnUpdate == BOOLEAN
    input.Body.labels.STRING == STRING
    input.Body.name == STRING
    input.ReqMap.parent == STRING
    input.Qs.consentStoreId == STRING
    input.ProviderMetadata.Region == STRING
}

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

enum_EvaluateUserConsentsRequestResponseView := [ "RESPONSE_VIEW_UNSPECIFIED", "BASIC", "FULL" ]

valid {
    input.Body.consentList.consents[_] == STRING
    input.Body.pageSize == INTEGER
    input.Body.pageToken == STRING
    input.Body.requestAttributes.STRING == STRING
    input.Body.resourceAttributes.STRING == STRING
    input.Body.responseView == enum_EvaluateUserConsentsRequestResponseView[_]
    input.Body.userId == STRING
    input.ReqMap.consentStore == STRING
    input.ProviderMetadata.Region == STRING
}

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

valid {
    input.ReqMap.resource == STRING
    input.Qs.options.requestedPolicyVersion == INTEGER
    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
}

valid {
    input.Body.defaultConsentTtl == STRING
    input.Body.enableConsentCreateOnUpdate == BOOLEAN
    input.Body.labels.STRING == STRING
    input.Body.name == STRING
    input.ReqMap.name == STRING
    input.Qs.updateMask == STRING
    input.ProviderMetadata.Region == STRING
}

valid {
    input.Body.gcsDestination.uriPrefix == STRING
    input.Body.requestAttributes.STRING == STRING
    input.Body.resourceAttributes.STRING == STRING
    input.ReqMap.consentStore == STRING
    input.ProviderMetadata.Region == STRING
}

enum_AuditLogConfigLogType := [ "LOG_TYPE_UNSPECIFIED", "ADMIN_READ", "DATA_WRITE", "DATA_READ" ]

valid {
    input.Body.policy.auditConfigs[_].auditLogConfigs[_].exemptedMembers[_] == STRING
    input.Body.policy.auditConfigs[_].auditLogConfigs[_].logType == enum_AuditLogConfigLogType[_]
    input.Body.policy.auditConfigs[_].service == STRING
    input.Body.policy.bindings[_].condition.description == STRING
    input.Body.policy.bindings[_].condition.expression == STRING
    input.Body.policy.bindings[_].condition.location == STRING
    input.Body.policy.bindings[_].condition.title == STRING
    input.Body.policy.bindings[_].members[_] == STRING
    input.Body.policy.bindings[_].role == STRING
    input.Body.policy.etag == STRING
    input.Body.policy.version == INTEGER
    input.Body.updateMask == STRING
    input.ReqMap.resource == STRING
    input.ProviderMetadata.Region == STRING
}

valid {
    input.Body.permissions[_] == STRING
    input.ReqMap.resource == STRING
    input.ProviderMetadata.Region == STRING
}

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

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

valid {
    input.Body.dataId == STRING
    input.Body.name == STRING
    input.Body.resourceAttributes[_].attributeDefinitionId == STRING
    input.Body.resourceAttributes[_].values[_] == STRING
    input.Body.userId == STRING
    input.ReqMap.name == STRING
    input.Qs.updateMask == STRING
    input.ProviderMetadata.Region == STRING
}

valid {
    input.Body.name == STRING
    input.Body.timeZone == STRING
    input.ReqMap.parent == STRING
    input.Qs.datasetId == STRING
    input.ProviderMetadata.Region == STRING
}

valid {
    input.ReqMap.resource == STRING
    input.Qs.options.requestedPolicyVersion == INTEGER
    input.ProviderMetadata.Region == STRING
}

enum_AuditLogConfigLogType := [ "LOG_TYPE_UNSPECIFIED", "ADMIN_READ", "DATA_WRITE", "DATA_READ" ]

valid {
    input.Body.policy.auditConfigs[_].auditLogConfigs[_].exemptedMembers[_] == STRING
    input.Body.policy.auditConfigs[_].auditLogConfigs[_].logType == enum_AuditLogConfigLogType[_]
    input.Body.policy.auditConfigs[_].service == STRING
    input.Body.policy.bindings[_].condition.description == STRING
    input.Body.policy.bindings[_].condition.expression == STRING
    input.Body.policy.bindings[_].condition.location == STRING
    input.Body.policy.bindings[_].condition.title == STRING
    input.Body.policy.bindings[_].members[_] == STRING
    input.Body.policy.bindings[_].role == STRING
    input.Body.policy.etag == STRING
    input.Body.policy.version == INTEGER
    input.Body.updateMask == STRING
    input.ReqMap.resource == STRING
    input.ProviderMetadata.Region == STRING
}

valid {
    input.Body.permissions[_] == STRING
    input.ReqMap.resource == STRING
    input.ProviderMetadata.Region == STRING
}

enum_DicomConfigFilterProfile := [ "TAG_FILTER_PROFILE_UNSPECIFIED", "MINIMAL_KEEP_LIST_PROFILE", "ATTRIBUTE_CONFIDENTIALITY_BASIC_PROFILE", "KEEP_ALL_PROFILE", "DEIDENTIFY_TAG_CONTENTS" ]
enum_FieldMetadataAction := [ "ACTION_UNSPECIFIED", "TRANSFORM", "INSPECT_AND_TRANSFORM", "DO_NOT_TRANSFORM" ]
enum_ImageConfigTextRedactionMode := [ "TEXT_REDACTION_MODE_UNSPECIFIED", "REDACT_ALL_TEXT", "REDACT_SENSITIVE_TEXT", "REDACT_NO_TEXT" ]

valid {
    input.Body.config.dicom.filterProfile == enum_DicomConfigFilterProfile[_]
    input.Body.config.dicom.keepList.tags[_] == STRING
    input.Body.config.dicom.removeList.tags[_] == STRING
    input.Body.config.dicom.skipIdRedaction == BOOLEAN
    input.Body.config.fhir.defaultKeepExtensions == BOOLEAN
    input.Body.config.fhir.fieldMetadataList[_].action == enum_FieldMetadataAction[_]
    input.Body.config.fhir.fieldMetadataList[_].paths[_] == STRING
    input.Body.config.image.textRedactionMode == enum_ImageConfigTextRedactionMode[_]
    input.Body.config.text.additionalTransformations[_].characterMaskConfig.maskingCharacter == STRING
    input.Body.config.text.additionalTransformations[_].cryptoHashConfig.cryptoKey == STRING
    input.Body.config.text.additionalTransformations[_].cryptoHashConfig.kmsWrapped.cryptoKey == STRING
    input.Body.config.text.additionalTransformations[_].cryptoHashConfig.kmsWrapped.wrappedKey == STRING
    input.Body.config.text.additionalTransformations[_].dateShiftConfig.cryptoKey == STRING
    input.Body.config.text.additionalTransformations[_].dateShiftConfig.kmsWrapped.cryptoKey == STRING
    input.Body.config.text.additionalTransformations[_].dateShiftConfig.kmsWrapped.wrappedKey == STRING
    input.Body.config.text.additionalTransformations[_].infoTypes[_] == STRING
    input.Body.config.text.additionalTransformations[_].redactConfig.STRING == STRING
    input.Body.config.text.additionalTransformations[_].replaceWithInfoTypeConfig.STRING == STRING
    input.Body.config.text.excludeInfoTypes[_] == STRING
    input.Body.config.text.transformations[_].characterMaskConfig.maskingCharacter == STRING
    input.Body.config.text.transformations[_].cryptoHashConfig.cryptoKey == STRING
    input.Body.config.text.transformations[_].cryptoHashConfig.kmsWrapped.cryptoKey == STRING
    input.Body.config.text.transformations[_].cryptoHashConfig.kmsWrapped.wrappedKey == STRING
    input.Body.config.text.transformations[_].dateShiftConfig.cryptoKey == STRING
    input.Body.config.text.transformations[_].dateShiftConfig.kmsWrapped.cryptoKey == STRING
    input.Body.config.text.transformations[_].dateShiftConfig.kmsWrapped.wrappedKey == STRING
    input.Body.config.text.transformations[_].infoTypes[_] == STRING
    input.Body.config.text.transformations[_].redactConfig.STRING == STRING
    input.Body.config.text.transformations[_].replaceWithInfoTypeConfig.STRING == STRING
    input.Body.config.useRegionalDataProcessing == BOOLEAN
    input.Body.destinationDataset == STRING
    input.Body.gcsConfigUri == STRING
    input.ReqMap.sourceDataset == STRING
    input.ProviderMetadata.Region == STRING
}

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

enum_GoogleCloudHealthcareV1DicomBigQueryDestinationWriteDisposition := [ "WRITE_DISPOSITION_UNSPECIFIED", "WRITE_EMPTY", "WRITE_TRUNCATE", "WRITE_APPEND" ]

valid {
    input.Body.labels.STRING == STRING
    input.Body.name == STRING
    input.Body.notificationConfig.pubsubTopic == STRING
    input.Body.notificationConfig.sendForBulkImport == BOOLEAN
    input.Body.streamConfigs[_].bigqueryDestination.force == BOOLEAN
    input.Body.streamConfigs[_].bigqueryDestination.tableUri == STRING
    input.Body.streamConfigs[_].bigqueryDestination.writeDisposition == enum_GoogleCloudHealthcareV1DicomBigQueryDestinationWriteDisposition[_]
    input.ReqMap.parent == STRING
    input.Qs.dicomStoreId == STRING
    input.ProviderMetadata.Region == STRING
}

enum_DicomConfigFilterProfile := [ "TAG_FILTER_PROFILE_UNSPECIFIED", "MINIMAL_KEEP_LIST_PROFILE", "ATTRIBUTE_CONFIDENTIALITY_BASIC_PROFILE", "KEEP_ALL_PROFILE", "DEIDENTIFY_TAG_CONTENTS" ]
enum_FieldMetadataAction := [ "ACTION_UNSPECIFIED", "TRANSFORM", "INSPECT_AND_TRANSFORM", "DO_NOT_TRANSFORM" ]
enum_ImageConfigTextRedactionMode := [ "TEXT_REDACTION_MODE_UNSPECIFIED", "REDACT_ALL_TEXT", "REDACT_SENSITIVE_TEXT", "REDACT_NO_TEXT" ]

valid {
    input.Body.config.dicom.filterProfile == enum_DicomConfigFilterProfile[_]
    input.Body.config.dicom.keepList.tags[_] == STRING
    input.Body.config.dicom.removeList.tags[_] == STRING
    input.Body.config.dicom.skipIdRedaction == BOOLEAN
    input.Body.config.fhir.defaultKeepExtensions == BOOLEAN
    input.Body.config.fhir.fieldMetadataList[_].action == enum_FieldMetadataAction[_]
    input.Body.config.fhir.fieldMetadataList[_].paths[_] == STRING
    input.Body.config.image.textRedactionMode == enum_ImageConfigTextRedactionMode[_]
    input.Body.config.text.additionalTransformations[_].characterMaskConfig.maskingCharacter == STRING
    input.Body.config.text.additionalTransformations[_].cryptoHashConfig.cryptoKey == STRING
    input.Body.config.text.additionalTransformations[_].cryptoHashConfig.kmsWrapped.cryptoKey == STRING
    input.Body.config.text.additionalTransformations[_].cryptoHashConfig.kmsWrapped.wrappedKey == STRING
    input.Body.config.text.additionalTransformations[_].dateShiftConfig.cryptoKey == STRING
    input.Body.config.text.additionalTransformations[_].dateShiftConfig.kmsWrapped.cryptoKey == STRING
    input.Body.config.text.additionalTransformations[_].dateShiftConfig.kmsWrapped.wrappedKey == STRING
    input.Body.config.text.additionalTransformations[_].infoTypes[_] == STRING
    input.Body.config.text.additionalTransformations[_].redactConfig.STRING == STRING
    input.Body.config.text.additionalTransformations[_].replaceWithInfoTypeConfig.STRING == STRING
    input.Body.config.text.excludeInfoTypes[_] == STRING
    input.Body.config.text.transformations[_].characterMaskConfig.maskingCharacter == STRING
    input.Body.config.text.transformations[_].cryptoHashConfig.cryptoKey == STRING
    input.Body.config.text.transformations[_].cryptoHashConfig.kmsWrapped.cryptoKey == STRING
    input.Body.config.text.transformations[_].cryptoHashConfig.kmsWrapped.wrappedKey == STRING
    input.Body.config.text.transformations[_].dateShiftConfig.cryptoKey == STRING
    input.Body.config.text.transformations[_].dateShiftConfig.kmsWrapped.cryptoKey == STRING
    input.Body.config.text.transformations[_].dateShiftConfig.kmsWrapped.wrappedKey == STRING
    input.Body.config.text.transformations[_].infoTypes[_] == STRING
    input.Body.config.text.transformations[_].redactConfig.STRING == STRING
    input.Body.config.text.transformations[_].replaceWithInfoTypeConfig.STRING == STRING
    input.Body.config.useRegionalDataProcessing == BOOLEAN
    input.Body.destinationStore == STRING
    input.Body.filterConfig.resourcePathsGcsUri == STRING
    input.Body.gcsConfigUri == STRING
    input.ReqMap.sourceStore == STRING
    input.ProviderMetadata.Region == STRING
}

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

valid {
    input.ReqMap.dicomWebPath == STRING
    input.ReqMap.parent == STRING
    input.ProviderMetadata.Region == STRING
}

valid {
    input.ReqMap.dicomWebPath == STRING
    input.ReqMap.parent == STRING
    input.ProviderMetadata.Region == STRING
}

valid {
    input.ReqMap.dicomWebPath == STRING
    input.ReqMap.parent == STRING
    input.ProviderMetadata.Region == STRING
}

valid {
    input.Body.contentType == STRING
    input.Body.data == STRING
    input.Body.extensions[_].STRING == ANY
    input.ReqMap.dicomWebPath == STRING
    input.ReqMap.parent == STRING
    input.ProviderMetadata.Region == STRING
}

valid {
    input.ReqMap.dicomWebPath == STRING
    input.ReqMap.parent == STRING
    input.ProviderMetadata.Region == STRING
}

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

valid {
    input.ReqMap.dicomWebPath == STRING
    input.ReqMap.parent == STRING
    input.ProviderMetadata.Region == STRING
}

valid {
    input.ReqMap.dicomWebPath == STRING
    input.ReqMap.parent == STRING
    input.ProviderMetadata.Region == STRING
}

valid {
    input.ReqMap.dicomWebPath == STRING
    input.ReqMap.parent == STRING
    input.ProviderMetadata.Region == STRING
}

valid {
    input.ReqMap.dicomWebPath == STRING
    input.ReqMap.parent == STRING
    input.ProviderMetadata.Region == STRING
}

valid {
    input.ReqMap.dicomWebPath == STRING
    input.ReqMap.parent == STRING
    input.ProviderMetadata.Region == STRING
}

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

valid {
    input.ReqMap.dicomWebPath == STRING
    input.ReqMap.parent == STRING
    input.ProviderMetadata.Region == STRING
}

valid {
    input.ReqMap.dicomWebPath == STRING
    input.ReqMap.parent == STRING
    input.ProviderMetadata.Region == STRING
}

valid {
    input.ReqMap.dicomWebPath == STRING
    input.ReqMap.parent == STRING
    input.ProviderMetadata.Region == STRING
}

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

valid {
    input.ReqMap.dicomWebPath == STRING
    input.ReqMap.parent == STRING
    input.ProviderMetadata.Region == STRING
}

valid {
    input.ReqMap.dicomWebPath == STRING
    input.ReqMap.parent == STRING
    input.ProviderMetadata.Region == STRING
}

valid {
    input.ReqMap.dicomWebPath == STRING
    input.ReqMap.parent == STRING
    input.ProviderMetadata.Region == STRING
}

valid {
    input.ReqMap.dicomWebPath == STRING
    input.ReqMap.parent == STRING
    input.ProviderMetadata.Region == STRING
}

valid {
    input.ReqMap.dicomWebPath == STRING
    input.ReqMap.parent == STRING
    input.ProviderMetadata.Region == STRING
}

valid {
    input.ReqMap.dicomWebPath == STRING
    input.ReqMap.parent == STRING
    input.ProviderMetadata.Region == STRING
}

enum_BlobStorageSettingsBlobStorageClass := [ "BLOB_STORAGE_CLASS_UNSPECIFIED", "STANDARD", "NEARLINE", "COLDLINE", "ARCHIVE" ]

valid {
    input.Body.blobStorageSettings.blobStorageClass == enum_BlobStorageSettingsBlobStorageClass[_]
    input.Body.filterConfig.resourcePathsGcsUri == STRING
    input.ReqMap.resource == STRING
    input.ProviderMetadata.Region == STRING
}

valid {
    input.Body.contentType == STRING
    input.Body.data == STRING
    input.Body.extensions[_].STRING == ANY
    input.ReqMap.dicomWebPath == STRING
    input.ReqMap.parent == STRING
    input.ProviderMetadata.Region == STRING
}

enum_GoogleCloudHealthcareV1DicomBigQueryDestinationWriteDisposition := [ "WRITE_DISPOSITION_UNSPECIFIED", "WRITE_EMPTY", "WRITE_TRUNCATE", "WRITE_APPEND" ]

valid {
    input.Body.bigqueryDestination.force == BOOLEAN
    input.Body.bigqueryDestination.tableUri == STRING
    input.Body.bigqueryDestination.writeDisposition == enum_GoogleCloudHealthcareV1DicomBigQueryDestinationWriteDisposition[_]
    input.Body.gcsDestination.mimeType == STRING
    input.Body.gcsDestination.uriPrefix == 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.resource == STRING
    input.Qs.options.requestedPolicyVersion == INTEGER
    input.ProviderMetadata.Region == STRING
}

valid {
    input.Body.gcsSource.uri == STRING
    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_GoogleCloudHealthcareV1DicomBigQueryDestinationWriteDisposition := [ "WRITE_DISPOSITION_UNSPECIFIED", "WRITE_EMPTY", "WRITE_TRUNCATE", "WRITE_APPEND" ]

valid {
    input.Body.labels.STRING == STRING
    input.Body.name == STRING
    input.Body.notificationConfig.pubsubTopic == STRING
    input.Body.notificationConfig.sendForBulkImport == BOOLEAN
    input.Body.streamConfigs[_].bigqueryDestination.force == BOOLEAN
    input.Body.streamConfigs[_].bigqueryDestination.tableUri == STRING
    input.Body.streamConfigs[_].bigqueryDestination.writeDisposition == enum_GoogleCloudHealthcareV1DicomBigQueryDestinationWriteDisposition[_]
    input.ReqMap.name == STRING
    input.Qs.updateMask == STRING
    input.ProviderMetadata.Region == STRING
}

valid {
    input.ReqMap.dicomWebPath == STRING
    input.ReqMap.parent == STRING
    input.ProviderMetadata.Region == STRING
}

valid {
    input.ReqMap.dicomWebPath == STRING
    input.ReqMap.parent == STRING
    input.ProviderMetadata.Region == STRING
}

valid {
    input.ReqMap.dicomWebPath == STRING
    input.ReqMap.parent == STRING
    input.ProviderMetadata.Region == STRING
}

enum_BlobStorageSettingsBlobStorageClass := [ "BLOB_STORAGE_CLASS_UNSPECIFIED", "STANDARD", "NEARLINE", "COLDLINE", "ARCHIVE" ]

valid {
    input.Body.blobStorageSettings.blobStorageClass == enum_BlobStorageSettingsBlobStorageClass[_]
    input.Body.filterConfig.resourcePathsGcsUri == STRING
    input.ReqMap.resource == STRING
    input.ProviderMetadata.Region == STRING
}

enum_AuditLogConfigLogType := [ "LOG_TYPE_UNSPECIFIED", "ADMIN_READ", "DATA_WRITE", "DATA_READ" ]

valid {
    input.Body.policy.auditConfigs[_].auditLogConfigs[_].exemptedMembers[_] == STRING
    input.Body.policy.auditConfigs[_].auditLogConfigs[_].logType == enum_AuditLogConfigLogType[_]
    input.Body.policy.auditConfigs[_].service == STRING
    input.Body.policy.bindings[_].condition.description == STRING
    input.Body.policy.bindings[_].condition.expression == STRING
    input.Body.policy.bindings[_].condition.location == STRING
    input.Body.policy.bindings[_].condition.title == STRING
    input.Body.policy.bindings[_].members[_] == STRING
    input.Body.policy.bindings[_].role == STRING
    input.Body.policy.etag == STRING
    input.Body.policy.version == INTEGER
    input.Body.updateMask == STRING
    input.ReqMap.resource == STRING
    input.ProviderMetadata.Region == STRING
}

valid {
    input.Body.contentType == STRING
    input.Body.data == STRING
    input.Body.extensions[_].STRING == ANY
    input.ReqMap.dicomWebPath == STRING
    input.ReqMap.parent == STRING
    input.ProviderMetadata.Region == STRING
}

valid {
    input.ReqMap.dicomWebPath == STRING
    input.ReqMap.parent == STRING
    input.ProviderMetadata.Region == STRING
}

valid {
    input.ReqMap.dicomWebPath == STRING
    input.ReqMap.parent == STRING
    input.ProviderMetadata.Region == STRING
}

valid {
    input.ReqMap.dicomWebPath == STRING
    input.ReqMap.parent == STRING
    input.ProviderMetadata.Region == STRING
}

valid {
    input.ReqMap.dicomWebPath == STRING
    input.ReqMap.parent == STRING
    input.ProviderMetadata.Region == STRING
}

valid {
    input.ReqMap.dicomWebPath == STRING
    input.ReqMap.parent == STRING
    input.ProviderMetadata.Region == STRING
}

valid {
    input.ReqMap.dicomWebPath == STRING
    input.ReqMap.parent == STRING
    input.ProviderMetadata.Region == STRING
}

valid {
    input.ReqMap.dicomWebPath == STRING
    input.ReqMap.parent == STRING
    input.ProviderMetadata.Region == STRING
}

valid {
    input.ReqMap.dicomWebPath == STRING
    input.ReqMap.parent == STRING
    input.ProviderMetadata.Region == STRING
}

valid {
    input.ReqMap.dicomWebPath == STRING
    input.ReqMap.parent == STRING
    input.ProviderMetadata.Region == STRING
}

valid {
    input.ReqMap.dicomWebPath == STRING
    input.ReqMap.parent == STRING
    input.ProviderMetadata.Region == STRING
}

valid {
    input.ReqMap.dicomWebPath == STRING
    input.ReqMap.parent == STRING
    input.ProviderMetadata.Region == STRING
}

valid {
    input.ReqMap.dicomWebPath == STRING
    input.ReqMap.parent == STRING
    input.ProviderMetadata.Region == STRING
}

valid {
    input.ReqMap.dicomWebPath == STRING
    input.ReqMap.parent == STRING
    input.ProviderMetadata.Region == STRING
}

valid {
    input.ReqMap.dicomWebPath == STRING
    input.ReqMap.parent == STRING
    input.ProviderMetadata.Region == STRING
}

valid {
    input.ReqMap.dicomWebPath == STRING
    input.ReqMap.parent == STRING
    input.ProviderMetadata.Region == STRING
}

valid {
    input.ReqMap.dicomWebPath == STRING
    input.ReqMap.parent == STRING
    input.ProviderMetadata.Region == STRING
}

valid {
    input.Body.contentType == STRING
    input.Body.data == STRING
    input.Body.extensions[_].STRING == ANY
    input.ReqMap.dicomWebPath == STRING
    input.ReqMap.parent == STRING
    input.ProviderMetadata.Region == STRING
}

valid {
    input.Body.permissions[_] == STRING
    input.ReqMap.resource == STRING
    input.ProviderMetadata.Region == STRING
}

valid {
    input.Body.newConsentsList.names[_] == STRING
    input.Body.validateOnly == BOOLEAN
    input.ReqMap.name == STRING
    input.ProviderMetadata.Region == STRING
}

valid {
    input.Body.patientScope.patientIds[_] == STRING
    input.Body.timeRange.end == STRING
    input.Body.timeRange.start == STRING
    input.Body.validateOnly == BOOLEAN
    input.ReqMap.name == STRING
    input.ProviderMetadata.Region == STRING
}

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

valid {
    input.Body.canonicalUrls[_] == STRING
    input.Body.validateOnly == BOOLEAN
    input.ReqMap.name == STRING
    input.ProviderMetadata.Region == STRING
}

enum_DicomConfigFilterProfile := [ "TAG_FILTER_PROFILE_UNSPECIFIED", "MINIMAL_KEEP_LIST_PROFILE", "ATTRIBUTE_CONFIDENTIALITY_BASIC_PROFILE", "KEEP_ALL_PROFILE", "DEIDENTIFY_TAG_CONTENTS" ]
enum_FhirStoreComplexDataTypeReferenceParsing := [ "COMPLEX_DATA_TYPE_REFERENCE_PARSING_UNSPECIFIED", "DISABLED", "ENABLED" ]
enum_FhirStoreVersion := [ "VERSION_UNSPECIFIED", "DSTU2", "STU3", "R4" ]
enum_FieldMetadataAction := [ "ACTION_UNSPECIFIED", "TRANSFORM", "INSPECT_AND_TRANSFORM", "DO_NOT_TRANSFORM" ]
enum_GoogleCloudHealthcareV1FhirBigQueryDestinationWriteDisposition := [ "WRITE_DISPOSITION_UNSPECIFIED", "WRITE_EMPTY", "WRITE_TRUNCATE", "WRITE_APPEND" ]
enum_ImageConfigTextRedactionMode := [ "TEXT_REDACTION_MODE_UNSPECIFIED", "REDACT_ALL_TEXT", "REDACT_SENSITIVE_TEXT", "REDACT_NO_TEXT" ]
enum_SchemaConfigSchemaType := [ "SCHEMA_TYPE_UNSPECIFIED", "ANALYTICS", "ANALYTICS_V2" ]
enum_TimePartitioningType := [ "PARTITION_TYPE_UNSPECIFIED", "HOUR", "DAY", "MONTH", "YEAR" ]

valid {
    input.Body.complexDataTypeReferenceParsing == enum_FhirStoreComplexDataTypeReferenceParsing[_]
    input.Body.defaultSearchHandlingStrict == BOOLEAN
    input.Body.disableReferentialIntegrity == BOOLEAN
    input.Body.disableResourceVersioning == BOOLEAN
    input.Body.enableUpdateCreate == BOOLEAN
    input.Body.labels.STRING == STRING
    input.Body.name == STRING
    input.Body.notificationConfig.pubsubTopic == STRING
    input.Body.notificationConfig.sendForBulkImport == BOOLEAN
    input.Body.notificationConfigs[_].pubsubTopic == STRING
    input.Body.notificationConfigs[_].sendFullResource == BOOLEAN
    input.Body.notificationConfigs[_].sendPreviousResourceOnDelete == BOOLEAN
    input.Body.streamConfigs[_].bigqueryDestination.datasetUri == STRING
    input.Body.streamConfigs[_].bigqueryDestination.force == BOOLEAN
    input.Body.streamConfigs[_].bigqueryDestination.schemaConfig.lastUpdatedPartitionConfig.expirationMs == STRING
    input.Body.streamConfigs[_].bigqueryDestination.schemaConfig.lastUpdatedPartitionConfig.type == enum_TimePartitioningType[_]
    input.Body.streamConfigs[_].bigqueryDestination.schemaConfig.recursiveStructureDepth == STRING
    input.Body.streamConfigs[_].bigqueryDestination.schemaConfig.schemaType == enum_SchemaConfigSchemaType[_]
    input.Body.streamConfigs[_].bigqueryDestination.writeDisposition == enum_GoogleCloudHealthcareV1FhirBigQueryDestinationWriteDisposition[_]
    input.Body.streamConfigs[_].deidentifiedStoreDestination.config.dicom.filterProfile == enum_DicomConfigFilterProfile[_]
    input.Body.streamConfigs[_].deidentifiedStoreDestination.config.dicom.keepList.tags[_] == STRING
    input.Body.streamConfigs[_].deidentifiedStoreDestination.config.dicom.removeList.tags[_] == STRING
    input.Body.streamConfigs[_].deidentifiedStoreDestination.config.dicom.skipIdRedaction == BOOLEAN
    input.Body.streamConfigs[_].deidentifiedStoreDestination.config.fhir.defaultKeepExtensions == BOOLEAN
    input.Body.streamConfigs[_].deidentifiedStoreDestination.config.fhir.fieldMetadataList[_].action == enum_FieldMetadataAction[_]
    input.Body.streamConfigs[_].deidentifiedStoreDestination.config.fhir.fieldMetadataList[_].paths[_] == STRING
    input.Body.streamConfigs[_].deidentifiedStoreDestination.config.image.textRedactionMode == enum_ImageConfigTextRedactionMode[_]
    input.Body.streamConfigs[_].deidentifiedStoreDestination.config.text.additionalTransformations[_].characterMaskConfig.maskingCharacter == STRING
    input.Body.streamConfigs[_].deidentifiedStoreDestination.config.text.additionalTransformations[_].cryptoHashConfig.cryptoKey == STRING
    input.Body.streamConfigs[_].deidentifiedStoreDestination.config.text.additionalTransformations[_].cryptoHashConfig.kmsWrapped.cryptoKey == STRING
    input.Body.streamConfigs[_].deidentifiedStoreDestination.config.text.additionalTransformations[_].cryptoHashConfig.kmsWrapped.wrappedKey == STRING
    input.Body.streamConfigs[_].deidentifiedStoreDestination.config.text.additionalTransformations[_].dateShiftConfig.cryptoKey == STRING
    input.Body.streamConfigs[_].deidentifiedStoreDestination.config.text.additionalTransformations[_].dateShiftConfig.kmsWrapped.cryptoKey == STRING
    input.Body.streamConfigs[_].deidentifiedStoreDestination.config.text.additionalTransformations[_].dateShiftConfig.kmsWrapped.wrappedKey == STRING
    input.Body.streamConfigs[_].deidentifiedStoreDestination.config.text.additionalTransformations[_].infoTypes[_] == STRING
    input.Body.streamConfigs[_].deidentifiedStoreDestination.config.text.additionalTransformations[_].redactConfig.STRING == STRING
    input.Body.streamConfigs[_].deidentifiedStoreDestination.config.text.additionalTransformations[_].replaceWithInfoTypeConfig.STRING == STRING
    input.Body.streamConfigs[_].deidentifiedStoreDestination.config.text.excludeInfoTypes[_] == STRING
    input.Body.streamConfigs[_].deidentifiedStoreDestination.config.text.transformations[_].characterMaskConfig.maskingCharacter == STRING
    input.Body.streamConfigs[_].deidentifiedStoreDestination.config.text.transformations[_].cryptoHashConfig.cryptoKey == STRING
    input.Body.streamConfigs[_].deidentifiedStoreDestination.config.text.transformations[_].cryptoHashConfig.kmsWrapped.cryptoKey == STRING
    input.Body.streamConfigs[_].deidentifiedStoreDestination.config.text.transformations[_].cryptoHashConfig.kmsWrapped.wrappedKey == STRING
    input.Body.streamConfigs[_].deidentifiedStoreDestination.config.text.transformations[_].dateShiftConfig.cryptoKey == STRING
    input.Body.streamConfigs[_].deidentifiedStoreDestination.config.text.transformations[_].dateShiftConfig.kmsWrapped.cryptoKey == STRING
    input.Body.streamConfigs[_].deidentifiedStoreDestination.config.text.transformations[_].dateShiftConfig.kmsWrapped.wrappedKey == STRING
    input.Body.streamConfigs[_].deidentifiedStoreDestination.config.text.transformations[_].infoTypes[_] == STRING
    input.Body.streamConfigs[_].deidentifiedStoreDestination.config.text.transformations[_].redactConfig.STRING == STRING
    input.Body.streamConfigs[_].deidentifiedStoreDestination.config.text.transformations[_].replaceWithInfoTypeConfig.STRING == STRING
    input.Body.streamConfigs[_].deidentifiedStoreDestination.config.useRegionalDataProcessing == BOOLEAN
    input.Body.streamConfigs[_].deidentifiedStoreDestination.store == STRING
    input.Body.streamConfigs[_].resourceTypes[_] == STRING
    input.Body.validationConfig.disableFhirpathValidation == BOOLEAN
    input.Body.validationConfig.disableProfileValidation == BOOLEAN
    input.Body.validationConfig.disableReferenceTypeValidation == BOOLEAN
    input.Body.validationConfig.disableRequiredFieldValidation == BOOLEAN
    input.Body.validationConfig.enabledImplementationGuides[_] == STRING
    input.Body.version == enum_FhirStoreVersion[_]
    input.ReqMap.parent == STRING
    input.Qs.fhirStoreId == STRING
    input.ProviderMetadata.Region == STRING
}

enum_DicomConfigFilterProfile := [ "TAG_FILTER_PROFILE_UNSPECIFIED", "MINIMAL_KEEP_LIST_PROFILE", "ATTRIBUTE_CONFIDENTIALITY_BASIC_PROFILE", "KEEP_ALL_PROFILE", "DEIDENTIFY_TAG_CONTENTS" ]
enum_FieldMetadataAction := [ "ACTION_UNSPECIFIED", "TRANSFORM", "INSPECT_AND_TRANSFORM", "DO_NOT_TRANSFORM" ]
enum_ImageConfigTextRedactionMode := [ "TEXT_REDACTION_MODE_UNSPECIFIED", "REDACT_ALL_TEXT", "REDACT_SENSITIVE_TEXT", "REDACT_NO_TEXT" ]

valid {
    input.Body.config.dicom.filterProfile == enum_DicomConfigFilterProfile[_]
    input.Body.config.dicom.keepList.tags[_] == STRING
    input.Body.config.dicom.removeList.tags[_] == STRING
    input.Body.config.dicom.skipIdRedaction == BOOLEAN
    input.Body.config.fhir.defaultKeepExtensions == BOOLEAN
    input.Body.config.fhir.fieldMetadataList[_].action == enum_FieldMetadataAction[_]
    input.Body.config.fhir.fieldMetadataList[_].paths[_] == STRING
    input.Body.config.image.textRedactionMode == enum_ImageConfigTextRedactionMode[_]
    input.Body.config.text.additionalTransformations[_].characterMaskConfig.maskingCharacter == STRING
    input.Body.config.text.additionalTransformations[_].cryptoHashConfig.cryptoKey == STRING
    input.Body.config.text.additionalTransformations[_].cryptoHashConfig.kmsWrapped.cryptoKey == STRING
    input.Body.config.text.additionalTransformations[_].cryptoHashConfig.kmsWrapped.wrappedKey == STRING
    input.Body.config.text.additionalTransformations[_].dateShiftConfig.cryptoKey == STRING
    input.Body.config.text.additionalTransformations[_].dateShiftConfig.kmsWrapped.cryptoKey == STRING
    input.Body.config.text.additionalTransformations[_].dateShiftConfig.kmsWrapped.wrappedKey == STRING
    input.Body.config.text.additionalTransformations[_].infoTypes[_] == STRING
    input.Body.config.text.additionalTransformations[_].redactConfig.STRING == STRING
    input.Body.config.text.additionalTransformations[_].replaceWithInfoTypeConfig.STRING == STRING
    input.Body.config.text.excludeInfoTypes[_] == STRING
    input.Body.config.text.transformations[_].characterMaskConfig.maskingCharacter == STRING
    input.Body.config.text.transformations[_].cryptoHashConfig.cryptoKey == STRING
    input.Body.config.text.transformations[_].cryptoHashConfig.kmsWrapped.cryptoKey == STRING
    input.Body.config.text.transformations[_].cryptoHashConfig.kmsWrapped.wrappedKey == STRING
    input.Body.config.text.transformations[_].dateShiftConfig.cryptoKey == STRING
    input.Body.config.text.transformations[_].dateShiftConfig.kmsWrapped.cryptoKey == STRING
    input.Body.config.text.transformations[_].dateShiftConfig.kmsWrapped.wrappedKey == STRING
    input.Body.config.text.transformations[_].infoTypes[_] == STRING
    input.Body.config.text.transformations[_].redactConfig.STRING == STRING
    input.Body.config.text.transformations[_].replaceWithInfoTypeConfig.STRING == STRING
    input.Body.config.useRegionalDataProcessing == BOOLEAN
    input.Body.destinationStore == STRING
    input.Body.gcsConfigUri == STRING
    input.Body.resourceFilter.resources.resources[_] == STRING
    input.Body.skipModifiedResources == BOOLEAN
    input.ReqMap.sourceStore == STRING
    input.ProviderMetadata.Region == STRING
}

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

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

enum_GoogleCloudHealthcareV1FhirBigQueryDestinationWriteDisposition := [ "WRITE_DISPOSITION_UNSPECIFIED", "WRITE_EMPTY", "WRITE_TRUNCATE", "WRITE_APPEND" ]
enum_SchemaConfigSchemaType := [ "SCHEMA_TYPE_UNSPECIFIED", "ANALYTICS", "ANALYTICS_V2" ]
enum_TimePartitioningType := [ "PARTITION_TYPE_UNSPECIFIED", "HOUR", "DAY", "MONTH", "YEAR" ]

valid {
    input.Body._since == STRING
    input.Body._type == STRING
    input.Body.bigqueryDestination.datasetUri == STRING
    input.Body.bigqueryDestination.force == BOOLEAN
    input.Body.bigqueryDestination.schemaConfig.lastUpdatedPartitionConfig.expirationMs == STRING
    input.Body.bigqueryDestination.schemaConfig.lastUpdatedPartitionConfig.type == enum_TimePartitioningType[_]
    input.Body.bigqueryDestination.schemaConfig.recursiveStructureDepth == STRING
    input.Body.bigqueryDestination.schemaConfig.schemaType == enum_SchemaConfigSchemaType[_]
    input.Body.bigqueryDestination.writeDisposition == enum_GoogleCloudHealthcareV1FhirBigQueryDestinationWriteDisposition[_]
    input.Body.gcsDestination.uriPrefix == STRING
    input.ReqMap.name == STRING
    input.ProviderMetadata.Region == STRING
}

valid {
    input.ReqMap.parent == STRING
    input.Qs.code == STRING
    input.Qs.conceptMapVersion == STRING
    input.Qs.source == STRING
    input.Qs.system == STRING
    input.Qs.target == STRING
    input.Qs.url == STRING
    input.ProviderMetadata.Region == STRING
}

valid {
    input.ReqMap.name == STRING
    input.Qs.code == STRING
    input.Qs.conceptMapVersion == STRING
    input.Qs.system == STRING
    input.ProviderMetadata.Region == STRING
}

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

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

valid {
    input.ReqMap.name == STRING
    input.Qs._count == INTEGER
    input.Qs._page_token == STRING
    input.ProviderMetadata.Region == STRING
}

valid {
    input.ReqMap.name == STRING
    input.Qs._count == INTEGER
    input.Qs._page_token == STRING
    input.Qs._since == STRING
    input.Qs._type == STRING
    input.Qs.end == STRING
    input.Qs.start == STRING
    input.ProviderMetadata.Region == STRING
}

valid {
    input.ReqMap.parent == STRING
    input.Qs._count == INTEGER
    input.Qs._page_token == STRING
    input.Qs._summary == STRING
    input.Qs._type == STRING
    input.Qs.target == STRING
    input.ProviderMetadata.Region == STRING
}

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

valid {
    input.Body.contentType == STRING
    input.Body.data == STRING
    input.Body.extensions[_].STRING == ANY
    input.ReqMap.parent == STRING
    input.ReqMap.type == STRING
    input.Qs.profile == STRING
    input.ProviderMetadata.Region == STRING
}

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

valid {
    input.ReqMap.parent == STRING
    input.ReqMap.type == STRING
    input.ProviderMetadata.Region == STRING
}

valid {
    input.Body.contentType == STRING
    input.Body.data == STRING
    input.Body.extensions[_].STRING == ANY
    input.ReqMap.parent == STRING
    input.ReqMap.type == STRING
    input.ProviderMetadata.Region == STRING
}

valid {
    input.Body.contentType == STRING
    input.Body.data == STRING
    input.Body.extensions[_].STRING == ANY
    input.ReqMap.parent == STRING
    input.ReqMap.type == STRING
    input.ProviderMetadata.Region == STRING
}

valid {
    input.Body.contentType == STRING
    input.Body.data == STRING
    input.Body.extensions[_].STRING == ANY
    input.ReqMap.parent == STRING
    input.ReqMap.type == STRING
    input.ProviderMetadata.Region == STRING
}

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

valid {
    input.Body.contentType == STRING
    input.Body.data == STRING
    input.Body.extensions[_].STRING == ANY
    input.ReqMap.parent == STRING
    input.ProviderMetadata.Region == STRING
}

valid {
    input.ReqMap.name == STRING
    input.Qs._at == STRING
    input.Qs._count == INTEGER
    input.Qs._page_token == STRING
    input.Qs._since == STRING
    input.ProviderMetadata.Region == STRING
}

valid {
    input.Body.contentType == STRING
    input.Body.data == STRING
    input.Body.extensions[_].STRING == ANY
    input.ReqMap.name == STRING
    input.ProviderMetadata.Region == STRING
}

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

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

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

valid {
    input.Body.contentType == STRING
    input.Body.data == STRING
    input.Body.extensions[_].STRING == ANY
    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.ProviderMetadata.Region == STRING
}

valid {
    input.ReqMap.resource == STRING
    input.Qs.options.requestedPolicyVersion == INTEGER
    input.ProviderMetadata.Region == STRING
}

enum_ImportResourcesRequestContentStructure := [ "CONTENT_STRUCTURE_UNSPECIFIED", "BUNDLE", "RESOURCE", "BUNDLE_PRETTY", "RESOURCE_PRETTY" ]

valid {
    input.Body.contentStructure == enum_ImportResourcesRequestContentStructure[_]
    input.Body.gcsSource.uri == STRING
    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_DicomConfigFilterProfile := [ "TAG_FILTER_PROFILE_UNSPECIFIED", "MINIMAL_KEEP_LIST_PROFILE", "ATTRIBUTE_CONFIDENTIALITY_BASIC_PROFILE", "KEEP_ALL_PROFILE", "DEIDENTIFY_TAG_CONTENTS" ]
enum_FhirStoreComplexDataTypeReferenceParsing := [ "COMPLEX_DATA_TYPE_REFERENCE_PARSING_UNSPECIFIED", "DISABLED", "ENABLED" ]
enum_FhirStoreVersion := [ "VERSION_UNSPECIFIED", "DSTU2", "STU3", "R4" ]
enum_FieldMetadataAction := [ "ACTION_UNSPECIFIED", "TRANSFORM", "INSPECT_AND_TRANSFORM", "DO_NOT_TRANSFORM" ]
enum_GoogleCloudHealthcareV1FhirBigQueryDestinationWriteDisposition := [ "WRITE_DISPOSITION_UNSPECIFIED", "WRITE_EMPTY", "WRITE_TRUNCATE", "WRITE_APPEND" ]
enum_ImageConfigTextRedactionMode := [ "TEXT_REDACTION_MODE_UNSPECIFIED", "REDACT_ALL_TEXT", "REDACT_SENSITIVE_TEXT", "REDACT_NO_TEXT" ]
enum_SchemaConfigSchemaType := [ "SCHEMA_TYPE_UNSPECIFIED", "ANALYTICS", "ANALYTICS_V2" ]
enum_TimePartitioningType := [ "PARTITION_TYPE_UNSPECIFIED", "HOUR", "DAY", "MONTH", "YEAR" ]

valid {
    input.Body.complexDataTypeReferenceParsing == enum_FhirStoreComplexDataTypeReferenceParsing[_]
    input.Body.defaultSearchHandlingStrict == BOOLEAN
    input.Body.disableReferentialIntegrity == BOOLEAN
    input.Body.disableResourceVersioning == BOOLEAN
    input.Body.enableUpdateCreate == BOOLEAN
    input.Body.labels.STRING == STRING
    input.Body.name == STRING
    input.Body.notificationConfig.pubsubTopic == STRING
    input.Body.notificationConfig.sendForBulkImport == BOOLEAN
    input.Body.notificationConfigs[_].pubsubTopic == STRING
    input.Body.notificationConfigs[_].sendFullResource == BOOLEAN
    input.Body.notificationConfigs[_].sendPreviousResourceOnDelete == BOOLEAN
    input.Body.streamConfigs[_].bigqueryDestination.datasetUri == STRING
    input.Body.streamConfigs[_].bigqueryDestination.force == BOOLEAN
    input.Body.streamConfigs[_].bigqueryDestination.schemaConfig.lastUpdatedPartitionConfig.expirationMs == STRING
    input.Body.streamConfigs[_].bigqueryDestination.schemaConfig.lastUpdatedPartitionConfig.type == enum_TimePartitioningType[_]
    input.Body.streamConfigs[_].bigqueryDestination.schemaConfig.recursiveStructureDepth == STRING
    input.Body.streamConfigs[_].bigqueryDestination.schemaConfig.schemaType == enum_SchemaConfigSchemaType[_]
    input.Body.streamConfigs[_].bigqueryDestination.writeDisposition == enum_GoogleCloudHealthcareV1FhirBigQueryDestinationWriteDisposition[_]
    input.Body.streamConfigs[_].deidentifiedStoreDestination.config.dicom.filterProfile == enum_DicomConfigFilterProfile[_]
    input.Body.streamConfigs[_].deidentifiedStoreDestination.config.dicom.keepList.tags[_] == STRING
    input.Body.streamConfigs[_].deidentifiedStoreDestination.config.dicom.removeList.tags[_] == STRING
    input.Body.streamConfigs[_].deidentifiedStoreDestination.config.dicom.skipIdRedaction == BOOLEAN
    input.Body.streamConfigs[_].deidentifiedStoreDestination.config.fhir.defaultKeepExtensions == BOOLEAN
    input.Body.streamConfigs[_].deidentifiedStoreDestination.config.fhir.fieldMetadataList[_].action == enum_FieldMetadataAction[_]
    input.Body.streamConfigs[_].deidentifiedStoreDestination.config.fhir.fieldMetadataList[_].paths[_] == STRING
    input.Body.streamConfigs[_].deidentifiedStoreDestination.config.image.textRedactionMode == enum_ImageConfigTextRedactionMode[_]
    input.Body.streamConfigs[_].deidentifiedStoreDestination.config.text.additionalTransformations[_].characterMaskConfig.maskingCharacter == STRING
    input.Body.streamConfigs[_].deidentifiedStoreDestination.config.text.additionalTransformations[_].cryptoHashConfig.cryptoKey == STRING
    input.Body.streamConfigs[_].deidentifiedStoreDestination.config.text.additionalTransformations[_].cryptoHashConfig.kmsWrapped.cryptoKey == STRING
    input.Body.streamConfigs[_].deidentifiedStoreDestination.config.text.additionalTransformations[_].cryptoHashConfig.kmsWrapped.wrappedKey == STRING
    input.Body.streamConfigs[_].deidentifiedStoreDestination.config.text.additionalTransformations[_].dateShiftConfig.cryptoKey == STRING
    input.Body.streamConfigs[_].deidentifiedStoreDestination.config.text.additionalTransformations[_].dateShiftConfig.kmsWrapped.cryptoKey == STRING
    input.Body.streamConfigs[_].deidentifiedStoreDestination.config.text.additionalTransformations[_].dateShiftConfig.kmsWrapped.wrappedKey == STRING
    input.Body.streamConfigs[_].deidentifiedStoreDestination.config.text.additionalTransformations[_].infoTypes[_] == STRING
    input.Body.streamConfigs[_].deidentifiedStoreDestination.config.text.additionalTransformations[_].redactConfig.STRING == STRING
    input.Body.streamConfigs[_].deidentifiedStoreDestination.config.text.additionalTransformations[_].replaceWithInfoTypeConfig.STRING == STRING
    input.Body.streamConfigs[_].deidentifiedStoreDestination.config.text.excludeInfoTypes[_] == STRING
    input.Body.streamConfigs[_].deidentifiedStoreDestination.config.text.transformations[_].characterMaskConfig.maskingCharacter == STRING
    input.Body.streamConfigs[_].deidentifiedStoreDestination.config.text.transformations[_].cryptoHashConfig.cryptoKey == STRING
    input.Body.streamConfigs[_].deidentifiedStoreDestination.config.text.transformations[_].cryptoHashConfig.kmsWrapped.cryptoKey == STRING
    input.Body.streamConfigs[_].deidentifiedStoreDestination.config.text.transformations[_].cryptoHashConfig.kmsWrapped.wrappedKey == STRING
    input.Body.streamConfigs[_].deidentifiedStoreDestination.config.text.transformations[_].dateShiftConfig.cryptoKey == STRING
    input.Body.streamConfigs[_].deidentifiedStoreDestination.config.text.transformations[_].dateShiftConfig.kmsWrapped.cryptoKey == STRING
    input.Body.streamConfigs[_].deidentifiedStoreDestination.config.text.transformations[_].dateShiftConfig.kmsWrapped.wrappedKey == STRING
    input.Body.streamConfigs[_].deidentifiedStoreDestination.config.text.transformations[_].infoTypes[_] == STRING
    input.Body.streamConfigs[_].deidentifiedStoreDestination.config.text.transformations[_].redactConfig.STRING == STRING
    input.Body.streamConfigs[_].deidentifiedStoreDestination.config.text.transformations[_].replaceWithInfoTypeConfig.STRING == STRING
    input.Body.streamConfigs[_].deidentifiedStoreDestination.config.useRegionalDataProcessing == BOOLEAN
    input.Body.streamConfigs[_].deidentifiedStoreDestination.store == STRING
    input.Body.streamConfigs[_].resourceTypes[_] == STRING
    input.Body.validationConfig.disableFhirpathValidation == BOOLEAN
    input.Body.validationConfig.disableProfileValidation == BOOLEAN
    input.Body.validationConfig.disableReferenceTypeValidation == BOOLEAN
    input.Body.validationConfig.disableRequiredFieldValidation == BOOLEAN
    input.Body.validationConfig.enabledImplementationGuides[_] == STRING
    input.Body.version == enum_FhirStoreVersion[_]
    input.ReqMap.name == STRING
    input.Qs.updateMask == STRING
    input.ProviderMetadata.Region == STRING
}

enum_RollbackFhirResourcesRequestChangeType := [ "CHANGE_TYPE_UNSPECIFIED", "ALL", "CREATE", "UPDATE", "DELETE" ]

valid {
    input.Body.changeType == enum_RollbackFhirResourcesRequestChangeType[_]
    input.Body.excludeRollbacks == BOOLEAN
    input.Body.filteringFields.metadataFilter == STRING
    input.Body.filteringFields.operationIds[_] == STRING
    input.Body.force == BOOLEAN
    input.Body.inputGcsObject == STRING
    input.Body.resultGcsBucket == STRING
    input.Body.rollbackTime == STRING
    input.Body.type[_] == STRING
    input.ReqMap.name == STRING
    input.ProviderMetadata.Region == STRING
}

enum_AuditLogConfigLogType := [ "LOG_TYPE_UNSPECIFIED", "ADMIN_READ", "DATA_WRITE", "DATA_READ" ]

valid {
    input.Body.policy.auditConfigs[_].auditLogConfigs[_].exemptedMembers[_] == STRING
    input.Body.policy.auditConfigs[_].auditLogConfigs[_].logType == enum_AuditLogConfigLogType[_]
    input.Body.policy.auditConfigs[_].service == STRING
    input.Body.policy.bindings[_].condition.description == STRING
    input.Body.policy.bindings[_].condition.expression == STRING
    input.Body.policy.bindings[_].condition.location == STRING
    input.Body.policy.bindings[_].condition.title == STRING
    input.Body.policy.bindings[_].members[_] == STRING
    input.Body.policy.bindings[_].role == STRING
    input.Body.policy.etag == STRING
    input.Body.policy.version == INTEGER
    input.Body.updateMask == STRING
    input.ReqMap.resource == STRING
    input.ProviderMetadata.Region == STRING
}

valid {
    input.Body.permissions[_] == STRING
    input.ReqMap.resource == STRING
    input.ProviderMetadata.Region == STRING
}

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

valid {
    input.ReqMap.resource == STRING
    input.Qs.options.requestedPolicyVersion == INTEGER
    input.ProviderMetadata.Region == STRING
}

enum_ParserConfigVersion := [ "PARSER_VERSION_UNSPECIFIED", "V1", "V2", "V3" ]
enum_SchemaPackageSchematizedParsingType := [ "SCHEMATIZED_PARSING_TYPE_UNSPECIFIED", "SOFT_FAIL", "HARD_FAIL" ]
enum_SchemaPackageUnexpectedSegmentHandling := [ "UNEXPECTED_SEGMENT_HANDLING_MODE_UNSPECIFIED", "FAIL", "SKIP", "PARSE" ]
enum_TypePrimitive := [ "PRIMITIVE_UNSPECIFIED", "STRING", "VARIES", "UNESCAPED_STRING" ]

valid {
    input.Body.labels.STRING == STRING
    input.Body.name == STRING
    input.Body.notificationConfigs[_].filter == STRING
    input.Body.notificationConfigs[_].pubsubTopic == STRING
    input.Body.parserConfig.allowNullHeader == BOOLEAN
    input.Body.parserConfig.schema.ignoreMinOccurs == BOOLEAN
    input.Body.parserConfig.schema.schemas[_].messageSchemaConfigs.STRING.choice == BOOLEAN
    input.Body.parserConfig.schema.schemas[_].messageSchemaConfigs.STRING.maxOccurs == INTEGER
    input.Body.parserConfig.schema.schemas[_].messageSchemaConfigs.STRING.members[_].group == NESTED
    input.Body.parserConfig.schema.schemas[_].messageSchemaConfigs.STRING.members[_].segment.maxOccurs == INTEGER
    input.Body.parserConfig.schema.schemas[_].messageSchemaConfigs.STRING.members[_].segment.minOccurs == INTEGER
    input.Body.parserConfig.schema.schemas[_].messageSchemaConfigs.STRING.members[_].segment.type == STRING
    input.Body.parserConfig.schema.schemas[_].messageSchemaConfigs.STRING.minOccurs == INTEGER
    input.Body.parserConfig.schema.schemas[_].messageSchemaConfigs.STRING.name == STRING
    input.Body.parserConfig.schema.schemas[_].version[_].mshField == STRING
    input.Body.parserConfig.schema.schemas[_].version[_].value == STRING
    input.Body.parserConfig.schema.schematizedParsingType == enum_SchemaPackageSchematizedParsingType[_]
    input.Body.parserConfig.schema.types[_].type[_].fields[_].maxOccurs == INTEGER
    input.Body.parserConfig.schema.types[_].type[_].fields[_].minOccurs == INTEGER
    input.Body.parserConfig.schema.types[_].type[_].fields[_].name == STRING
    input.Body.parserConfig.schema.types[_].type[_].fields[_].table == STRING
    input.Body.parserConfig.schema.types[_].type[_].fields[_].type == STRING
    input.Body.parserConfig.schema.types[_].type[_].name == STRING
    input.Body.parserConfig.schema.types[_].type[_].primitive == enum_TypePrimitive[_]
    input.Body.parserConfig.schema.types[_].version[_].mshField == STRING
    input.Body.parserConfig.schema.types[_].version[_].value == STRING
    input.Body.parserConfig.schema.unexpectedSegmentHandling == enum_SchemaPackageUnexpectedSegmentHandling[_]
    input.Body.parserConfig.segmentTerminator == STRING
    input.Body.parserConfig.version == enum_ParserConfigVersion[_]
    input.Body.rejectDuplicateMessage == BOOLEAN
    input.ReqMap.parent == STRING
    input.Qs.hl7V2StoreId == STRING
    input.ProviderMetadata.Region == STRING
}

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

enum_GcsDestinationContentStructure := [ "CONTENT_STRUCTURE_UNSPECIFIED", "MESSAGE_JSON" ]
enum_GcsDestinationMessageView := [ "MESSAGE_VIEW_UNSPECIFIED", "RAW_ONLY", "PARSED_ONLY", "FULL", "SCHEMATIZED_ONLY", "BASIC" ]

valid {
    input.Body.endTime == STRING
    input.Body.filter == STRING
    input.Body.gcsDestination.contentStructure == enum_GcsDestinationContentStructure[_]
    input.Body.gcsDestination.messageView == enum_GcsDestinationMessageView[_]
    input.Body.gcsDestination.uriPrefix == STRING
    input.Body.pubsubDestination.pubsubTopic == STRING
    input.Body.startTime == 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.resource == STRING
    input.Qs.options.requestedPolicyVersion == INTEGER
    input.ProviderMetadata.Region == STRING
}

valid {
    input.Body.gcsSource.uri == STRING
    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_ViewParameter := [ "MESSAGE_VIEW_UNSPECIFIED", "RAW_ONLY", "PARSED_ONLY", "FULL", "SCHEMATIZED_ONLY", "BASIC" ]

valid {
    input.ReqMap.parent == STRING
    input.Qs.ids == STRING
    input.Qs.view == enum_ViewParameter[_]
    input.ProviderMetadata.Region == STRING
}

valid {
    input.Body.message.data == STRING
    input.Body.message.labels.STRING == STRING
    input.Body.message.messageType == STRING
    input.Body.message.patientIds[_].type == STRING
    input.Body.message.patientIds[_].value == STRING
    input.Body.message.schematizedData.data == STRING
    input.Body.message.schematizedData.error == STRING
    input.Body.message.sendFacility == STRING
    input.Body.message.sendTime == STRING
    input.ReqMap.parent == STRING
    input.ProviderMetadata.Region == STRING
}

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

enum_ViewParameter := [ "MESSAGE_VIEW_UNSPECIFIED", "RAW_ONLY", "PARSED_ONLY", "FULL", "SCHEMATIZED_ONLY", "BASIC" ]

valid {
    input.ReqMap.name == STRING
    input.Qs.view == enum_ViewParameter[_]
    input.ProviderMetadata.Region == STRING
}

valid {
    input.Body.message.data == STRING
    input.Body.message.labels.STRING == STRING
    input.Body.message.messageType == STRING
    input.Body.message.patientIds[_].type == STRING
    input.Body.message.patientIds[_].value == STRING
    input.Body.message.schematizedData.data == STRING
    input.Body.message.schematizedData.error == STRING
    input.Body.message.sendFacility == STRING
    input.Body.message.sendTime == STRING
    input.ReqMap.parent == STRING
    input.ProviderMetadata.Region == STRING
}

enum_ViewParameter := [ "MESSAGE_VIEW_UNSPECIFIED", "RAW_ONLY", "PARSED_ONLY", "FULL", "SCHEMATIZED_ONLY", "BASIC" ]

valid {
    input.ReqMap.parent == STRING
    input.Qs.filter == STRING
    input.Qs.orderBy == STRING
    input.Qs.pageSize == INTEGER
    input.Qs.pageToken == STRING
    input.Qs.view == enum_ViewParameter[_]
    input.ProviderMetadata.Region == STRING
}

valid {
    input.Body.data == STRING
    input.Body.labels.STRING == STRING
    input.Body.messageType == STRING
    input.Body.patientIds[_].type == STRING
    input.Body.patientIds[_].value == STRING
    input.Body.schematizedData.data == STRING
    input.Body.schematizedData.error == STRING
    input.Body.sendFacility == STRING
    input.Body.sendTime == STRING
    input.ReqMap.name == STRING
    input.Qs.updateMask == STRING
    input.ProviderMetadata.Region == STRING
}

enum_ParserConfigVersion := [ "PARSER_VERSION_UNSPECIFIED", "V1", "V2", "V3" ]
enum_SchemaPackageSchematizedParsingType := [ "SCHEMATIZED_PARSING_TYPE_UNSPECIFIED", "SOFT_FAIL", "HARD_FAIL" ]
enum_SchemaPackageUnexpectedSegmentHandling := [ "UNEXPECTED_SEGMENT_HANDLING_MODE_UNSPECIFIED", "FAIL", "SKIP", "PARSE" ]
enum_TypePrimitive := [ "PRIMITIVE_UNSPECIFIED", "STRING", "VARIES", "UNESCAPED_STRING" ]

valid {
    input.Body.labels.STRING == STRING
    input.Body.name == STRING
    input.Body.notificationConfigs[_].filter == STRING
    input.Body.notificationConfigs[_].pubsubTopic == STRING
    input.Body.parserConfig.allowNullHeader == BOOLEAN
    input.Body.parserConfig.schema.ignoreMinOccurs == BOOLEAN
    input.Body.parserConfig.schema.schemas[_].messageSchemaConfigs.STRING.choice == BOOLEAN
    input.Body.parserConfig.schema.schemas[_].messageSchemaConfigs.STRING.maxOccurs == INTEGER
    input.Body.parserConfig.schema.schemas[_].messageSchemaConfigs.STRING.members[_].group == NESTED
    input.Body.parserConfig.schema.schemas[_].messageSchemaConfigs.STRING.members[_].segment.maxOccurs == INTEGER
    input.Body.parserConfig.schema.schemas[_].messageSchemaConfigs.STRING.members[_].segment.minOccurs == INTEGER
    input.Body.parserConfig.schema.schemas[_].messageSchemaConfigs.STRING.members[_].segment.type == STRING
    input.Body.parserConfig.schema.schemas[_].messageSchemaConfigs.STRING.minOccurs == INTEGER
    input.Body.parserConfig.schema.schemas[_].messageSchemaConfigs.STRING.name == STRING
    input.Body.parserConfig.schema.schemas[_].version[_].mshField == STRING
    input.Body.parserConfig.schema.schemas[_].version[_].value == STRING
    input.Body.parserConfig.schema.schematizedParsingType == enum_SchemaPackageSchematizedParsingType[_]
    input.Body.parserConfig.schema.types[_].type[_].fields[_].maxOccurs == INTEGER
    input.Body.parserConfig.schema.types[_].type[_].fields[_].minOccurs == INTEGER
    input.Body.parserConfig.schema.types[_].type[_].fields[_].name == STRING
    input.Body.parserConfig.schema.types[_].type[_].fields[_].table == STRING
    input.Body.parserConfig.schema.types[_].type[_].fields[_].type == STRING
    input.Body.parserConfig.schema.types[_].type[_].name == STRING
    input.Body.parserConfig.schema.types[_].type[_].primitive == enum_TypePrimitive[_]
    input.Body.parserConfig.schema.types[_].version[_].mshField == STRING
    input.Body.parserConfig.schema.types[_].version[_].value == STRING
    input.Body.parserConfig.schema.unexpectedSegmentHandling == enum_SchemaPackageUnexpectedSegmentHandling[_]
    input.Body.parserConfig.segmentTerminator == STRING
    input.Body.parserConfig.version == enum_ParserConfigVersion[_]
    input.Body.rejectDuplicateMessage == BOOLEAN
    input.ReqMap.name == STRING
    input.Qs.updateMask == STRING
    input.ProviderMetadata.Region == STRING
}

enum_AuditLogConfigLogType := [ "LOG_TYPE_UNSPECIFIED", "ADMIN_READ", "DATA_WRITE", "DATA_READ" ]

valid {
    input.Body.policy.auditConfigs[_].auditLogConfigs[_].exemptedMembers[_] == STRING
    input.Body.policy.auditConfigs[_].auditLogConfigs[_].logType == enum_AuditLogConfigLogType[_]
    input.Body.policy.auditConfigs[_].service == STRING
    input.Body.policy.bindings[_].condition.description == STRING
    input.Body.policy.bindings[_].condition.expression == STRING
    input.Body.policy.bindings[_].condition.location == STRING
    input.Body.policy.bindings[_].condition.title == STRING
    input.Body.policy.bindings[_].members[_] == STRING
    input.Body.policy.bindings[_].role == STRING
    input.Body.policy.etag == STRING
    input.Body.policy.version == INTEGER
    input.Body.updateMask == STRING
    input.ReqMap.resource == STRING
    input.ProviderMetadata.Region == STRING
}

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

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

enum_AuditLogConfigLogType := [ "LOG_TYPE_UNSPECIFIED", "ADMIN_READ", "DATA_WRITE", "DATA_READ" ]

valid {
    input.Body.policy.auditConfigs[_].auditLogConfigs[_].exemptedMembers[_] == STRING
    input.Body.policy.auditConfigs[_].auditLogConfigs[_].logType == enum_AuditLogConfigLogType[_]
    input.Body.policy.auditConfigs[_].service == STRING
    input.Body.policy.bindings[_].condition.description == STRING
    input.Body.policy.bindings[_].condition.expression == STRING
    input.Body.policy.bindings[_].condition.location == STRING
    input.Body.policy.bindings[_].condition.title == STRING
    input.Body.policy.bindings[_].members[_] == STRING
    input.Body.policy.bindings[_].role == STRING
    input.Body.policy.etag == STRING
    input.Body.policy.version == INTEGER
    input.Body.updateMask == STRING
    input.ReqMap.resource == STRING
    input.ProviderMetadata.Region == STRING
}

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

enum_AnalyzeEntitiesRequestAlternativeOutputFormat := [ "ALTERNATIVE_OUTPUT_FORMAT_UNSPECIFIED", "FHIR_BUNDLE" ]
enum_AnalyzeEntitiesRequestLicensedVocabularies := [ "LICENSED_VOCABULARY_UNSPECIFIED", "ICD10CM", "SNOMEDCT_US" ]

valid {
    input.Body.alternativeOutputFormat == enum_AnalyzeEntitiesRequestAlternativeOutputFormat[_]
    input.Body.documentContent == STRING
    input.Body.licensedVocabularies[_] == enum_AnalyzeEntitiesRequestLicensedVocabularies[_]
    input.ReqMap.nlpService == STRING
    input.ProviderMetadata.Region == STRING
}