ELASTICTRANSCODER

CancelJob

valid {
    input.ReqMap.Id == STRING
    input.ProviderMetadata.Account == STRING
    input.ProviderMetadata.AccessKeyId == STRING
    input.ProviderMetadata.Region == STRING
}

CreateJob

valid {
    input.Body.PipelineId == STRING
    input.Body.Input.Key == STRING
    input.Body.Input.FrameRate == STRING
    input.Body.Input.Resolution == STRING
    input.Body.Input.AspectRatio == STRING
    input.Body.Input.Interlaced == STRING
    input.Body.Input.Container == STRING
    input.Body.Input.Encryption.Mode == STRING
    input.Body.Input.Encryption.Key == STRING
    input.Body.Input.Encryption.KeyMd5 == STRING
    input.Body.Input.Encryption.InitializationVector == STRING
    input.Body.Input.TimeSpan.StartTime == STRING
    input.Body.Input.TimeSpan.Duration == STRING
    input.Body.Input.InputCaptions.MergePolicy == STRING
    input.Body.Input.InputCaptions.CaptionSources[_].Key == STRING
    input.Body.Input.InputCaptions.CaptionSources[_].Language == STRING
    input.Body.Input.InputCaptions.CaptionSources[_].TimeOffset == STRING
    input.Body.Input.InputCaptions.CaptionSources[_].Label == STRING
    input.Body.Input.InputCaptions.CaptionSources[_].Encryption.Mode == STRING
    input.Body.Input.InputCaptions.CaptionSources[_].Encryption.Key == STRING
    input.Body.Input.InputCaptions.CaptionSources[_].Encryption.KeyMd5 == STRING
    input.Body.Input.InputCaptions.CaptionSources[_].Encryption.InitializationVector == STRING
    input.Body.Input.DetectedProperties.Width == INTEGER
    input.Body.Input.DetectedProperties.Height == INTEGER
    input.Body.Input.DetectedProperties.FrameRate == STRING
    input.Body.Input.DetectedProperties.FileSize == LONG
    input.Body.Input.DetectedProperties.DurationMillis == LONG
    input.Body.Inputs[_].Key == STRING
    input.Body.Inputs[_].FrameRate == STRING
    input.Body.Inputs[_].Resolution == STRING
    input.Body.Inputs[_].AspectRatio == STRING
    input.Body.Inputs[_].Interlaced == STRING
    input.Body.Inputs[_].Container == STRING
    input.Body.Inputs[_].Encryption.Mode == STRING
    input.Body.Inputs[_].Encryption.Key == STRING
    input.Body.Inputs[_].Encryption.KeyMd5 == STRING
    input.Body.Inputs[_].Encryption.InitializationVector == STRING
    input.Body.Inputs[_].TimeSpan.StartTime == STRING
    input.Body.Inputs[_].TimeSpan.Duration == STRING
    input.Body.Inputs[_].InputCaptions.MergePolicy == STRING
    input.Body.Inputs[_].InputCaptions.CaptionSources[_].Key == STRING
    input.Body.Inputs[_].InputCaptions.CaptionSources[_].Language == STRING
    input.Body.Inputs[_].InputCaptions.CaptionSources[_].TimeOffset == STRING
    input.Body.Inputs[_].InputCaptions.CaptionSources[_].Label == STRING
    input.Body.Inputs[_].InputCaptions.CaptionSources[_].Encryption.Mode == STRING
    input.Body.Inputs[_].InputCaptions.CaptionSources[_].Encryption.Key == STRING
    input.Body.Inputs[_].InputCaptions.CaptionSources[_].Encryption.KeyMd5 == STRING
    input.Body.Inputs[_].InputCaptions.CaptionSources[_].Encryption.InitializationVector == STRING
    input.Body.Inputs[_].DetectedProperties.Width == INTEGER
    input.Body.Inputs[_].DetectedProperties.Height == INTEGER
    input.Body.Inputs[_].DetectedProperties.FrameRate == STRING
    input.Body.Inputs[_].DetectedProperties.FileSize == LONG
    input.Body.Inputs[_].DetectedProperties.DurationMillis == LONG
    input.Body.Output.Key == STRING
    input.Body.Output.ThumbnailPattern == STRING
    input.Body.Output.ThumbnailEncryption.Mode == STRING
    input.Body.Output.ThumbnailEncryption.Key == STRING
    input.Body.Output.ThumbnailEncryption.KeyMd5 == STRING
    input.Body.Output.ThumbnailEncryption.InitializationVector == STRING
    input.Body.Output.Rotate == STRING
    input.Body.Output.PresetId == STRING
    input.Body.Output.SegmentDuration == STRING
    input.Body.Output.Watermarks[_].PresetWatermarkId == STRING
    input.Body.Output.Watermarks[_].InputKey == STRING
    input.Body.Output.Watermarks[_].Encryption.Mode == STRING
    input.Body.Output.Watermarks[_].Encryption.Key == STRING
    input.Body.Output.Watermarks[_].Encryption.KeyMd5 == STRING
    input.Body.Output.Watermarks[_].Encryption.InitializationVector == STRING
    input.Body.Output.AlbumArt.MergePolicy == STRING
    input.Body.Output.AlbumArt.Artwork[_].InputKey == STRING
    input.Body.Output.AlbumArt.Artwork[_].MaxWidth == STRING
    input.Body.Output.AlbumArt.Artwork[_].MaxHeight == STRING
    input.Body.Output.AlbumArt.Artwork[_].SizingPolicy == STRING
    input.Body.Output.AlbumArt.Artwork[_].PaddingPolicy == STRING
    input.Body.Output.AlbumArt.Artwork[_].AlbumArtFormat == STRING
    input.Body.Output.AlbumArt.Artwork[_].Encryption.Mode == STRING
    input.Body.Output.AlbumArt.Artwork[_].Encryption.Key == STRING
    input.Body.Output.AlbumArt.Artwork[_].Encryption.KeyMd5 == STRING
    input.Body.Output.AlbumArt.Artwork[_].Encryption.InitializationVector == STRING
    input.Body.Output.Composition[_].TimeSpan.StartTime == STRING
    input.Body.Output.Composition[_].TimeSpan.Duration == STRING
    input.Body.Output.Captions.MergePolicy == STRING
    input.Body.Output.Captions.CaptionSources[_].Key == STRING
    input.Body.Output.Captions.CaptionSources[_].Language == STRING
    input.Body.Output.Captions.CaptionSources[_].TimeOffset == STRING
    input.Body.Output.Captions.CaptionSources[_].Label == STRING
    input.Body.Output.Captions.CaptionSources[_].Encryption.Mode == STRING
    input.Body.Output.Captions.CaptionSources[_].Encryption.Key == STRING
    input.Body.Output.Captions.CaptionSources[_].Encryption.KeyMd5 == STRING
    input.Body.Output.Captions.CaptionSources[_].Encryption.InitializationVector == STRING
    input.Body.Output.Captions.CaptionFormats[_].Format == STRING
    input.Body.Output.Captions.CaptionFormats[_].Pattern == STRING
    input.Body.Output.Captions.CaptionFormats[_].Encryption.Mode == STRING
    input.Body.Output.Captions.CaptionFormats[_].Encryption.Key == STRING
    input.Body.Output.Captions.CaptionFormats[_].Encryption.KeyMd5 == STRING
    input.Body.Output.Captions.CaptionFormats[_].Encryption.InitializationVector == STRING
    input.Body.Output.Encryption.Mode == STRING
    input.Body.Output.Encryption.Key == STRING
    input.Body.Output.Encryption.KeyMd5 == STRING
    input.Body.Output.Encryption.InitializationVector == STRING
    input.Body.Outputs[_].Key == STRING
    input.Body.Outputs[_].ThumbnailPattern == STRING
    input.Body.Outputs[_].ThumbnailEncryption.Mode == STRING
    input.Body.Outputs[_].ThumbnailEncryption.Key == STRING
    input.Body.Outputs[_].ThumbnailEncryption.KeyMd5 == STRING
    input.Body.Outputs[_].ThumbnailEncryption.InitializationVector == STRING
    input.Body.Outputs[_].Rotate == STRING
    input.Body.Outputs[_].PresetId == STRING
    input.Body.Outputs[_].SegmentDuration == STRING
    input.Body.Outputs[_].Watermarks[_].PresetWatermarkId == STRING
    input.Body.Outputs[_].Watermarks[_].InputKey == STRING
    input.Body.Outputs[_].Watermarks[_].Encryption.Mode == STRING
    input.Body.Outputs[_].Watermarks[_].Encryption.Key == STRING
    input.Body.Outputs[_].Watermarks[_].Encryption.KeyMd5 == STRING
    input.Body.Outputs[_].Watermarks[_].Encryption.InitializationVector == STRING
    input.Body.Outputs[_].AlbumArt.MergePolicy == STRING
    input.Body.Outputs[_].AlbumArt.Artwork[_].InputKey == STRING
    input.Body.Outputs[_].AlbumArt.Artwork[_].MaxWidth == STRING
    input.Body.Outputs[_].AlbumArt.Artwork[_].MaxHeight == STRING
    input.Body.Outputs[_].AlbumArt.Artwork[_].SizingPolicy == STRING
    input.Body.Outputs[_].AlbumArt.Artwork[_].PaddingPolicy == STRING
    input.Body.Outputs[_].AlbumArt.Artwork[_].AlbumArtFormat == STRING
    input.Body.Outputs[_].AlbumArt.Artwork[_].Encryption.Mode == STRING
    input.Body.Outputs[_].AlbumArt.Artwork[_].Encryption.Key == STRING
    input.Body.Outputs[_].AlbumArt.Artwork[_].Encryption.KeyMd5 == STRING
    input.Body.Outputs[_].AlbumArt.Artwork[_].Encryption.InitializationVector == STRING
    input.Body.Outputs[_].Composition[_].TimeSpan.StartTime == STRING
    input.Body.Outputs[_].Composition[_].TimeSpan.Duration == STRING
    input.Body.Outputs[_].Captions.MergePolicy == STRING
    input.Body.Outputs[_].Captions.CaptionSources[_].Key == STRING
    input.Body.Outputs[_].Captions.CaptionSources[_].Language == STRING
    input.Body.Outputs[_].Captions.CaptionSources[_].TimeOffset == STRING
    input.Body.Outputs[_].Captions.CaptionSources[_].Label == STRING
    input.Body.Outputs[_].Captions.CaptionSources[_].Encryption.Mode == STRING
    input.Body.Outputs[_].Captions.CaptionSources[_].Encryption.Key == STRING
    input.Body.Outputs[_].Captions.CaptionSources[_].Encryption.KeyMd5 == STRING
    input.Body.Outputs[_].Captions.CaptionSources[_].Encryption.InitializationVector == STRING
    input.Body.Outputs[_].Captions.CaptionFormats[_].Format == STRING
    input.Body.Outputs[_].Captions.CaptionFormats[_].Pattern == STRING
    input.Body.Outputs[_].Captions.CaptionFormats[_].Encryption.Mode == STRING
    input.Body.Outputs[_].Captions.CaptionFormats[_].Encryption.Key == STRING
    input.Body.Outputs[_].Captions.CaptionFormats[_].Encryption.KeyMd5 == STRING
    input.Body.Outputs[_].Captions.CaptionFormats[_].Encryption.InitializationVector == STRING
    input.Body.Outputs[_].Encryption.Mode == STRING
    input.Body.Outputs[_].Encryption.Key == STRING
    input.Body.Outputs[_].Encryption.KeyMd5 == STRING
    input.Body.Outputs[_].Encryption.InitializationVector == STRING
    input.Body.OutputKeyPrefix == STRING
    input.Body.Playlists[_].Name == STRING
    input.Body.Playlists[_].Format == STRING
    input.Body.Playlists[_].OutputKeys[_] == STRING
    input.Body.Playlists[_].HlsContentProtection.Method == STRING
    input.Body.Playlists[_].HlsContentProtection.Key == STRING
    input.Body.Playlists[_].HlsContentProtection.KeyMd5 == STRING
    input.Body.Playlists[_].HlsContentProtection.InitializationVector == STRING
    input.Body.Playlists[_].HlsContentProtection.LicenseAcquisitionUrl == STRING
    input.Body.Playlists[_].HlsContentProtection.KeyStoragePolicy == STRING
    input.Body.Playlists[_].PlayReadyDrm.Format == STRING
    input.Body.Playlists[_].PlayReadyDrm.Key == STRING
    input.Body.Playlists[_].PlayReadyDrm.KeyMd5 == STRING
    input.Body.Playlists[_].PlayReadyDrm.KeyId == STRING
    input.Body.Playlists[_].PlayReadyDrm.InitializationVector == STRING
    input.Body.Playlists[_].PlayReadyDrm.LicenseAcquisitionUrl == STRING
    input.Body.UserMetadata.STRING == STRING
    input.ProviderMetadata.Account == STRING
    input.ProviderMetadata.AccessKeyId == STRING
    input.ProviderMetadata.Region == STRING
}

