enum_Protocol := [ "TCP", "ICMP" ]

valid {
    input.Body.monitorName == STRING
    input.Body.probes[_].sourceArn == STRING
    input.Body.probes[_].destination == STRING
    input.Body.probes[_].destinationPort == INTEGER
    input.Body.probes[_].protocol == enum_Protocol[_]
    input.Body.probes[_].packetSize == INTEGER
    input.Body.probes[_].probeTags.STRING == STRING
    input.Body.aggregationPeriod == LONG
    input.Body.clientToken == STRING
    input.Body.tags.STRING == STRING
    input.ProviderMetadata.Account == STRING
    input.ProviderMetadata.AccessKeyId == STRING
    input.ProviderMetadata.Region == STRING
}

enum_Protocol := [ "TCP", "ICMP" ]

valid {
    input.Body.probe.sourceArn == STRING
    input.Body.probe.destination == STRING
    input.Body.probe.destinationPort == INTEGER
    input.Body.probe.protocol == enum_Protocol[_]
    input.Body.probe.packetSize == INTEGER
    input.Body.probe.tags.STRING == STRING
    input.Body.clientToken == STRING
    input.Body.tags.STRING == STRING
    input.ReqMap.monitorName == STRING
    input.ProviderMetadata.Account == STRING
    input.ProviderMetadata.AccessKeyId == STRING
    input.ProviderMetadata.Region == STRING
}

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

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

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

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

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

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

valid {
    input.Body.tags.STRING == STRING
    input.ReqMap.resourceArn == STRING
    input.ProviderMetadata.Account == STRING
    input.ProviderMetadata.AccessKeyId == STRING
    input.ProviderMetadata.Region == STRING
}

valid {
    input.ReqMap.resourceArn == STRING
    input.Qs.tagKeys[_] == STRING
    input.ProviderMetadata.Account == STRING
    input.ProviderMetadata.AccessKeyId == STRING
    input.ProviderMetadata.Region == STRING
}

valid {
    input.Body.aggregationPeriod == LONG
    input.ReqMap.monitorName == STRING
    input.ProviderMetadata.Account == STRING
    input.ProviderMetadata.AccessKeyId == STRING
    input.ProviderMetadata.Region == STRING
}

enum_ProbeState := [ "PENDING", "ACTIVE", "INACTIVE", "ERROR", "DELETING", "DELETED" ]
enum_Protocol := [ "TCP", "ICMP" ]

valid {
    input.Body.state == enum_ProbeState[_]
    input.Body.destination == STRING
    input.Body.destinationPort == INTEGER
    input.Body.protocol == enum_Protocol[_]
    input.Body.packetSize == INTEGER
    input.ReqMap.monitorName == STRING
    input.ReqMap.probeId == STRING
    input.ProviderMetadata.Account == STRING
    input.ProviderMetadata.AccessKeyId == STRING
    input.ProviderMetadata.Region == STRING
}