LiveEvents_Allocate

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

LiveEvents_AsyncOperation

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

LiveEvents_Create

enum_LiveEventEncodingEncodingType := [ "None", "Standard", "Premium1080p", "PassthroughBasic", "PassthroughStandard" ]
enum_LiveEventEncodingStretchMode := [ "None", "AutoSize", "AutoFit" ]
enum_LiveEventInputStreamingProtocol := [ "FragmentedMP4", "RTMP" ]
enum_LiveEventPropertiesStreamOptions := [ "Default", "LowLatency" ]

valid {
    input.Body.properties.description == STRING
    input.Body.properties.input.streamingProtocol == enum_LiveEventInputStreamingProtocol[_]
    input.Body.properties.input.accessControl.ip.allow[_].name == STRING
    input.Body.properties.input.accessControl.ip.allow[_].address == STRING
    input.Body.properties.input.accessControl.ip.allow[_].subnetPrefixLength == INTEGER
    input.Body.properties.input.keyFrameIntervalDuration == STRING
    input.Body.properties.input.accessToken == STRING
    input.Body.properties.input.endpoints[_].protocol == STRING
    input.Body.properties.input.endpoints[_].url == STRING
    input.Body.properties.preview.endpoints[_].protocol == STRING
    input.Body.properties.preview.endpoints[_].url == STRING
    input.Body.properties.preview.accessControl.ip.allow[_].name == STRING
    input.Body.properties.preview.accessControl.ip.allow[_].address == STRING
    input.Body.properties.preview.accessControl.ip.allow[_].subnetPrefixLength == INTEGER
    input.Body.properties.preview.previewLocator == STRING
    input.Body.properties.preview.streamingPolicyName == STRING
    input.Body.properties.preview.alternativeMediaId == STRING
    input.Body.properties.encoding.encodingType == enum_LiveEventEncodingEncodingType[_]
    input.Body.properties.encoding.presetName == STRING
    input.Body.properties.encoding.stretchMode == enum_LiveEventEncodingStretchMode[_]
    input.Body.properties.encoding.keyFrameInterval == STRING
    input.Body.properties.transcriptions[_].language == STRING
    input.Body.properties.transcriptions[_].inputTrackSelection[_].property == STRING
    input.Body.properties.transcriptions[_].inputTrackSelection[_].operation == STRING
    input.Body.properties.transcriptions[_].inputTrackSelection[_].value == STRING
    input.Body.properties.transcriptions[_].outputTranscriptionTrack.trackName == STRING
    input.Body.properties.crossSiteAccessPolicies.clientAccessPolicy == STRING
    input.Body.properties.crossSiteAccessPolicies.crossDomainPolicy == STRING
    input.Body.properties.useStaticHostname == BOOLEAN
    input.Body.properties.hostnamePrefix == STRING
    input.Body.properties.streamOptions[_] == enum_LiveEventPropertiesStreamOptions[_]
    input.Body.tags.STRING == STRING
    input.Body.location == STRING
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.accountName == STRING
    input.ReqMap.liveEventName == STRING
    input.Qs.api-version == STRING
    input.Qs.autoStart == BOOLEAN
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

LiveEvents_Delete

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

LiveEvents_Get

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

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

LiveEvents_OperationLocation

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

LiveEvents_Reset

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

LiveEvents_Start

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

LiveEvents_Stop

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

LiveEvents_Update

enum_LiveEventEncodingEncodingType := [ "None", "Standard", "Premium1080p", "PassthroughBasic", "PassthroughStandard" ]
enum_LiveEventEncodingStretchMode := [ "None", "AutoSize", "AutoFit" ]
enum_LiveEventInputStreamingProtocol := [ "FragmentedMP4", "RTMP" ]
enum_LiveEventPropertiesStreamOptions := [ "Default", "LowLatency" ]

valid {
    input.Body.properties.description == STRING
    input.Body.properties.input.streamingProtocol == enum_LiveEventInputStreamingProtocol[_]
    input.Body.properties.input.accessControl.ip.allow[_].name == STRING
    input.Body.properties.input.accessControl.ip.allow[_].address == STRING
    input.Body.properties.input.accessControl.ip.allow[_].subnetPrefixLength == INTEGER
    input.Body.properties.input.keyFrameIntervalDuration == STRING
    input.Body.properties.input.accessToken == STRING
    input.Body.properties.input.endpoints[_].protocol == STRING
    input.Body.properties.input.endpoints[_].url == STRING
    input.Body.properties.preview.endpoints[_].protocol == STRING
    input.Body.properties.preview.endpoints[_].url == STRING
    input.Body.properties.preview.accessControl.ip.allow[_].name == STRING
    input.Body.properties.preview.accessControl.ip.allow[_].address == STRING
    input.Body.properties.preview.accessControl.ip.allow[_].subnetPrefixLength == INTEGER
    input.Body.properties.preview.previewLocator == STRING
    input.Body.properties.preview.streamingPolicyName == STRING
    input.Body.properties.preview.alternativeMediaId == STRING
    input.Body.properties.encoding.encodingType == enum_LiveEventEncodingEncodingType[_]
    input.Body.properties.encoding.presetName == STRING
    input.Body.properties.encoding.stretchMode == enum_LiveEventEncodingStretchMode[_]
    input.Body.properties.encoding.keyFrameInterval == STRING
    input.Body.properties.transcriptions[_].language == STRING
    input.Body.properties.transcriptions[_].inputTrackSelection[_].property == STRING
    input.Body.properties.transcriptions[_].inputTrackSelection[_].operation == STRING
    input.Body.properties.transcriptions[_].inputTrackSelection[_].value == STRING
    input.Body.properties.transcriptions[_].outputTranscriptionTrack.trackName == STRING
    input.Body.properties.crossSiteAccessPolicies.clientAccessPolicy == STRING
    input.Body.properties.crossSiteAccessPolicies.crossDomainPolicy == STRING
    input.Body.properties.useStaticHostname == BOOLEAN
    input.Body.properties.hostnamePrefix == STRING
    input.Body.properties.streamOptions[_] == enum_LiveEventPropertiesStreamOptions[_]
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.accountName == STRING
    input.ReqMap.liveEventName == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

LiveOutputs_AsyncOperation

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

LiveOutputs_Create

valid {
    input.Body.properties.description == STRING
    input.Body.properties.assetName == STRING
    input.Body.properties.archiveWindowLength == STRING
    input.Body.properties.manifestName == STRING
    input.Body.properties.hls.fragmentsPerTsSegment == INTEGER
    input.Body.properties.outputSnapTime == INTEGER
    input.Body.STRING == STRING
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.accountName == STRING
    input.ReqMap.liveEventName == STRING
    input.ReqMap.liveOutputName == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

LiveOutputs_Delete

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

LiveOutputs_Get

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

LiveOutputs_List

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

LiveOutputs_OperationLocation

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

StreamingEndpoints_AsyncOperation

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

StreamingEndpoints_Create

valid {
    input.Body.properties.description == STRING
    input.Body.properties.scaleUnits == INTEGER
    input.Body.properties.availabilitySetName == STRING
    input.Body.properties.accessControl.akamai.akamaiSignatureHeaderAuthenticationKeyList[_].identifier == STRING
    input.Body.properties.accessControl.akamai.akamaiSignatureHeaderAuthenticationKeyList[_].base64Key == STRING
    input.Body.properties.accessControl.akamai.akamaiSignatureHeaderAuthenticationKeyList[_].expiration == STRING
    input.Body.properties.accessControl.ip.allow[_].name == STRING
    input.Body.properties.accessControl.ip.allow[_].address == STRING
    input.Body.properties.accessControl.ip.allow[_].subnetPrefixLength == INTEGER
    input.Body.properties.maxCacheAge == INTEGER
    input.Body.properties.customHostNames[_] == STRING
    input.Body.properties.cdnEnabled == BOOLEAN
    input.Body.properties.cdnProvider == STRING
    input.Body.properties.cdnProfile == STRING
    input.Body.properties.crossSiteAccessPolicies.clientAccessPolicy == STRING
    input.Body.properties.crossSiteAccessPolicies.crossDomainPolicy == STRING
    input.Body.tags.STRING == STRING
    input.Body.location == STRING
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.accountName == STRING
    input.ReqMap.streamingEndpointName == STRING
    input.Qs.api-version == STRING
    input.Qs.autoStart == BOOLEAN
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

StreamingEndpoints_Delete

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

StreamingEndpoints_Get

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

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

StreamingEndpoints_OperationLocation

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

StreamingEndpoints_Scale

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

StreamingEndpoints_Skus

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

StreamingEndpoints_Start

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

StreamingEndpoints_Stop

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

StreamingEndpoints_Update

valid {
    input.Body.properties.description == STRING
    input.Body.properties.scaleUnits == INTEGER
    input.Body.properties.availabilitySetName == STRING
    input.Body.properties.accessControl.akamai.akamaiSignatureHeaderAuthenticationKeyList[_].identifier == STRING
    input.Body.properties.accessControl.akamai.akamaiSignatureHeaderAuthenticationKeyList[_].base64Key == STRING
    input.Body.properties.accessControl.akamai.akamaiSignatureHeaderAuthenticationKeyList[_].expiration == STRING
    input.Body.properties.accessControl.ip.allow[_].name == STRING
    input.Body.properties.accessControl.ip.allow[_].address == STRING
    input.Body.properties.accessControl.ip.allow[_].subnetPrefixLength == INTEGER
    input.Body.properties.maxCacheAge == INTEGER
    input.Body.properties.customHostNames[_] == STRING
    input.Body.properties.cdnEnabled == BOOLEAN
    input.Body.properties.cdnProvider == STRING
    input.Body.properties.cdnProfile == STRING
    input.Body.properties.crossSiteAccessPolicies.clientAccessPolicy == STRING
    input.Body.properties.crossSiteAccessPolicies.crossDomainPolicy == STRING
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.accountName == STRING
    input.ReqMap.streamingEndpointName == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}