CreatePipeline

valid {
    input.Body.Name == STRING
    input.Body.InputBucket == STRING
    input.Body.OutputBucket == STRING
    input.Body.Role == STRING
    input.Body.AwsKmsKeyArn == STRING
    input.Body.Notifications.Progressing == STRING
    input.Body.Notifications.Completed == STRING
    input.Body.Notifications.Warning == STRING
    input.Body.Notifications.Error == STRING
    input.Body.ContentConfig.Bucket == STRING
    input.Body.ContentConfig.StorageClass == STRING
    input.Body.ContentConfig.Permissions[_].GranteeType == STRING
    input.Body.ContentConfig.Permissions[_].Grantee == STRING
    input.Body.ContentConfig.Permissions[_].Access[_] == STRING
    input.Body.ThumbnailConfig.Bucket == STRING
    input.Body.ThumbnailConfig.StorageClass == STRING
    input.Body.ThumbnailConfig.Permissions[_].GranteeType == STRING
    input.Body.ThumbnailConfig.Permissions[_].Grantee == STRING
    input.Body.ThumbnailConfig.Permissions[_].Access[_] == STRING
    input.ProviderMetadata.Account == STRING
    input.ProviderMetadata.AccessKeyId == STRING
    input.ProviderMetadata.Region == STRING
}

