LICENSE-MANAGER-USER-SUBSCRIPTIONS

AssociateUser

valid {
    input.Body.Domain == STRING
    input.Body.IdentityProvider.ActiveDirectoryIdentityProvider.DirectoryId == STRING
    input.Body.InstanceId == STRING
    input.Body.Username == STRING
    input.ProviderMetadata.Account == STRING
    input.ProviderMetadata.AccessKeyId == STRING
    input.ProviderMetadata.Region == STRING
}

DeregisterIdentityProvider

valid {
    input.Body.IdentityProvider.ActiveDirectoryIdentityProvider.DirectoryId == STRING
    input.Body.Product == STRING
    input.ProviderMetadata.Account == STRING
    input.ProviderMetadata.AccessKeyId == STRING
    input.ProviderMetadata.Region == STRING
}

DisassociateUser

valid {
    input.Body.Domain == STRING
    input.Body.IdentityProvider.ActiveDirectoryIdentityProvider.DirectoryId == STRING
    input.Body.InstanceId == STRING
    input.Body.Username == STRING
    input.ProviderMetadata.Account == STRING
    input.ProviderMetadata.AccessKeyId == STRING
    input.ProviderMetadata.Region == STRING
}

ListIdentityProviders

valid {
    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
}

ListProductSubscriptions

valid {
    input.Body.Filters[_].Attribute == STRING
    input.Body.Filters[_].Operation == STRING
    input.Body.Filters[_].Value == STRING
    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
}

ListUserAssociations

valid {
    input.Body.Filters[_].Attribute == STRING
    input.Body.Filters[_].Operation == STRING
    input.Body.Filters[_].Value == STRING
    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

valid {
    input.Body.IdentityProvider.ActiveDirectoryIdentityProvider.DirectoryId == STRING
    input.Body.Product == STRING
    input.Body.Settings.SecurityGroupId == STRING
    input.Body.Settings.Subnets[_] == STRING
    input.ProviderMetadata.Account == STRING
    input.ProviderMetadata.AccessKeyId == STRING
    input.ProviderMetadata.Region == STRING
}

StartProductSubscription

valid {
    input.Body.Domain == STRING
    input.Body.IdentityProvider.ActiveDirectoryIdentityProvider.DirectoryId == STRING
    input.Body.Product == STRING
    input.Body.Username == STRING
    input.ProviderMetadata.Account == STRING
    input.ProviderMetadata.AccessKeyId == STRING
    input.ProviderMetadata.Region == STRING
}

StopProductSubscription

valid {
    input.Body.Domain == STRING
    input.Body.IdentityProvider.ActiveDirectoryIdentityProvider.DirectoryId == STRING
    input.Body.Product == STRING
    input.Body.Username == STRING
    input.ProviderMetadata.Account == STRING
    input.ProviderMetadata.AccessKeyId == STRING
    input.ProviderMetadata.Region == STRING
}

UpdateIdentityProviderSettings

valid {
    input.Body.IdentityProvider.ActiveDirectoryIdentityProvider.DirectoryId == 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
}