LICENSE-MANAGER

AcceptGrant

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

CheckInLicense

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

CheckoutBorrowLicense

enum_DigitalSignatureMethod := [ "JWT_PS384" ]
enum_EntitlementDataUnit := [ "Count", "None", "Seconds", "Microseconds", "Milliseconds", "Bytes", "Kilobytes", "Megabytes", "Gigabytes", "Terabytes", "Bits", "Kilobits", "Megabits", "Gigabits", "Terabits", "Percent", "Bytes/Second", "Kilobytes/Second", "Megabytes/Second", "Gigabytes/Second", "Terabytes/Second", "Bits/Second", "Kilobits/Second", "Megabits/Second", "Gigabits/Second", "Terabits/Second", "Count/Second" ]

valid {
    input.Body.LicenseArn == STRING
    input.Body.Entitlements[_].Name == STRING
    input.Body.Entitlements[_].Value == STRING
    input.Body.Entitlements[_].Unit == enum_EntitlementDataUnit[_]
    input.Body.DigitalSignatureMethod == enum_DigitalSignatureMethod[_]
    input.Body.NodeId == STRING
    input.Body.CheckoutMetadata[_].Name == STRING
    input.Body.CheckoutMetadata[_].Value == STRING
    input.Body.ClientToken == STRING
    input.ProviderMetadata.Account == STRING
    input.ProviderMetadata.AccessKeyId == STRING
    input.ProviderMetadata.Region == STRING
}

CheckoutLicense

enum_CheckoutType := [ "PROVISIONAL", "PERPETUAL" ]
enum_EntitlementDataUnit := [ "Count", "None", "Seconds", "Microseconds", "Milliseconds", "Bytes", "Kilobytes", "Megabytes", "Gigabytes", "Terabytes", "Bits", "Kilobits", "Megabits", "Gigabits", "Terabits", "Percent", "Bytes/Second", "Kilobytes/Second", "Megabytes/Second", "Gigabytes/Second", "Terabytes/Second", "Bits/Second", "Kilobits/Second", "Megabits/Second", "Gigabits/Second", "Terabits/Second", "Count/Second" ]

valid {
    input.Body.ProductSKU == STRING
    input.Body.CheckoutType == enum_CheckoutType[_]
    input.Body.KeyFingerprint == STRING
    input.Body.Entitlements[_].Name == STRING
    input.Body.Entitlements[_].Value == STRING
    input.Body.Entitlements[_].Unit == enum_EntitlementDataUnit[_]
    input.Body.ClientToken == STRING
    input.Body.Beneficiary == STRING
    input.Body.NodeId == STRING
    input.ProviderMetadata.Account == STRING
    input.ProviderMetadata.AccessKeyId == STRING
    input.ProviderMetadata.Region == STRING
}

CreateGrant

enum_AllowedOperation := [ "CreateGrant", "CheckoutLicense", "CheckoutBorrowLicense", "CheckInLicense", "ExtendConsumptionLicense", "ListPurchasedLicenses", "CreateToken" ]

valid {
    input.Body.ClientToken == STRING
    input.Body.GrantName == STRING
    input.Body.LicenseArn == STRING
    input.Body.Principals[_] == STRING
    input.Body.HomeRegion == STRING
    input.Body.AllowedOperations[_] == enum_AllowedOperation[_]
    input.ProviderMetadata.Account == STRING
    input.ProviderMetadata.AccessKeyId == STRING
    input.ProviderMetadata.Region == STRING
}

CreateGrantVersion

enum_ActivationOverrideBehavior := [ "DISTRIBUTED_GRANTS_ONLY", "ALL_GRANTS_PERMITTED_BY_ISSUER" ]
enum_AllowedOperation := [ "CreateGrant", "CheckoutLicense", "CheckoutBorrowLicense", "CheckInLicense", "ExtendConsumptionLicense", "ListPurchasedLicenses", "CreateToken" ]
enum_GrantStatus := [ "PENDING_WORKFLOW", "PENDING_ACCEPT", "REJECTED", "ACTIVE", "FAILED_WORKFLOW", "DELETED", "PENDING_DELETE", "DISABLED", "WORKFLOW_COMPLETED" ]

