WORKSPACES-THIN-CLIENT

CreateEnvironment

enum_ApplyTimeOf := [ "UTC", "DEVICE" ]
enum_DayOfWeek := [ "MONDAY", "TUESDAY", "WEDNESDAY", "THURSDAY", "FRIDAY", "SATURDAY", "SUNDAY" ]
enum_MaintenanceWindowType := [ "SYSTEM", "CUSTOM" ]
enum_SoftwareSetUpdateMode := [ "USE_LATEST", "USE_DESIRED" ]
enum_SoftwareSetUpdateSchedule := [ "USE_MAINTENANCE_WINDOW", "APPLY_IMMEDIATELY" ]

valid {
    input.Body.name == STRING
    input.Body.desktopArn == STRING
    input.Body.desktopEndpoint == STRING
    input.Body.softwareSetUpdateSchedule == enum_SoftwareSetUpdateSchedule[_]
    input.Body.maintenanceWindow.type == enum_MaintenanceWindowType[_]
    input.Body.maintenanceWindow.startTimeHour == INTEGER
    input.Body.maintenanceWindow.startTimeMinute == INTEGER
    input.Body.maintenanceWindow.endTimeHour == INTEGER
    input.Body.maintenanceWindow.endTimeMinute == INTEGER
    input.Body.maintenanceWindow.daysOfTheWeek[_] == enum_DayOfWeek[_]
    input.Body.maintenanceWindow.applyTimeOf == enum_ApplyTimeOf[_]
    input.Body.softwareSetUpdateMode == enum_SoftwareSetUpdateMode[_]
    input.Body.desiredSoftwareSetId == STRING
    input.Body.kmsKeyArn == STRING
    input.Body.clientToken == STRING
    input.Body.tags.STRING == STRING
    input.Body.deviceCreationTags.STRING == STRING
    input.ProviderMetadata.Account == STRING
    input.ProviderMetadata.AccessKeyId == STRING
    input.ProviderMetadata.Region == STRING
}

DeleteDevice

valid {
    input.ReqMap.id == STRING
    input.Qs.clientToken == STRING
    input.ProviderMetadata.Account == STRING
    input.ProviderMetadata.AccessKeyId == STRING
    input.ProviderMetadata.Region == STRING
}

DeleteEnvironment

valid {
    input.ReqMap.id == STRING
    input.Qs.clientToken == STRING
    input.ProviderMetadata.Account == STRING
    input.ProviderMetadata.AccessKeyId == STRING
    input.ProviderMetadata.Region == STRING
}

DeregisterDevice

enum_TargetDeviceStatus := [ "DEREGISTERED", "ARCHIVED" ]

valid {
    input.Body.targetDeviceStatus == enum_TargetDeviceStatus[_]
    input.Body.clientToken == STRING
    input.ReqMap.id == STRING
    input.ProviderMetadata.Account == STRING
    input.ProviderMetadata.AccessKeyId == STRING
    input.ProviderMetadata.Region == STRING
}

GetDevice

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

GetEnvironment

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

GetSoftwareSet

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

ListDevices

valid {
    input.Qs.nextToken == STRING
    input.Qs.maxResults == INTEGER
    input.ProviderMetadata.Account == STRING
    input.ProviderMetadata.AccessKeyId == STRING
    input.ProviderMetadata.Region == STRING
}

ListEnvironments

valid {
    input.Qs.nextToken == STRING
    input.Qs.maxResults == INTEGER
    input.ProviderMetadata.Account == STRING
    input.ProviderMetadata.AccessKeyId == STRING
    input.ProviderMetadata.Region == STRING
}

ListSoftwareSets

valid {
    input.Qs.nextToken == STRING
    input.Qs.maxResults == INTEGER
    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
}

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
}

UpdateDevice

enum_SoftwareSetUpdateSchedule := [ "USE_MAINTENANCE_WINDOW", "APPLY_IMMEDIATELY" ]

valid {
    input.Body.name == STRING
    input.Body.desiredSoftwareSetId == STRING
    input.Body.softwareSetUpdateSchedule == enum_SoftwareSetUpdateSchedule[_]
    input.ReqMap.id == STRING
    input.ProviderMetadata.Account == STRING
    input.ProviderMetadata.AccessKeyId == STRING
    input.ProviderMetadata.Region == STRING
}

UpdateEnvironment

enum_ApplyTimeOf := [ "UTC", "DEVICE" ]
enum_DayOfWeek := [ "MONDAY", "TUESDAY", "WEDNESDAY", "THURSDAY", "FRIDAY", "SATURDAY", "SUNDAY" ]
enum_MaintenanceWindowType := [ "SYSTEM", "CUSTOM" ]
enum_SoftwareSetUpdateMode := [ "USE_LATEST", "USE_DESIRED" ]
enum_SoftwareSetUpdateSchedule := [ "USE_MAINTENANCE_WINDOW", "APPLY_IMMEDIATELY" ]

valid {
    input.Body.name == STRING
    input.Body.desktopArn == STRING
    input.Body.desktopEndpoint == STRING
    input.Body.softwareSetUpdateSchedule == enum_SoftwareSetUpdateSchedule[_]
    input.Body.maintenanceWindow.type == enum_MaintenanceWindowType[_]
    input.Body.maintenanceWindow.startTimeHour == INTEGER
    input.Body.maintenanceWindow.startTimeMinute == INTEGER
    input.Body.maintenanceWindow.endTimeHour == INTEGER
    input.Body.maintenanceWindow.endTimeMinute == INTEGER
    input.Body.maintenanceWindow.daysOfTheWeek[_] == enum_DayOfWeek[_]
    input.Body.maintenanceWindow.applyTimeOf == enum_ApplyTimeOf[_]
    input.Body.softwareSetUpdateMode == enum_SoftwareSetUpdateMode[_]
    input.Body.desiredSoftwareSetId == STRING
    input.Body.deviceCreationTags.STRING == STRING
    input.ReqMap.id == STRING
    input.ProviderMetadata.Account == STRING
    input.ProviderMetadata.AccessKeyId == STRING
    input.ProviderMetadata.Region == STRING
}

UpdateSoftwareSet

enum_SoftwareSetValidationStatus := [ "VALIDATED", "NOT_VALIDATED" ]

valid {
    input.Body.validationStatus == enum_SoftwareSetValidationStatus[_]
    input.ReqMap.id == STRING
    input.ProviderMetadata.Account == STRING
    input.ProviderMetadata.AccessKeyId == STRING
    input.ProviderMetadata.Region == STRING
}