NETWORKMONITOR
CreateMonitor
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
}
CreateProbe
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
}
DeleteMonitor
valid {
input.ReqMap.monitorName == STRING
input.ProviderMetadata.Account == STRING
input.ProviderMetadata.AccessKeyId == STRING
input.ProviderMetadata.Region == STRING
}
DeleteProbe
valid {
input.ReqMap.monitorName == STRING
input.ReqMap.probeId == STRING
input.ProviderMetadata.Account == STRING
input.ProviderMetadata.AccessKeyId == STRING
input.ProviderMetadata.Region == STRING
}
GetMonitor
valid {
input.ReqMap.monitorName == STRING
input.ProviderMetadata.Account == STRING
input.ProviderMetadata.AccessKeyId == STRING
input.ProviderMetadata.Region == STRING
}
GetProbe
valid {
input.ReqMap.monitorName == STRING
input.ReqMap.probeId == STRING
input.ProviderMetadata.Account == STRING
input.ProviderMetadata.AccessKeyId == STRING
input.ProviderMetadata.Region == STRING
}
ListMonitors
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
}
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
}
UpdateMonitor
valid {
input.Body.aggregationPeriod == LONG
input.ReqMap.monitorName == STRING
input.ProviderMetadata.Account == STRING
input.ProviderMetadata.AccessKeyId == STRING
input.ProviderMetadata.Region == STRING
}
UpdateProbe
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
}
Updated 17 days ago