LICENSE-MANAGER-USER-SUBSCRIPTIONS

AssociateUser

enum_ActiveDirectoryType := [ "SELF_MANAGED", "AWS_MANAGED" ]

valid {
    input.Body.Domain == STRING
    input.Body.IdentityProvider.ActiveDirectoryIdentityProvider.ActiveDirectorySettings.DomainCredentialsProvider.SecretsManagerCredentialsProvider.SecretId == STRING
    input.Body.IdentityProvider.ActiveDirectoryIdentityProvider.ActiveDirectorySettings.DomainIpv4List[_] == STRING
    input.Body.IdentityProvider.ActiveDirectoryIdentityProvider.ActiveDirectorySettings.DomainName == STRING
    input.Body.IdentityProvider.ActiveDirectoryIdentityProvider.ActiveDirectorySettings.DomainNetworkSettings.Subnets[_] == STRING
    input.Body.IdentityProvider.ActiveDirectoryIdentityProvider.ActiveDirectoryType == enum_ActiveDirectoryType[_]
    input.Body.IdentityProvider.ActiveDirectoryIdentityProvider.DirectoryId == STRING
    input.Body.InstanceId == STRING
    input.Body.Tags.STRING == STRING
    input.Body.Username == STRING
    input.ProviderMetadata.Account == STRING
    input.ProviderMetadata.AccessKeyId == STRING
    input.ProviderMetadata.Region == STRING
}

CreateLicenseServerEndpoint

enum_ServerType := [ "RDS_SAL" ]

valid {
    input.Body.IdentityProviderArn == STRING
    input.Body.LicenseServerSettings.ServerSettings.RdsSalSettings.RdsSalCredentialsProvider.SecretsManagerCredentialsProvider.SecretId == STRING
    input.Body.LicenseServerSettings.ServerType == enum_ServerType[_]
    input.Body.Tags.STRING == STRING
    input.ProviderMetadata.Account == STRING
    input.ProviderMetadata.AccessKeyId == STRING
    input.ProviderMetadata.Region == STRING
}

DeleteLicenseServerEndpoint

enum_ServerType := [ "RDS_SAL" ]

valid {
    input.Body.LicenseServerEndpointArn == STRING
    input.Body.ServerType == enum_ServerType[_]
    input.ProviderMetadata.Account == STRING
    input.ProviderMetadata.AccessKeyId == STRING
    input.ProviderMetadata.Region == STRING
}

DeregisterIdentityProvider

enum_ActiveDirectoryType := [ "SELF_MANAGED", "AWS_MANAGED" ]

valid {
    input.Body.IdentityProvider.ActiveDirectoryIdentityProvider.ActiveDirectorySettings.DomainCredentialsProvider.SecretsManagerCredentialsProvider.SecretId == STRING
    input.Body.IdentityProvider.ActiveDirectoryIdentityProvider.ActiveDirectorySettings.DomainIpv4List[_] == STRING
    input.Body.IdentityProvider.ActiveDirectoryIdentityProvider.ActiveDirectorySettings.DomainName == STRING
    input.Body.IdentityProvider.ActiveDirectoryIdentityProvider.ActiveDirectorySettings.DomainNetworkSettings.Subnets[_] == STRING
    input.Body.IdentityProvider.ActiveDirectoryIdentityProvider.ActiveDirectoryType == enum_ActiveDirectoryType[_]
    input.Body.IdentityProvider.ActiveDirectoryIdentityProvider.DirectoryId == STRING
    input.Body.IdentityProviderArn == STRING
    input.Body.Product == STRING
    input.ProviderMetadata.Account == STRING
    input.ProviderMetadata.AccessKeyId == STRING
    input.ProviderMetadata.Region == STRING
}

DisassociateUser

enum_ActiveDirectoryType := [ "SELF_MANAGED", "AWS_MANAGED" ]

valid {
    input.Body.Domain == STRING
    input.Body.IdentityProvider.ActiveDirectoryIdentityProvider.ActiveDirectorySettings.DomainCredentialsProvider.SecretsManagerCredentialsProvider.SecretId == STRING
    input.Body.IdentityProvider.ActiveDirectoryIdentityProvider.ActiveDirectorySettings.DomainIpv4List[_] == STRING
    input.Body.IdentityProvider.ActiveDirectoryIdentityProvider.ActiveDirectorySettings.DomainName == STRING
    input.Body.IdentityProvider.ActiveDirectoryIdentityProvider.ActiveDirectorySettings.DomainNetworkSettings.Subnets[_] == STRING
    input.Body.IdentityProvider.ActiveDirectoryIdentityProvider.ActiveDirectoryType == enum_ActiveDirectoryType[_]
    input.Body.IdentityProvider.ActiveDirectoryIdentityProvider.DirectoryId == STRING
    input.Body.InstanceId == STRING
    input.Body.InstanceUserArn == STRING
    input.Body.Username == STRING
    input.ProviderMetadata.Account == STRING
    input.ProviderMetadata.AccessKeyId == STRING
    input.ProviderMetadata.Region == STRING
}

