DescribeAffectedAccountsForOrganization

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

DescribeAffectedEntities

enum_entityStatusCode := [ "IMPAIRED", "UNIMPAIRED", "UNKNOWN", "PENDING", "RESOLVED" ]

valid {
    input.Body.filter.eventArns[_] == STRING
    input.Body.filter.entityArns[_] == STRING
    input.Body.filter.entityValues[_] == STRING
    input.Body.filter.lastUpdatedTimes[_].from == TIMESTAMP
    input.Body.filter.lastUpdatedTimes[_].to == TIMESTAMP
    input.Body.filter.tags[_].STRING == STRING
    input.Body.filter.statusCodes[_] == enum_entityStatusCode[_]
    input.Body.locale == STRING
    input.Body.nextToken == STRING
    input.Body.maxResults == INTEGER
    input.ProviderMetadata.Account == STRING
    input.ProviderMetadata.AccessKeyId == STRING
    input.ProviderMetadata.Region == STRING
}

DescribeAffectedEntitiesForOrganization

enum_entityStatusCode := [ "IMPAIRED", "UNIMPAIRED", "UNKNOWN", "PENDING", "RESOLVED" ]

valid {
    input.Body.organizationEntityFilters[_].eventArn == STRING
    input.Body.organizationEntityFilters[_].awsAccountId == STRING
    input.Body.locale == STRING
    input.Body.nextToken == STRING
    input.Body.maxResults == INTEGER
    input.Body.organizationEntityAccountFilters[_].eventArn == STRING
    input.Body.organizationEntityAccountFilters[_].awsAccountId == STRING
    input.Body.organizationEntityAccountFilters[_].statusCodes[_] == enum_entityStatusCode[_]
    input.ProviderMetadata.Account == STRING
    input.ProviderMetadata.AccessKeyId == STRING
    input.ProviderMetadata.Region == STRING
}

DescribeEntityAggregates

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

DescribeEntityAggregatesForOrganization

valid {
    input.Body.eventArns[_] == STRING
    input.Body.awsAccountIds[_] == STRING
    input.ProviderMetadata.Account == STRING
    input.ProviderMetadata.AccessKeyId == STRING
    input.ProviderMetadata.Region == STRING
}

DescribeEventAggregates

enum_eventAggregateField := [ "eventTypeCategory" ]
enum_eventStatusCode := [ "open", "closed", "upcoming" ]
enum_eventTypeCategory := [ "issue", "accountNotification", "scheduledChange", "investigation" ]

valid {
    input.Body.filter.eventArns[_] == STRING
    input.Body.filter.eventTypeCodes[_] == STRING
    input.Body.filter.services[_] == STRING
    input.Body.filter.regions[_] == STRING
    input.Body.filter.availabilityZones[_] == STRING
    input.Body.filter.startTimes[_].from == TIMESTAMP
    input.Body.filter.startTimes[_].to == TIMESTAMP
    input.Body.filter.endTimes[_].from == TIMESTAMP
    input.Body.filter.endTimes[_].to == TIMESTAMP
    input.Body.filter.lastUpdatedTimes[_].from == TIMESTAMP
    input.Body.filter.lastUpdatedTimes[_].to == TIMESTAMP
    input.Body.filter.entityArns[_] == STRING
    input.Body.filter.entityValues[_] == STRING
    input.Body.filter.eventTypeCategories[_] == enum_eventTypeCategory[_]
    input.Body.filter.tags[_].STRING == STRING
    input.Body.filter.eventStatusCodes[_] == enum_eventStatusCode[_]
    input.Body.aggregateField == enum_eventAggregateField[_]
    input.Body.maxResults == INTEGER
    input.Body.nextToken == STRING
    input.ProviderMetadata.Account == STRING
    input.ProviderMetadata.AccessKeyId == STRING
    input.ProviderMetadata.Region == STRING
}

DescribeEventDetails

valid {
    input.Body.eventArns[_] == STRING
    input.Body.locale == STRING
    input.ProviderMetadata.Account == STRING
    input.ProviderMetadata.AccessKeyId == STRING
    input.ProviderMetadata.Region == STRING
}