CreatePreset

valid {
    input.Body.Name == STRING
    input.Body.Description == STRING
    input.Body.Container == STRING
    input.Body.Video.Codec == STRING
    input.Body.Video.CodecOptions.STRING == STRING
    input.Body.Video.KeyframesMaxDist == STRING
    input.Body.Video.FixedGOP == STRING
    input.Body.Video.BitRate == STRING
    input.Body.Video.FrameRate == STRING
    input.Body.Video.MaxFrameRate == STRING
    input.Body.Video.Resolution == STRING
    input.Body.Video.AspectRatio == STRING
    input.Body.Video.MaxWidth == STRING
    input.Body.Video.MaxHeight == STRING
    input.Body.Video.DisplayAspectRatio == STRING
    input.Body.Video.SizingPolicy == STRING
    input.Body.Video.PaddingPolicy == STRING
    input.Body.Video.Watermarks[_].Id == STRING
    input.Body.Video.Watermarks[_].MaxWidth == STRING
    input.Body.Video.Watermarks[_].MaxHeight == STRING
    input.Body.Video.Watermarks[_].SizingPolicy == STRING
    input.Body.Video.Watermarks[_].HorizontalAlign == STRING
    input.Body.Video.Watermarks[_].HorizontalOffset == STRING
    input.Body.Video.Watermarks[_].VerticalAlign == STRING
    input.Body.Video.Watermarks[_].VerticalOffset == STRING
    input.Body.Video.Watermarks[_].Opacity == STRING
    input.Body.Video.Watermarks[_].Target == STRING
    input.Body.Audio.Codec == STRING
    input.Body.Audio.SampleRate == STRING
    input.Body.Audio.BitRate == STRING
    input.Body.Audio.Channels == STRING
    input.Body.Audio.AudioPackingMode == STRING
    input.Body.Audio.CodecOptions.Profile == STRING
    input.Body.Audio.CodecOptions.BitDepth == STRING
    input.Body.Audio.CodecOptions.BitOrder == STRING
    input.Body.Audio.CodecOptions.Signed == STRING
    input.Body.Thumbnails.Format == STRING
    input.Body.Thumbnails.Interval == STRING
    input.Body.Thumbnails.Resolution == STRING
    input.Body.Thumbnails.AspectRatio == STRING
    input.Body.Thumbnails.MaxWidth == STRING
    input.Body.Thumbnails.MaxHeight == STRING
    input.Body.Thumbnails.SizingPolicy == STRING
    input.Body.Thumbnails.PaddingPolicy == STRING
    input.ProviderMetadata.Account == STRING
    input.ProviderMetadata.AccessKeyId == STRING
    input.ProviderMetadata.Region == STRING
}