ListIdentityProviders

valid {
    input.Body.Filters[_].Attribute == STRING
    input.Body.Filters[_].Operation == STRING
    input.Body.Filters[_].Value == STRING
    input.Body.MaxResults == INTEGER
    input.Body.NextToken == STRING
    input.ProviderMetadata.Account == STRING
    input.ProviderMetadata.AccessKeyId == STRING
    input.ProviderMetadata.Region == STRING
}

ListInstances

valid {
    input.Body.Filters[_].Attribute == STRING
    input.Body.Filters[_].Operation == STRING
    input.Body.Filters[_].Value == STRING
    input.Body.MaxResults == INTEGER
    input.Body.NextToken == STRING
    input.ProviderMetadata.Account == STRING
    input.ProviderMetadata.AccessKeyId == STRING
    input.ProviderMetadata.Region == STRING
}

ListLicenseServerEndpoints

valid {
    input.Body.Filters[_].Attribute == STRING
    input.Body.Filters[_].Operation == STRING
    input.Body.Filters[_].Value == STRING
    input.Body.MaxResults == INTEGER
    input.Body.NextToken == STRING
    input.ProviderMetadata.Account == STRING
    input.ProviderMetadata.AccessKeyId == STRING
    input.ProviderMetadata.Region == STRING
}

ListProductSubscriptions

enum_ActiveDirectoryType := [ "SELF_MANAGED", "AWS_MANAGED" ]

valid {
    input.Body.Filters[_].Attribute == STRING
    input.Body.Filters[_].Operation == STRING
    input.Body.Filters[_].Value == STRING
    input.Body.IdentityProvider.ActiveDirectoryIdentityProvider.ActiveDirectorySettings.DomainCredentialsProvider.SecretsManagerCredentialsProvider.SecretId == STRING
    input.Body.IdentityProvider.ActiveDirectoryIdentityProvider.ActiveDirectorySettings.DomainIpv4List[_] == STRING
    input.Body.IdentityProvider.ActiveDirectoryIdentityProvider.ActiveDirectorySettings.DomainName == STRING
    input.Body.IdentityProvider.ActiveDirectoryIdentityProvider.ActiveDirectorySettings.DomainNetworkSettings.Subnets[_] == STRING
    input.Body.IdentityProvider.ActiveDirectoryIdentityProvider.ActiveDirectoryType == enum_ActiveDirectoryType[_]
    input.Body.IdentityProvider.ActiveDirectoryIdentityProvider.DirectoryId == STRING
    input.Body.MaxResults == INTEGER
    input.Body.NextToken == STRING
    input.Body.Product == STRING
    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
}

ListUserAssociations

enum_ActiveDirectoryType := [ "SELF_MANAGED", "AWS_MANAGED" ]

valid {
    input.Body.Filters[_].Attribute == STRING
    input.Body.Filters[_].Operation == STRING
    input.Body.Filters[_].Value == STRING
    input.Body.IdentityProvider.ActiveDirectoryIdentityProvider.ActiveDirectorySettings.DomainCredentialsProvider.SecretsManagerCredentialsProvider.SecretId == STRING
    input.Body.IdentityProvider.ActiveDirectoryIdentityProvider.ActiveDirectorySettings.DomainIpv4List[_] == STRING
    input.Body.IdentityProvider.ActiveDirectoryIdentityProvider.ActiveDirectorySettings.DomainName == STRING
    input.Body.IdentityProvider.ActiveDirectoryIdentityProvider.ActiveDirectorySettings.DomainNetworkSettings.Subnets[_] == STRING
    input.Body.IdentityProvider.ActiveDirectoryIdentityProvider.ActiveDirectoryType == enum_ActiveDirectoryType[_]
    input.Body.IdentityProvider.ActiveDirectoryIdentityProvider.DirectoryId == STRING
    input.Body.InstanceId == STRING
    input.Body.MaxResults == INTEGER
    input.Body.NextToken == STRING
    input.ProviderMetadata.Account == STRING
    input.ProviderMetadata.AccessKeyId == STRING
    input.ProviderMetadata.Region == STRING
}

RegisterIdentityProvider

enum_ActiveDirectoryType := [ "SELF_MANAGED", "AWS_MANAGED" ]

