enum_AgreementType := [ "NotSpecified", "AS2", "X12", "Edifact" ]
enum_EdifactCharacterSet := [ "NotSpecified", "UNOB", "UNOA", "UNOC", "UNOD", "UNOE", "UNOF", "UNOG", "UNOH", "UNOI", "UNOJ", "UNOK", "UNOX", "UNOY", "KECA" ]
enum_EdifactDecimalIndicator := [ "NotSpecified", "Comma", "Decimal" ]
enum_EncryptionAlgorithm := [ "NotSpecified", "None", "DES3", "RC2", "AES128", "AES192", "AES256" ]
enum_HashingAlgorithm := [ "NotSpecified", "None", "MD5", "SHA1", "SHA2256", "SHA2384", "SHA2512" ]
enum_MessageFilterType := [ "NotSpecified", "Include", "Exclude" ]
enum_SegmentTerminatorSuffix := [ "NotSpecified", "None", "CR", "LF", "CRLF" ]
enum_SigningAlgorithm := [ "NotSpecified", "Default", "SHA1", "SHA2256", "SHA2384", "SHA2512" ]
enum_TrailingSeparatorPolicy := [ "NotSpecified", "NotAllowed", "Optional", "Mandatory" ]
enum_UsageIndicator := [ "NotSpecified", "Test", "Information", "Production" ]
enum_X12CharacterSet := [ "NotSpecified", "Basic", "Extended", "UTF8" ]
enum_X12DateFormat := [ "NotSpecified", "CCYYMMDD", "YYMMDD" ]
enum_X12TimeFormat := [ "NotSpecified", "HHMM", "HHMMSS", "HHMMSSdd", "HHMMSSd" ]