valid {
    input.Body.ClientToken == STRING
    input.Body.GrantArn == STRING
    input.Body.GrantName == STRING
    input.Body.AllowedOperations[_] == enum_AllowedOperation[_]
    input.Body.Status == enum_GrantStatus[_]
    input.Body.StatusReason == STRING
    input.Body.SourceVersion == STRING
    input.Body.Options.ActivationOverrideBehavior == enum_ActivationOverrideBehavior[_]
    input.ProviderMetadata.Account == STRING
    input.ProviderMetadata.AccessKeyId == STRING
    input.ProviderMetadata.Region == STRING
}

CreateLicense

enum_EntitlementUnit := [ "Count", "None", "Seconds", "Microseconds", "Milliseconds", "Bytes", "Kilobytes", "Megabytes", "Gigabytes", "Terabytes", "Bits", "Kilobits", "Megabits", "Gigabits", "Terabits", "Percent", "Bytes/Second", "Kilobytes/Second", "Megabytes/Second", "Gigabytes/Second", "Terabytes/Second", "Bits/Second", "Kilobits/Second", "Megabits/Second", "Gigabits/Second", "Terabits/Second", "Count/Second" ]
enum_RenewType := [ "None", "Weekly", "Monthly" ]

valid {
    input.Body.LicenseName == STRING
    input.Body.ProductName == STRING
    input.Body.ProductSKU == STRING
    input.Body.Issuer.Name == STRING
    input.Body.Issuer.SignKey == STRING
    input.Body.HomeRegion == STRING
    input.Body.Validity.Begin == STRING
    input.Body.Validity.End == STRING
    input.Body.Entitlements[_].Name == STRING
    input.Body.Entitlements[_].Value == STRING
    input.Body.Entitlements[_].MaxCount == LONG
    input.Body.Entitlements[_].Overage == BOOLEAN
    input.Body.Entitlements[_].Unit == enum_EntitlementUnit[_]
    input.Body.Entitlements[_].AllowCheckIn == BOOLEAN
    input.Body.Beneficiary == STRING
    input.Body.ConsumptionConfiguration.RenewType == enum_RenewType[_]
    input.Body.ConsumptionConfiguration.ProvisionalConfiguration.MaxTimeToLiveInMinutes == INTEGER
    input.Body.ConsumptionConfiguration.BorrowConfiguration.AllowEarlyCheckIn == BOOLEAN
    input.Body.ConsumptionConfiguration.BorrowConfiguration.MaxTimeToLiveInMinutes == INTEGER
    input.Body.LicenseMetadata[_].Name == STRING
    input.Body.LicenseMetadata[_].Value == STRING
    input.Body.ClientToken == STRING
    input.ProviderMetadata.Account == STRING
    input.ProviderMetadata.AccessKeyId == STRING
    input.ProviderMetadata.Region == STRING
}

CreateLicenseConfiguration

enum_LicenseCountingType := [ "vCPU", "Instance", "Core", "Socket" ]

valid {
    input.Body.Name == STRING
    input.Body.Description == STRING
    input.Body.LicenseCountingType == enum_LicenseCountingType[_]
    input.Body.LicenseCount == LONG
    input.Body.LicenseCountHardLimit == BOOLEAN
    input.Body.LicenseRules[_] == STRING
    input.Body.Tags[_].Key == STRING
    input.Body.Tags[_].Value == STRING
    input.Body.DisassociateWhenNotFound == BOOLEAN
    input.Body.ProductInformationList[_].ResourceType == STRING
    input.Body.ProductInformationList[_].ProductInformationFilterList[_].ProductInformationFilterName == STRING
    input.Body.ProductInformationList[_].ProductInformationFilterList[_].ProductInformationFilterValue[_] == STRING
    input.Body.ProductInformationList[_].ProductInformationFilterList[_].ProductInformationFilterComparator == STRING
    input.ProviderMetadata.Account == STRING
    input.ProviderMetadata.AccessKeyId == STRING
    input.ProviderMetadata.Region == STRING
}

