AccountFilters_CreateOrUpdate

enum_FilterTrackPropertyConditionOperation := [ "Equal", "NotEqual" ]
enum_FilterTrackPropertyConditionProperty := [ "Unknown", "Type", "Name", "Language", "FourCC", "Bitrate" ]

valid {
    input.Body.properties.presentationTimeRange.startTimestamp == INTEGER
    input.Body.properties.presentationTimeRange.endTimestamp == INTEGER
    input.Body.properties.presentationTimeRange.presentationWindowDuration == INTEGER
    input.Body.properties.presentationTimeRange.liveBackoffDuration == INTEGER
    input.Body.properties.presentationTimeRange.timescale == INTEGER
    input.Body.properties.presentationTimeRange.forceEndTimestamp == BOOLEAN
    input.Body.properties.firstQuality.bitrate == INTEGER
    input.Body.properties.tracks[_].trackSelections[_].property == enum_FilterTrackPropertyConditionProperty[_]
    input.Body.properties.tracks[_].trackSelections[_].value == STRING
    input.Body.properties.tracks[_].trackSelections[_].operation == enum_FilterTrackPropertyConditionOperation[_]
    input.Body.STRING == STRING
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.accountName == STRING
    input.ReqMap.filterName == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

AccountFilters_Delete

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

AccountFilters_Get

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

AccountFilters_List

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

AccountFilters_Update

enum_FilterTrackPropertyConditionOperation := [ "Equal", "NotEqual" ]
enum_FilterTrackPropertyConditionProperty := [ "Unknown", "Type", "Name", "Language", "FourCC", "Bitrate" ]

valid {
    input.Body.properties.presentationTimeRange.startTimestamp == INTEGER
    input.Body.properties.presentationTimeRange.endTimestamp == INTEGER
    input.Body.properties.presentationTimeRange.presentationWindowDuration == INTEGER
    input.Body.properties.presentationTimeRange.liveBackoffDuration == INTEGER
    input.Body.properties.presentationTimeRange.timescale == INTEGER
    input.Body.properties.presentationTimeRange.forceEndTimestamp == BOOLEAN
    input.Body.properties.firstQuality.bitrate == INTEGER
    input.Body.properties.tracks[_].trackSelections[_].property == enum_FilterTrackPropertyConditionProperty[_]
    input.Body.properties.tracks[_].trackSelections[_].value == STRING
    input.Body.properties.tracks[_].trackSelections[_].operation == enum_FilterTrackPropertyConditionOperation[_]
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.accountName == STRING
    input.ReqMap.filterName == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

AssetFilters_CreateOrUpdate

enum_FilterTrackPropertyConditionOperation := [ "Equal", "NotEqual" ]
enum_FilterTrackPropertyConditionProperty := [ "Unknown", "Type", "Name", "Language", "FourCC", "Bitrate" ]

valid {
    input.Body.properties.presentationTimeRange.startTimestamp == INTEGER
    input.Body.properties.presentationTimeRange.endTimestamp == INTEGER
    input.Body.properties.presentationTimeRange.presentationWindowDuration == INTEGER
    input.Body.properties.presentationTimeRange.liveBackoffDuration == INTEGER
    input.Body.properties.presentationTimeRange.timescale == INTEGER
    input.Body.properties.presentationTimeRange.forceEndTimestamp == BOOLEAN
    input.Body.properties.firstQuality.bitrate == INTEGER
    input.Body.properties.tracks[_].trackSelections[_].property == enum_FilterTrackPropertyConditionProperty[_]
    input.Body.properties.tracks[_].trackSelections[_].value == STRING
    input.Body.properties.tracks[_].trackSelections[_].operation == enum_FilterTrackPropertyConditionOperation[_]
    input.Body.STRING == STRING
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.accountName == STRING
    input.ReqMap.assetName == STRING
    input.ReqMap.filterName == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

AssetFilters_Delete

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

AssetFilters_Get

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

AssetFilters_List

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

AssetFilters_Update

enum_FilterTrackPropertyConditionOperation := [ "Equal", "NotEqual" ]
enum_FilterTrackPropertyConditionProperty := [ "Unknown", "Type", "Name", "Language", "FourCC", "Bitrate" ]

valid {
    input.Body.properties.presentationTimeRange.startTimestamp == INTEGER
    input.Body.properties.presentationTimeRange.endTimestamp == INTEGER
    input.Body.properties.presentationTimeRange.presentationWindowDuration == INTEGER
    input.Body.properties.presentationTimeRange.liveBackoffDuration == INTEGER
    input.Body.properties.presentationTimeRange.timescale == INTEGER
    input.Body.properties.presentationTimeRange.forceEndTimestamp == BOOLEAN
    input.Body.properties.firstQuality.bitrate == INTEGER
    input.Body.properties.tracks[_].trackSelections[_].property == enum_FilterTrackPropertyConditionProperty[_]
    input.Body.properties.tracks[_].trackSelections[_].value == STRING
    input.Body.properties.tracks[_].trackSelections[_].operation == enum_FilterTrackPropertyConditionOperation[_]
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.accountName == STRING
    input.ReqMap.assetName == STRING
    input.ReqMap.filterName == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

Assets_CreateOrUpdate

valid {
    input.Body.properties.alternateId == STRING
    input.Body.properties.description == STRING
    input.Body.properties.container == STRING
    input.Body.properties.storageAccountName == STRING
    input.Body.STRING == STRING
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.accountName == STRING
    input.ReqMap.assetName == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

Assets_Delete

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

Assets_Get

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

Assets_GetEncryptionKey

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

Assets_List

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

Assets_ListContainerSas

enum_ListContainerSasInputPermissions := [ "Read", "ReadWrite", "ReadWriteDelete" ]

valid {
    input.Body.permissions == enum_ListContainerSasInputPermissions[_]
    input.Body.expiryTime == STRING
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.accountName == STRING
    input.ReqMap.assetName == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

Assets_ListStreamingLocators

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

Assets_Update

valid {
    input.Body.properties.alternateId == STRING
    input.Body.properties.description == STRING
    input.Body.properties.container == STRING
    input.Body.properties.storageAccountName == STRING
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.accountName == STRING
    input.ReqMap.assetName == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

ContentKeyPolicies_CreateOrUpdate

valid {
    input.Body.properties.description == STRING
    input.Body.properties.options[_].name == STRING
    input.Body.properties.options[_][email protected] == STRING
    input.Body.properties.options[_][email protected] == STRING
    input.Body.STRING == STRING
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.accountName == STRING
    input.ReqMap.contentKeyPolicyName == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

ContentKeyPolicies_Delete

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

ContentKeyPolicies_Get

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

ContentKeyPolicies_GetPolicyPropertiesWithSecrets

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

ContentKeyPolicies_List

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

ContentKeyPolicies_Update

valid {
    input.Body.properties.description == STRING
    input.Body.properties.options[_].name == STRING
    input.Body.properties.options[_][email protected] == STRING
    input.Body.properties.options[_][email protected] == STRING
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.accountName == STRING
    input.ReqMap.contentKeyPolicyName == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

OperationResults_Get

valid {
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.accountName == STRING
    input.ReqMap.assetName == STRING
    input.ReqMap.trackName == STRING
    input.ReqMap.operationId == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

OperationStatuses_Get

valid {
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.accountName == STRING
    input.ReqMap.assetName == STRING
    input.ReqMap.trackName == STRING
    input.ReqMap.operationId == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

StreamingLocators_Create

valid {
    input.Body.properties.assetName == STRING
    input.Body.properties.startTime == STRING
    input.Body.properties.endTime == STRING
    input.Body.properties.streamingLocatorId == STRING
    input.Body.properties.streamingPolicyName == STRING
    input.Body.properties.defaultContentKeyPolicyName == STRING
    input.Body.properties.contentKeys[_].id == STRING
    input.Body.properties.contentKeys[_].labelReferenceInStreamingPolicy == STRING
    input.Body.properties.contentKeys[_].value == STRING
    input.Body.properties.alternativeMediaId == STRING
    input.Body.properties.filters[_] == STRING
    input.Body.STRING == STRING
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.accountName == STRING
    input.ReqMap.streamingLocatorName == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

StreamingLocators_Delete

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

StreamingLocators_Get

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

StreamingLocators_List

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

StreamingLocators_ListContentKeys

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

StreamingLocators_ListPaths

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

StreamingPolicies_Create

enum_TrackPropertyConditionOperation := [ "Unknown", "Equal" ]
enum_TrackPropertyConditionProperty := [ "Unknown", "FourCC" ]

valid {
    input.Body.properties.defaultContentKeyPolicyName == STRING
    input.Body.properties.envelopeEncryption.enabledProtocols.download == BOOLEAN
    input.Body.properties.envelopeEncryption.enabledProtocols.dash == BOOLEAN
    input.Body.properties.envelopeEncryption.enabledProtocols.hls == BOOLEAN
    input.Body.properties.envelopeEncryption.enabledProtocols.smoothStreaming == BOOLEAN
    input.Body.properties.envelopeEncryption.clearTracks[_].trackSelections[_].property == enum_TrackPropertyConditionProperty[_]
    input.Body.properties.envelopeEncryption.clearTracks[_].trackSelections[_].operation == enum_TrackPropertyConditionOperation[_]
    input.Body.properties.envelopeEncryption.clearTracks[_].trackSelections[_].value == STRING
    input.Body.properties.envelopeEncryption.contentKeys.defaultKey.label == STRING
    input.Body.properties.envelopeEncryption.contentKeys.defaultKey.policyName == STRING
    input.Body.properties.envelopeEncryption.contentKeys.keyToTrackMappings[_].label == STRING
    input.Body.properties.envelopeEncryption.contentKeys.keyToTrackMappings[_].policyName == STRING
    input.Body.properties.envelopeEncryption.contentKeys.keyToTrackMappings[_].tracks[_].trackSelections[_].property == enum_TrackPropertyConditionProperty[_]
    input.Body.properties.envelopeEncryption.contentKeys.keyToTrackMappings[_].tracks[_].trackSelections[_].operation == enum_TrackPropertyConditionOperation[_]
    input.Body.properties.envelopeEncryption.contentKeys.keyToTrackMappings[_].tracks[_].trackSelections[_].value == STRING
    input.Body.properties.envelopeEncryption.customKeyAcquisitionUrlTemplate == STRING
    input.Body.properties.commonEncryptionCenc.enabledProtocols.download == BOOLEAN
    input.Body.properties.commonEncryptionCenc.enabledProtocols.dash == BOOLEAN
    input.Body.properties.commonEncryptionCenc.enabledProtocols.hls == BOOLEAN
    input.Body.properties.commonEncryptionCenc.enabledProtocols.smoothStreaming == BOOLEAN
    input.Body.properties.commonEncryptionCenc.clearTracks[_].trackSelections[_].property == enum_TrackPropertyConditionProperty[_]
    input.Body.properties.commonEncryptionCenc.clearTracks[_].trackSelections[_].operation == enum_TrackPropertyConditionOperation[_]
    input.Body.properties.commonEncryptionCenc.clearTracks[_].trackSelections[_].value == STRING
    input.Body.properties.commonEncryptionCenc.contentKeys.defaultKey.label == STRING
    input.Body.properties.commonEncryptionCenc.contentKeys.defaultKey.policyName == STRING
    input.Body.properties.commonEncryptionCenc.contentKeys.keyToTrackMappings[_].label == STRING
    input.Body.properties.commonEncryptionCenc.contentKeys.keyToTrackMappings[_].policyName == STRING
    input.Body.properties.commonEncryptionCenc.contentKeys.keyToTrackMappings[_].tracks[_].trackSelections[_].property == enum_TrackPropertyConditionProperty[_]
    input.Body.properties.commonEncryptionCenc.contentKeys.keyToTrackMappings[_].tracks[_].trackSelections[_].operation == enum_TrackPropertyConditionOperation[_]
    input.Body.properties.commonEncryptionCenc.contentKeys.keyToTrackMappings[_].tracks[_].trackSelections[_].value == STRING
    input.Body.properties.commonEncryptionCenc.drm.playReady.customLicenseAcquisitionUrlTemplate == STRING
    input.Body.properties.commonEncryptionCenc.drm.playReady.playReadyCustomAttributes == STRING
    input.Body.properties.commonEncryptionCenc.drm.widevine.customLicenseAcquisitionUrlTemplate == STRING
    input.Body.properties.commonEncryptionCbcs.enabledProtocols.download == BOOLEAN
    input.Body.properties.commonEncryptionCbcs.enabledProtocols.dash == BOOLEAN
    input.Body.properties.commonEncryptionCbcs.enabledProtocols.hls == BOOLEAN
    input.Body.properties.commonEncryptionCbcs.enabledProtocols.smoothStreaming == BOOLEAN
    input.Body.properties.commonEncryptionCbcs.clearTracks[_].trackSelections[_].property == enum_TrackPropertyConditionProperty[_]
    input.Body.properties.commonEncryptionCbcs.clearTracks[_].trackSelections[_].operation == enum_TrackPropertyConditionOperation[_]
    input.Body.properties.commonEncryptionCbcs.clearTracks[_].trackSelections[_].value == STRING
    input.Body.properties.commonEncryptionCbcs.contentKeys.defaultKey.label == STRING
    input.Body.properties.commonEncryptionCbcs.contentKeys.defaultKey.policyName == STRING
    input.Body.properties.commonEncryptionCbcs.contentKeys.keyToTrackMappings[_].label == STRING
    input.Body.properties.commonEncryptionCbcs.contentKeys.keyToTrackMappings[_].policyName == STRING
    input.Body.properties.commonEncryptionCbcs.contentKeys.keyToTrackMappings[_].tracks[_].trackSelections[_].property == enum_TrackPropertyConditionProperty[_]
    input.Body.properties.commonEncryptionCbcs.contentKeys.keyToTrackMappings[_].tracks[_].trackSelections[_].operation == enum_TrackPropertyConditionOperation[_]
    input.Body.properties.commonEncryptionCbcs.contentKeys.keyToTrackMappings[_].tracks[_].trackSelections[_].value == STRING
    input.Body.properties.commonEncryptionCbcs.drm.fairPlay.customLicenseAcquisitionUrlTemplate == STRING
    input.Body.properties.commonEncryptionCbcs.drm.fairPlay.allowPersistentLicense == BOOLEAN
    input.Body.properties.commonEncryptionCbcs.drm.playReady.customLicenseAcquisitionUrlTemplate == STRING
    input.Body.properties.commonEncryptionCbcs.drm.playReady.playReadyCustomAttributes == STRING
    input.Body.properties.commonEncryptionCbcs.drm.widevine.customLicenseAcquisitionUrlTemplate == STRING
    input.Body.properties.noEncryption.enabledProtocols.download == BOOLEAN
    input.Body.properties.noEncryption.enabledProtocols.dash == BOOLEAN
    input.Body.properties.noEncryption.enabledProtocols.hls == BOOLEAN
    input.Body.properties.noEncryption.enabledProtocols.smoothStreaming == BOOLEAN
    input.Body.STRING == STRING
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.accountName == STRING
    input.ReqMap.streamingPolicyName == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

StreamingPolicies_Delete

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

StreamingPolicies_Get

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

StreamingPolicies_List

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

Tracks_CreateOrUpdate

valid {
    [email protected] == STRING
    input.Body.STRING == STRING
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.accountName == STRING
    input.ReqMap.assetName == STRING
    input.ReqMap.trackName == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

Tracks_Delete

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

Tracks_Get

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

Tracks_List

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

Tracks_Update

valid {
    [email protected] == STRING
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.accountName == STRING
    input.ReqMap.assetName == STRING
    input.ReqMap.trackName == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

Tracks_UpdateTrackData

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