DescribeEventDetailsForOrganization

valid {
    input.Body.organizationEventDetailFilters[_].eventArn == STRING
    input.Body.organizationEventDetailFilters[_].awsAccountId == STRING
    input.Body.locale == STRING
    input.ProviderMetadata.Account == STRING
    input.ProviderMetadata.AccessKeyId == STRING
    input.ProviderMetadata.Region == STRING
}

DescribeEventTypes

enum_eventTypeCategory := [ "issue", "accountNotification", "scheduledChange", "investigation" ]

valid {
    input.Body.filter.eventTypeCodes[_] == STRING
    input.Body.filter.services[_] == STRING
    input.Body.filter.eventTypeCategories[_] == enum_eventTypeCategory[_]
    input.Body.locale == STRING
    input.Body.nextToken == STRING
    input.Body.maxResults == INTEGER
    input.ProviderMetadata.Account == STRING
    input.ProviderMetadata.AccessKeyId == STRING
    input.ProviderMetadata.Region == STRING
}

DescribeEvents

enum_eventStatusCode := [ "open", "closed", "upcoming" ]
enum_eventTypeCategory := [ "issue", "accountNotification", "scheduledChange", "investigation" ]

valid {
    input.Body.filter.eventArns[_] == STRING
    input.Body.filter.eventTypeCodes[_] == STRING
    input.Body.filter.services[_] == STRING
    input.Body.filter.regions[_] == STRING
    input.Body.filter.availabilityZones[_] == STRING
    input.Body.filter.startTimes[_].from == TIMESTAMP
    input.Body.filter.startTimes[_].to == TIMESTAMP
    input.Body.filter.endTimes[_].from == TIMESTAMP
    input.Body.filter.endTimes[_].to == TIMESTAMP
    input.Body.filter.lastUpdatedTimes[_].from == TIMESTAMP
    input.Body.filter.lastUpdatedTimes[_].to == TIMESTAMP
    input.Body.filter.entityArns[_] == STRING
    input.Body.filter.entityValues[_] == STRING
    input.Body.filter.eventTypeCategories[_] == enum_eventTypeCategory[_]
    input.Body.filter.tags[_].STRING == STRING
    input.Body.filter.eventStatusCodes[_] == enum_eventStatusCode[_]
    input.Body.nextToken == STRING
    input.Body.maxResults == INTEGER
    input.Body.locale == STRING
    input.ProviderMetadata.Account == STRING
    input.ProviderMetadata.AccessKeyId == STRING
    input.ProviderMetadata.Region == STRING
}

DescribeEventsForOrganization

enum_eventStatusCode := [ "open", "closed", "upcoming" ]
enum_eventTypeCategory := [ "issue", "accountNotification", "scheduledChange", "investigation" ]

valid {
    input.Body.filter.eventTypeCodes[_] == STRING
    input.Body.filter.awsAccountIds[_] == STRING
    input.Body.filter.services[_] == STRING
    input.Body.filter.regions[_] == STRING
    input.Body.filter.startTime.from == TIMESTAMP
    input.Body.filter.startTime.to == TIMESTAMP
    input.Body.filter.endTime.from == TIMESTAMP
    input.Body.filter.endTime.to == TIMESTAMP
    input.Body.filter.lastUpdatedTime.from == TIMESTAMP
    input.Body.filter.lastUpdatedTime.to == TIMESTAMP
    input.Body.filter.entityArns[_] == STRING
    input.Body.filter.entityValues[_] == STRING
    input.Body.filter.eventTypeCategories[_] == enum_eventTypeCategory[_]
    input.Body.filter.eventStatusCodes[_] == enum_eventStatusCode[_]
    input.Body.nextToken == STRING
    input.Body.maxResults == INTEGER
    input.Body.locale == STRING
    input.ProviderMetadata.Account == STRING
    input.ProviderMetadata.AccessKeyId == STRING
    input.ProviderMetadata.Region == STRING
}

DescribeHealthServiceStatusForOrganization