CreateLicenseConversionTaskForResource

valid {
    input.Body.ResourceArn == STRING
    input.Body.SourceLicenseContext.UsageOperation == STRING
    input.Body.DestinationLicenseContext.UsageOperation == STRING
    input.ProviderMetadata.Account == STRING
    input.ProviderMetadata.AccessKeyId == STRING
    input.ProviderMetadata.Region == STRING
}

CreateLicenseManagerReportGenerator

enum_ReportFrequencyType := [ "DAY", "WEEK", "MONTH" ]
enum_ReportType := [ "LicenseConfigurationSummaryReport", "LicenseConfigurationUsageReport" ]

valid {
    input.Body.ReportGeneratorName == STRING
    input.Body.Type[_] == enum_ReportType[_]
    input.Body.ReportContext.licenseConfigurationArns[_] == STRING
    input.Body.ReportFrequency.value == INTEGER
    input.Body.ReportFrequency.period == enum_ReportFrequencyType[_]
    input.Body.ClientToken == STRING
    input.Body.Description == STRING
    input.Body.Tags[_].Key == STRING
    input.Body.Tags[_].Value == STRING
    input.ProviderMetadata.Account == STRING
    input.ProviderMetadata.AccessKeyId == STRING
    input.ProviderMetadata.Region == STRING
}

CreateLicenseVersion

enum_EntitlementUnit := [ "Count", "None", "Seconds", "Microseconds", "Milliseconds", "Bytes", "Kilobytes", "Megabytes", "Gigabytes", "Terabytes", "Bits", "Kilobits", "Megabits", "Gigabits", "Terabits", "Percent", "Bytes/Second", "Kilobytes/Second", "Megabytes/Second", "Gigabytes/Second", "Terabytes/Second", "Bits/Second", "Kilobits/Second", "Megabits/Second", "Gigabits/Second", "Terabits/Second", "Count/Second" ]
enum_LicenseStatus := [ "AVAILABLE", "PENDING_AVAILABLE", "DEACTIVATED", "SUSPENDED", "EXPIRED", "PENDING_DELETE", "DELETED" ]
enum_RenewType := [ "None", "Weekly", "Monthly" ]

valid {
    input.Body.LicenseArn == STRING
    input.Body.LicenseName == STRING
    input.Body.ProductName == STRING
    input.Body.Issuer.Name == STRING
    input.Body.Issuer.SignKey == STRING
    input.Body.HomeRegion == STRING
    input.Body.Validity.Begin == STRING
    input.Body.Validity.End == STRING
    input.Body.LicenseMetadata[_].Name == STRING
    input.Body.LicenseMetadata[_].Value == STRING
    input.Body.Entitlements[_].Name == STRING
    input.Body.Entitlements[_].Value == STRING
    input.Body.Entitlements[_].MaxCount == LONG
    input.Body.Entitlements[_].Overage == BOOLEAN
    input.Body.Entitlements[_].Unit == enum_EntitlementUnit[_]
    input.Body.Entitlements[_].AllowCheckIn == BOOLEAN
    input.Body.ConsumptionConfiguration.RenewType == enum_RenewType[_]
    input.Body.ConsumptionConfiguration.ProvisionalConfiguration.MaxTimeToLiveInMinutes == INTEGER
    input.Body.ConsumptionConfiguration.BorrowConfiguration.AllowEarlyCheckIn == BOOLEAN
    input.Body.ConsumptionConfiguration.BorrowConfiguration.MaxTimeToLiveInMinutes == INTEGER
    input.Body.Status == enum_LicenseStatus[_]
    input.Body.ClientToken == STRING
    input.Body.SourceVersion == STRING
    input.ProviderMetadata.Account == STRING
    input.ProviderMetadata.AccessKeyId == STRING
    input.ProviderMetadata.Region == STRING
}

