valid {
    input.Body.acknowledgeActionRequests[_].requestId == STRING
    input.Body.acknowledgeActionRequests[_].alarmModelName == STRING
    input.Body.acknowledgeActionRequests[_].keyValue == STRING
    input.Body.acknowledgeActionRequests[_].note == STRING
    input.ProviderMetadata.Account == STRING
    input.ProviderMetadata.AccessKeyId == STRING
    input.ProviderMetadata.Region == STRING
}

valid {
    input.Body.detectors[_].messageId == STRING
    input.Body.detectors[_].detectorModelName == STRING
    input.Body.detectors[_].keyValue == STRING
    input.ProviderMetadata.Account == STRING
    input.ProviderMetadata.AccessKeyId == STRING
    input.ProviderMetadata.Region == STRING
}

valid {
    input.Body.disableActionRequests[_].requestId == STRING
    input.Body.disableActionRequests[_].alarmModelName == STRING
    input.Body.disableActionRequests[_].keyValue == STRING
    input.Body.disableActionRequests[_].note == STRING
    input.ProviderMetadata.Account == STRING
    input.ProviderMetadata.AccessKeyId == STRING
    input.ProviderMetadata.Region == STRING
}

valid {
    input.Body.enableActionRequests[_].requestId == STRING
    input.Body.enableActionRequests[_].alarmModelName == STRING
    input.Body.enableActionRequests[_].keyValue == STRING
    input.Body.enableActionRequests[_].note == STRING
    input.ProviderMetadata.Account == STRING
    input.ProviderMetadata.AccessKeyId == STRING
    input.ProviderMetadata.Region == STRING
}

valid {
    input.Body.messages[_].messageId == STRING
    input.Body.messages[_].inputName == STRING
    input.Body.messages[_].payload == BLOB
    input.Body.messages[_].timestamp.timeInMillis == LONG
    input.ProviderMetadata.Account == STRING
    input.ProviderMetadata.AccessKeyId == STRING
    input.ProviderMetadata.Region == STRING
}

valid {
    input.Body.resetActionRequests[_].requestId == STRING
    input.Body.resetActionRequests[_].alarmModelName == STRING
    input.Body.resetActionRequests[_].keyValue == STRING
    input.Body.resetActionRequests[_].note == STRING
    input.ProviderMetadata.Account == STRING
    input.ProviderMetadata.AccessKeyId == STRING
    input.ProviderMetadata.Region == STRING
}

valid {
    input.Body.snoozeActionRequests[_].requestId == STRING
    input.Body.snoozeActionRequests[_].alarmModelName == STRING
    input.Body.snoozeActionRequests[_].keyValue == STRING
    input.Body.snoozeActionRequests[_].note == STRING
    input.Body.snoozeActionRequests[_].snoozeDuration == INTEGER
    input.ProviderMetadata.Account == STRING
    input.ProviderMetadata.AccessKeyId == STRING
    input.ProviderMetadata.Region == STRING
}

valid {
    input.Body.detectors[_].messageId == STRING
    input.Body.detectors[_].detectorModelName == STRING
    input.Body.detectors[_].keyValue == STRING
    input.Body.detectors[_].state.stateName == STRING
    input.Body.detectors[_].state.variables[_].name == STRING
    input.Body.detectors[_].state.variables[_].value == STRING
    input.Body.detectors[_].state.timers[_].name == STRING
    input.Body.detectors[_].state.timers[_].seconds == INTEGER
    input.ProviderMetadata.Account == STRING
    input.ProviderMetadata.AccessKeyId == STRING
    input.ProviderMetadata.Region == STRING
}

valid {
    input.ReqMap.alarmModelName == STRING
    input.Qs.keyValue == STRING
    input.ProviderMetadata.Account == STRING
    input.ProviderMetadata.AccessKeyId == STRING
    input.ProviderMetadata.Region == STRING
}

valid {
    input.ReqMap.detectorModelName == STRING
    input.Qs.keyValue == STRING
    input.ProviderMetadata.Account == STRING
    input.ProviderMetadata.AccessKeyId == STRING
    input.ProviderMetadata.Region == STRING
}

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

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