DeletePipeline

valid {
    input.ReqMap.Id == STRING
    input.ProviderMetadata.Account == STRING
    input.ProviderMetadata.AccessKeyId == STRING
    input.ProviderMetadata.Region == STRING
}

DeletePreset

valid {
    input.ReqMap.Id == STRING
    input.ProviderMetadata.Account == STRING
    input.ProviderMetadata.AccessKeyId == STRING
    input.ProviderMetadata.Region == STRING
}

ListJobsByPipeline

valid {
    input.ReqMap.PipelineId == STRING
    input.Qs.Ascending == STRING
    input.Qs.PageToken == STRING
    input.ProviderMetadata.Account == STRING
    input.ProviderMetadata.AccessKeyId == STRING
    input.ProviderMetadata.Region == STRING
}

ListJobsByStatus

valid {
    input.ReqMap.Status == STRING
    input.Qs.Ascending == STRING
    input.Qs.PageToken == STRING
    input.ProviderMetadata.Account == STRING
    input.ProviderMetadata.AccessKeyId == STRING
    input.ProviderMetadata.Region == STRING
}

ListPipelines

valid {
    input.Qs.Ascending == STRING
    input.Qs.PageToken == STRING
    input.ProviderMetadata.Account == STRING
    input.ProviderMetadata.AccessKeyId == STRING
    input.ProviderMetadata.Region == STRING
}