CreateToken

valid {
    input.Body.LicenseArn == STRING
    input.Body.RoleArns[_] == STRING
    input.Body.ExpirationInDays == INTEGER
    input.Body.TokenProperties[_] == STRING
    input.Body.ClientToken == STRING
    input.ProviderMetadata.Account == STRING
    input.ProviderMetadata.AccessKeyId == STRING
    input.ProviderMetadata.Region == STRING
}

DeleteGrant

valid {
    input.Body.GrantArn == STRING
    input.Body.StatusReason == STRING
    input.Body.Version == STRING
    input.ProviderMetadata.Account == STRING
    input.ProviderMetadata.AccessKeyId == STRING
    input.ProviderMetadata.Region == STRING
}

DeleteLicense

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

DeleteLicenseConfiguration

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

DeleteLicenseManagerReportGenerator

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

DeleteToken

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

ExtendLicenseConsumption

valid {
    input.Body.LicenseConsumptionToken == STRING
    input.Body.DryRun == BOOLEAN
    input.ProviderMetadata.Account == STRING
    input.ProviderMetadata.AccessKeyId == STRING
    input.ProviderMetadata.Region == STRING
}

GetAccessToken

valid {
    input.Body.Token == STRING
    input.Body.TokenProperties[_] == STRING
    input.ProviderMetadata.Account == STRING
    input.ProviderMetadata.AccessKeyId == STRING
    input.ProviderMetadata.Region == STRING
}

GetGrant

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

GetLicense

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

GetLicenseConfiguration

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

GetLicenseConversionTask

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

GetLicenseManagerReportGenerator

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

GetLicenseUsage

valid {
    input.Body.LicenseArn == 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
}

ListAssociationsForLicenseConfiguration

valid {
    input.Body.LicenseConfigurationArn == STRING
    input.Body.MaxResults == INTEGER
    input.Body.NextToken == STRING
    input.ProviderMetadata.Account == STRING
    input.ProviderMetadata.AccessKeyId == STRING
    input.ProviderMetadata.Region == STRING
}

ListDistributedGrants

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

ListFailuresForLicenseConfigurationOperations

valid {
    input.Body.LicenseConfigurationArn == STRING
    input.Body.MaxResults == INTEGER
    input.Body.NextToken == STRING
    input.ProviderMetadata.Account == STRING
    input.ProviderMetadata.AccessKeyId == STRING
    input.ProviderMetadata.Region == STRING
}

ListLicenseConfigurations

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

ListLicenseConversionTasks

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

ListLicenseManagerReportGenerators

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

ListLicenseSpecificationsForResource

valid {
    input.Body.ResourceArn == STRING
    input.Body.MaxResults == INTEGER
    input.Body.NextToken == STRING
    input.ProviderMetadata.Account == STRING
    input.ProviderMetadata.AccessKeyId == STRING
    input.ProviderMetadata.Region == STRING
}

ListLicenseVersions

valid {
    input.Body.LicenseArn == STRING
    input.Body.NextToken == STRING
    input.Body.MaxResults == INTEGER
    input.ProviderMetadata.Account == STRING
    input.ProviderMetadata.AccessKeyId == STRING
    input.ProviderMetadata.Region == STRING
}

ListLicenses

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

ListReceivedGrants

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

ListReceivedGrantsForOrganization

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

ListReceivedLicenses

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

ListReceivedLicensesForOrganization

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

ListResourceInventory

enum_InventoryFilterCondition := [ "EQUALS", "NOT_EQUALS", "BEGINS_WITH", "CONTAINS" ]

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