valid {
    input.Body.IdentityProvider.ActiveDirectoryIdentityProvider.ActiveDirectorySettings.DomainCredentialsProvider.SecretsManagerCredentialsProvider.SecretId == STRING
    input.Body.IdentityProvider.ActiveDirectoryIdentityProvider.ActiveDirectorySettings.DomainIpv4List[_] == STRING
    input.Body.IdentityProvider.ActiveDirectoryIdentityProvider.ActiveDirectorySettings.DomainName == STRING
    input.Body.IdentityProvider.ActiveDirectoryIdentityProvider.ActiveDirectorySettings.DomainNetworkSettings.Subnets[_] == STRING
    input.Body.IdentityProvider.ActiveDirectoryIdentityProvider.ActiveDirectoryType == enum_ActiveDirectoryType[_]
    input.Body.IdentityProvider.ActiveDirectoryIdentityProvider.DirectoryId == STRING
    input.Body.Product == STRING
    input.Body.Settings.SecurityGroupId == STRING
    input.Body.Settings.Subnets[_] == STRING
    input.Body.Tags.STRING == STRING
    input.ProviderMetadata.Account == STRING
    input.ProviderMetadata.AccessKeyId == STRING
    input.ProviderMetadata.Region == STRING
}

StartProductSubscription

enum_ActiveDirectoryType := [ "SELF_MANAGED", "AWS_MANAGED" ]

valid {
    input.Body.Domain == STRING
    input.Body.IdentityProvider.ActiveDirectoryIdentityProvider.ActiveDirectorySettings.DomainCredentialsProvider.SecretsManagerCredentialsProvider.SecretId == STRING
    input.Body.IdentityProvider.ActiveDirectoryIdentityProvider.ActiveDirectorySettings.DomainIpv4List[_] == STRING
    input.Body.IdentityProvider.ActiveDirectoryIdentityProvider.ActiveDirectorySettings.DomainName == STRING
    input.Body.IdentityProvider.ActiveDirectoryIdentityProvider.ActiveDirectorySettings.DomainNetworkSettings.Subnets[_] == STRING
    input.Body.IdentityProvider.ActiveDirectoryIdentityProvider.ActiveDirectoryType == enum_ActiveDirectoryType[_]
    input.Body.IdentityProvider.ActiveDirectoryIdentityProvider.DirectoryId == STRING
    input.Body.Product == STRING
    input.Body.Tags.STRING == STRING
    input.Body.Username == STRING
    input.ProviderMetadata.Account == STRING
    input.ProviderMetadata.AccessKeyId == STRING
    input.ProviderMetadata.Region == STRING
}

StopProductSubscription

enum_ActiveDirectoryType := [ "SELF_MANAGED", "AWS_MANAGED" ]

valid {
    input.Body.Domain == STRING
    input.Body.IdentityProvider.ActiveDirectoryIdentityProvider.ActiveDirectorySettings.DomainCredentialsProvider.SecretsManagerCredentialsProvider.SecretId == STRING
    input.Body.IdentityProvider.ActiveDirectoryIdentityProvider.ActiveDirectorySettings.DomainIpv4List[_] == STRING
    input.Body.IdentityProvider.ActiveDirectoryIdentityProvider.ActiveDirectorySettings.DomainName == STRING
    input.Body.IdentityProvider.ActiveDirectoryIdentityProvider.ActiveDirectorySettings.DomainNetworkSettings.Subnets[_] == STRING
    input.Body.IdentityProvider.ActiveDirectoryIdentityProvider.ActiveDirectoryType == enum_ActiveDirectoryType[_]
    input.Body.IdentityProvider.ActiveDirectoryIdentityProvider.DirectoryId == STRING
    input.Body.Product == STRING
    input.Body.ProductUserArn == STRING
    input.Body.Username == 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
}

UpdateIdentityProviderSettings

enum_ActiveDirectoryType := [ "SELF_MANAGED", "AWS_MANAGED" ]

valid {
    input.Body.IdentityProvider.ActiveDirectoryIdentityProvider.ActiveDirectorySettings.DomainCredentialsProvider.SecretsManagerCredentialsProvider.SecretId == STRING
    input.Body.IdentityProvider.ActiveDirectoryIdentityProvider.ActiveDirectorySettings.DomainIpv4List[_] == STRING
    input.Body.IdentityProvider.ActiveDirectoryIdentityProvider.ActiveDirectorySettings.DomainName == STRING
    input.Body.IdentityProvider.ActiveDirectoryIdentityProvider.ActiveDirectorySettings.DomainNetworkSettings.Subnets[_] == STRING
    input.Body.IdentityProvider.ActiveDirectoryIdentityProvider.ActiveDirectoryType == enum_ActiveDirectoryType[_]
    input.Body.IdentityProvider.ActiveDirectoryIdentityProvider.DirectoryId == STRING
    input.Body.IdentityProviderArn == STRING
    input.Body.Product == STRING
    input.Body.UpdateSettings.AddSubnets[_] == STRING
    input.Body.UpdateSettings.RemoveSubnets[_] == STRING
    input.Body.UpdateSettings.SecurityGroupId == STRING
    input.ProviderMetadata.Account == STRING
    input.ProviderMetadata.AccessKeyId == STRING
    input.ProviderMetadata.Region == STRING
}

Updated 6 days ago