LICENSE-MANAGER-LINUX-SUBSCRIPTIONS

DeregisterSubscriptionProvider

valid {
    input.Body.SubscriptionProviderArn == STRING
    input.ProviderMetadata.Account == STRING
    input.ProviderMetadata.AccessKeyId == STRING
    input.ProviderMetadata.Region == STRING
}

GetRegisteredSubscriptionProvider

valid {
    input.Body.SubscriptionProviderArn == STRING
    input.ProviderMetadata.Account == STRING
    input.ProviderMetadata.AccessKeyId == STRING
    input.ProviderMetadata.Region == STRING
}

GetServiceSettings

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

ListLinuxSubscriptionInstances

enum_Operator := [ "Equal", "NotEqual", "Contains" ]

valid {
    input.Body.Filters[_].Name == STRING
    input.Body.Filters[_].Operator == enum_Operator[_]
    input.Body.Filters[_].Values[_] == STRING
    input.Body.MaxResults == INTEGER
    input.Body.NextToken == STRING
    input.ProviderMetadata.Account == STRING
    input.ProviderMetadata.AccessKeyId == STRING
    input.ProviderMetadata.Region == STRING
}

ListLinuxSubscriptions

enum_Operator := [ "Equal", "NotEqual", "Contains" ]

valid {
    input.Body.Filters[_].Name == STRING
    input.Body.Filters[_].Operator == enum_Operator[_]
    input.Body.Filters[_].Values[_] == STRING
    input.Body.MaxResults == INTEGER
    input.Body.NextToken == STRING
    input.ProviderMetadata.Account == STRING
    input.ProviderMetadata.AccessKeyId == STRING
    input.ProviderMetadata.Region == STRING
}

ListRegisteredSubscriptionProviders

enum_SubscriptionProviderSource := [ "RedHat" ]

valid {
    input.Body.MaxResults == INTEGER
    input.Body.NextToken == STRING
    input.Body.SubscriptionProviderSources[_] == enum_SubscriptionProviderSource[_]
    input.ProviderMetadata.Account == STRING
    input.ProviderMetadata.AccessKeyId == STRING
    input.ProviderMetadata.Region == STRING
}

ListTagsForResource

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

RegisterSubscriptionProvider

enum_SubscriptionProviderSource := [ "RedHat" ]

valid {
    input.Body.SecretArn == STRING
    input.Body.SubscriptionProviderSource == enum_SubscriptionProviderSource[_]
    input.Body.Tags.STRING == STRING
    input.ProviderMetadata.Account == STRING
    input.ProviderMetadata.AccessKeyId == STRING
    input.ProviderMetadata.Region == STRING
}

TagResource

valid {
    input.Body.tags.STRING == STRING
    input.ReqMap.resourceArn == STRING
    input.ProviderMetadata.Account == STRING
    input.ProviderMetadata.AccessKeyId == STRING
    input.ProviderMetadata.Region == STRING
}

UntagResource

valid {
    input.ReqMap.resourceArn == STRING
    input.Qs.tagKeys[_] == STRING
    input.ProviderMetadata.Account == STRING
    input.ProviderMetadata.AccessKeyId == STRING
    input.ProviderMetadata.Region == STRING
}

UpdateServiceSettings

enum_LinuxSubscriptionsDiscovery := [ "Enabled", "Disabled" ]
enum_OrganizationIntegration := [ "Enabled", "Disabled" ]

valid {
    input.Body.AllowUpdate == BOOLEAN
    input.Body.LinuxSubscriptionsDiscovery == enum_LinuxSubscriptionsDiscovery[_]
    input.Body.LinuxSubscriptionsDiscoverySettings.OrganizationIntegration == enum_OrganizationIntegration[_]
    input.Body.LinuxSubscriptionsDiscoverySettings.SourceRegions[_] == STRING
    input.ProviderMetadata.Account == STRING
    input.ProviderMetadata.AccessKeyId == STRING
    input.ProviderMetadata.Region == STRING
}