ListTagsForResource

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

ListTokens

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

ListUsageForLicenseConfiguration

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

RejectGrant

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

TagResource

valid {
    input.Body.ResourceArn == STRING
    input.Body.Tags[_].Key == STRING
    input.Body.Tags[_].Value == STRING
    input.ProviderMetadata.Account == STRING
    input.ProviderMetadata.AccessKeyId == STRING
    input.ProviderMetadata.Region == STRING
}

UntagResource

valid {
    input.Body.ResourceArn == STRING
    input.Body.TagKeys[_] == STRING
    input.ProviderMetadata.Account == STRING
    input.ProviderMetadata.AccessKeyId == STRING
    input.ProviderMetadata.Region == STRING
}

UpdateLicenseConfiguration

enum_LicenseConfigurationStatus := [ "AVAILABLE", "DISABLED" ]

valid {
    input.Body.LicenseConfigurationArn == STRING
    input.Body.LicenseConfigurationStatus == enum_LicenseConfigurationStatus[_]
    input.Body.LicenseRules[_] == STRING
    input.Body.LicenseCount == LONG
    input.Body.LicenseCountHardLimit == BOOLEAN
    input.Body.Name == STRING
    input.Body.Description == STRING
    input.Body.ProductInformationList[_].ResourceType == STRING
    input.Body.ProductInformationList[_].ProductInformationFilterList[_].ProductInformationFilterName == STRING
    input.Body.ProductInformationList[_].ProductInformationFilterList[_].ProductInformationFilterValue[_] == STRING
    input.Body.ProductInformationList[_].ProductInformationFilterList[_].ProductInformationFilterComparator == STRING
    input.Body.DisassociateWhenNotFound == BOOLEAN
    input.ProviderMetadata.Account == STRING
    input.ProviderMetadata.AccessKeyId == STRING
    input.ProviderMetadata.Region == STRING
}

UpdateLicenseManagerReportGenerator

enum_ReportFrequencyType := [ "DAY", "WEEK", "MONTH" ]
enum_ReportType := [ "LicenseConfigurationSummaryReport", "LicenseConfigurationUsageReport" ]

valid {
    input.Body.LicenseManagerReportGeneratorArn == STRING
    input.Body.ReportGeneratorName == STRING
    input.Body.Type[_] == enum_ReportType[_]
    input.Body.ReportContext.licenseConfigurationArns[_] == STRING
    input.Body.ReportFrequency.value == INTEGER
    input.Body.ReportFrequency.period == enum_ReportFrequencyType[_]
    input.Body.ClientToken == STRING
    input.Body.Description == STRING
    input.ProviderMetadata.Account == STRING
    input.ProviderMetadata.AccessKeyId == STRING
    input.ProviderMetadata.Region == STRING
}

UpdateLicenseSpecificationsForResource

valid {
    input.Body.ResourceArn == STRING
    input.Body.AddLicenseSpecifications[_].LicenseConfigurationArn == STRING
    input.Body.AddLicenseSpecifications[_].AmiAssociationScope == STRING
    input.Body.RemoveLicenseSpecifications[_].LicenseConfigurationArn == STRING
    input.Body.RemoveLicenseSpecifications[_].AmiAssociationScope == STRING
    input.ProviderMetadata.Account == STRING
    input.ProviderMetadata.AccessKeyId == STRING
    input.ProviderMetadata.Region == STRING
}

UpdateServiceSettings

valid {
    input.Body.S3BucketArn == STRING
    input.Body.SnsTopicArn == STRING
    input.Body.OrganizationConfiguration.EnableIntegration == BOOLEAN
    input.Body.EnableCrossAccountsDiscovery == BOOLEAN
    input.ProviderMetadata.Account == STRING
    input.ProviderMetadata.AccessKeyId == STRING
    input.ProviderMetadata.Region == STRING
}