valid {
    input.Body.properties.metadata.STRING == STRING
    input.Body.properties.agreementType == enum_AgreementType[_]
    input.Body.properties.hostPartner == STRING
    input.Body.properties.guestPartner == STRING
    input.Body.properties.hostIdentity.qualifier == STRING
    input.Body.properties.hostIdentity.value == STRING
    input.Body.properties.guestIdentity.qualifier == STRING
    input.Body.properties.guestIdentity.value == STRING
    input.Body.properties.content.aS2.receiveAgreement.senderBusinessIdentity.qualifier == STRING
    input.Body.properties.content.aS2.receiveAgreement.senderBusinessIdentity.value == STRING
    input.Body.properties.content.aS2.receiveAgreement.receiverBusinessIdentity.qualifier == STRING
    input.Body.properties.content.aS2.receiveAgreement.receiverBusinessIdentity.value == STRING
    input.Body.properties.content.aS2.receiveAgreement.protocolSettings.messageConnectionSettings.ignoreCertificateNameMismatch == BOOLEAN
    input.Body.properties.content.aS2.receiveAgreement.protocolSettings.messageConnectionSettings.supportHttpStatusCodeContinue == BOOLEAN
    input.Body.properties.content.aS2.receiveAgreement.protocolSettings.messageConnectionSettings.keepHttpConnectionAlive == BOOLEAN
    input.Body.properties.content.aS2.receiveAgreement.protocolSettings.messageConnectionSettings.unfoldHttpHeaders == BOOLEAN
    input.Body.properties.content.aS2.receiveAgreement.protocolSettings.acknowledgementConnectionSettings.ignoreCertificateNameMismatch == BOOLEAN
    input.Body.properties.content.aS2.receiveAgreement.protocolSettings.acknowledgementConnectionSettings.supportHttpStatusCodeContinue == BOOLEAN
    input.Body.properties.content.aS2.receiveAgreement.protocolSettings.acknowledgementConnectionSettings.keepHttpConnectionAlive == BOOLEAN
    input.Body.properties.content.aS2.receiveAgreement.protocolSettings.acknowledgementConnectionSettings.unfoldHttpHeaders == BOOLEAN
    input.Body.properties.content.aS2.receiveAgreement.protocolSettings.mdnSettings.needMDN == BOOLEAN
    input.Body.properties.content.aS2.receiveAgreement.protocolSettings.mdnSettings.signMDN == BOOLEAN
    input.Body.properties.content.aS2.receiveAgreement.protocolSettings.mdnSettings.sendMDNAsynchronously == BOOLEAN
    input.Body.properties.content.aS2.receiveAgreement.protocolSettings.mdnSettings.receiptDeliveryUrl == STRING
    input.Body.properties.content.aS2.receiveAgreement.protocolSettings.mdnSettings.dispositionNotificationTo == STRING
    input.Body.properties.content.aS2.receiveAgreement.protocolSettings.mdnSettings.signOutboundMDNIfOptional == BOOLEAN
    input.Body.properties.content.aS2.receiveAgreement.protocolSettings.mdnSettings.mdnText == STRING
    input.Body.properties.content.aS2.receiveAgreement.protocolSettings.mdnSettings.sendInboundMDNToMessageBox == BOOLEAN
    input.Body.properties.content.aS2.receiveAgreement.protocolSettings.mdnSettings.micHashingAlgorithm == enum_HashingAlgorithm[_]
    input.Body.properties.content.aS2.receiveAgreement.protocolSettings.securitySettings.overrideGroupSigningCertificate == BOOLEAN
    input.Body.properties.content.aS2.receiveAgreement.protocolSettings.securitySettings.signingCertificateName == STRING
    input.Body.properties.content.aS2.receiveAgreement.protocolSettings.securitySettings.encryptionCertificateName == STRING
    input.Body.properties.content.aS2.receiveAgreement.protocolSettings.securitySettings.enableNRRForInboundEncodedMessages == BOOLEAN
    input.Body.properties.content.aS2.receiveAgreement.protocolSettings.securitySettings.enableNRRForInboundDecodedMessages == BOOLEAN
    input.Body.properties.content.aS2.receiveAgreement.protocolSettings.securitySettings.enableNRRForOutboundMDN == BOOLEAN
    input.Body.properties.content.aS2.receiveAgreement.protocolSettings.securitySettings.enableNRRForOutboundEncodedMessages == BOOLEAN
    input.Body.properties.content.aS2.receiveAgreement.protocolSettings.securitySettings.enableNRRForOutboundDecodedMessages == BOOLEAN
    input.Body.properties.content.aS2.receiveAgreement.protocolSettings.securitySettings.enableNRRForInboundMDN == BOOLEAN
    input.Body.properties.content.aS2.receiveAgreement.protocolSettings.securitySettings.sha2AlgorithmFormat == STRING
    input.Body.properties.content.aS2.receiveAgreement.protocolSettings.validationSettings.overrideMessageProperties == BOOLEAN
    input.Body.properties.content.aS2.receiveAgreement.protocolSettings.validationSettings.encryptMessage == BOOLEAN
    input.Body.properties.content.aS2.receiveAgreement.protocolSettings.validationSettings.signMessage == BOOLEAN
    input.Body.properties.content.aS2.receiveAgreement.protocolSettings.validationSettings.compressMessage == BOOLEAN
    input.Body.properties.content.aS2.receiveAgreement.protocolSettings.validationSettings.checkDuplicateMessage == BOOLEAN
    input.Body.properties.content.aS2.receiveAgreement.protocolSettings.validationSettings.interchangeDuplicatesValidityDays == INTEGER
    input.Body.properties.content.aS2.receiveAgreement.protocolSettings.validationSettings.checkCertificateRevocationListOnSend == BOOLEAN
    input.Body.properties.content.aS2.receiveAgreement.protocolSettings.validationSettings.checkCertificateRevocationListOnReceive == BOOLEAN
    input.Body.properties.content.aS2.receiveAgreement.protocolSettings.validationSettings.encryptionAlgorithm == enum_EncryptionAlgorithm[_]
    input.Body.properties.content.aS2.receiveAgreement.protocolSettings.validationSettings.signingAlgorithm == enum_SigningAlgorithm[_]
    input.Body.properties.content.aS2.receiveAgreement.protocolSettings.envelopeSettings.messageContentType == STRING
    input.Body.properties.content.aS2.receiveAgreement.protocolSettings.envelopeSettings.transmitFileNameInMimeHeader == BOOLEAN
    input.Body.properties.content.aS2.receiveAgreement.protocolSettings.envelopeSettings.fileNameTemplate == STRING
    input.Body.properties.content.aS2.receiveAgreement.protocolSettings.envelopeSettings.suspendMessageOnFileNameGenerationError == BOOLEAN
    input.Body.properties.content.aS2.receiveAgreement.protocolSettings.envelopeSettings.autogenerateFileName == BOOLEAN
    input.Body.properties.content.aS2.receiveAgreement.protocolSettings.errorSettings.suspendDuplicateMessage == BOOLEAN
    input.Body.properties.content.aS2.receiveAgreement.protocolSettings.errorSettings.resendIfMDNNotReceived == BOOLEAN
    input.Body.properties.content.aS2.sendAgreement.senderBusinessIdentity.qualifier == STRING
    input.Body.properties.content.aS2.sendAgreement.senderBusinessIdentity.value == STRING
    input.Body.properties.content.aS2.sendAgreement.receiverBusinessIdentity.qualifier == STRING
    input.Body.properties.content.aS2.sendAgreement.receiverBusinessIdentity.value == STRING
    input.Body.properties.content.aS2.sendAgreement.protocolSettings.messageConnectionSettings.ignoreCertificateNameMismatch == BOOLEAN
    input.Body.properties.content.aS2.sendAgreement.protocolSettings.messageConnectionSettings.supportHttpStatusCodeContinue == BOOLEAN
    input.Body.properties.content.aS2.sendAgreement.protocolSettings.messageConnectionSettings.keepHttpConnectionAlive == BOOLEAN
    input.Body.properties.content.aS2.sendAgreement.protocolSettings.messageConnectionSettings.unfoldHttpHeaders == BOOLEAN
    input.Body.properties.content.aS2.sendAgreement.protocolSettings.acknowledgementConnectionSettings.ignoreCertificateNameMismatch == BOOLEAN
    input.Body.properties.content.aS2.sendAgreement.protocolSettings.acknowledgementConnectionSettings.supportHttpStatusCodeContinue == BOOLEAN
    input.Body.properties.content.aS2.sendAgreement.protocolSettings.acknowledgementConnectionSettings.keepHttpConnectionAlive == BOOLEAN
    input.Body.properties.content.aS2.sendAgreement.protocolSettings.acknowledgementConnectionSettings.unfoldHttpHeaders == BOOLEAN
    input.Body.properties.content.aS2.sendAgreement.protocolSettings.mdnSettings.needMDN == BOOLEAN
    input.Body.properties.content.aS2.sendAgreement.protocolSettings.mdnSettings.signMDN == BOOLEAN
    input.Body.properties.content.aS2.sendAgreement.protocolSettings.mdnSettings.sendMDNAsynchronously == BOOLEAN
    input.Body.properties.content.aS2.sendAgreement.protocolSettings.mdnSettings.receiptDeliveryUrl == STRING
    input.Body.properties.content.aS2.sendAgreement.protocolSettings.mdnSettings.dispositionNotificationTo == STRING
    input.Body.properties.content.aS2.sendAgreement.protocolSettings.mdnSettings.signOutboundMDNIfOptional == BOOLEAN
    input.Body.properties.content.aS2.sendAgreement.protocolSettings.mdnSettings.mdnText == STRING
    input.Body.properties.content.aS2.sendAgreement.protocolSettings.mdnSettings.sendInboundMDNToMessageBox == BOOLEAN
    input.Body.properties.content.aS2.sendAgreement.protocolSettings.mdnSettings.micHashingAlgorithm == enum_HashingAlgorithm[_]
    input.Body.properties.content.aS2.sendAgreement.protocolSettings.securitySettings.overrideGroupSigningCertificate == BOOLEAN
    input.Body.properties.content.aS2.sendAgreement.protocolSettings.securitySettings.signingCertificateName == STRING
    input.Body.properties.content.aS2.sendAgreement.protocolSettings.securitySettings.encryptionCertificateName == STRING
    input.Body.properties.content.aS2.sendAgreement.protocolSettings.securitySettings.enableNRRForInboundEncodedMessages == BOOLEAN
    input.Body.properties.content.aS2.sendAgreement.protocolSettings.securitySettings.enableNRRForInboundDecodedMessages == BOOLEAN
    input.Body.properties.content.aS2.sendAgreement.protocolSettings.securitySettings.enableNRRForOutboundMDN == BOOLEAN
    input.Body.properties.content.aS2.sendAgreement.protocolSettings.securitySettings.enableNRRForOutboundEncodedMessages == BOOLEAN
    input.Body.properties.content.aS2.sendAgreement.protocolSettings.securitySettings.enableNRRForOutboundDecodedMessages == BOOLEAN
    input.Body.properties.content.aS2.sendAgreement.protocolSettings.securitySettings.enableNRRForInboundMDN == BOOLEAN
    input.Body.properties.content.aS2.sendAgreement.protocolSettings.securitySettings.sha2AlgorithmFormat == STRING
    input.Body.properties.content.aS2.sendAgreement.protocolSettings.validationSettings.overrideMessageProperties == BOOLEAN
    input.Body.properties.content.aS2.sendAgreement.protocolSettings.validationSettings.encryptMessage == BOOLEAN
    input.Body.properties.content.aS2.sendAgreement.protocolSettings.validationSettings.signMessage == BOOLEAN
    input.Body.properties.content.aS2.sendAgreement.protocolSettings.validationSettings.compressMessage == BOOLEAN
    input.Body.properties.content.aS2.sendAgreement.protocolSettings.validationSettings.checkDuplicateMessage == BOOLEAN
    input.Body.properties.content.aS2.sendAgreement.protocolSettings.validationSettings.interchangeDuplicatesValidityDays == INTEGER
    input.Body.properties.content.aS2.sendAgreement.protocolSettings.validationSettings.checkCertificateRevocationListOnSend == BOOLEAN
    input.Body.properties.content.aS2.sendAgreement.protocolSettings.validationSettings.checkCertificateRevocationListOnReceive == BOOLEAN
    input.Body.properties.content.aS2.sendAgreement.protocolSettings.validationSettings.encryptionAlgorithm == enum_EncryptionAlgorithm[_]
    input.Body.properties.content.aS2.sendAgreement.protocolSettings.validationSettings.signingAlgorithm == enum_SigningAlgorithm[_]
    input.Body.properties.content.aS2.sendAgreement.protocolSettings.envelopeSettings.messageContentType == STRING
    input.Body.properties.content.aS2.sendAgreement.protocolSettings.envelopeSettings.transmitFileNameInMimeHeader == BOOLEAN
    input.Body.properties.content.aS2.sendAgreement.protocolSettings.envelopeSettings.fileNameTemplate == STRING
    input.Body.properties.content.aS2.sendAgreement.protocolSettings.envelopeSettings.suspendMessageOnFileNameGenerationError == BOOLEAN
    input.Body.properties.content.aS2.sendAgreement.protocolSettings.envelopeSettings.autogenerateFileName == BOOLEAN
    input.Body.properties.content.aS2.sendAgreement.protocolSettings.errorSettings.suspendDuplicateMessage == BOOLEAN
    input.Body.properties.content.aS2.sendAgreement.protocolSettings.errorSettings.resendIfMDNNotReceived == BOOLEAN
    input.Body.properties.content.x12.receiveAgreement.senderBusinessIdentity.qualifier == STRING
    input.Body.properties.content.x12.receiveAgreement.senderBusinessIdentity.value == STRING
    input.Body.properties.content.x12.receiveAgreement.receiverBusinessIdentity.qualifier == STRING
    input.Body.properties.content.x12.receiveAgreement.receiverBusinessIdentity.value == STRING
    input.Body.properties.content.x12.receiveAgreement.protocolSettings.validationSettings.validateCharacterSet == BOOLEAN
    input.Body.properties.content.x12.receiveAgreement.protocolSettings.validationSettings.checkDuplicateInterchangeControlNumber == BOOLEAN
    input.Body.properties.content.x12.receiveAgreement.protocolSettings.validationSettings.interchangeControlNumberValidityDays == INTEGER
    input.Body.properties.content.x12.receiveAgreement.protocolSettings.validationSettings.checkDuplicateGroupControlNumber == BOOLEAN
    input.Body.properties.content.x12.receiveAgreement.protocolSettings.validationSettings.checkDuplicateTransactionSetControlNumber == BOOLEAN
    input.Body.properties.content.x12.receiveAgreement.protocolSettings.validationSettings.validateEDITypes == BOOLEAN
    input.Body.properties.content.x12.receiveAgreement.protocolSettings.validationSettings.validateXSDTypes == BOOLEAN
    input.Body.properties.content.x12.receiveAgreement.protocolSettings.validationSettings.allowLeadingAndTrailingSpacesAndZeroes == BOOLEAN
    input.Body.properties.content.x12.receiveAgreement.protocolSettings.validationSettings.trimLeadingAndTrailingSpacesAndZeroes == BOOLEAN
    input.Body.properties.content.x12.receiveAgreement.protocolSettings.validationSettings.trailingSeparatorPolicy == enum_TrailingSeparatorPolicy[_]
    input.Body.properties.content.x12.receiveAgreement.protocolSettings.framingSettings.dataElementSeparator == INTEGER
    input.Body.properties.content.x12.receiveAgreement.protocolSettings.framingSettings.componentSeparator == INTEGER
    input.Body.properties.content.x12.receiveAgreement.protocolSettings.framingSettings.replaceSeparatorsInPayload == BOOLEAN
    input.Body.properties.content.x12.receiveAgreement.protocolSettings.framingSettings.replaceCharacter == INTEGER
    input.Body.properties.content.x12.receiveAgreement.protocolSettings.framingSettings.segmentTerminator == INTEGER
    input.Body.properties.content.x12.receiveAgreement.protocolSettings.framingSettings.characterSet == enum_X12CharacterSet[_]
    input.Body.properties.content.x12.receiveAgreement.protocolSettings.framingSettings.segmentTerminatorSuffix == enum_SegmentTerminatorSuffix[_]
    input.Body.properties.content.x12.receiveAgreement.protocolSettings.envelopeSettings.controlStandardsId == INTEGER
    input.Body.properties.content.x12.receiveAgreement.protocolSettings.envelopeSettings.useControlStandardsIdAsRepetitionCharacter == BOOLEAN
    input.Body.properties.content.x12.receiveAgreement.protocolSettings.envelopeSettings.senderApplicationId == STRING
    input.Body.properties.content.x12.receiveAgreement.protocolSettings.envelopeSettings.receiverApplicationId == STRING
    input.Body.properties.content.x12.receiveAgreement.protocolSettings.envelopeSettings.controlVersionNumber == STRING
    input.Body.properties.content.x12.receiveAgreement.protocolSettings.envelopeSettings.interchangeControlNumberLowerBound == INTEGER
    input.Body.properties.content.x12.receiveAgreement.protocolSettings.envelopeSettings.interchangeControlNumberUpperBound == INTEGER
    input.Body.properties.content.x12.receiveAgreement.protocolSettings.envelopeSettings.rolloverInterchangeControlNumber == BOOLEAN
    input.Body.properties.content.x12.receiveAgreement.protocolSettings.envelopeSettings.enableDefaultGroupHeaders == BOOLEAN
    input.Body.properties.content.x12.receiveAgreement.protocolSettings.envelopeSettings.functionalGroupId == STRING
    input.Body.properties.content.x12.receiveAgreement.protocolSettings.envelopeSettings.groupControlNumberLowerBound == INTEGER
    input.Body.properties.content.x12.receiveAgreement.protocolSettings.envelopeSettings.groupControlNumberUpperBound == INTEGER
    input.Body.properties.content.x12.receiveAgreement.protocolSettings.envelopeSettings.rolloverGroupControlNumber == BOOLEAN
    input.Body.properties.content.x12.receiveAgreement.protocolSettings.envelopeSettings.groupHeaderAgencyCode == STRING
    input.Body.properties.content.x12.receiveAgreement.protocolSettings.envelopeSettings.groupHeaderVersion == STRING
    input.Body.properties.content.x12.receiveAgreement.protocolSettings.envelopeSettings.transactionSetControlNumberLowerBound == INTEGER
    input.Body.properties.content.x12.receiveAgreement.protocolSettings.envelopeSettings.transactionSetControlNumberUpperBound == INTEGER
    input.Body.properties.content.x12.receiveAgreement.protocolSettings.envelopeSettings.rolloverTransactionSetControlNumber == BOOLEAN
    input.Body.properties.content.x12.receiveAgreement.protocolSettings.envelopeSettings.transactionSetControlNumberPrefix == STRING
    input.Body.properties.content.x12.receiveAgreement.protocolSettings.envelopeSettings.transactionSetControlNumberSuffix == STRING
    input.Body.properties.content.x12.receiveAgreement.protocolSettings.envelopeSettings.overwriteExistingTransactionSetControlNumber == BOOLEAN
    input.Body.properties.content.x12.receiveAgreement.protocolSettings.envelopeSettings.groupHeaderDateFormat == enum_X12DateFormat[_]
    input.Body.properties.content.x12.receiveAgreement.protocolSettings.envelopeSettings.groupHeaderTimeFormat == enum_X12TimeFormat[_]
    input.Body.properties.content.x12.receiveAgreement.protocolSettings.envelopeSettings.usageIndicator == enum_UsageIndicator[_]
    input.Body.properties.content.x12.receiveAgreement.protocolSettings.acknowledgementSettings.needTechnicalAcknowledgement == BOOLEAN
    input.Body.properties.content.x12.receiveAgreement.protocolSettings.acknowledgementSettings.batchTechnicalAcknowledgements == BOOLEAN
    input.Body.properties.content.x12.receiveAgreement.protocolSettings.acknowledgementSettings.needFunctionalAcknowledgement == BOOLEAN
    input.Body.properties.content.x12.receiveAgreement.protocolSettings.acknowledgementSettings.functionalAcknowledgementVersion == STRING
    input.Body.properties.content.x12.receiveAgreement.protocolSettings.acknowledgementSettings.batchFunctionalAcknowledgements == BOOLEAN
    input.Body.properties.content.x12.receiveAgreement.protocolSettings.acknowledgementSettings.needImplementationAcknowledgement == BOOLEAN
    input.Body.properties.content.x12.receiveAgreement.protocolSettings.acknowledgementSettings.implementationAcknowledgementVersion == STRING
    input.Body.properties.content.x12.receiveAgreement.protocolSettings.acknowledgementSettings.batchImplementationAcknowledgements == BOOLEAN
    input.Body.properties.content.x12.receiveAgreement.protocolSettings.acknowledgementSettings.needLoopForValidMessages == BOOLEAN
    input.Body.properties.content.x12.receiveAgreement.protocolSettings.acknowledgementSettings.sendSynchronousAcknowledgement == BOOLEAN
    input.Body.properties.content.x12.receiveAgreement.protocolSettings.acknowledgementSettings.acknowledgementControlNumberPrefix == STRING
    input.Body.properties.content.x12.receiveAgreement.protocolSettings.acknowledgementSettings.acknowledgementControlNumberSuffix == STRING
    input.Body.properties.content.x12.receiveAgreement.protocolSettings.acknowledgementSettings.acknowledgementControlNumberLowerBound == INTEGER
    input.Body.properties.content.x12.receiveAgreement.protocolSettings.acknowledgementSettings.acknowledgementControlNumberUpperBound == INTEGER
    input.Body.properties.content.x12.receiveAgreement.protocolSettings.acknowledgementSettings.rolloverAcknowledgementControlNumber == BOOLEAN
    input.Body.properties.content.x12.receiveAgreement.protocolSettings.messageFilter.messageFilterType == enum_MessageFilterType[_]
    input.Body.properties.content.x12.receiveAgreement.protocolSettings.securitySettings.authorizationQualifier == STRING
    input.Body.properties.content.x12.receiveAgreement.protocolSettings.securitySettings.authorizationValue == STRING
    input.Body.properties.content.x12.receiveAgreement.protocolSettings.securitySettings.securityQualifier == STRING
    input.Body.properties.content.x12.receiveAgreement.protocolSettings.securitySettings.passwordValue == STRING
    input.Body.properties.content.x12.receiveAgreement.protocolSettings.processingSettings.maskSecurityInfo == BOOLEAN
    input.Body.properties.content.x12.receiveAgreement.protocolSettings.processingSettings.convertImpliedDecimal == BOOLEAN
    input.Body.properties.content.x12.receiveAgreement.protocolSettings.processingSettings.preserveInterchange == BOOLEAN
    input.Body.properties.content.x12.receiveAgreement.protocolSettings.processingSettings.suspendInterchangeOnError == BOOLEAN
    input.Body.properties.content.x12.receiveAgreement.protocolSettings.processingSettings.createEmptyXmlTagsForTrailingSeparators == BOOLEAN
    input.Body.properties.content.x12.receiveAgreement.protocolSettings.processingSettings.useDotAsDecimalSeparator == BOOLEAN
    input.Body.properties.content.x12.receiveAgreement.protocolSettings.envelopeOverrides[_].targetNamespace == STRING
    input.Body.properties.content.x12.receiveAgreement.protocolSettings.envelopeOverrides[_].protocolVersion == STRING
    input.Body.properties.content.x12.receiveAgreement.protocolSettings.envelopeOverrides[_].messageId == STRING
    input.Body.properties.content.x12.receiveAgreement.protocolSettings.envelopeOverrides[_].responsibleAgencyCode == STRING
    input.Body.properties.content.x12.receiveAgreement.protocolSettings.envelopeOverrides[_].headerVersion == STRING
    input.Body.properties.content.x12.receiveAgreement.protocolSettings.envelopeOverrides[_].senderApplicationId == STRING
    input.Body.properties.content.x12.receiveAgreement.protocolSettings.envelopeOverrides[_].receiverApplicationId == STRING
    input.Body.properties.content.x12.receiveAgreement.protocolSettings.envelopeOverrides[_].functionalIdentifierCode == STRING
    input.Body.properties.content.x12.receiveAgreement.protocolSettings.envelopeOverrides[_].dateFormat == enum_X12DateFormat[_]
    input.Body.properties.content.x12.receiveAgreement.protocolSettings.envelopeOverrides[_].timeFormat == enum_X12TimeFormat[_]
    input.Body.properties.content.x12.receiveAgreement.protocolSettings.validationOverrides[_].messageId == STRING
    input.Body.properties.content.x12.receiveAgreement.protocolSettings.validationOverrides[_].validateEDITypes == BOOLEAN
    input.Body.properties.content.x12.receiveAgreement.protocolSettings.validationOverrides[_].validateXSDTypes == BOOLEAN
    input.Body.properties.content.x12.receiveAgreement.protocolSettings.validationOverrides[_].allowLeadingAndTrailingSpacesAndZeroes == BOOLEAN
    input.Body.properties.content.x12.receiveAgreement.protocolSettings.validationOverrides[_].validateCharacterSet == BOOLEAN
    input.Body.properties.content.x12.receiveAgreement.protocolSettings.validationOverrides[_].trimLeadingAndTrailingSpacesAndZeroes == BOOLEAN
    input.Body.properties.content.x12.receiveAgreement.protocolSettings.validationOverrides[_].trailingSeparatorPolicy == enum_TrailingSeparatorPolicy[_]
    input.Body.properties.content.x12.receiveAgreement.protocolSettings.messageFilterList[_].messageId == STRING
    input.Body.properties.content.x12.receiveAgreement.protocolSettings.schemaReferences[_].messageId == STRING
    input.Body.properties.content.x12.receiveAgreement.protocolSettings.schemaReferences[_].senderApplicationId == STRING
    input.Body.properties.content.x12.receiveAgreement.protocolSettings.schemaReferences[_].schemaVersion == STRING
    input.Body.properties.content.x12.receiveAgreement.protocolSettings.schemaReferences[_].schemaName == STRING
    input.Body.properties.content.x12.receiveAgreement.protocolSettings.x12DelimiterOverrides[_].protocolVersion == STRING
    input.Body.properties.content.x12.receiveAgreement.protocolSettings.x12DelimiterOverrides[_].messageId == STRING
    input.Body.properties.content.x12.receiveAgreement.protocolSettings.x12DelimiterOverrides[_].dataElementSeparator == INTEGER
    input.Body.properties.content.x12.receiveAgreement.protocolSettings.x12DelimiterOverrides[_].componentSeparator == INTEGER
    input.Body.properties.content.x12.receiveAgreement.protocolSettings.x12DelimiterOverrides[_].segmentTerminator == INTEGER
    input.Body.properties.content.x12.receiveAgreement.protocolSettings.x12DelimiterOverrides[_].segmentTerminatorSuffix == enum_SegmentTerminatorSuffix[_]
    input.Body.properties.content.x12.receiveAgreement.protocolSettings.x12DelimiterOverrides[_].replaceCharacter == INTEGER
    input.Body.properties.content.x12.receiveAgreement.protocolSettings.x12DelimiterOverrides[_].replaceSeparatorsInPayload == BOOLEAN
    input.Body.properties.content.x12.receiveAgreement.protocolSettings.x12DelimiterOverrides[_].targetNamespace == STRING
    input.Body.properties.content.x12.sendAgreement.senderBusinessIdentity.qualifier == STRING
    input.Body.properties.content.x12.sendAgreement.senderBusinessIdentity.value == STRING
    input.Body.properties.content.x12.sendAgreement.receiverBusinessIdentity.qualifier == STRING
    input.Body.properties.content.x12.sendAgreement.receiverBusinessIdentity.value == STRING
    input.Body.properties.content.x12.sendAgreement.protocolSettings.validationSettings.validateCharacterSet == BOOLEAN
    input.Body.properties.content.x12.sendAgreement.protocolSettings.validationSettings.checkDuplicateInterchangeControlNumber == BOOLEAN
    input.Body.properties.content.x12.sendAgreement.protocolSettings.validationSettings.interchangeControlNumberValidityDays == INTEGER
    input.Body.properties.content.x12.sendAgreement.protocolSettings.validationSettings.checkDuplicateGroupControlNumber == BOOLEAN
    input.Body.properties.content.x12.sendAgreement.protocolSettings.validationSettings.checkDuplicateTransactionSetControlNumber == BOOLEAN
    input.Body.properties.content.x12.sendAgreement.protocolSettings.validationSettings.validateEDITypes == BOOLEAN
    input.Body.properties.content.x12.sendAgreement.protocolSettings.validationSettings.validateXSDTypes == BOOLEAN
    input.Body.properties.content.x12.sendAgreement.protocolSettings.validationSettings.allowLeadingAndTrailingSpacesAndZeroes == BOOLEAN
    input.Body.properties.content.x12.sendAgreement.protocolSettings.validationSettings.trimLeadingAndTrailingSpacesAndZeroes == BOOLEAN
    input.Body.properties.content.x12.sendAgreement.protocolSettings.validationSettings.trailingSeparatorPolicy == enum_TrailingSeparatorPolicy[_]
    input.Body.properties.content.x12.sendAgreement.protocolSettings.framingSettings.dataElementSeparator == INTEGER
    input.Body.properties.content.x12.sendAgreement.protocolSettings.framingSettings.componentSeparator == INTEGER
    input.Body.properties.content.x12.sendAgreement.protocolSettings.framingSettings.replaceSeparatorsInPayload == BOOLEAN
    input.Body.properties.content.x12.sendAgreement.protocolSettings.framingSettings.replaceCharacter == INTEGER
    input.Body.properties.content.x12.sendAgreement.protocolSettings.framingSettings.segmentTerminator == INTEGER
    input.Body.properties.content.x12.sendAgreement.protocolSettings.framingSettings.characterSet == enum_X12CharacterSet[_]
    input.Body.properties.content.x12.sendAgreement.protocolSettings.framingSettings.segmentTerminatorSuffix == enum_SegmentTerminatorSuffix[_]
    input.Body.properties.content.x12.sendAgreement.protocolSettings.envelopeSettings.controlStandardsId == INTEGER
    input.Body.properties.content.x12.sendAgreement.protocolSettings.envelopeSettings.useControlStandardsIdAsRepetitionCharacter == BOOLEAN
    input.Body.properties.content.x12.sendAgreement.protocolSettings.envelopeSettings.senderApplicationId == STRING
    input.Body.properties.content.x12.sendAgreement.protocolSettings.envelopeSettings.receiverApplicationId == STRING
    input.Body.properties.content.x12.sendAgreement.protocolSettings.envelopeSettings.controlVersionNumber == STRING
    input.Body.properties.content.x12.sendAgreement.protocolSettings.envelopeSettings.interchangeControlNumberLowerBound == INTEGER
    input.Body.properties.content.x12.sendAgreement.protocolSettings.envelopeSettings.interchangeControlNumberUpperBound == INTEGER
    input.Body.properties.content.x12.sendAgreement.protocolSettings.envelopeSettings.rolloverInterchangeControlNumber == BOOLEAN
    input.Body.properties.content.x12.sendAgreement.protocolSettings.envelopeSettings.enableDefaultGroupHeaders == BOOLEAN
    input.Body.properties.content.x12.sendAgreement.protocolSettings.envelopeSettings.functionalGroupId == STRING
    input.Body.properties.content.x12.sendAgreement.protocolSettings.envelopeSettings.groupControlNumberLowerBound == INTEGER
    input.Body.properties.content.x12.sendAgreement.protocolSettings.envelopeSettings.groupControlNumberUpperBound == INTEGER
    input.Body.properties.content.x12.sendAgreement.protocolSettings.envelopeSettings.rolloverGroupControlNumber == BOOLEAN
    input.Body.properties.content.x12.sendAgreement.protocolSettings.envelopeSettings.groupHeaderAgencyCode == STRING
    input.Body.properties.content.x12.sendAgreement.protocolSettings.envelopeSettings.groupHeaderVersion == STRING
    input.Body.properties.content.x12.sendAgreement.protocolSettings.envelopeSettings.transactionSetControlNumberLowerBound == INTEGER
    input.Body.properties.content.x12.sendAgreement.protocolSettings.envelopeSettings.transactionSetControlNumberUpperBound == INTEGER
    input.Body.properties.content.x12.sendAgreement.protocolSettings.envelopeSettings.rolloverTransactionSetControlNumber == BOOLEAN
    input.Body.properties.content.x12.sendAgreement.protocolSettings.envelopeSettings.transactionSetControlNumberPrefix == STRING
    input.Body.properties.content.x12.sendAgreement.protocolSettings.envelopeSettings.transactionSetControlNumberSuffix == STRING
    input.Body.properties.content.x12.sendAgreement.protocolSettings.envelopeSettings.overwriteExistingTransactionSetControlNumber == BOOLEAN
    input.Body.properties.content.x12.sendAgreement.protocolSettings.envelopeSettings.groupHeaderDateFormat == enum_X12DateFormat[_]
    input.Body.properties.content.x12.sendAgreement.protocolSettings.envelopeSettings.groupHeaderTimeFormat == enum_X12TimeFormat[_]
    input.Body.properties.content.x12.sendAgreement.protocolSettings.envelopeSettings.usageIndicator == enum_UsageIndicator[_]
    input.Body.properties.content.x12.sendAgreement.protocolSettings.acknowledgementSettings.needTechnicalAcknowledgement == BOOLEAN
    input.Body.properties.content.x12.sendAgreement.protocolSettings.acknowledgementSettings.batchTechnicalAcknowledgements == BOOLEAN
    input.Body.properties.content.x12.sendAgreement.protocolSettings.acknowledgementSettings.needFunctionalAcknowledgement == BOOLEAN
    input.Body.properties.content.x12.sendAgreement.protocolSettings.acknowledgementSettings.functionalAcknowledgementVersion == STRING
    input.Body.properties.content.x12.sendAgreement.protocolSettings.acknowledgementSettings.batchFunctionalAcknowledgements == BOOLEAN
    input.Body.properties.content.x12.sendAgreement.protocolSettings.acknowledgementSettings.needImplementationAcknowledgement == BOOLEAN
    input.Body.properties.content.x12.sendAgreement.protocolSettings.acknowledgementSettings.implementationAcknowledgementVersion == STRING
    input.Body.properties.content.x12.sendAgreement.protocolSettings.acknowledgementSettings.batchImplementationAcknowledgements == BOOLEAN
    input.Body.properties.content.x12.sendAgreement.protocolSettings.acknowledgementSettings.needLoopForValidMessages == BOOLEAN
    input.Body.properties.content.x12.sendAgreement.protocolSettings.acknowledgementSettings.sendSynchronousAcknowledgement == BOOLEAN
    input.Body.properties.content.x12.sendAgreement.protocolSettings.acknowledgementSettings.acknowledgementControlNumberPrefix == STRING
    input.Body.properties.content.x12.sendAgreement.protocolSettings.acknowledgementSettings.acknowledgementControlNumberSuffix == STRING
    input.Body.properties.content.x12.sendAgreement.protocolSettings.acknowledgementSettings.acknowledgementControlNumberLowerBound == INTEGER
    input.Body.properties.content.x12.sendAgreement.protocolSettings.acknowledgementSettings.acknowledgementControlNumberUpperBound == INTEGER
    input.Body.properties.content.x12.sendAgreement.protocolSettings.acknowledgementSettings.rolloverAcknowledgementControlNumber == BOOLEAN
    input.Body.properties.content.x12.sendAgreement.protocolSettings.messageFilter.messageFilterType == enum_MessageFilterType[_]
    input.Body.properties.content.x12.sendAgreement.protocolSettings.securitySettings.authorizationQualifier == STRING
    input.Body.properties.content.x12.sendAgreement.protocolSettings.securitySettings.authorizationValue == STRING
    input.Body.properties.content.x12.sendAgreement.protocolSettings.securitySettings.securityQualifier == STRING
    input.Body.properties.content.x12.sendAgreement.protocolSettings.securitySettings.passwordValue == STRING
    input.Body.properties.content.x12.sendAgreement.protocolSettings.processingSettings.maskSecurityInfo == BOOLEAN
    input.Body.properties.content.x12.sendAgreement.protocolSettings.processingSettings.convertImpliedDecimal == BOOLEAN
    input.Body.properties.content.x12.sendAgreement.protocolSettings.processingSettings.preserveInterchange == BOOLEAN
    input.Body.properties.content.x12.sendAgreement.protocolSettings.processingSettings.suspendInterchangeOnError == BOOLEAN
    input.Body.properties.content.x12.sendAgreement.protocolSettings.processingSettings.createEmptyXmlTagsForTrailingSeparators == BOOLEAN
    input.Body.properties.content.x12.sendAgreement.protocolSettings.processingSettings.useDotAsDecimalSeparator == BOOLEAN
    input.Body.properties.content.x12.sendAgreement.protocolSettings.envelopeOverrides[_].targetNamespace == STRING
    input.Body.properties.content.x12.sendAgreement.protocolSettings.envelopeOverrides[_].protocolVersion == STRING
    input.Body.properties.content.x12.sendAgreement.protocolSettings.envelopeOverrides[_].messageId == STRING
    input.Body.properties.content.x12.sendAgreement.protocolSettings.envelopeOverrides[_].responsibleAgencyCode == STRING
    input.Body.properties.content.x12.sendAgreement.protocolSettings.envelopeOverrides[_].headerVersion == STRING
    input.Body.properties.content.x12.sendAgreement.protocolSettings.envelopeOverrides[_].senderApplicationId == STRING
    input.Body.properties.content.x12.sendAgreement.protocolSettings.envelopeOverrides[_].receiverApplicationId == STRING
    input.Body.properties.content.x12.sendAgreement.protocolSettings.envelopeOverrides[_].functionalIdentifierCode == STRING
    input.Body.properties.content.x12.sendAgreement.protocolSettings.envelopeOverrides[_].dateFormat == enum_X12DateFormat[_]
    input.Body.properties.content.x12.sendAgreement.protocolSettings.envelopeOverrides[_].timeFormat == enum_X12TimeFormat[_]
    input.Body.properties.content.x12.sendAgreement.protocolSettings.validationOverrides[_].messageId == STRING
    input.Body.properties.content.x12.sendAgreement.protocolSettings.validationOverrides[_].validateEDITypes == BOOLEAN
    input.Body.properties.content.x12.sendAgreement.protocolSettings.validationOverrides[_].validateXSDTypes == BOOLEAN
    input.Body.properties.content.x12.sendAgreement.protocolSettings.validationOverrides[_].allowLeadingAndTrailingSpacesAndZeroes == BOOLEAN
    input.Body.properties.content.x12.sendAgreement.protocolSettings.validationOverrides[_].validateCharacterSet == BOOLEAN
    input.Body.properties.content.x12.sendAgreement.protocolSettings.validationOverrides[_].trimLeadingAndTrailingSpacesAndZeroes == BOOLEAN
    input.Body.properties.content.x12.sendAgreement.protocolSettings.validationOverrides[_].trailingSeparatorPolicy == enum_TrailingSeparatorPolicy[_]
    input.Body.properties.content.x12.sendAgreement.protocolSettings.messageFilterList[_].messageId == STRING
    input.Body.properties.content.x12.sendAgreement.protocolSettings.schemaReferences[_].messageId == STRING
    input.Body.properties.content.x12.sendAgreement.protocolSettings.schemaReferences[_].senderApplicationId == STRING
    input.Body.properties.content.x12.sendAgreement.protocolSettings.schemaReferences[_].schemaVersion == STRING
    input.Body.properties.content.x12.sendAgreement.protocolSettings.schemaReferences[_].schemaName == STRING
    input.Body.properties.content.x12.sendAgreement.protocolSettings.x12DelimiterOverrides[_].protocolVersion == STRING
    input.Body.properties.content.x12.sendAgreement.protocolSettings.x12DelimiterOverrides[_].messageId == STRING
    input.Body.properties.content.x12.sendAgreement.protocolSettings.x12DelimiterOverrides[_].dataElementSeparator == INTEGER
    input.Body.properties.content.x12.sendAgreement.protocolSettings.x12DelimiterOverrides[_].componentSeparator == INTEGER
    input.Body.properties.content.x12.sendAgreement.protocolSettings.x12DelimiterOverrides[_].segmentTerminator == INTEGER
    input.Body.properties.content.x12.sendAgreement.protocolSettings.x12DelimiterOverrides[_].segmentTerminatorSuffix == enum_SegmentTerminatorSuffix[_]
    input.Body.properties.content.x12.sendAgreement.protocolSettings.x12DelimiterOverrides[_].replaceCharacter == INTEGER
    input.Body.properties.content.x12.sendAgreement.protocolSettings.x12DelimiterOverrides[_].replaceSeparatorsInPayload == BOOLEAN
    input.Body.properties.content.x12.sendAgreement.protocolSettings.x12DelimiterOverrides[_].targetNamespace == STRING
    input.Body.properties.content.edifact.receiveAgreement.senderBusinessIdentity.qualifier == STRING
    input.Body.properties.content.edifact.receiveAgreement.senderBusinessIdentity.value == STRING
    input.Body.properties.content.edifact.receiveAgreement.receiverBusinessIdentity.qualifier == STRING
    input.Body.properties.content.edifact.receiveAgreement.receiverBusinessIdentity.value == STRING
    input.Body.properties.content.edifact.receiveAgreement.protocolSettings.validationSettings.validateCharacterSet == BOOLEAN
    input.Body.properties.content.edifact.receiveAgreement.protocolSettings.validationSettings.checkDuplicateInterchangeControlNumber == BOOLEAN
    input.Body.properties.content.edifact.receiveAgreement.protocolSettings.validationSettings.interchangeControlNumberValidityDays == INTEGER
    input.Body.properties.content.edifact.receiveAgreement.protocolSettings.validationSettings.checkDuplicateGroupControlNumber == BOOLEAN
    input.Body.properties.content.edifact.receiveAgreement.protocolSettings.validationSettings.checkDuplicateTransactionSetControlNumber == BOOLEAN
    input.Body.properties.content.edifact.receiveAgreement.protocolSettings.validationSettings.validateEDITypes == BOOLEAN
    input.Body.properties.content.edifact.receiveAgreement.protocolSettings.validationSettings.validateXSDTypes == BOOLEAN
    input.Body.properties.content.edifact.receiveAgreement.protocolSettings.validationSettings.allowLeadingAndTrailingSpacesAndZeroes == BOOLEAN
    input.Body.properties.content.edifact.receiveAgreement.protocolSettings.validationSettings.trimLeadingAndTrailingSpacesAndZeroes == BOOLEAN
    input.Body.properties.content.edifact.receiveAgreement.protocolSettings.validationSettings.trailingSeparatorPolicy == enum_TrailingSeparatorPolicy[_]
    input.Body.properties.content.edifact.receiveAgreement.protocolSettings.framingSettings.serviceCodeListDirectoryVersion == STRING
    input.Body.properties.content.edifact.receiveAgreement.protocolSettings.framingSettings.characterEncoding == STRING
    input.Body.properties.content.edifact.receiveAgreement.protocolSettings.framingSettings.protocolVersion == INTEGER
    input.Body.properties.content.edifact.receiveAgreement.protocolSettings.framingSettings.dataElementSeparator == INTEGER
    input.Body.properties.content.edifact.receiveAgreement.protocolSettings.framingSettings.componentSeparator == INTEGER
    input.Body.properties.content.edifact.receiveAgreement.protocolSettings.framingSettings.segmentTerminator == INTEGER
    input.Body.properties.content.edifact.receiveAgreement.protocolSettings.framingSettings.releaseIndicator == INTEGER
    input.Body.properties.content.edifact.receiveAgreement.protocolSettings.framingSettings.repetitionSeparator == INTEGER
    input.Body.properties.content.edifact.receiveAgreement.protocolSettings.framingSettings.characterSet == enum_EdifactCharacterSet[_]
    input.Body.properties.content.edifact.receiveAgreement.protocolSettings.framingSettings.decimalPointIndicator == enum_EdifactDecimalIndicator[_]
    input.Body.properties.content.edifact.receiveAgreement.protocolSettings.framingSettings.segmentTerminatorSuffix == enum_SegmentTerminatorSuffix[_]
    input.Body.properties.content.edifact.receiveAgreement.protocolSettings.envelopeSettings.groupAssociationAssignedCode == STRING
    input.Body.properties.content.edifact.receiveAgreement.protocolSettings.envelopeSettings.communicationAgreementId == STRING
    input.Body.properties.content.edifact.receiveAgreement.protocolSettings.envelopeSettings.applyDelimiterStringAdvice == BOOLEAN
    input.Body.properties.content.edifact.receiveAgreement.protocolSettings.envelopeSettings.createGroupingSegments == BOOLEAN
    input.Body.properties.content.edifact.receiveAgreement.protocolSettings.envelopeSettings.enableDefaultGroupHeaders == BOOLEAN
    input.Body.properties.content.edifact.receiveAgreement.protocolSettings.envelopeSettings.recipientReferencePasswordValue == STRING
    input.Body.properties.content.edifact.receiveAgreement.protocolSettings.envelopeSettings.recipientReferencePasswordQualifier == STRING
    input.Body.properties.content.edifact.receiveAgreement.protocolSettings.envelopeSettings.applicationReferenceId == STRING
    input.Body.properties.content.edifact.receiveAgreement.protocolSettings.envelopeSettings.processingPriorityCode == STRING
    input.Body.properties.content.edifact.receiveAgreement.protocolSettings.envelopeSettings.interchangeControlNumberLowerBound == INTEGER
    input.Body.properties.content.edifact.receiveAgreement.protocolSettings.envelopeSettings.interchangeControlNumberUpperBound == INTEGER
    input.Body.properties.content.edifact.receiveAgreement.protocolSettings.envelopeSettings.rolloverInterchangeControlNumber == BOOLEAN
    input.Body.properties.content.edifact.receiveAgreement.protocolSettings.envelopeSettings.interchangeControlNumberPrefix == STRING
    input.Body.properties.content.edifact.receiveAgreement.protocolSettings.envelopeSettings.interchangeControlNumberSuffix == STRING
    input.Body.properties.content.edifact.receiveAgreement.protocolSettings.envelopeSettings.senderReverseRoutingAddress == STRING
    input.Body.properties.content.edifact.receiveAgreement.protocolSettings.envelopeSettings.receiverReverseRoutingAddress == STRING
    input.Body.properties.content.edifact.receiveAgreement.protocolSettings.envelopeSettings.functionalGroupId == STRING
    input.Body.properties.content.edifact.receiveAgreement.protocolSettings.envelopeSettings.groupControllingAgencyCode == STRING
    input.Body.properties.content.edifact.receiveAgreement.protocolSettings.envelopeSettings.groupMessageVersion == STRING
    input.Body.properties.content.edifact.receiveAgreement.protocolSettings.envelopeSettings.groupMessageRelease == STRING
    input.Body.properties.content.edifact.receiveAgreement.protocolSettings.envelopeSettings.groupControlNumberLowerBound == INTEGER
    input.Body.properties.content.edifact.receiveAgreement.protocolSettings.envelopeSettings.groupControlNumberUpperBound == INTEGER
    input.Body.properties.content.edifact.receiveAgreement.protocolSettings.envelopeSettings.rolloverGroupControlNumber == BOOLEAN
    input.Body.properties.content.edifact.receiveAgreement.protocolSettings.envelopeSettings.groupControlNumberPrefix == STRING
    input.Body.properties.content.edifact.receiveAgreement.protocolSettings.envelopeSettings.groupControlNumberSuffix == STRING
    input.Body.properties.content.edifact.receiveAgreement.protocolSettings.envelopeSettings.groupApplicationReceiverQualifier == STRING
    input.Body.properties.content.edifact.receiveAgreement.protocolSettings.envelopeSettings.groupApplicationReceiverId == STRING
    input.Body.properties.content.edifact.receiveAgreement.protocolSettings.envelopeSettings.groupApplicationSenderQualifier == STRING
    input.Body.properties.content.edifact.receiveAgreement.protocolSettings.envelopeSettings.groupApplicationSenderId == STRING
    input.Body.properties.content.edifact.receiveAgreement.protocolSettings.envelopeSettings.groupApplicationPassword == STRING
    input.Body.properties.content.edifact.receiveAgreement.protocolSettings.envelopeSettings.overwriteExistingTransactionSetControlNumber == BOOLEAN
    input.Body.properties.content.edifact.receiveAgreement.protocolSettings.envelopeSettings.transactionSetControlNumberPrefix == STRING
    input.Body.properties.content.edifact.receiveAgreement.protocolSettings.envelopeSettings.transactionSetControlNumberSuffix == STRING
    input.Body.properties.content.edifact.receiveAgreement.protocolSettings.envelopeSettings.transactionSetControlNumberLowerBound == INTEGER
    input.Body.properties.content.edifact.receiveAgreement.protocolSettings.envelopeSettings.transactionSetControlNumberUpperBound == INTEGER
    input.Body.properties.content.edifact.receiveAgreement.protocolSettings.envelopeSettings.rolloverTransactionSetControlNumber == BOOLEAN
    input.Body.properties.content.edifact.receiveAgreement.protocolSettings.envelopeSettings.isTestInterchange == BOOLEAN
    input.Body.properties.content.edifact.receiveAgreement.protocolSettings.envelopeSettings.senderInternalIdentification == STRING
    input.Body.properties.content.edifact.receiveAgreement.protocolSettings.envelopeSettings.senderInternalSubIdentification == STRING
    input.Body.properties.content.edifact.receiveAgreement.protocolSettings.envelopeSettings.receiverInternalIdentification == STRING
    input.Body.properties.content.edifact.receiveAgreement.protocolSettings.envelopeSettings.receiverInternalSubIdentification == STRING
    input.Body.properties.content.edifact.receiveAgreement.protocolSettings.acknowledgementSettings.needTechnicalAcknowledgement == BOOLEAN
    input.Body.properties.content.edifact.receiveAgreement.protocolSettings.acknowledgementSettings.batchTechnicalAcknowledgements == BOOLEAN
    input.Body.properties.content.edifact.receiveAgreement.protocolSettings.acknowledgementSettings.needFunctionalAcknowledgement == BOOLEAN
    input.Body.properties.content.edifact.receiveAgreement.protocolSettings.acknowledgementSettings.batchFunctionalAcknowledgements == BOOLEAN
    input.Body.properties.content.edifact.receiveAgreement.protocolSettings.acknowledgementSettings.needLoopForValidMessages == BOOLEAN
    input.Body.properties.content.edifact.receiveAgreement.protocolSettings.acknowledgementSettings.sendSynchronousAcknowledgement == BOOLEAN
    input.Body.properties.content.edifact.receiveAgreement.protocolSettings.acknowledgementSettings.acknowledgementControlNumberPrefix == STRING
    input.Body.properties.content.edifact.receiveAgreement.protocolSettings.acknowledgementSettings.acknowledgementControlNumberSuffix == STRING
    input.Body.properties.content.edifact.receiveAgreement.protocolSettings.acknowledgementSettings.acknowledgementControlNumberLowerBound == INTEGER
    input.Body.properties.content.edifact.receiveAgreement.protocolSettings.acknowledgementSettings.acknowledgementControlNumberUpperBound == INTEGER
    input.Body.properties.content.edifact.receiveAgreement.protocolSettings.acknowledgementSettings.rolloverAcknowledgementControlNumber == BOOLEAN
    input.Body.properties.content.edifact.receiveAgreement.protocolSettings.messageFilter.messageFilterType == enum_MessageFilterType[_]
    input.Body.properties.content.edifact.receiveAgreement.protocolSettings.processingSettings.maskSecurityInfo == BOOLEAN
    input.Body.properties.content.edifact.receiveAgreement.protocolSettings.processingSettings.preserveInterchange == BOOLEAN
    input.Body.properties.content.edifact.receiveAgreement.protocolSettings.processingSettings.suspendInterchangeOnError == BOOLEAN
    input.Body.properties.content.edifact.receiveAgreement.protocolSettings.processingSettings.createEmptyXmlTagsForTrailingSeparators == BOOLEAN
    input.Body.properties.content.edifact.receiveAgreement.protocolSettings.processingSettings.useDotAsDecimalSeparator == BOOLEAN
    input.Body.properties.content.edifact.receiveAgreement.protocolSettings.envelopeOverrides[_].messageId == STRING
    input.Body.properties.content.edifact.receiveAgreement.protocolSettings.envelopeOverrides[_].messageVersion == STRING
    input.Body.properties.content.edifact.receiveAgreement.protocolSettings.envelopeOverrides[_].messageRelease == STRING
    input.Body.properties.content.edifact.receiveAgreement.protocolSettings.envelopeOverrides[_].messageAssociationAssignedCode == STRING
    input.Body.properties.content.edifact.receiveAgreement.protocolSettings.envelopeOverrides[_].targetNamespace == STRING
    input.Body.properties.content.edifact.receiveAgreement.protocolSettings.envelopeOverrides[_].functionalGroupId == STRING
    input.Body.properties.content.edifact.receiveAgreement.protocolSettings.envelopeOverrides[_].senderApplicationQualifier == STRING
    input.Body.properties.content.edifact.receiveAgreement.protocolSettings.envelopeOverrides[_].senderApplicationId == STRING
    input.Body.properties.content.edifact.receiveAgreement.protocolSettings.envelopeOverrides[_].receiverApplicationQualifier == STRING
    input.Body.properties.content.edifact.receiveAgreement.protocolSettings.envelopeOverrides[_].receiverApplicationId == STRING
    input.Body.properties.content.edifact.receiveAgreement.protocolSettings.envelopeOverrides[_].controllingAgencyCode == STRING
    input.Body.properties.content.edifact.receiveAgreement.protocolSettings.envelopeOverrides[_].groupHeaderMessageVersion == STRING
    input.Body.properties.content.edifact.receiveAgreement.protocolSettings.envelopeOverrides[_].groupHeaderMessageRelease == STRING
    input.Body.properties.content.edifact.receiveAgreement.protocolSettings.envelopeOverrides[_].associationAssignedCode == STRING
    input.Body.properties.content.edifact.receiveAgreement.protocolSettings.envelopeOverrides[_].applicationPassword == STRING
    input.Body.properties.content.edifact.receiveAgreement.protocolSettings.messageFilterList[_].messageId == STRING
    input.Body.properties.content.edifact.receiveAgreement.protocolSettings.schemaReferences[_].messageId == STRING
    input.Body.properties.content.edifact.receiveAgreement.protocolSettings.schemaReferences[_].messageVersion == STRING
    input.Body.properties.content.edifact.receiveAgreement.protocolSettings.schemaReferences[_].messageRelease == STRING
    input.Body.properties.content.edifact.receiveAgreement.protocolSettings.schemaReferences[_].senderApplicationId == STRING
    input.Body.properties.content.edifact.receiveAgreement.protocolSettings.schemaReferences[_].senderApplicationQualifier == STRING
    input.Body.properties.content.edifact.receiveAgreement.protocolSettings.schemaReferences[_].associationAssignedCode == STRING
    input.Body.properties.content.edifact.receiveAgreement.protocolSettings.schemaReferences[_].schemaName == STRING
    input.Body.properties.content.edifact.receiveAgreement.protocolSettings.validationOverrides[_].messageId == STRING
    input.Body.properties.content.edifact.receiveAgreement.protocolSettings.validationOverrides[_].enforceCharacterSet == BOOLEAN
    input.Body.properties.content.edifact.receiveAgreement.protocolSettings.validationOverrides[_].validateEDITypes == BOOLEAN
    input.Body.properties.content.edifact.receiveAgreement.protocolSettings.validationOverrides[_].validateXSDTypes == BOOLEAN
    input.Body.properties.content.edifact.receiveAgreement.protocolSettings.validationOverrides[_].allowLeadingAndTrailingSpacesAndZeroes == BOOLEAN
    input.Body.properties.content.edifact.receiveAgreement.protocolSettings.validationOverrides[_].trailingSeparatorPolicy == enum_TrailingSeparatorPolicy[_]
    input.Body.properties.content.edifact.receiveAgreement.protocolSettings.validationOverrides[_].trimLeadingAndTrailingSpacesAndZeroes == BOOLEAN
    input.Body.properties.content.edifact.receiveAgreement.protocolSettings.edifactDelimiterOverrides[_].messageId == STRING
    input.Body.properties.content.edifact.receiveAgreement.protocolSettings.edifactDelimiterOverrides[_].messageVersion == STRING
    input.Body.properties.content.edifact.receiveAgreement.protocolSettings.edifactDelimiterOverrides[_].messageRelease == STRING
    input.Body.properties.content.edifact.receiveAgreement.protocolSettings.edifactDelimiterOverrides[_].dataElementSeparator == INTEGER
    input.Body.properties.content.edifact.receiveAgreement.protocolSettings.edifactDelimiterOverrides[_].componentSeparator == INTEGER
    input.Body.properties.content.edifact.receiveAgreement.protocolSettings.edifactDelimiterOverrides[_].segmentTerminator == INTEGER
    input.Body.properties.content.edifact.receiveAgreement.protocolSettings.edifactDelimiterOverrides[_].repetitionSeparator == INTEGER
    input.Body.properties.content.edifact.receiveAgreement.protocolSettings.edifactDelimiterOverrides[_].segmentTerminatorSuffix == enum_SegmentTerminatorSuffix[_]
    input.Body.properties.content.edifact.receiveAgreement.protocolSettings.edifactDelimiterOverrides[_].decimalPointIndicator == enum_EdifactDecimalIndicator[_]
    input.Body.properties.content.edifact.receiveAgreement.protocolSettings.edifactDelimiterOverrides[_].releaseIndicator == INTEGER
    input.Body.properties.content.edifact.receiveAgreement.protocolSettings.edifactDelimiterOverrides[_].messageAssociationAssignedCode == STRING
    input.Body.properties.content.edifact.receiveAgreement.protocolSettings.edifactDelimiterOverrides[_].targetNamespace == STRING
    input.Body.properties.content.edifact.sendAgreement.senderBusinessIdentity.qualifier == STRING
    input.Body.properties.content.edifact.sendAgreement.senderBusinessIdentity.value == STRING
    input.Body.properties.content.edifact.sendAgreement.receiverBusinessIdentity.qualifier == STRING
    input.Body.properties.content.edifact.sendAgreement.receiverBusinessIdentity.value == STRING
    input.Body.properties.content.edifact.sendAgreement.protocolSettings.validationSettings.validateCharacterSet == BOOLEAN
    input.Body.properties.content.edifact.sendAgreement.protocolSettings.validationSettings.checkDuplicateInterchangeControlNumber == BOOLEAN
    input.Body.properties.content.edifact.sendAgreement.protocolSettings.validationSettings.interchangeControlNumberValidityDays == INTEGER
    input.Body.properties.content.edifact.sendAgreement.protocolSettings.validationSettings.checkDuplicateGroupControlNumber == BOOLEAN
    input.Body.properties.content.edifact.sendAgreement.protocolSettings.validationSettings.checkDuplicateTransactionSetControlNumber == BOOLEAN
    input.Body.properties.content.edifact.sendAgreement.protocolSettings.validationSettings.validateEDITypes == BOOLEAN
    input.Body.properties.content.edifact.sendAgreement.protocolSettings.validationSettings.validateXSDTypes == BOOLEAN
    input.Body.properties.content.edifact.sendAgreement.protocolSettings.validationSettings.allowLeadingAndTrailingSpacesAndZeroes == BOOLEAN
    input.Body.properties.content.edifact.sendAgreement.protocolSettings.validationSettings.trimLeadingAndTrailingSpacesAndZeroes == BOOLEAN
    input.Body.properties.content.edifact.sendAgreement.protocolSettings.validationSettings.trailingSeparatorPolicy == enum_TrailingSeparatorPolicy[_]
    input.Body.properties.content.edifact.sendAgreement.protocolSettings.framingSettings.serviceCodeListDirectoryVersion == STRING
    input.Body.properties.content.edifact.sendAgreement.protocolSettings.framingSettings.characterEncoding == STRING
    input.Body.properties.content.edifact.sendAgreement.protocolSettings.framingSettings.protocolVersion == INTEGER
    input.Body.properties.content.edifact.sendAgreement.protocolSettings.framingSettings.dataElementSeparator == INTEGER
    input.Body.properties.content.edifact.sendAgreement.protocolSettings.framingSettings.componentSeparator == INTEGER
    input.Body.properties.content.edifact.sendAgreement.protocolSettings.framingSettings.segmentTerminator == INTEGER
    input.Body.properties.content.edifact.sendAgreement.protocolSettings.framingSettings.releaseIndicator == INTEGER
    input.Body.properties.content.edifact.sendAgreement.protocolSettings.framingSettings.repetitionSeparator == INTEGER
    input.Body.properties.content.edifact.sendAgreement.protocolSettings.framingSettings.characterSet == enum_EdifactCharacterSet[_]
    input.Body.properties.content.edifact.sendAgreement.protocolSettings.framingSettings.decimalPointIndicator == enum_EdifactDecimalIndicator[_]
    input.Body.properties.content.edifact.sendAgreement.protocolSettings.framingSettings.segmentTerminatorSuffix == enum_SegmentTerminatorSuffix[_]
    input.Body.properties.content.edifact.sendAgreement.protocolSettings.envelopeSettings.groupAssociationAssignedCode == STRING
    input.Body.properties.content.edifact.sendAgreement.protocolSettings.envelopeSettings.communicationAgreementId == STRING
    input.Body.properties.content.edifact.sendAgreement.protocolSettings.envelopeSettings.applyDelimiterStringAdvice == BOOLEAN
    input.Body.properties.content.edifact.sendAgreement.protocolSettings.envelopeSettings.createGroupingSegments == BOOLEAN
    input.Body.properties.content.edifact.sendAgreement.protocolSettings.envelopeSettings.enableDefaultGroupHeaders == BOOLEAN
    input.Body.properties.content.edifact.sendAgreement.protocolSettings.envelopeSettings.recipientReferencePasswordValue == STRING
    input.Body.properties.content.edifact.sendAgreement.protocolSettings.envelopeSettings.recipientReferencePasswordQualifier == STRING
    input.Body.properties.content.edifact.sendAgreement.protocolSettings.envelopeSettings.applicationReferenceId == STRING
    input.Body.properties.content.edifact.sendAgreement.protocolSettings.envelopeSettings.processingPriorityCode == STRING
    input.Body.properties.content.edifact.sendAgreement.protocolSettings.envelopeSettings.interchangeControlNumberLowerBound == INTEGER
    input.Body.properties.content.edifact.sendAgreement.protocolSettings.envelopeSettings.interchangeControlNumberUpperBound == INTEGER
    input.Body.properties.content.edifact.sendAgreement.protocolSettings.envelopeSettings.rolloverInterchangeControlNumber == BOOLEAN
    input.Body.properties.content.edifact.sendAgreement.protocolSettings.envelopeSettings.interchangeControlNumberPrefix == STRING
    input.Body.properties.content.edifact.sendAgreement.protocolSettings.envelopeSettings.interchangeControlNumberSuffix == STRING
    input.Body.properties.content.edifact.sendAgreement.protocolSettings.envelopeSettings.senderReverseRoutingAddress == STRING
    input.Body.properties.content.edifact.sendAgreement.protocolSettings.envelopeSettings.receiverReverseRoutingAddress == STRING
    input.Body.properties.content.edifact.sendAgreement.protocolSettings.envelopeSettings.functionalGroupId == STRING
    input.Body.properties.content.edifact.sendAgreement.protocolSettings.envelopeSettings.groupControllingAgencyCode == STRING
    input.Body.properties.content.edifact.sendAgreement.protocolSettings.envelopeSettings.groupMessageVersion == STRING
    input.Body.properties.content.edifact.sendAgreement.protocolSettings.envelopeSettings.groupMessageRelease == STRING
    input.Body.properties.content.edifact.sendAgreement.protocolSettings.envelopeSettings.groupControlNumberLowerBound == INTEGER
    input.Body.properties.content.edifact.sendAgreement.protocolSettings.envelopeSettings.groupControlNumberUpperBound == INTEGER
    input.Body.properties.content.edifact.sendAgreement.protocolSettings.envelopeSettings.rolloverGroupControlNumber == BOOLEAN
    input.Body.properties.content.edifact.sendAgreement.protocolSettings.envelopeSettings.groupControlNumberPrefix == STRING
    input.Body.properties.content.edifact.sendAgreement.protocolSettings.envelopeSettings.groupControlNumberSuffix == STRING
    input.Body.properties.content.edifact.sendAgreement.protocolSettings.envelopeSettings.groupApplicationReceiverQualifier == STRING
    input.Body.properties.content.edifact.sendAgreement.protocolSettings.envelopeSettings.groupApplicationReceiverId == STRING
    input.Body.properties.content.edifact.sendAgreement.protocolSettings.envelopeSettings.groupApplicationSenderQualifier == STRING
    input.Body.properties.content.edifact.sendAgreement.protocolSettings.envelopeSettings.groupApplicationSenderId == STRING
    input.Body.properties.content.edifact.sendAgreement.protocolSettings.envelopeSettings.groupApplicationPassword == STRING
    input.Body.properties.content.edifact.sendAgreement.protocolSettings.envelopeSettings.overwriteExistingTransactionSetControlNumber == BOOLEAN
    input.Body.properties.content.edifact.sendAgreement.protocolSettings.envelopeSettings.transactionSetControlNumberPrefix == STRING
    input.Body.properties.content.edifact.sendAgreement.protocolSettings.envelopeSettings.transactionSetControlNumberSuffix == STRING
    input.Body.properties.content.edifact.sendAgreement.protocolSettings.envelopeSettings.transactionSetControlNumberLowerBound == INTEGER
    input.Body.properties.content.edifact.sendAgreement.protocolSettings.envelopeSettings.transactionSetControlNumberUpperBound == INTEGER
    input.Body.properties.content.edifact.sendAgreement.protocolSettings.envelopeSettings.rolloverTransactionSetControlNumber == BOOLEAN
    input.Body.properties.content.edifact.sendAgreement.protocolSettings.envelopeSettings.isTestInterchange == BOOLEAN
    input.Body.properties.content.edifact.sendAgreement.protocolSettings.envelopeSettings.senderInternalIdentification == STRING
    input.Body.properties.content.edifact.sendAgreement.protocolSettings.envelopeSettings.senderInternalSubIdentification == STRING
    input.Body.properties.content.edifact.sendAgreement.protocolSettings.envelopeSettings.receiverInternalIdentification == STRING
    input.Body.properties.content.edifact.sendAgreement.protocolSettings.envelopeSettings.receiverInternalSubIdentification == STRING
    input.Body.properties.content.edifact.sendAgreement.protocolSettings.acknowledgementSettings.needTechnicalAcknowledgement == BOOLEAN
    input.Body.properties.content.edifact.sendAgreement.protocolSettings.acknowledgementSettings.batchTechnicalAcknowledgements == BOOLEAN
    input.Body.properties.content.edifact.sendAgreement.protocolSettings.acknowledgementSettings.needFunctionalAcknowledgement == BOOLEAN
    input.Body.properties.content.edifact.sendAgreement.protocolSettings.acknowledgementSettings.batchFunctionalAcknowledgements == BOOLEAN
    input.Body.properties.content.edifact.sendAgreement.protocolSettings.acknowledgementSettings.needLoopForValidMessages == BOOLEAN
    input.Body.properties.content.edifact.sendAgreement.protocolSettings.acknowledgementSettings.sendSynchronousAcknowledgement == BOOLEAN
    input.Body.properties.content.edifact.sendAgreement.protocolSettings.acknowledgementSettings.acknowledgementControlNumberPrefix == STRING
    input.Body.properties.content.edifact.sendAgreement.protocolSettings.acknowledgementSettings.acknowledgementControlNumberSuffix == STRING
    input.Body.properties.content.edifact.sendAgreement.protocolSettings.acknowledgementSettings.acknowledgementControlNumberLowerBound == INTEGER
    input.Body.properties.content.edifact.sendAgreement.protocolSettings.acknowledgementSettings.acknowledgementControlNumberUpperBound == INTEGER
    input.Body.properties.content.edifact.sendAgreement.protocolSettings.acknowledgementSettings.rolloverAcknowledgementControlNumber == BOOLEAN
    input.Body.properties.content.edifact.sendAgreement.protocolSettings.messageFilter.messageFilterType == enum_MessageFilterType[_]
    input.Body.properties.content.edifact.sendAgreement.protocolSettings.processingSettings.maskSecurityInfo == BOOLEAN
    input.Body.properties.content.edifact.sendAgreement.protocolSettings.processingSettings.preserveInterchange == BOOLEAN
    input.Body.properties.content.edifact.sendAgreement.protocolSettings.processingSettings.suspendInterchangeOnError == BOOLEAN
    input.Body.properties.content.edifact.sendAgreement.protocolSettings.processingSettings.createEmptyXmlTagsForTrailingSeparators == BOOLEAN
    input.Body.properties.content.edifact.sendAgreement.protocolSettings.processingSettings.useDotAsDecimalSeparator == BOOLEAN
    input.Body.properties.content.edifact.sendAgreement.protocolSettings.envelopeOverrides[_].messageId == STRING
    input.Body.properties.content.edifact.sendAgreement.protocolSettings.envelopeOverrides[_].messageVersion == STRING
    input.Body.properties.content.edifact.sendAgreement.protocolSettings.envelopeOverrides[_].messageRelease == STRING
    input.Body.properties.content.edifact.sendAgreement.protocolSettings.envelopeOverrides[_].messageAssociationAssignedCode == STRING
    input.Body.properties.content.edifact.sendAgreement.protocolSettings.envelopeOverrides[_].targetNamespace == STRING
    input.Body.properties.content.edifact.sendAgreement.protocolSettings.envelopeOverrides[_].functionalGroupId == STRING
    input.Body.properties.content.edifact.sendAgreement.protocolSettings.envelopeOverrides[_].senderApplicationQualifier == STRING
    input.Body.properties.content.edifact.sendAgreement.protocolSettings.envelopeOverrides[_].senderApplicationId == STRING
    input.Body.properties.content.edifact.sendAgreement.protocolSettings.envelopeOverrides[_].receiverApplicationQualifier == STRING
    input.Body.properties.content.edifact.sendAgreement.protocolSettings.envelopeOverrides[_].receiverApplicationId == STRING
    input.Body.properties.content.edifact.sendAgreement.protocolSettings.envelopeOverrides[_].controllingAgencyCode == STRING
    input.Body.properties.content.edifact.sendAgreement.protocolSettings.envelopeOverrides[_].groupHeaderMessageVersion == STRING
    input.Body.properties.content.edifact.sendAgreement.protocolSettings.envelopeOverrides[_].groupHeaderMessageRelease == STRING
    input.Body.properties.content.edifact.sendAgreement.protocolSettings.envelopeOverrides[_].associationAssignedCode == STRING
    input.Body.properties.content.edifact.sendAgreement.protocolSettings.envelopeOverrides[_].applicationPassword == STRING
    input.Body.properties.content.edifact.sendAgreement.protocolSettings.messageFilterList[_].messageId == STRING
    input.Body.properties.content.edifact.sendAgreement.protocolSettings.schemaReferences[_].messageId == STRING
    input.Body.properties.content.edifact.sendAgreement.protocolSettings.schemaReferences[_].messageVersion == STRING
    input.Body.properties.content.edifact.sendAgreement.protocolSettings.schemaReferences[_].messageRelease == STRING
    input.Body.properties.content.edifact.sendAgreement.protocolSettings.schemaReferences[_].senderApplicationId == STRING
    input.Body.properties.content.edifact.sendAgreement.protocolSettings.schemaReferences[_].senderApplicationQualifier == STRING
    input.Body.properties.content.edifact.sendAgreement.protocolSettings.schemaReferences[_].associationAssignedCode == STRING
    input.Body.properties.content.edifact.sendAgreement.protocolSettings.schemaReferences[_].schemaName == STRING
    input.Body.properties.content.edifact.sendAgreement.protocolSettings.validationOverrides[_].messageId == STRING
    input.Body.properties.content.edifact.sendAgreement.protocolSettings.validationOverrides[_].enforceCharacterSet == BOOLEAN
    input.Body.properties.content.edifact.sendAgreement.protocolSettings.validationOverrides[_].validateEDITypes == BOOLEAN
    input.Body.properties.content.edifact.sendAgreement.protocolSettings.validationOverrides[_].validateXSDTypes == BOOLEAN
    input.Body.properties.content.edifact.sendAgreement.protocolSettings.validationOverrides[_].allowLeadingAndTrailingSpacesAndZeroes == BOOLEAN
    input.Body.properties.content.edifact.sendAgreement.protocolSettings.validationOverrides[_].trailingSeparatorPolicy == enum_TrailingSeparatorPolicy[_]
    input.Body.properties.content.edifact.sendAgreement.protocolSettings.validationOverrides[_].trimLeadingAndTrailingSpacesAndZeroes == BOOLEAN
    input.Body.properties.content.edifact.sendAgreement.protocolSettings.edifactDelimiterOverrides[_].messageId == STRING
    input.Body.properties.content.edifact.sendAgreement.protocolSettings.edifactDelimiterOverrides[_].messageVersion == STRING
    input.Body.properties.content.edifact.sendAgreement.protocolSettings.edifactDelimiterOverrides[_].messageRelease == STRING
    input.Body.properties.content.edifact.sendAgreement.protocolSettings.edifactDelimiterOverrides[_].dataElementSeparator == INTEGER
    input.Body.properties.content.edifact.sendAgreement.protocolSettings.edifactDelimiterOverrides[_].componentSeparator == INTEGER
    input.Body.properties.content.edifact.sendAgreement.protocolSettings.edifactDelimiterOverrides[_].segmentTerminator == INTEGER
    input.Body.properties.content.edifact.sendAgreement.protocolSettings.edifactDelimiterOverrides[_].repetitionSeparator == INTEGER
    input.Body.properties.content.edifact.sendAgreement.protocolSettings.edifactDelimiterOverrides[_].segmentTerminatorSuffix == enum_SegmentTerminatorSuffix[_]
    input.Body.properties.content.edifact.sendAgreement.protocolSettings.edifactDelimiterOverrides[_].decimalPointIndicator == enum_EdifactDecimalIndicator[_]
    input.Body.properties.content.edifact.sendAgreement.protocolSettings.edifactDelimiterOverrides[_].releaseIndicator == INTEGER
    input.Body.properties.content.edifact.sendAgreement.protocolSettings.edifactDelimiterOverrides[_].messageAssociationAssignedCode == STRING
    input.Body.properties.content.edifact.sendAgreement.protocolSettings.edifactDelimiterOverrides[_].targetNamespace == STRING
    input.Body.location == STRING
    input.Body.tags.STRING == STRING
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.integrationAccountName == STRING
    input.ReqMap.agreementName == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

valid {
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.integrationAccountName == STRING
    input.ReqMap.agreementName == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

valid {
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.integrationAccountName == STRING
    input.ReqMap.agreementName == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

valid {
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.integrationAccountName == STRING
    input.Qs.api-version == STRING
    input.Qs.$top == INTEGER
    input.Qs.$filter == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

enum_KeyType := [ "NotSpecified", "Primary", "Secondary" ]

valid {
    input.Body.notAfter == STRING
    input.Body.keyType == enum_KeyType[_]
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.integrationAccountName == STRING
    input.ReqMap.agreementName == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

valid {
    input.Body.properties.assemblyName == STRING
    input.Body.properties.assemblyVersion == STRING
    input.Body.properties.assemblyCulture == STRING
    input.Body.properties.assemblyPublicKeyToken == STRING
    input.Body.properties.content == {}
    input.Body.properties.contentType == STRING
    input.Body.properties.contentLink.uri == STRING
    input.Body.properties.createdTime == STRING
    input.Body.properties.changedTime == STRING
    input.Body.properties.metadata == {}
    input.Body.location == STRING
    input.Body.tags.STRING == STRING
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.integrationAccountName == STRING
    input.ReqMap.assemblyArtifactName == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

valid {
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.integrationAccountName == STRING
    input.ReqMap.assemblyArtifactName == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

valid {
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.integrationAccountName == STRING
    input.ReqMap.assemblyArtifactName == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

valid {
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.integrationAccountName == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

valid {
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.integrationAccountName == STRING
    input.ReqMap.assemblyArtifactName == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

enum_DayOfWeek := [ "Sunday", "Monday", "Tuesday", "Wednesday", "Thursday", "Friday", "Saturday" ]
enum_RecurrenceFrequency := [ "NotSpecified", "Second", "Minute", "Hour", "Day", "Week", "Month", "Year" ]
enum_RecurrenceScheduleWeekDays := [ "Sunday", "Monday", "Tuesday", "Wednesday", "Thursday", "Friday", "Saturday" ]

valid {
    input.Body.properties.batchGroupName == STRING
    input.Body.properties.releaseCriteria.messageCount == INTEGER
    input.Body.properties.releaseCriteria.batchSize == INTEGER
    input.Body.properties.releaseCriteria.recurrence.frequency == enum_RecurrenceFrequency[_]
    input.Body.properties.releaseCriteria.recurrence.interval == INTEGER
    input.Body.properties.releaseCriteria.recurrence.startTime == STRING
    input.Body.properties.releaseCriteria.recurrence.endTime == STRING
    input.Body.properties.releaseCriteria.recurrence.timeZone == STRING
    input.Body.properties.releaseCriteria.recurrence.schedule.minutes[_] == INTEGER
    input.Body.properties.releaseCriteria.recurrence.schedule.hours[_] == INTEGER
    input.Body.properties.releaseCriteria.recurrence.schedule.weekDays[_] == enum_RecurrenceScheduleWeekDays[_]
    input.Body.properties.releaseCriteria.recurrence.schedule.monthDays[_] == INTEGER
    input.Body.properties.releaseCriteria.recurrence.schedule.monthlyOccurrences[_].day == enum_DayOfWeek[_]
    input.Body.properties.releaseCriteria.recurrence.schedule.monthlyOccurrences[_].occurrence == INTEGER
    input.Body.properties.createdTime == STRING
    input.Body.properties.changedTime == STRING
    input.Body.properties.metadata == {}
    input.Body.location == STRING
    input.Body.tags.STRING == STRING
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.integrationAccountName == STRING
    input.ReqMap.batchConfigurationName == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

valid {
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.integrationAccountName == STRING
    input.ReqMap.batchConfigurationName == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

valid {
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.integrationAccountName == STRING
    input.ReqMap.batchConfigurationName == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

valid {
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.integrationAccountName == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

valid {
    input.Body.properties.metadata.STRING == STRING
    input.Body.properties.key.keyVault.id == STRING
    input.Body.properties.key.keyName == STRING
    input.Body.properties.key.keyVersion == STRING
    input.Body.properties.publicCertificate == STRING
    input.Body.location == STRING
    input.Body.tags.STRING == STRING
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.integrationAccountName == STRING
    input.ReqMap.certificateName == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

valid {
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.integrationAccountName == STRING
    input.ReqMap.certificateName == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

valid {
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.integrationAccountName == STRING
    input.ReqMap.certificateName == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

valid {
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.integrationAccountName == STRING
    input.Qs.api-version == STRING
    input.Qs.$top == INTEGER
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

enum_MapType := [ "NotSpecified", "Xslt", "Xslt20", "Xslt30", "Liquid" ]

valid {
    input.Body.properties.mapType == enum_MapType[_]
    input.Body.properties.parametersSchema.ref == STRING
    input.Body.properties.content == STRING
    input.Body.properties.contentType == STRING
    input.Body.properties.metadata.STRING == STRING
    input.Body.location == STRING
    input.Body.tags.STRING == STRING
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.integrationAccountName == STRING
    input.ReqMap.mapName == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

valid {
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.integrationAccountName == STRING
    input.ReqMap.mapName == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

valid {
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.integrationAccountName == STRING
    input.ReqMap.mapName == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

valid {
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.integrationAccountName == STRING
    input.Qs.api-version == STRING
    input.Qs.$top == INTEGER
    input.Qs.$filter == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

enum_KeyType := [ "NotSpecified", "Primary", "Secondary" ]

valid {
    input.Body.notAfter == STRING
    input.Body.keyType == enum_KeyType[_]
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.integrationAccountName == STRING
    input.ReqMap.mapName == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

enum_PartnerType := [ "NotSpecified", "B2B" ]

valid {
    input.Body.properties.partnerType == enum_PartnerType[_]
    input.Body.properties.metadata.STRING == STRING
    input.Body.properties.content.b2b.businessIdentities[_].qualifier == STRING
    input.Body.properties.content.b2b.businessIdentities[_].value == STRING
    input.Body.location == STRING
    input.Body.tags.STRING == STRING
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.integrationAccountName == STRING
    input.ReqMap.partnerName == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

valid {
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.integrationAccountName == STRING
    input.ReqMap.partnerName == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

valid {
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.integrationAccountName == STRING
    input.ReqMap.partnerName == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

valid {
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.integrationAccountName == STRING
    input.Qs.api-version == STRING
    input.Qs.$top == INTEGER
    input.Qs.$filter == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

enum_KeyType := [ "NotSpecified", "Primary", "Secondary" ]

valid {
    input.Body.notAfter == STRING
    input.Body.keyType == enum_KeyType[_]
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.integrationAccountName == STRING
    input.ReqMap.partnerName == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

enum_SchemaType := [ "NotSpecified", "Xml" ]

valid {
    input.Body.properties.schemaType == enum_SchemaType[_]
    input.Body.properties.targetNamespace == STRING
    input.Body.properties.documentName == STRING
    input.Body.properties.fileName == STRING
    input.Body.properties.metadata.STRING == STRING
    input.Body.properties.content == STRING
    input.Body.properties.contentType == STRING
    input.Body.location == STRING
    input.Body.tags.STRING == STRING
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.integrationAccountName == STRING
    input.ReqMap.schemaName == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

valid {
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.integrationAccountName == STRING
    input.ReqMap.schemaName == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

valid {
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.integrationAccountName == STRING
    input.ReqMap.schemaName == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

valid {
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.integrationAccountName == STRING
    input.Qs.api-version == STRING
    input.Qs.$top == INTEGER
    input.Qs.$filter == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

enum_KeyType := [ "NotSpecified", "Primary", "Secondary" ]

valid {
    input.Body.notAfter == STRING
    input.Body.keyType == enum_KeyType[_]
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.integrationAccountName == STRING
    input.ReqMap.schemaName == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

valid {
    input.Body.properties.content.STRING == STRING
    input.Body.location == STRING
    input.Body.tags.STRING == STRING
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.integrationAccountName == STRING
    input.ReqMap.sessionName == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

valid {
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.integrationAccountName == STRING
    input.ReqMap.sessionName == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

valid {
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.integrationAccountName == STRING
    input.ReqMap.sessionName == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

valid {
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.integrationAccountName == STRING
    input.Qs.api-version == STRING
    input.Qs.$top == INTEGER
    input.Qs.$filter == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

enum_IntegrationAccountSkuName := [ "NotSpecified", "Free", "Basic", "Standard" ]
enum_WorkflowState := [ "NotSpecified", "Completed", "Enabled", "Disabled", "Deleted", "Suspended" ]

valid {
    input.Body.properties.integrationServiceEnvironment.id == STRING
    input.Body.properties.state == enum_WorkflowState[_]
    input.Body.sku.name == enum_IntegrationAccountSkuName[_]
    input.Body.location == STRING
    input.Body.tags.STRING == STRING
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.integrationAccountName == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

valid {
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.integrationAccountName == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

valid {
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.integrationAccountName == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

valid {
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.ResourceGroup == STRING
    input.Qs.api-version == STRING
    input.Qs.$top == INTEGER
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

valid {
    input.ReqMap.SubscriptionID == STRING
    input.Qs.api-version == STRING
    input.Qs.$top == INTEGER
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
}

enum_KeyType := [ "NotSpecified", "Primary", "Secondary" ]

valid {
    input.Body.notAfter == STRING
    input.Body.keyType == enum_KeyType[_]
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.integrationAccountName == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

valid {
    input.Body.keyVault.name == STRING
    input.Body.keyVault.id == STRING
    input.Body.skipToken == STRING
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.integrationAccountName == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

enum_EventLevel := [ "LogAlways", "Critical", "Error", "Warning", "Informational", "Verbose" ]
enum_TrackEventsOperationOptions := [ "None", "DisableSourceInfoEnrich" ]
enum_TrackingRecordType := [ "NotSpecified", "Custom", "AS2Message", "AS2MDN", "X12Interchange", "X12FunctionalGroup", "X12TransactionSet", "X12InterchangeAcknowledgment", "X12FunctionalGroupAcknowledgment", "X12TransactionSetAcknowledgment", "EdifactInterchange", "EdifactFunctionalGroup", "EdifactTransactionSet", "EdifactInterchangeAcknowledgment", "EdifactFunctionalGroupAcknowledgment", "EdifactTransactionSetAcknowledgment" ]

valid {
    input.Body.sourceType == STRING
    input.Body.trackEventsOptions == enum_TrackEventsOperationOptions[_]
    input.Body.events[_].eventLevel == enum_EventLevel[_]
    input.Body.events[_].eventTime == STRING
    input.Body.events[_].recordType == enum_TrackingRecordType[_]
    input.Body.events[_].record.STRING == STRING
    input.Body.events[_].error.message == STRING
    input.Body.events[_].error.code == STRING
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.integrationAccountName == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

enum_KeyType := [ "NotSpecified", "Primary", "Secondary" ]

valid {
    input.Body.keyType == enum_KeyType[_]
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.integrationAccountName == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

enum_IntegrationAccountSkuName := [ "NotSpecified", "Free", "Basic", "Standard" ]
enum_WorkflowState := [ "NotSpecified", "Completed", "Enabled", "Disabled", "Deleted", "Suspended" ]

valid {
    input.Body.properties.integrationServiceEnvironment.id == STRING
    input.Body.properties.state == enum_WorkflowState[_]
    input.Body.sku.name == enum_IntegrationAccountSkuName[_]
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.integrationAccountName == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

valid {
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.integrationServiceEnvironmentName == STRING
    input.ReqMap.apiName == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

valid {
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.integrationServiceEnvironmentName == STRING
    input.ReqMap.apiName == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

valid {
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.integrationServiceEnvironmentName == STRING
    input.ReqMap.apiName == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

valid {
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.integrationServiceEnvironmentName == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

valid {
    input.Body.properties.deploymentParameters.contentLinkDefinition.uri == STRING
    input.Body.properties.integrationServiceEnvironment.id == STRING
    input.Body.location == STRING
    input.Body.tags.STRING == STRING
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.integrationServiceEnvironmentName == STRING
    input.ReqMap.apiName == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

valid {
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.integrationServiceEnvironmentName == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

valid {
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.integrationServiceEnvironmentName == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

enum_IntegrationServiceEnvironmentAccessEndpointType := [ "NotSpecified", "External", "Internal" ]
enum_IntegrationServiceEnvironmentSkuName := [ "NotSpecified", "Premium", "Developer" ]
enum_ManagedServiceIdentityType := [ "SystemAssigned", "UserAssigned", "None" ]
enum_WorkflowProvisioningState := [ "NotSpecified", "Accepted", "Running", "Ready", "Creating", "Created", "Deleting", "Deleted", "Canceled", "Failed", "Succeeded", "Moving", "Updating", "Registering", "Registered", "Unregistering", "Unregistered", "Completed", "Renewing", "Pending", "Waiting", "InProgress" ]
enum_WorkflowState := [ "NotSpecified", "Completed", "Enabled", "Disabled", "Deleted", "Suspended" ]

valid {
    input.Body.properties.provisioningState == enum_WorkflowProvisioningState[_]
    input.Body.properties.state == enum_WorkflowState[_]
    input.Body.properties.integrationServiceEnvironmentId == STRING
    input.Body.properties.endpointsConfiguration.workflow.outgoingIpAddresses[_].address == STRING
    input.Body.properties.endpointsConfiguration.workflow.accessEndpointIpAddresses[_].address == STRING
    input.Body.properties.endpointsConfiguration.connector.outgoingIpAddresses[_].address == STRING
    input.Body.properties.endpointsConfiguration.connector.accessEndpointIpAddresses[_].address == STRING
    input.Body.properties.networkConfiguration.virtualNetworkAddressSpace == STRING
    input.Body.properties.networkConfiguration.accessEndpoint.type == enum_IntegrationServiceEnvironmentAccessEndpointType[_]
    input.Body.properties.networkConfiguration.subnets[_].id == STRING
    input.Body.properties.encryptionConfiguration.encryptionKeyReference.keyVault.id == STRING
    input.Body.properties.encryptionConfiguration.encryptionKeyReference.keyName == STRING
    input.Body.properties.encryptionConfiguration.encryptionKeyReference.keyVersion == STRING
    input.Body.sku.name == enum_IntegrationServiceEnvironmentSkuName[_]
    input.Body.sku.capacity == INTEGER
    input.Body.identity.type == enum_ManagedServiceIdentityType[_]
    input.Body.identity.userAssignedIdentities.STRING == {}
    input.Body.location == STRING
    input.Body.tags.STRING == STRING
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.integrationServiceEnvironmentName == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

valid {
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.integrationServiceEnvironmentName == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

valid {
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.integrationServiceEnvironmentName == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

valid {
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.ResourceGroup == STRING
    input.Qs.api-version == STRING
    input.Qs.$top == INTEGER
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

valid {
    input.ReqMap.SubscriptionID == STRING
    input.Qs.api-version == STRING
    input.Qs.$top == INTEGER
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
}

valid {
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.integrationServiceEnvironmentName == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

enum_IntegrationServiceEnvironmentAccessEndpointType := [ "NotSpecified", "External", "Internal" ]
enum_IntegrationServiceEnvironmentSkuName := [ "NotSpecified", "Premium", "Developer" ]
enum_ManagedServiceIdentityType := [ "SystemAssigned", "UserAssigned", "None" ]
enum_WorkflowProvisioningState := [ "NotSpecified", "Accepted", "Running", "Ready", "Creating", "Created", "Deleting", "Deleted", "Canceled", "Failed", "Succeeded", "Moving", "Updating", "Registering", "Registered", "Unregistering", "Unregistered", "Completed", "Renewing", "Pending", "Waiting", "InProgress" ]
enum_WorkflowState := [ "NotSpecified", "Completed", "Enabled", "Disabled", "Deleted", "Suspended" ]

valid {
    input.Body.properties.provisioningState == enum_WorkflowProvisioningState[_]
    input.Body.properties.state == enum_WorkflowState[_]
    input.Body.properties.integrationServiceEnvironmentId == STRING
    input.Body.properties.endpointsConfiguration.workflow.outgoingIpAddresses[_].address == STRING
    input.Body.properties.endpointsConfiguration.workflow.accessEndpointIpAddresses[_].address == STRING
    input.Body.properties.endpointsConfiguration.connector.outgoingIpAddresses[_].address == STRING
    input.Body.properties.endpointsConfiguration.connector.accessEndpointIpAddresses[_].address == STRING
    input.Body.properties.networkConfiguration.virtualNetworkAddressSpace == STRING
    input.Body.properties.networkConfiguration.accessEndpoint.type == enum_IntegrationServiceEnvironmentAccessEndpointType[_]
    input.Body.properties.networkConfiguration.subnets[_].id == STRING
    input.Body.properties.encryptionConfiguration.encryptionKeyReference.keyVault.id == STRING
    input.Body.properties.encryptionConfiguration.encryptionKeyReference.keyName == STRING
    input.Body.properties.encryptionConfiguration.encryptionKeyReference.keyVersion == STRING
    input.Body.sku.name == enum_IntegrationServiceEnvironmentSkuName[_]
    input.Body.sku.capacity == INTEGER
    input.Body.identity.type == enum_ManagedServiceIdentityType[_]
    input.Body.identity.userAssignedIdentities.STRING == {}
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.integrationServiceEnvironmentName == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

valid {
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
}

enum_RosettaNetActionType := [ "NotSpecified", "SingleAction", "DoubleAction" ]
enum_RosettaNetPipActivityType := [ "NotSpecified", "InformationDistribution", "BusinessTransaction", "Notification", "QueryResponse", "RequestConfirm", "RequestResponse" ]
enum_RosettaNetPipConfidentialityScope := [ "NotSpecified", "None", "Payload", "PayloadContainer" ]
enum_RosettaNetPipRoleType := [ "NotSpecified", "Functional", "Organizational", "Employee" ]
enum_RosettaNetResponseType := [ "NotSpecified", "Sync", "Async" ]

valid {
    input.Body.properties.metadata.STRING == STRING
    input.Body.properties.activitySettings.activityType == enum_RosettaNetPipActivityType[_]
    input.Body.properties.activitySettings.activityBehavior.isAuthorizationRequired == BOOLEAN
    input.Body.properties.activitySettings.activityBehavior.persistentConfidentialityScope == enum_RosettaNetPipConfidentialityScope[_]
    input.Body.properties.activitySettings.activityBehavior.isSecuredTransportRequired == BOOLEAN
    input.Body.properties.activitySettings.activityBehavior.actionType == enum_RosettaNetActionType[_]
    input.Body.properties.activitySettings.activityBehavior.responseType == enum_RosettaNetResponseType[_]
    input.Body.properties.activitySettings.activityBehavior.nonRepudiationOfOriginAndContent == BOOLEAN
    input.Body.properties.activitySettings.activityBehavior.retryCount == INTEGER
    input.Body.properties.activitySettings.activityBehavior.timeToPerformInSeconds == INTEGER
    input.Body.properties.activitySettings.acknowledgmentOfReceiptSettings.isNonRepudiationRequired == BOOLEAN
    input.Body.properties.activitySettings.acknowledgmentOfReceiptSettings.timeToAcknowledgeInSeconds == INTEGER
    input.Body.properties.processCode == STRING
    input.Body.properties.processVersion == STRING
    input.Body.properties.processName == STRING
    input.Body.properties.initiatorRoleSettings.action == STRING
    input.Body.properties.initiatorRoleSettings.role == STRING
    input.Body.properties.initiatorRoleSettings.roleType == enum_RosettaNetPipRoleType[_]
    input.Body.properties.initiatorRoleSettings.service == STRING
    input.Body.properties.initiatorRoleSettings.serviceClassification == STRING
    input.Body.properties.initiatorRoleSettings.businessDocument.name == STRING
    input.Body.properties.initiatorRoleSettings.businessDocument.version == STRING
    input.Body.properties.initiatorRoleSettings.businessDocument.description == STRING
    input.Body.properties.initiatorRoleSettings.description == STRING
    input.Body.properties.responderRoleSettings.action == STRING
    input.Body.properties.responderRoleSettings.role == STRING
    input.Body.properties.responderRoleSettings.roleType == enum_RosettaNetPipRoleType[_]
    input.Body.properties.responderRoleSettings.service == STRING
    input.Body.properties.responderRoleSettings.serviceClassification == STRING
    input.Body.properties.responderRoleSettings.businessDocument.name == STRING
    input.Body.properties.responderRoleSettings.businessDocument.version == STRING
    input.Body.properties.responderRoleSettings.businessDocument.description == STRING
    input.Body.properties.responderRoleSettings.description == STRING
    input.Body.properties.description == STRING
    input.Body.location == STRING
    input.Body.tags.STRING == STRING
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.integrationAccountName == STRING
    input.ReqMap.rosettaNetProcessConfigurationName == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

valid {
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.integrationAccountName == STRING
    input.ReqMap.rosettaNetProcessConfigurationName == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

valid {
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.integrationAccountName == STRING
    input.ReqMap.rosettaNetProcessConfigurationName == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

valid {
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.integrationAccountName == STRING
    input.Qs.api-version == STRING
    input.Qs.$top == INTEGER
    input.Qs.$filter == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

valid {
    input.Body.properties.notBefore == STRING
    input.Body.properties.notAfter == STRING
    input.Body.id == STRING
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.workflowName == STRING
    input.ReqMap.accessKeyName == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

valid {
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.workflowName == STRING
    input.ReqMap.accessKeyName == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

valid {
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.workflowName == STRING
    input.ReqMap.accessKeyName == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

valid {
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.workflowName == STRING
    input.Qs.api-version == STRING
    input.Qs.$top == INTEGER
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

valid {
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.workflowName == STRING
    input.ReqMap.accessKeyName == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

enum_KeyType := [ "NotSpecified", "Primary", "Secondary" ]

valid {
    input.Body.keyType == enum_KeyType[_]
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.workflowName == STRING
    input.ReqMap.accessKeyName == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

valid {
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.workflowName == STRING
    input.ReqMap.runName == STRING
    input.ReqMap.actionName == STRING
    input.ReqMap.repetitionName == STRING
    input.ReqMap.requestHistoryName == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

valid {
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.workflowName == STRING
    input.ReqMap.runName == STRING
    input.ReqMap.actionName == STRING
    input.ReqMap.repetitionName == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

valid {
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.workflowName == STRING
    input.ReqMap.runName == STRING
    input.ReqMap.actionName == STRING
    input.ReqMap.repetitionName == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

valid {
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.workflowName == STRING
    input.ReqMap.runName == STRING
    input.ReqMap.actionName == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

valid {
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.workflowName == STRING
    input.ReqMap.runName == STRING
    input.ReqMap.actionName == STRING
    input.ReqMap.repetitionName == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

valid {
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.workflowName == STRING
    input.ReqMap.runName == STRING
    input.ReqMap.actionName == STRING
    input.ReqMap.requestHistoryName == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

valid {
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.workflowName == STRING
    input.ReqMap.runName == STRING
    input.ReqMap.actionName == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

valid {
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.workflowName == STRING
    input.ReqMap.runName == STRING
    input.ReqMap.actionName == STRING
    input.ReqMap.repetitionName == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

valid {
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.workflowName == STRING
    input.ReqMap.runName == STRING
    input.ReqMap.actionName == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

valid {
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.workflowName == STRING
    input.ReqMap.runName == STRING
    input.ReqMap.actionName == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

valid {
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.workflowName == STRING
    input.ReqMap.runName == STRING
    input.Qs.api-version == STRING
    input.Qs.$top == INTEGER
    input.Qs.$filter == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

valid {
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.workflowName == STRING
    input.ReqMap.runName == STRING
    input.ReqMap.actionName == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

valid {
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.workflowName == STRING
    input.ReqMap.runName == STRING
    input.ReqMap.operationId == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

valid {
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.workflowName == STRING
    input.ReqMap.runName == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

valid {
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.workflowName == STRING
    input.ReqMap.runName == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

valid {
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.workflowName == STRING
    input.ReqMap.runName == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

valid {
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.workflowName == STRING
    input.Qs.api-version == STRING
    input.Qs.$top == INTEGER
    input.Qs.$filter == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

valid {
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.workflowName == STRING
    input.ReqMap.triggerName == STRING
    input.ReqMap.historyName == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

valid {
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.workflowName == STRING
    input.ReqMap.triggerName == STRING
    input.Qs.api-version == STRING
    input.Qs.$top == INTEGER
    input.Qs.$filter == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

valid {
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.workflowName == STRING
    input.ReqMap.triggerName == STRING
    input.ReqMap.historyName == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

valid {
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.workflowName == STRING
    input.ReqMap.triggerName == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

valid {
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.workflowName == STRING
    input.ReqMap.triggerName == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

valid {
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.workflowName == STRING
    input.Qs.api-version == STRING
    input.Qs.$top == INTEGER
    input.Qs.$filter == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

valid {
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.workflowName == STRING
    input.ReqMap.triggerName == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

valid {
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.workflowName == STRING
    input.ReqMap.triggerName == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

valid {
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.workflowName == STRING
    input.ReqMap.triggerName == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

valid {
    input.Body.source.name == STRING
    input.Body.source.flowName == STRING
    input.Body.source.triggerName == STRING
    input.Body.source.id == STRING
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.workflowName == STRING
    input.ReqMap.triggerName == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

enum_KeyType := [ "NotSpecified", "Primary", "Secondary" ]

valid {
    input.Body.notAfter == STRING
    input.Body.keyType == enum_KeyType[_]
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.workflowName == STRING
    input.ReqMap.versionId == STRING
    input.ReqMap.triggerName == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

valid {
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.workflowName == STRING
    input.ReqMap.versionId == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

valid {
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.workflowName == STRING
    input.Qs.api-version == STRING
    input.Qs.$top == INTEGER
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

enum_ManagedServiceIdentityType := [ "SystemAssigned", "UserAssigned", "None" ]
enum_OpenAuthenticationProviderType := [ "AAD" ]
enum_ParameterType := [ "NotSpecified", "String", "SecureString", "Int", "Float", "Bool", "Array", "Object", "SecureObject" ]
enum_WorkflowState := [ "NotSpecified", "Completed", "Enabled", "Disabled", "Deleted", "Suspended" ]

valid {
    input.Body.properties.state == enum_WorkflowState[_]
    input.Body.properties.endpointsConfiguration.workflow.outgoingIpAddresses[_].address == STRING
    input.Body.properties.endpointsConfiguration.workflow.accessEndpointIpAddresses[_].address == STRING
    input.Body.properties.endpointsConfiguration.connector.outgoingIpAddresses[_].address == STRING
    input.Body.properties.endpointsConfiguration.connector.accessEndpointIpAddresses[_].address == STRING
    input.Body.properties.accessControl.triggers.allowedCallerIpAddresses[_].addressRange == STRING
    input.Body.properties.accessControl.triggers.openAuthenticationPolicies.policies.STRING.type == enum_OpenAuthenticationProviderType[_]
    input.Body.properties.accessControl.triggers.openAuthenticationPolicies.policies.STRING.claims[_].name == STRING
    input.Body.properties.accessControl.triggers.openAuthenticationPolicies.policies.STRING.claims[_].value == STRING
    input.Body.properties.accessControl.contents.allowedCallerIpAddresses[_].addressRange == STRING
    input.Body.properties.accessControl.contents.openAuthenticationPolicies.policies.STRING.type == enum_OpenAuthenticationProviderType[_]
    input.Body.properties.accessControl.contents.openAuthenticationPolicies.policies.STRING.claims[_].name == STRING
    input.Body.properties.accessControl.contents.openAuthenticationPolicies.policies.STRING.claims[_].value == STRING
    input.Body.properties.accessControl.actions.allowedCallerIpAddresses[_].addressRange == STRING
    input.Body.properties.accessControl.actions.openAuthenticationPolicies.policies.STRING.type == enum_OpenAuthenticationProviderType[_]
    input.Body.properties.accessControl.actions.openAuthenticationPolicies.policies.STRING.claims[_].name == STRING
    input.Body.properties.accessControl.actions.openAuthenticationPolicies.policies.STRING.claims[_].value == STRING
    input.Body.properties.accessControl.workflowManagement.allowedCallerIpAddresses[_].addressRange == STRING
    input.Body.properties.accessControl.workflowManagement.openAuthenticationPolicies.policies.STRING.type == enum_OpenAuthenticationProviderType[_]
    input.Body.properties.accessControl.workflowManagement.openAuthenticationPolicies.policies.STRING.claims[_].name == STRING
    input.Body.properties.accessControl.workflowManagement.openAuthenticationPolicies.policies.STRING.claims[_].value == STRING
    input.Body.properties.integrationAccount.id == STRING
    input.Body.properties.integrationServiceEnvironment.id == STRING
    input.Body.properties.definition.STRING == STRING
    input.Body.properties.parameters.STRING.type == enum_ParameterType[_]
    input.Body.properties.parameters.STRING.value.STRING == STRING
    input.Body.properties.parameters.STRING.metadata.STRING == STRING
    input.Body.properties.parameters.STRING.description == STRING
    input.Body.identity.type == enum_ManagedServiceIdentityType[_]
    input.Body.identity.userAssignedIdentities.STRING == {}
    input.Body.location == STRING
    input.Body.tags.STRING == STRING
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.workflowName == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

valid {
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.workflowName == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

valid {
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.workflowName == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

valid {
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.workflowName == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

valid {
    input.Body.targetSchemaVersion == STRING
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.workflowName == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

valid {
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.workflowName == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

valid {
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.ResourceGroup == STRING
    input.Qs.api-version == STRING
    input.Qs.$top == INTEGER
    input.Qs.$filter == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

valid {
    input.ReqMap.SubscriptionID == STRING
    input.Qs.api-version == STRING
    input.Qs.$top == INTEGER
    input.Qs.$filter == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
}

enum_KeyType := [ "NotSpecified", "Primary", "Secondary" ]

valid {
    input.Body.notAfter == STRING
    input.Body.keyType == enum_KeyType[_]
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.workflowName == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

valid {
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.workflowName == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

valid {
    input.Body.name == STRING
    input.Body.id == STRING
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.workflowName == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

enum_KeyType := [ "NotSpecified", "Primary", "Secondary" ]

valid {
    input.Body.keyType == enum_KeyType[_]
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.workflowName == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

valid {
    input.Body.name == STRING
    input.Body.outputs.STRING == STRING
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.workflowName == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

valid {
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.workflowName == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

enum_ManagedServiceIdentityType := [ "SystemAssigned", "UserAssigned", "None" ]
enum_OpenAuthenticationProviderType := [ "AAD" ]
enum_ParameterType := [ "NotSpecified", "String", "SecureString", "Int", "Float", "Bool", "Array", "Object", "SecureObject" ]
enum_WorkflowState := [ "NotSpecified", "Completed", "Enabled", "Disabled", "Deleted", "Suspended" ]

valid {
    input.Body.properties.state == enum_WorkflowState[_]
    input.Body.properties.endpointsConfiguration.workflow.outgoingIpAddresses[_].address == STRING
    input.Body.properties.endpointsConfiguration.workflow.accessEndpointIpAddresses[_].address == STRING
    input.Body.properties.endpointsConfiguration.connector.outgoingIpAddresses[_].address == STRING
    input.Body.properties.endpointsConfiguration.connector.accessEndpointIpAddresses[_].address == STRING
    input.Body.properties.accessControl.triggers.allowedCallerIpAddresses[_].addressRange == STRING
    input.Body.properties.accessControl.triggers.openAuthenticationPolicies.policies.STRING.type == enum_OpenAuthenticationProviderType[_]
    input.Body.properties.accessControl.triggers.openAuthenticationPolicies.policies.STRING.claims[_].name == STRING
    input.Body.properties.accessControl.triggers.openAuthenticationPolicies.policies.STRING.claims[_].value == STRING
    input.Body.properties.accessControl.contents.allowedCallerIpAddresses[_].addressRange == STRING
    input.Body.properties.accessControl.contents.openAuthenticationPolicies.policies.STRING.type == enum_OpenAuthenticationProviderType[_]
    input.Body.properties.accessControl.contents.openAuthenticationPolicies.policies.STRING.claims[_].name == STRING
    input.Body.properties.accessControl.contents.openAuthenticationPolicies.policies.STRING.claims[_].value == STRING
    input.Body.properties.accessControl.actions.allowedCallerIpAddresses[_].addressRange == STRING
    input.Body.properties.accessControl.actions.openAuthenticationPolicies.policies.STRING.type == enum_OpenAuthenticationProviderType[_]
    input.Body.properties.accessControl.actions.openAuthenticationPolicies.policies.STRING.claims[_].name == STRING
    input.Body.properties.accessControl.actions.openAuthenticationPolicies.policies.STRING.claims[_].value == STRING
    input.Body.properties.accessControl.workflowManagement.allowedCallerIpAddresses[_].addressRange == STRING
    input.Body.properties.accessControl.workflowManagement.openAuthenticationPolicies.policies.STRING.type == enum_OpenAuthenticationProviderType[_]
    input.Body.properties.accessControl.workflowManagement.openAuthenticationPolicies.policies.STRING.claims[_].name == STRING
    input.Body.properties.accessControl.workflowManagement.openAuthenticationPolicies.policies.STRING.claims[_].value == STRING
    input.Body.properties.integrationAccount.id == STRING
    input.Body.properties.integrationServiceEnvironment.id == STRING
    input.Body.properties.definition.STRING == STRING
    input.Body.properties.parameters.STRING.type == enum_ParameterType[_]
    input.Body.properties.parameters.STRING.value.STRING == STRING
    input.Body.properties.parameters.STRING.metadata.STRING == STRING
    input.Body.properties.parameters.STRING.description == STRING
    input.Body.identity.type == enum_ManagedServiceIdentityType[_]
    input.Body.identity.userAssignedIdentities.STRING == {}
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.location == STRING
    input.ReqMap.workflowName == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

enum_ManagedServiceIdentityType := [ "SystemAssigned", "UserAssigned", "None" ]
enum_OpenAuthenticationProviderType := [ "AAD" ]
enum_ParameterType := [ "NotSpecified", "String", "SecureString", "Int", "Float", "Bool", "Array", "Object", "SecureObject" ]
enum_WorkflowState := [ "NotSpecified", "Completed", "Enabled", "Disabled", "Deleted", "Suspended" ]

valid {
    input.Body.properties.state == enum_WorkflowState[_]
    input.Body.properties.endpointsConfiguration.workflow.outgoingIpAddresses[_].address == STRING
    input.Body.properties.endpointsConfiguration.workflow.accessEndpointIpAddresses[_].address == STRING
    input.Body.properties.endpointsConfiguration.connector.outgoingIpAddresses[_].address == STRING
    input.Body.properties.endpointsConfiguration.connector.accessEndpointIpAddresses[_].address == STRING
    input.Body.properties.accessControl.triggers.allowedCallerIpAddresses[_].addressRange == STRING
    input.Body.properties.accessControl.triggers.openAuthenticationPolicies.policies.STRING.type == enum_OpenAuthenticationProviderType[_]
    input.Body.properties.accessControl.triggers.openAuthenticationPolicies.policies.STRING.claims[_].name == STRING
    input.Body.properties.accessControl.triggers.openAuthenticationPolicies.policies.STRING.claims[_].value == STRING
    input.Body.properties.accessControl.contents.allowedCallerIpAddresses[_].addressRange == STRING
    input.Body.properties.accessControl.contents.openAuthenticationPolicies.policies.STRING.type == enum_OpenAuthenticationProviderType[_]
    input.Body.properties.accessControl.contents.openAuthenticationPolicies.policies.STRING.claims[_].name == STRING
    input.Body.properties.accessControl.contents.openAuthenticationPolicies.policies.STRING.claims[_].value == STRING
    input.Body.properties.accessControl.actions.allowedCallerIpAddresses[_].addressRange == STRING
    input.Body.properties.accessControl.actions.openAuthenticationPolicies.policies.STRING.type == enum_OpenAuthenticationProviderType[_]
    input.Body.properties.accessControl.actions.openAuthenticationPolicies.policies.STRING.claims[_].name == STRING
    input.Body.properties.accessControl.actions.openAuthenticationPolicies.policies.STRING.claims[_].value == STRING
    input.Body.properties.accessControl.workflowManagement.allowedCallerIpAddresses[_].addressRange == STRING
    input.Body.properties.accessControl.workflowManagement.openAuthenticationPolicies.policies.STRING.type == enum_OpenAuthenticationProviderType[_]
    input.Body.properties.accessControl.workflowManagement.openAuthenticationPolicies.policies.STRING.claims[_].name == STRING
    input.Body.properties.accessControl.workflowManagement.openAuthenticationPolicies.policies.STRING.claims[_].value == STRING
    input.Body.properties.integrationAccount.id == STRING
    input.Body.properties.integrationServiceEnvironment.id == STRING
    input.Body.properties.definition.STRING == STRING
    input.Body.properties.parameters.STRING.type == enum_ParameterType[_]
    input.Body.properties.parameters.STRING.value.STRING == STRING
    input.Body.properties.parameters.STRING.metadata.STRING == STRING
    input.Body.properties.parameters.STRING.description == STRING
    input.Body.identity.type == enum_ManagedServiceIdentityType[_]
    input.Body.identity.userAssignedIdentities.STRING == {}
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.workflowName == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}