enum_eventStatusCode := [ "open", "closed", "upcoming" ]
enum_eventTypeCategory := [ "issue", "accountNotification", "scheduledChange", "investigation" ]

valid {
    input.Body.filter.eventTypeCodes[_] == STRING
    input.Body.filter.awsAccountIds[_] == STRING
    input.Body.filter.services[_] == STRING
    input.Body.filter.regions[_] == STRING
    input.Body.filter.startTime.from == TIMESTAMP
    input.Body.filter.startTime.to == TIMESTAMP
    input.Body.filter.endTime.from == TIMESTAMP
    input.Body.filter.endTime.to == TIMESTAMP
    input.Body.filter.lastUpdatedTime.from == TIMESTAMP
    input.Body.filter.lastUpdatedTime.to == TIMESTAMP
    input.Body.filter.entityArns[_] == STRING
    input.Body.filter.entityValues[_] == STRING
    input.Body.filter.eventTypeCategories[_] == enum_eventTypeCategory[_]
    input.Body.filter.eventStatusCodes[_] == enum_eventStatusCode[_]
    input.Body.nextToken == STRING
    input.Body.maxResults == INTEGER
    input.Body.locale == STRING
    input.ProviderMetadata.Account == STRING
    input.ProviderMetadata.AccessKeyId == STRING
    input.ProviderMetadata.Region == STRING
}

DisableHealthServiceAccessForOrganization

enum_eventStatusCode := [ "open", "closed", "upcoming" ]
enum_eventTypeCategory := [ "issue", "accountNotification", "scheduledChange", "investigation" ]

valid {
    input.Body.filter.eventTypeCodes[_] == STRING
    input.Body.filter.awsAccountIds[_] == STRING
    input.Body.filter.services[_] == STRING
    input.Body.filter.regions[_] == STRING
    input.Body.filter.startTime.from == TIMESTAMP
    input.Body.filter.startTime.to == TIMESTAMP
    input.Body.filter.endTime.from == TIMESTAMP
    input.Body.filter.endTime.to == TIMESTAMP
    input.Body.filter.lastUpdatedTime.from == TIMESTAMP
    input.Body.filter.lastUpdatedTime.to == TIMESTAMP
    input.Body.filter.entityArns[_] == STRING
    input.Body.filter.entityValues[_] == STRING
    input.Body.filter.eventTypeCategories[_] == enum_eventTypeCategory[_]
    input.Body.filter.eventStatusCodes[_] == enum_eventStatusCode[_]
    input.Body.nextToken == STRING
    input.Body.maxResults == INTEGER
    input.Body.locale == STRING
    input.ProviderMetadata.Account == STRING
    input.ProviderMetadata.AccessKeyId == STRING
    input.ProviderMetadata.Region == STRING
}

EnableHealthServiceAccessForOrganization

enum_eventStatusCode := [ "open", "closed", "upcoming" ]
enum_eventTypeCategory := [ "issue", "accountNotification", "scheduledChange", "investigation" ]

valid {
    input.Body.filter.eventTypeCodes[_] == STRING
    input.Body.filter.awsAccountIds[_] == STRING
    input.Body.filter.services[_] == STRING
    input.Body.filter.regions[_] == STRING
    input.Body.filter.startTime.from == TIMESTAMP
    input.Body.filter.startTime.to == TIMESTAMP
    input.Body.filter.endTime.from == TIMESTAMP
    input.Body.filter.endTime.to == TIMESTAMP
    input.Body.filter.lastUpdatedTime.from == TIMESTAMP
    input.Body.filter.lastUpdatedTime.to == TIMESTAMP
    input.Body.filter.entityArns[_] == STRING
    input.Body.filter.entityValues[_] == STRING
    input.Body.filter.eventTypeCategories[_] == enum_eventTypeCategory[_]
    input.Body.filter.eventStatusCodes[_] == enum_eventStatusCode[_]
    input.Body.nextToken == STRING
    input.Body.maxResults == INTEGER
    input.Body.locale == STRING
    input.ProviderMetadata.Account == STRING
    input.ProviderMetadata.AccessKeyId == STRING
    input.ProviderMetadata.Region == STRING
}