ListPresets

valid {
    input.Qs.Ascending == STRING
    input.Qs.PageToken == STRING
    input.ProviderMetadata.Account == STRING
    input.ProviderMetadata.AccessKeyId == STRING
    input.ProviderMetadata.Region == STRING
}

ReadJob

valid {
    input.ReqMap.Id == STRING
    input.ProviderMetadata.Account == STRING
    input.ProviderMetadata.AccessKeyId == STRING
    input.ProviderMetadata.Region == STRING
}

ReadPipeline

valid {
    input.ReqMap.Id == STRING
    input.ProviderMetadata.Account == STRING
    input.ProviderMetadata.AccessKeyId == STRING
    input.ProviderMetadata.Region == STRING
}

ReadPreset

valid {
    input.ReqMap.Id == STRING
    input.ProviderMetadata.Account == STRING
    input.ProviderMetadata.AccessKeyId == STRING
    input.ProviderMetadata.Region == STRING
}

TestRole

valid {
    input.Body.Role == STRING
    input.Body.InputBucket == STRING
    input.Body.OutputBucket == STRING
    input.Body.Topics[_] == STRING
    input.ProviderMetadata.Account == STRING
    input.ProviderMetadata.AccessKeyId == STRING
    input.ProviderMetadata.Region == STRING
}

UpdatePipeline

valid {
    input.Body.Name == STRING
    input.Body.InputBucket == STRING
    input.Body.Role == STRING
    input.Body.AwsKmsKeyArn == STRING
    input.Body.Notifications.Progressing == STRING
    input.Body.Notifications.Completed == STRING
    input.Body.Notifications.Warning == STRING
    input.Body.Notifications.Error == STRING
    input.Body.ContentConfig.Bucket == STRING
    input.Body.ContentConfig.StorageClass == STRING
    input.Body.ContentConfig.Permissions[_].GranteeType == STRING
    input.Body.ContentConfig.Permissions[_].Grantee == STRING
    input.Body.ContentConfig.Permissions[_].Access[_] == STRING
    input.Body.ThumbnailConfig.Bucket == STRING
    input.Body.ThumbnailConfig.StorageClass == STRING
    input.Body.ThumbnailConfig.Permissions[_].GranteeType == STRING
    input.Body.ThumbnailConfig.Permissions[_].Grantee == STRING
    input.Body.ThumbnailConfig.Permissions[_].Access[_] == STRING
    input.ReqMap.Id == STRING
    input.ProviderMetadata.Account == STRING
    input.ProviderMetadata.AccessKeyId == STRING
    input.ProviderMetadata.Region == STRING
}

UpdatePipelineNotifications

valid {
    input.Body.Notifications.Progressing == STRING
    input.Body.Notifications.Completed == STRING
    input.Body.Notifications.Warning == STRING
    input.Body.Notifications.Error == STRING
    input.ReqMap.Id == STRING
    input.ProviderMetadata.Account == STRING
    input.ProviderMetadata.AccessKeyId == STRING
    input.ProviderMetadata.Region == STRING
}

UpdatePipelineStatus

valid {
    input.Body.Status == STRING
    input.ReqMap.Id == STRING
    input.ProviderMetadata.Account == STRING
    input.ProviderMetadata.AccessKeyId == STRING
    input.ProviderMetadata.Region == STRING
}