GREENGRASS
AssociateRoleToGroup
valid {
input.Body.RoleArn == STRING
input.ReqMap.GroupId == STRING
input.ProviderMetadata.Account == STRING
input.ProviderMetadata.AccessKeyId == STRING
input.ProviderMetadata.Region == STRING
}
AssociateServiceRoleToAccount
valid {
input.Body.RoleArn == STRING
input.ProviderMetadata.Account == STRING
input.ProviderMetadata.AccessKeyId == STRING
input.ProviderMetadata.Region == STRING
}
BatchAssociateClientDeviceWithCoreDevice
valid {
input.Body.entries[_].thingName == STRING
input.ReqMap.coreDeviceThingName == STRING
input.ProviderMetadata.Account == STRING
input.ProviderMetadata.AccessKeyId == STRING
input.ProviderMetadata.Region == STRING
}
BatchDisassociateClientDeviceFromCoreDevice
valid {
input.Body.entries[_].thingName == STRING
input.ReqMap.coreDeviceThingName == STRING
input.ProviderMetadata.Account == STRING
input.ProviderMetadata.AccessKeyId == STRING
input.ProviderMetadata.Region == STRING
}
CancelDeployment
valid {
input.ReqMap.deploymentId == STRING
input.ProviderMetadata.Account == STRING
input.ProviderMetadata.AccessKeyId == STRING
input.ProviderMetadata.Region == STRING
}
CreateComponentVersion
enum_ComponentDependencyType := [ "HARD", "SOFT" ]
enum_LambdaEventSourceType := [ "PUB_SUB", "IOT_CORE" ]
enum_LambdaFilesystemPermission := [ "ro", "rw" ]
enum_LambdaInputPayloadEncodingType := [ "json", "binary" ]
enum_LambdaIsolationMode := [ "GreengrassContainer", "NoContainer" ]
valid {
input.Body.inlineRecipe == BLOB
input.Body.lambdaFunction.lambdaArn == STRING
input.Body.lambdaFunction.componentName == STRING
input.Body.lambdaFunction.componentVersion == STRING
input.Body.lambdaFunction.componentPlatforms[_].name == STRING
input.Body.lambdaFunction.componentPlatforms[_].attributes.STRING == STRING
input.Body.lambdaFunction.componentDependencies.STRING.versionRequirement == STRING
input.Body.lambdaFunction.componentDependencies.STRING.dependencyType == enum_ComponentDependencyType[_]
input.Body.lambdaFunction.componentLambdaParameters.eventSources[_].topic == STRING
input.Body.lambdaFunction.componentLambdaParameters.eventSources[_].type == enum_LambdaEventSourceType[_]
input.Body.lambdaFunction.componentLambdaParameters.maxQueueSize == INTEGER
input.Body.lambdaFunction.componentLambdaParameters.maxInstancesCount == INTEGER
input.Body.lambdaFunction.componentLambdaParameters.maxIdleTimeInSeconds == INTEGER
input.Body.lambdaFunction.componentLambdaParameters.timeoutInSeconds == INTEGER
input.Body.lambdaFunction.componentLambdaParameters.statusTimeoutInSeconds == INTEGER
input.Body.lambdaFunction.componentLambdaParameters.pinned == BOOLEAN
input.Body.lambdaFunction.componentLambdaParameters.inputPayloadEncodingType == enum_LambdaInputPayloadEncodingType[_]
input.Body.lambdaFunction.componentLambdaParameters.execArgs[_] == STRING
input.Body.lambdaFunction.componentLambdaParameters.environmentVariables.STRING == STRING
input.Body.lambdaFunction.componentLambdaParameters.linuxProcessParams.isolationMode == enum_LambdaIsolationMode[_]
input.Body.lambdaFunction.componentLambdaParameters.linuxProcessParams.containerParams.memorySizeInKB == INTEGER
input.Body.lambdaFunction.componentLambdaParameters.linuxProcessParams.containerParams.mountROSysfs == BOOLEAN
input.Body.lambdaFunction.componentLambdaParameters.linuxProcessParams.containerParams.volumes[_].sourcePath == STRING
input.Body.lambdaFunction.componentLambdaParameters.linuxProcessParams.containerParams.volumes[_].destinationPath == STRING
input.Body.lambdaFunction.componentLambdaParameters.linuxProcessParams.containerParams.volumes[_].permission == enum_LambdaFilesystemPermission[_]
input.Body.lambdaFunction.componentLambdaParameters.linuxProcessParams.containerParams.volumes[_].addGroupOwner == BOOLEAN
input.Body.lambdaFunction.componentLambdaParameters.linuxProcessParams.containerParams.devices[_].path == STRING
input.Body.lambdaFunction.componentLambdaParameters.linuxProcessParams.containerParams.devices[_].permission == enum_LambdaFilesystemPermission[_]
input.Body.lambdaFunction.componentLambdaParameters.linuxProcessParams.containerParams.devices[_].addGroupOwner == BOOLEAN
input.Body.tags.STRING == STRING
input.Body.clientToken == STRING
input.ProviderMetadata.Account == STRING
input.ProviderMetadata.AccessKeyId == STRING
input.ProviderMetadata.Region == STRING
}
CreateConnectorDefinition
valid {
input.Body.InitialVersion.Connectors[_].ConnectorArn == STRING
input.Body.InitialVersion.Connectors[_].Id == STRING
input.Body.InitialVersion.Connectors[_].Parameters.STRING == STRING
input.Body.Name == STRING
input.Body.tags.STRING == STRING
input.ProviderMetadata.Account == STRING
input.ProviderMetadata.AccessKeyId == STRING
input.ProviderMetadata.Region == STRING
}
CreateConnectorDefinitionVersion
valid {
input.Body.Connectors[_].ConnectorArn == STRING
input.Body.Connectors[_].Id == STRING
input.Body.Connectors[_].Parameters.STRING == STRING
input.ReqMap.ConnectorDefinitionId == STRING
input.ProviderMetadata.Account == STRING
input.ProviderMetadata.AccessKeyId == STRING
input.ProviderMetadata.Region == STRING
}
CreateCoreDefinition
valid {
input.Body.InitialVersion.Cores[_].CertificateArn == STRING
input.Body.InitialVersion.Cores[_].Id == STRING
input.Body.InitialVersion.Cores[_].SyncShadow == BOOLEAN
input.Body.InitialVersion.Cores[_].ThingArn == STRING
input.Body.Name == STRING
input.Body.tags.STRING == STRING
input.ProviderMetadata.Account == STRING
input.ProviderMetadata.AccessKeyId == STRING
input.ProviderMetadata.Region == STRING
}
CreateCoreDefinitionVersion
valid {
input.Body.Cores[_].CertificateArn == STRING
input.Body.Cores[_].Id == STRING
input.Body.Cores[_].SyncShadow == BOOLEAN
input.Body.Cores[_].ThingArn == STRING
input.ReqMap.CoreDefinitionId == STRING
input.ProviderMetadata.Account == STRING
input.ProviderMetadata.AccessKeyId == STRING
input.ProviderMetadata.Region == STRING
}
CreateDeployment
enum_DeploymentComponentUpdatePolicyAction := [ "NOTIFY_COMPONENTS", "SKIP_NOTIFY_COMPONENTS" ]
enum_DeploymentFailureHandlingPolicy := [ "ROLLBACK", "DO_NOTHING" ]
enum_IoTJobAbortAction := [ "CANCEL" ]
enum_IoTJobExecutionFailureType := [ "FAILED", "REJECTED", "TIMED_OUT", "ALL" ]
valid {
input.Body.targetArn == STRING
input.Body.deploymentName == STRING
input.Body.components.STRING.componentVersion == STRING
input.Body.components.STRING.configurationUpdate.merge == STRING
input.Body.components.STRING.configurationUpdate.reset[_] == STRING
input.Body.components.STRING.runWith.posixUser == STRING
input.Body.components.STRING.runWith.systemResourceLimits.memory == LONG
input.Body.components.STRING.runWith.systemResourceLimits.cpus == DOUBLE
input.Body.components.STRING.runWith.windowsUser == STRING
input.Body.iotJobConfiguration.jobExecutionsRolloutConfig.exponentialRate.baseRatePerMinute == INTEGER
input.Body.iotJobConfiguration.jobExecutionsRolloutConfig.exponentialRate.incrementFactor == DOUBLE
input.Body.iotJobConfiguration.jobExecutionsRolloutConfig.exponentialRate.rateIncreaseCriteria.numberOfNotifiedThings == INTEGER
input.Body.iotJobConfiguration.jobExecutionsRolloutConfig.exponentialRate.rateIncreaseCriteria.numberOfSucceededThings == INTEGER
input.Body.iotJobConfiguration.jobExecutionsRolloutConfig.maximumPerMinute == INTEGER
input.Body.iotJobConfiguration.abortConfig.criteriaList[_].failureType == enum_IoTJobExecutionFailureType[_]
input.Body.iotJobConfiguration.abortConfig.criteriaList[_].action == enum_IoTJobAbortAction[_]
input.Body.iotJobConfiguration.abortConfig.criteriaList[_].thresholdPercentage == DOUBLE
input.Body.iotJobConfiguration.abortConfig.criteriaList[_].minNumberOfExecutedThings == INTEGER
input.Body.iotJobConfiguration.timeoutConfig.inProgressTimeoutInMinutes == LONG
input.Body.deploymentPolicies.failureHandlingPolicy == enum_DeploymentFailureHandlingPolicy[_]
input.Body.deploymentPolicies.componentUpdatePolicy.timeoutInSeconds == INTEGER
input.Body.deploymentPolicies.componentUpdatePolicy.action == enum_DeploymentComponentUpdatePolicyAction[_]
input.Body.deploymentPolicies.configurationValidationPolicy.timeoutInSeconds == INTEGER
input.Body.parentTargetArn == STRING
input.Body.tags.STRING == STRING
input.Body.clientToken == STRING
input.ProviderMetadata.Account == STRING
input.ProviderMetadata.AccessKeyId == STRING
input.ProviderMetadata.Region == STRING
}
CreateDeviceDefinition
valid {
input.Body.InitialVersion.Devices[_].CertificateArn == STRING
input.Body.InitialVersion.Devices[_].Id == STRING
input.Body.InitialVersion.Devices[_].SyncShadow == BOOLEAN
input.Body.InitialVersion.Devices[_].ThingArn == STRING
input.Body.Name == STRING
input.Body.tags.STRING == STRING
input.ProviderMetadata.Account == STRING
input.ProviderMetadata.AccessKeyId == STRING
input.ProviderMetadata.Region == STRING
}
CreateDeviceDefinitionVersion
valid {
input.Body.Devices[_].CertificateArn == STRING
input.Body.Devices[_].Id == STRING
input.Body.Devices[_].SyncShadow == BOOLEAN
input.Body.Devices[_].ThingArn == STRING
input.ReqMap.DeviceDefinitionId == STRING
input.ProviderMetadata.Account == STRING
input.ProviderMetadata.AccessKeyId == STRING
input.ProviderMetadata.Region == STRING
}
CreateFunctionDefinition
enum_EncodingType := [ "binary", "json" ]
enum_FunctionIsolationMode := [ "GreengrassContainer", "NoContainer" ]
enum_Permission := [ "ro", "rw" ]
valid {
input.Body.InitialVersion.DefaultConfig.Execution.IsolationMode == enum_FunctionIsolationMode[_]
input.Body.InitialVersion.DefaultConfig.Execution.RunAs.Gid == INTEGER
input.Body.InitialVersion.DefaultConfig.Execution.RunAs.Uid == INTEGER
input.Body.InitialVersion.Functions[_].FunctionArn == STRING
input.Body.InitialVersion.Functions[_].FunctionConfiguration.EncodingType == enum_EncodingType[_]
input.Body.InitialVersion.Functions[_].FunctionConfiguration.Environment.AccessSysfs == BOOLEAN
input.Body.InitialVersion.Functions[_].FunctionConfiguration.Environment.Execution.IsolationMode == enum_FunctionIsolationMode[_]
input.Body.InitialVersion.Functions[_].FunctionConfiguration.Environment.Execution.RunAs.Gid == INTEGER
input.Body.InitialVersion.Functions[_].FunctionConfiguration.Environment.Execution.RunAs.Uid == INTEGER
input.Body.InitialVersion.Functions[_].FunctionConfiguration.Environment.ResourceAccessPolicies[_].Permission == enum_Permission[_]
input.Body.InitialVersion.Functions[_].FunctionConfiguration.Environment.ResourceAccessPolicies[_].ResourceId == STRING
input.Body.InitialVersion.Functions[_].FunctionConfiguration.Environment.Variables.STRING == STRING
input.Body.InitialVersion.Functions[_].FunctionConfiguration.ExecArgs == STRING
input.Body.InitialVersion.Functions[_].FunctionConfiguration.Executable == STRING
input.Body.InitialVersion.Functions[_].FunctionConfiguration.MemorySize == INTEGER
input.Body.InitialVersion.Functions[_].FunctionConfiguration.Pinned == BOOLEAN
input.Body.InitialVersion.Functions[_].FunctionConfiguration.Timeout == INTEGER
input.Body.InitialVersion.Functions[_].FunctionConfiguration.FunctionRuntimeOverride == STRING
input.Body.InitialVersion.Functions[_].Id == STRING
input.Body.Name == STRING
input.Body.tags.STRING == STRING
input.ProviderMetadata.Account == STRING
input.ProviderMetadata.AccessKeyId == STRING
input.ProviderMetadata.Region == STRING
}
CreateFunctionDefinitionVersion
enum_EncodingType := [ "binary", "json" ]
enum_FunctionIsolationMode := [ "GreengrassContainer", "NoContainer" ]
enum_Permission := [ "ro", "rw" ]
valid {
input.Body.DefaultConfig.Execution.IsolationMode == enum_FunctionIsolationMode[_]
input.Body.DefaultConfig.Execution.RunAs.Gid == INTEGER
input.Body.DefaultConfig.Execution.RunAs.Uid == INTEGER
input.Body.Functions[_].FunctionArn == STRING
input.Body.Functions[_].FunctionConfiguration.EncodingType == enum_EncodingType[_]
input.Body.Functions[_].FunctionConfiguration.Environment.AccessSysfs == BOOLEAN
input.Body.Functions[_].FunctionConfiguration.Environment.Execution.IsolationMode == enum_FunctionIsolationMode[_]
input.Body.Functions[_].FunctionConfiguration.Environment.Execution.RunAs.Gid == INTEGER
input.Body.Functions[_].FunctionConfiguration.Environment.Execution.RunAs.Uid == INTEGER
input.Body.Functions[_].FunctionConfiguration.Environment.ResourceAccessPolicies[_].Permission == enum_Permission[_]
input.Body.Functions[_].FunctionConfiguration.Environment.ResourceAccessPolicies[_].ResourceId == STRING
input.Body.Functions[_].FunctionConfiguration.Environment.Variables.STRING == STRING
input.Body.Functions[_].FunctionConfiguration.ExecArgs == STRING
input.Body.Functions[_].FunctionConfiguration.Executable == STRING
input.Body.Functions[_].FunctionConfiguration.MemorySize == INTEGER
input.Body.Functions[_].FunctionConfiguration.Pinned == BOOLEAN
input.Body.Functions[_].FunctionConfiguration.Timeout == INTEGER
input.Body.Functions[_].FunctionConfiguration.FunctionRuntimeOverride == STRING
input.Body.Functions[_].Id == STRING
input.ReqMap.FunctionDefinitionId == STRING
input.ProviderMetadata.Account == STRING
input.ProviderMetadata.AccessKeyId == STRING
input.ProviderMetadata.Region == STRING
}
CreateGroup
valid {
input.Body.InitialVersion.ConnectorDefinitionVersionArn == STRING
input.Body.InitialVersion.CoreDefinitionVersionArn == STRING
input.Body.InitialVersion.DeviceDefinitionVersionArn == STRING
input.Body.InitialVersion.FunctionDefinitionVersionArn == STRING
input.Body.InitialVersion.LoggerDefinitionVersionArn == STRING
input.Body.InitialVersion.ResourceDefinitionVersionArn == STRING
input.Body.InitialVersion.SubscriptionDefinitionVersionArn == STRING
input.Body.Name == STRING
input.Body.tags.STRING == STRING
input.ProviderMetadata.Account == STRING
input.ProviderMetadata.AccessKeyId == STRING
input.ProviderMetadata.Region == STRING
}
CreateGroupCertificateAuthority
valid {
input.ReqMap.GroupId == STRING
input.ProviderMetadata.Account == STRING
input.ProviderMetadata.AccessKeyId == STRING
input.ProviderMetadata.Region == STRING
}
CreateGroupVersion
valid {
input.Body.ConnectorDefinitionVersionArn == STRING
input.Body.CoreDefinitionVersionArn == STRING
input.Body.DeviceDefinitionVersionArn == STRING
input.Body.FunctionDefinitionVersionArn == STRING
input.Body.LoggerDefinitionVersionArn == STRING
input.Body.ResourceDefinitionVersionArn == STRING
input.Body.SubscriptionDefinitionVersionArn == STRING
input.ReqMap.GroupId == STRING
input.ProviderMetadata.Account == STRING
input.ProviderMetadata.AccessKeyId == STRING
input.ProviderMetadata.Region == STRING
}
CreateLoggerDefinition
enum_LoggerComponent := [ "GreengrassSystem", "Lambda" ]
enum_LoggerLevel := [ "DEBUG", "INFO", "WARN", "ERROR", "FATAL" ]
enum_LoggerType := [ "FileSystem", "AWSCloudWatch" ]
valid {
input.Body.InitialVersion.Loggers[_].Component == enum_LoggerComponent[_]
input.Body.InitialVersion.Loggers[_].Id == STRING
input.Body.InitialVersion.Loggers[_].Level == enum_LoggerLevel[_]
input.Body.InitialVersion.Loggers[_].Space == INTEGER
input.Body.InitialVersion.Loggers[_].Type == enum_LoggerType[_]
input.Body.Name == STRING
input.Body.tags.STRING == STRING
input.ProviderMetadata.Account == STRING
input.ProviderMetadata.AccessKeyId == STRING
input.ProviderMetadata.Region == STRING
}
CreateLoggerDefinitionVersion
enum_LoggerComponent := [ "GreengrassSystem", "Lambda" ]
enum_LoggerLevel := [ "DEBUG", "INFO", "WARN", "ERROR", "FATAL" ]
enum_LoggerType := [ "FileSystem", "AWSCloudWatch" ]
valid {
input.Body.Loggers[_].Component == enum_LoggerComponent[_]
input.Body.Loggers[_].Id == STRING
input.Body.Loggers[_].Level == enum_LoggerLevel[_]
input.Body.Loggers[_].Space == INTEGER
input.Body.Loggers[_].Type == enum_LoggerType[_]
input.ReqMap.LoggerDefinitionId == STRING
input.ProviderMetadata.Account == STRING
input.ProviderMetadata.AccessKeyId == STRING
input.ProviderMetadata.Region == STRING
}
CreateResourceDefinition
enum_Permission := [ "ro", "rw" ]
valid {
input.Body.InitialVersion.Resources[_].Id == STRING
input.Body.InitialVersion.Resources[_].Name == STRING
input.Body.InitialVersion.Resources[_].ResourceDataContainer.LocalDeviceResourceData.GroupOwnerSetting.AutoAddGroupOwner == BOOLEAN
input.Body.InitialVersion.Resources[_].ResourceDataContainer.LocalDeviceResourceData.GroupOwnerSetting.GroupOwner == STRING
input.Body.InitialVersion.Resources[_].ResourceDataContainer.LocalDeviceResourceData.SourcePath == STRING
input.Body.InitialVersion.Resources[_].ResourceDataContainer.LocalVolumeResourceData.DestinationPath == STRING
input.Body.InitialVersion.Resources[_].ResourceDataContainer.LocalVolumeResourceData.GroupOwnerSetting.AutoAddGroupOwner == BOOLEAN
input.Body.InitialVersion.Resources[_].ResourceDataContainer.LocalVolumeResourceData.GroupOwnerSetting.GroupOwner == STRING
input.Body.InitialVersion.Resources[_].ResourceDataContainer.LocalVolumeResourceData.SourcePath == STRING
input.Body.InitialVersion.Resources[_].ResourceDataContainer.S3MachineLearningModelResourceData.DestinationPath == STRING
input.Body.InitialVersion.Resources[_].ResourceDataContainer.S3MachineLearningModelResourceData.OwnerSetting.GroupOwner == STRING
input.Body.InitialVersion.Resources[_].ResourceDataContainer.S3MachineLearningModelResourceData.OwnerSetting.GroupPermission == enum_Permission[_]
input.Body.InitialVersion.Resources[_].ResourceDataContainer.S3MachineLearningModelResourceData.S3Uri == STRING
input.Body.InitialVersion.Resources[_].ResourceDataContainer.SageMakerMachineLearningModelResourceData.DestinationPath == STRING
input.Body.InitialVersion.Resources[_].ResourceDataContainer.SageMakerMachineLearningModelResourceData.OwnerSetting.GroupOwner == STRING
input.Body.InitialVersion.Resources[_].ResourceDataContainer.SageMakerMachineLearningModelResourceData.OwnerSetting.GroupPermission == enum_Permission[_]
input.Body.InitialVersion.Resources[_].ResourceDataContainer.SageMakerMachineLearningModelResourceData.SageMakerJobArn == STRING
input.Body.InitialVersion.Resources[_].ResourceDataContainer.SecretsManagerSecretResourceData.ARN == STRING
input.Body.InitialVersion.Resources[_].ResourceDataContainer.SecretsManagerSecretResourceData.AdditionalStagingLabelsToDownload[_] == STRING
input.Body.Name == STRING
input.Body.tags.STRING == STRING
input.ProviderMetadata.Account == STRING
input.ProviderMetadata.AccessKeyId == STRING
input.ProviderMetadata.Region == STRING
}
CreateResourceDefinitionVersion
enum_Permission := [ "ro", "rw" ]
valid {
input.Body.Resources[_].Id == STRING
input.Body.Resources[_].Name == STRING
input.Body.Resources[_].ResourceDataContainer.LocalDeviceResourceData.GroupOwnerSetting.AutoAddGroupOwner == BOOLEAN
input.Body.Resources[_].ResourceDataContainer.LocalDeviceResourceData.GroupOwnerSetting.GroupOwner == STRING
input.Body.Resources[_].ResourceDataContainer.LocalDeviceResourceData.SourcePath == STRING
input.Body.Resources[_].ResourceDataContainer.LocalVolumeResourceData.DestinationPath == STRING
input.Body.Resources[_].ResourceDataContainer.LocalVolumeResourceData.GroupOwnerSetting.AutoAddGroupOwner == BOOLEAN
input.Body.Resources[_].ResourceDataContainer.LocalVolumeResourceData.GroupOwnerSetting.GroupOwner == STRING
input.Body.Resources[_].ResourceDataContainer.LocalVolumeResourceData.SourcePath == STRING
input.Body.Resources[_].ResourceDataContainer.S3MachineLearningModelResourceData.DestinationPath == STRING
input.Body.Resources[_].ResourceDataContainer.S3MachineLearningModelResourceData.OwnerSetting.GroupOwner == STRING
input.Body.Resources[_].ResourceDataContainer.S3MachineLearningModelResourceData.OwnerSetting.GroupPermission == enum_Permission[_]
input.Body.Resources[_].ResourceDataContainer.S3MachineLearningModelResourceData.S3Uri == STRING
input.Body.Resources[_].ResourceDataContainer.SageMakerMachineLearningModelResourceData.DestinationPath == STRING
input.Body.Resources[_].ResourceDataContainer.SageMakerMachineLearningModelResourceData.OwnerSetting.GroupOwner == STRING
input.Body.Resources[_].ResourceDataContainer.SageMakerMachineLearningModelResourceData.OwnerSetting.GroupPermission == enum_Permission[_]
input.Body.Resources[_].ResourceDataContainer.SageMakerMachineLearningModelResourceData.SageMakerJobArn == STRING
input.Body.Resources[_].ResourceDataContainer.SecretsManagerSecretResourceData.ARN == STRING
input.Body.Resources[_].ResourceDataContainer.SecretsManagerSecretResourceData.AdditionalStagingLabelsToDownload[_] == STRING
input.ReqMap.ResourceDefinitionId == STRING
input.ProviderMetadata.Account == STRING
input.ProviderMetadata.AccessKeyId == STRING
input.ProviderMetadata.Region == STRING
}
CreateSoftwareUpdateJob
enum_SoftwareToUpdate := [ "core", "ota_agent" ]
enum_UpdateAgentLogLevel := [ "NONE", "TRACE", "DEBUG", "VERBOSE", "INFO", "WARN", "ERROR", "FATAL" ]
enum_UpdateTargetsArchitecture := [ "armv6l", "armv7l", "x86_64", "aarch64" ]
enum_UpdateTargetsOperatingSystem := [ "ubuntu", "raspbian", "amazon_linux", "openwrt" ]
valid {
input.Body.S3UrlSignerRole == STRING
input.Body.SoftwareToUpdate == enum_SoftwareToUpdate[_]
input.Body.UpdateAgentLogLevel == enum_UpdateAgentLogLevel[_]
input.Body.UpdateTargets[_] == STRING
input.Body.UpdateTargetsArchitecture == enum_UpdateTargetsArchitecture[_]
input.Body.UpdateTargetsOperatingSystem == enum_UpdateTargetsOperatingSystem[_]
input.ProviderMetadata.Account == STRING
input.ProviderMetadata.AccessKeyId == STRING
input.ProviderMetadata.Region == STRING
}
CreateSubscriptionDefinition
valid {
input.Body.InitialVersion.Subscriptions[_].Id == STRING
input.Body.InitialVersion.Subscriptions[_].Source == STRING
input.Body.InitialVersion.Subscriptions[_].Subject == STRING
input.Body.InitialVersion.Subscriptions[_].Target == STRING
input.Body.Name == STRING
input.Body.tags.STRING == STRING
input.ProviderMetadata.Account == STRING
input.ProviderMetadata.AccessKeyId == STRING
input.ProviderMetadata.Region == STRING
}
CreateSubscriptionDefinitionVersion
valid {
input.Body.Subscriptions[_].Id == STRING
input.Body.Subscriptions[_].Source == STRING
input.Body.Subscriptions[_].Subject == STRING
input.Body.Subscriptions[_].Target == STRING
input.ReqMap.SubscriptionDefinitionId == STRING
input.ProviderMetadata.Account == STRING
input.ProviderMetadata.AccessKeyId == STRING
input.ProviderMetadata.Region == STRING
}
DeleteComponent
valid {
input.ReqMap.arn == STRING
input.ProviderMetadata.Account == STRING
input.ProviderMetadata.AccessKeyId == STRING
input.ProviderMetadata.Region == STRING
}
DeleteConnectorDefinition
valid {
input.ReqMap.ConnectorDefinitionId == STRING
input.ProviderMetadata.Account == STRING
input.ProviderMetadata.AccessKeyId == STRING
input.ProviderMetadata.Region == STRING
}
DeleteCoreDefinition
valid {
input.ReqMap.CoreDefinitionId == STRING
input.ProviderMetadata.Account == STRING
input.ProviderMetadata.AccessKeyId == STRING
input.ProviderMetadata.Region == STRING
}
DeleteCoreDevice
valid {
input.ReqMap.coreDeviceThingName == STRING
input.ProviderMetadata.Account == STRING
input.ProviderMetadata.AccessKeyId == STRING
input.ProviderMetadata.Region == STRING
}
DeleteDeployment
valid {
input.ReqMap.deploymentId == STRING
input.ProviderMetadata.Account == STRING
input.ProviderMetadata.AccessKeyId == STRING
input.ProviderMetadata.Region == STRING
}
DeleteDeviceDefinition
valid {
input.ReqMap.DeviceDefinitionId == STRING
input.ProviderMetadata.Account == STRING
input.ProviderMetadata.AccessKeyId == STRING
input.ProviderMetadata.Region == STRING
}
DeleteFunctionDefinition
valid {
input.ReqMap.FunctionDefinitionId == STRING
input.ProviderMetadata.Account == STRING
input.ProviderMetadata.AccessKeyId == STRING
input.ProviderMetadata.Region == STRING
}
DeleteGroup
valid {
input.ReqMap.GroupId == STRING
input.ProviderMetadata.Account == STRING
input.ProviderMetadata.AccessKeyId == STRING
input.ProviderMetadata.Region == STRING
}
DeleteLoggerDefinition
valid {
input.ReqMap.LoggerDefinitionId == STRING
input.ProviderMetadata.Account == STRING
input.ProviderMetadata.AccessKeyId == STRING
input.ProviderMetadata.Region == STRING
}
DeleteResourceDefinition
valid {
input.ReqMap.ResourceDefinitionId == STRING
input.ProviderMetadata.Account == STRING
input.ProviderMetadata.AccessKeyId == STRING
input.ProviderMetadata.Region == STRING
}
DeleteSubscriptionDefinition
valid {
input.ReqMap.SubscriptionDefinitionId == STRING
input.ProviderMetadata.Account == STRING
input.ProviderMetadata.AccessKeyId == STRING
input.ProviderMetadata.Region == STRING
}
DescribeComponent
valid {
input.ReqMap.arn == STRING
input.ProviderMetadata.Account == STRING
input.ProviderMetadata.AccessKeyId == STRING
input.ProviderMetadata.Region == STRING
}
DisassociateRoleFromGroup
valid {
input.ReqMap.GroupId == STRING
input.ProviderMetadata.Account == STRING
input.ProviderMetadata.AccessKeyId == STRING
input.ProviderMetadata.Region == STRING
}
DisassociateServiceRoleFromAccount
valid {
input.ProviderMetadata.Account == STRING
input.ProviderMetadata.AccessKeyId == STRING
input.ProviderMetadata.Region == STRING
}
GetAssociatedRole
valid {
input.ReqMap.GroupId == STRING
input.ProviderMetadata.Account == STRING
input.ProviderMetadata.AccessKeyId == STRING
input.ProviderMetadata.Region == STRING
}
GetBulkDeploymentStatus
valid {
input.ReqMap.BulkDeploymentId == STRING
input.ProviderMetadata.Account == STRING
input.ProviderMetadata.AccessKeyId == STRING
input.ProviderMetadata.Region == STRING
}
GetComponent
enum_RecipeOutputFormat := [ "JSON", "YAML" ]
valid {
input.ReqMap.arn == STRING
input.Qs.recipeOutputFormat == enum_RecipeOutputFormat[_]
input.ProviderMetadata.Account == STRING
input.ProviderMetadata.AccessKeyId == STRING
input.ProviderMetadata.Region == STRING
}
GetComponentVersionArtifact
enum_IotEndpointType := [ "fips", "standard" ]
enum_S3EndpointType := [ "REGIONAL", "GLOBAL" ]
valid {
input.ReqMap.arn == STRING
input.ReqMap.artifactName == STRING
input.Qs.s3EndpointType == enum_S3EndpointType[_]
input.ProviderMetadata.Account == STRING
input.ProviderMetadata.AccessKeyId == STRING
input.ProviderMetadata.Region == STRING
}
GetConnectivityInfo
valid {
input.ReqMap.thingName == STRING
input.ProviderMetadata.Account == STRING
input.ProviderMetadata.AccessKeyId == STRING
input.ProviderMetadata.Region == STRING
}
GetConnectorDefinition
valid {
input.ReqMap.ConnectorDefinitionId == STRING
input.ProviderMetadata.Account == STRING
input.ProviderMetadata.AccessKeyId == STRING
input.ProviderMetadata.Region == STRING
}
GetConnectorDefinitionVersion
valid {
input.ReqMap.ConnectorDefinitionId == STRING
input.ReqMap.ConnectorDefinitionVersionId == STRING
input.Qs.NextToken == STRING
input.ProviderMetadata.Account == STRING
input.ProviderMetadata.AccessKeyId == STRING
input.ProviderMetadata.Region == STRING
}
GetCoreDefinition
valid {
input.ReqMap.CoreDefinitionId == STRING
input.ProviderMetadata.Account == STRING
input.ProviderMetadata.AccessKeyId == STRING
input.ProviderMetadata.Region == STRING
}
GetCoreDefinitionVersion
valid {
input.ReqMap.CoreDefinitionId == STRING
input.ReqMap.CoreDefinitionVersionId == STRING
input.ProviderMetadata.Account == STRING
input.ProviderMetadata.AccessKeyId == STRING
input.ProviderMetadata.Region == STRING
}
GetCoreDevice
valid {
input.ReqMap.coreDeviceThingName == STRING
input.ProviderMetadata.Account == STRING
input.ProviderMetadata.AccessKeyId == STRING
input.ProviderMetadata.Region == STRING
}
GetDeployment
valid {
input.ReqMap.deploymentId == STRING
input.ProviderMetadata.Account == STRING
input.ProviderMetadata.AccessKeyId == STRING
input.ProviderMetadata.Region == STRING
}
GetDeploymentStatus
valid {
input.ReqMap.DeploymentId == STRING
input.ReqMap.GroupId == STRING
input.ProviderMetadata.Account == STRING
input.ProviderMetadata.AccessKeyId == STRING
input.ProviderMetadata.Region == STRING
}
GetDeviceDefinition
valid {
input.ReqMap.DeviceDefinitionId == STRING
input.ProviderMetadata.Account == STRING
input.ProviderMetadata.AccessKeyId == STRING
input.ProviderMetadata.Region == STRING
}
GetDeviceDefinitionVersion
valid {
input.ReqMap.DeviceDefinitionId == STRING
input.ReqMap.DeviceDefinitionVersionId == STRING
input.Qs.NextToken == STRING
input.ProviderMetadata.Account == STRING
input.ProviderMetadata.AccessKeyId == STRING
input.ProviderMetadata.Region == STRING
}
GetFunctionDefinition
valid {
input.ReqMap.FunctionDefinitionId == STRING
input.ProviderMetadata.Account == STRING
input.ProviderMetadata.AccessKeyId == STRING
input.ProviderMetadata.Region == STRING
}
GetFunctionDefinitionVersion
valid {
input.ReqMap.FunctionDefinitionId == STRING
input.ReqMap.FunctionDefinitionVersionId == STRING
input.Qs.NextToken == STRING
input.ProviderMetadata.Account == STRING
input.ProviderMetadata.AccessKeyId == STRING
input.ProviderMetadata.Region == STRING
}
GetGroup
valid {
input.ReqMap.GroupId == STRING
input.ProviderMetadata.Account == STRING
input.ProviderMetadata.AccessKeyId == STRING
input.ProviderMetadata.Region == STRING
}
GetGroupCertificateAuthority
valid {
input.ReqMap.CertificateAuthorityId == STRING
input.ReqMap.GroupId == STRING
input.ProviderMetadata.Account == STRING
input.ProviderMetadata.AccessKeyId == STRING
input.ProviderMetadata.Region == STRING
}
GetGroupCertificateConfiguration
valid {
input.ReqMap.GroupId == STRING
input.ProviderMetadata.Account == STRING
input.ProviderMetadata.AccessKeyId == STRING
input.ProviderMetadata.Region == STRING
}
GetGroupVersion
valid {
input.ReqMap.GroupId == STRING
input.ReqMap.GroupVersionId == STRING
input.ProviderMetadata.Account == STRING
input.ProviderMetadata.AccessKeyId == STRING
input.ProviderMetadata.Region == STRING
}
GetLoggerDefinition
valid {
input.ReqMap.LoggerDefinitionId == STRING
input.ProviderMetadata.Account == STRING
input.ProviderMetadata.AccessKeyId == STRING
input.ProviderMetadata.Region == STRING
}
GetLoggerDefinitionVersion
valid {
input.ReqMap.LoggerDefinitionId == STRING
input.ReqMap.LoggerDefinitionVersionId == STRING
input.Qs.NextToken == STRING
input.ProviderMetadata.Account == STRING
input.ProviderMetadata.AccessKeyId == STRING
input.ProviderMetadata.Region == STRING
}
GetResourceDefinition
valid {
input.ReqMap.ResourceDefinitionId == STRING
input.ProviderMetadata.Account == STRING
input.ProviderMetadata.AccessKeyId == STRING
input.ProviderMetadata.Region == STRING
}
GetResourceDefinitionVersion
valid {
input.ReqMap.ResourceDefinitionId == STRING
input.ReqMap.ResourceDefinitionVersionId == STRING
input.ProviderMetadata.Account == STRING
input.ProviderMetadata.AccessKeyId == STRING
input.ProviderMetadata.Region == STRING
}
GetServiceRoleForAccount
valid {
input.ProviderMetadata.Account == STRING
input.ProviderMetadata.AccessKeyId == STRING
input.ProviderMetadata.Region == STRING
}
GetSubscriptionDefinition
valid {
input.ReqMap.SubscriptionDefinitionId == STRING
input.ProviderMetadata.Account == STRING
input.ProviderMetadata.AccessKeyId == STRING
input.ProviderMetadata.Region == STRING
}
GetSubscriptionDefinitionVersion
valid {
input.ReqMap.SubscriptionDefinitionId == STRING
input.ReqMap.SubscriptionDefinitionVersionId == STRING
input.Qs.NextToken == STRING
input.ProviderMetadata.Account == STRING
input.ProviderMetadata.AccessKeyId == STRING
input.ProviderMetadata.Region == STRING
}
GetThingRuntimeConfiguration
valid {
input.ReqMap.ThingName == STRING
input.ProviderMetadata.Account == STRING
input.ProviderMetadata.AccessKeyId == STRING
input.ProviderMetadata.Region == STRING
}
ListBulkDeploymentDetailedReports
valid {
input.ReqMap.BulkDeploymentId == STRING
input.Qs.MaxResults == STRING
input.Qs.NextToken == STRING
input.ProviderMetadata.Account == STRING
input.ProviderMetadata.AccessKeyId == STRING
input.ProviderMetadata.Region == STRING
}
ListBulkDeployments
valid {
input.Qs.MaxResults == STRING
input.Qs.NextToken == STRING
input.ProviderMetadata.Account == STRING
input.ProviderMetadata.AccessKeyId == STRING
input.ProviderMetadata.Region == STRING
}
ListClientDevicesAssociatedWithCoreDevice
valid {
input.ReqMap.coreDeviceThingName == STRING
input.Qs.maxResults == INTEGER
input.Qs.nextToken == STRING
input.ProviderMetadata.Account == STRING
input.ProviderMetadata.AccessKeyId == STRING
input.ProviderMetadata.Region == STRING
}
ListComponentVersions
valid {
input.ReqMap.arn == STRING
input.Qs.maxResults == INTEGER
input.Qs.nextToken == STRING
input.ProviderMetadata.Account == STRING
input.ProviderMetadata.AccessKeyId == STRING
input.ProviderMetadata.Region == STRING
}
ListComponents
enum_ComponentVisibilityScope := [ "PRIVATE", "PUBLIC" ]
valid {
input.Qs.scope == enum_ComponentVisibilityScope[_]
input.Qs.maxResults == INTEGER
input.Qs.nextToken == STRING
input.ProviderMetadata.Account == STRING
input.ProviderMetadata.AccessKeyId == STRING
input.ProviderMetadata.Region == STRING
}
ListConnectorDefinitionVersions
valid {
input.ReqMap.ConnectorDefinitionId == STRING
input.Qs.MaxResults == STRING
input.Qs.NextToken == STRING
input.ProviderMetadata.Account == STRING
input.ProviderMetadata.AccessKeyId == STRING
input.ProviderMetadata.Region == STRING
}
ListConnectorDefinitions
valid {
input.Qs.MaxResults == STRING
input.Qs.NextToken == STRING
input.ProviderMetadata.Account == STRING
input.ProviderMetadata.AccessKeyId == STRING
input.ProviderMetadata.Region == STRING
}
ListCoreDefinitionVersions
valid {
input.ReqMap.CoreDefinitionId == STRING
input.Qs.MaxResults == STRING
input.Qs.NextToken == STRING
input.ProviderMetadata.Account == STRING
input.ProviderMetadata.AccessKeyId == STRING
input.ProviderMetadata.Region == STRING
}
ListCoreDefinitions
valid {
input.Qs.MaxResults == STRING
input.Qs.NextToken == STRING
input.ProviderMetadata.Account == STRING
input.ProviderMetadata.AccessKeyId == STRING
input.ProviderMetadata.Region == STRING
}
ListCoreDevices
enum_CoreDeviceStatus := [ "HEALTHY", "UNHEALTHY" ]
valid {
input.Qs.thingGroupArn == STRING
input.Qs.status == enum_CoreDeviceStatus[_]
input.Qs.maxResults == INTEGER
input.Qs.nextToken == STRING
input.ProviderMetadata.Account == STRING
input.ProviderMetadata.AccessKeyId == STRING
input.ProviderMetadata.Region == STRING
}
ListDeployments
enum_DeploymentHistoryFilter := [ "ALL", "LATEST_ONLY" ]
valid {
input.Qs.targetArn == STRING
input.Qs.historyFilter == enum_DeploymentHistoryFilter[_]
input.Qs.parentTargetArn == STRING
input.Qs.maxResults == INTEGER
input.Qs.nextToken == STRING
input.ProviderMetadata.Account == STRING
input.ProviderMetadata.AccessKeyId == STRING
input.ProviderMetadata.Region == STRING
}
ListDeviceDefinitionVersions
valid {
input.ReqMap.DeviceDefinitionId == STRING
input.Qs.MaxResults == STRING
input.Qs.NextToken == STRING
input.ProviderMetadata.Account == STRING
input.ProviderMetadata.AccessKeyId == STRING
input.ProviderMetadata.Region == STRING
}
ListDeviceDefinitions
valid {
input.Qs.MaxResults == STRING
input.Qs.NextToken == STRING
input.ProviderMetadata.Account == STRING
input.ProviderMetadata.AccessKeyId == STRING
input.ProviderMetadata.Region == STRING
}
ListEffectiveDeployments
valid {
input.ReqMap.coreDeviceThingName == STRING
input.Qs.maxResults == INTEGER
input.Qs.nextToken == STRING
input.ProviderMetadata.Account == STRING
input.ProviderMetadata.AccessKeyId == STRING
input.ProviderMetadata.Region == STRING
}
ListFunctionDefinitionVersions
valid {
input.ReqMap.FunctionDefinitionId == STRING
input.Qs.MaxResults == STRING
input.Qs.NextToken == STRING
input.ProviderMetadata.Account == STRING
input.ProviderMetadata.AccessKeyId == STRING
input.ProviderMetadata.Region == STRING
}
ListFunctionDefinitions
valid {
input.Qs.MaxResults == STRING
input.Qs.NextToken == STRING
input.ProviderMetadata.Account == STRING
input.ProviderMetadata.AccessKeyId == STRING
input.ProviderMetadata.Region == STRING
}
ListGroupCertificateAuthorities
valid {
input.ReqMap.GroupId == STRING
input.ProviderMetadata.Account == STRING
input.ProviderMetadata.AccessKeyId == STRING
input.ProviderMetadata.Region == STRING
}
ListGroupVersions
valid {
input.ReqMap.GroupId == STRING
input.Qs.MaxResults == STRING
input.Qs.NextToken == STRING
input.ProviderMetadata.Account == STRING
input.ProviderMetadata.AccessKeyId == STRING
input.ProviderMetadata.Region == STRING
}
ListGroups
valid {
input.Qs.MaxResults == STRING
input.Qs.NextToken == STRING
input.ProviderMetadata.Account == STRING
input.ProviderMetadata.AccessKeyId == STRING
input.ProviderMetadata.Region == STRING
}
ListInstalledComponents
enum_InstalledComponentTopologyFilter := [ "ALL", "ROOT" ]
valid {
input.ReqMap.coreDeviceThingName == STRING
input.Qs.maxResults == INTEGER
input.Qs.nextToken == STRING
input.Qs.topologyFilter == enum_InstalledComponentTopologyFilter[_]
input.ProviderMetadata.Account == STRING
input.ProviderMetadata.AccessKeyId == STRING
input.ProviderMetadata.Region == STRING
}
ListLoggerDefinitionVersions
valid {
input.ReqMap.LoggerDefinitionId == STRING
input.Qs.MaxResults == STRING
input.Qs.NextToken == STRING
input.ProviderMetadata.Account == STRING
input.ProviderMetadata.AccessKeyId == STRING
input.ProviderMetadata.Region == STRING
}
ListLoggerDefinitions
valid {
input.Qs.MaxResults == STRING
input.Qs.NextToken == STRING
input.ProviderMetadata.Account == STRING
input.ProviderMetadata.AccessKeyId == STRING
input.ProviderMetadata.Region == STRING
}
ListResourceDefinitionVersions
valid {
input.ReqMap.ResourceDefinitionId == STRING
input.Qs.MaxResults == STRING
input.Qs.NextToken == STRING
input.ProviderMetadata.Account == STRING
input.ProviderMetadata.AccessKeyId == STRING
input.ProviderMetadata.Region == STRING
}
ListResourceDefinitions
valid {
input.Qs.MaxResults == STRING
input.Qs.NextToken == STRING
input.ProviderMetadata.Account == STRING
input.ProviderMetadata.AccessKeyId == STRING
input.ProviderMetadata.Region == STRING
}
ListSubscriptionDefinitionVersions
valid {
input.ReqMap.SubscriptionDefinitionId == STRING
input.Qs.MaxResults == STRING
input.Qs.NextToken == STRING
input.ProviderMetadata.Account == STRING
input.ProviderMetadata.AccessKeyId == STRING
input.ProviderMetadata.Region == STRING
}
ListSubscriptionDefinitions
valid {
input.Qs.MaxResults == STRING
input.Qs.NextToken == 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
}
ResetDeployments
valid {
input.Body.Force == BOOLEAN
input.ReqMap.GroupId == STRING
input.ProviderMetadata.Account == STRING
input.ProviderMetadata.AccessKeyId == STRING
input.ProviderMetadata.Region == STRING
}
ResolveComponentCandidates
valid {
input.Body.platform.name == STRING
input.Body.platform.attributes.STRING == STRING
input.Body.componentCandidates[_].componentName == STRING
input.Body.componentCandidates[_].componentVersion == STRING
input.Body.componentCandidates[_].versionRequirements.STRING == STRING
input.ProviderMetadata.Account == STRING
input.ProviderMetadata.AccessKeyId == STRING
input.ProviderMetadata.Region == STRING
}
StartBulkDeployment
valid {
input.Body.ExecutionRoleArn == STRING
input.Body.InputFileUri == STRING
input.Body.tags.STRING == STRING
input.ProviderMetadata.Account == STRING
input.ProviderMetadata.AccessKeyId == STRING
input.ProviderMetadata.Region == STRING
}
StopBulkDeployment
valid {
input.ReqMap.BulkDeploymentId == 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
}
UpdateConnectivityInfo
valid {
input.Body.ConnectivityInfo[_].Id == STRING
input.Body.ConnectivityInfo[_].HostAddress == STRING
input.Body.ConnectivityInfo[_].PortNumber == INTEGER
input.Body.ConnectivityInfo[_].Metadata == STRING
input.ReqMap.thingName == STRING
input.ProviderMetadata.Account == STRING
input.ProviderMetadata.AccessKeyId == STRING
input.ProviderMetadata.Region == STRING
}
UpdateConnectorDefinition
valid {
input.Body.Name == STRING
input.ReqMap.ConnectorDefinitionId == STRING
input.ProviderMetadata.Account == STRING
input.ProviderMetadata.AccessKeyId == STRING
input.ProviderMetadata.Region == STRING
}
UpdateCoreDefinition
valid {
input.Body.Name == STRING
input.ReqMap.CoreDefinitionId == STRING
input.ProviderMetadata.Account == STRING
input.ProviderMetadata.AccessKeyId == STRING
input.ProviderMetadata.Region == STRING
}
UpdateDeviceDefinition
valid {
input.Body.Name == STRING
input.ReqMap.DeviceDefinitionId == STRING
input.ProviderMetadata.Account == STRING
input.ProviderMetadata.AccessKeyId == STRING
input.ProviderMetadata.Region == STRING
}
UpdateFunctionDefinition
valid {
input.Body.Name == STRING
input.ReqMap.FunctionDefinitionId == STRING
input.ProviderMetadata.Account == STRING
input.ProviderMetadata.AccessKeyId == STRING
input.ProviderMetadata.Region == STRING
}
UpdateGroup
valid {
input.Body.Name == STRING
input.ReqMap.GroupId == STRING
input.ProviderMetadata.Account == STRING
input.ProviderMetadata.AccessKeyId == STRING
input.ProviderMetadata.Region == STRING
}
UpdateGroupCertificateConfiguration
valid {
input.Body.CertificateExpiryInMilliseconds == STRING
input.ReqMap.GroupId == STRING
input.ProviderMetadata.Account == STRING
input.ProviderMetadata.AccessKeyId == STRING
input.ProviderMetadata.Region == STRING
}
UpdateLoggerDefinition
valid {
input.Body.Name == STRING
input.ReqMap.LoggerDefinitionId == STRING
input.ProviderMetadata.Account == STRING
input.ProviderMetadata.AccessKeyId == STRING
input.ProviderMetadata.Region == STRING
}
UpdateResourceDefinition
valid {
input.Body.Name == STRING
input.ReqMap.ResourceDefinitionId == STRING
input.ProviderMetadata.Account == STRING
input.ProviderMetadata.AccessKeyId == STRING
input.ProviderMetadata.Region == STRING
}
UpdateSubscriptionDefinition
valid {
input.Body.Name == STRING
input.ReqMap.SubscriptionDefinitionId == STRING
input.ProviderMetadata.Account == STRING
input.ProviderMetadata.AccessKeyId == STRING
input.ProviderMetadata.Region == STRING
}
UpdateThingRuntimeConfiguration
enum_Telemetry := [ "On", "Off" ]
valid {
input.Body.TelemetryConfiguration.Telemetry == enum_Telemetry[_]
input.ReqMap.ThingName == STRING
input.ProviderMetadata.Account == STRING
input.ProviderMetadata.AccessKeyId == STRING
input.ProviderMetadata.Region == STRING
}
Updated about 1 month ago