DIRECTCONNECT

AcceptDirectConnectGatewayAssociationProposal

valid {
    input.Body.directConnectGatewayId == STRING
    input.Body.proposalId == STRING
    input.Body.associatedGatewayOwnerAccount == STRING
    input.Body.overrideAllowedPrefixesToDirectConnectGateway[_].cidr == STRING
    input.ProviderMetadata.Account == STRING
    input.ProviderMetadata.AccessKeyId == STRING
    input.ProviderMetadata.Region == STRING
}

AllocateConnectionOnInterconnect

valid {
    input.Body.bandwidth == STRING
    input.Body.connectionName == STRING
    input.Body.ownerAccount == STRING
    input.Body.interconnectId == STRING
    input.Body.vlan == INTEGER
    input.ProviderMetadata.Account == STRING
    input.ProviderMetadata.AccessKeyId == STRING
    input.ProviderMetadata.Region == STRING
}

AllocateHostedConnection

valid {
    input.Body.connectionId == STRING
    input.Body.ownerAccount == STRING
    input.Body.bandwidth == STRING
    input.Body.connectionName == STRING
    input.Body.vlan == INTEGER
    input.Body.tags[_].key == STRING
    input.Body.tags[_].value == STRING
    input.ProviderMetadata.Account == STRING
    input.ProviderMetadata.AccessKeyId == STRING
    input.ProviderMetadata.Region == STRING
}

AllocatePrivateVirtualInterface

enum_AddressFamily := [ "ipv4", "ipv6" ]

valid {
    input.Body.connectionId == STRING
    input.Body.ownerAccount == STRING
    input.Body.newPrivateVirtualInterfaceAllocation.virtualInterfaceName == STRING
    input.Body.newPrivateVirtualInterfaceAllocation.vlan == INTEGER
    input.Body.newPrivateVirtualInterfaceAllocation.asn == INTEGER
    input.Body.newPrivateVirtualInterfaceAllocation.mtu == INTEGER
    input.Body.newPrivateVirtualInterfaceAllocation.authKey == STRING
    input.Body.newPrivateVirtualInterfaceAllocation.amazonAddress == STRING
    input.Body.newPrivateVirtualInterfaceAllocation.addressFamily == enum_AddressFamily[_]
    input.Body.newPrivateVirtualInterfaceAllocation.customerAddress == STRING
    input.Body.newPrivateVirtualInterfaceAllocation.tags[_].key == STRING
    input.Body.newPrivateVirtualInterfaceAllocation.tags[_].value == STRING
    input.ProviderMetadata.Account == STRING
    input.ProviderMetadata.AccessKeyId == STRING
    input.ProviderMetadata.Region == STRING
}

AllocatePublicVirtualInterface

enum_AddressFamily := [ "ipv4", "ipv6" ]

valid {
    input.Body.connectionId == STRING
    input.Body.ownerAccount == STRING
    input.Body.newPublicVirtualInterfaceAllocation.virtualInterfaceName == STRING
    input.Body.newPublicVirtualInterfaceAllocation.vlan == INTEGER
    input.Body.newPublicVirtualInterfaceAllocation.asn == INTEGER
    input.Body.newPublicVirtualInterfaceAllocation.authKey == STRING
    input.Body.newPublicVirtualInterfaceAllocation.amazonAddress == STRING
    input.Body.newPublicVirtualInterfaceAllocation.customerAddress == STRING
    input.Body.newPublicVirtualInterfaceAllocation.addressFamily == enum_AddressFamily[_]
    input.Body.newPublicVirtualInterfaceAllocation.routeFilterPrefixes[_].cidr == STRING
    input.Body.newPublicVirtualInterfaceAllocation.tags[_].key == STRING
    input.Body.newPublicVirtualInterfaceAllocation.tags[_].value == STRING
    input.ProviderMetadata.Account == STRING
    input.ProviderMetadata.AccessKeyId == STRING
    input.ProviderMetadata.Region == STRING
}

AllocateTransitVirtualInterface

enum_AddressFamily := [ "ipv4", "ipv6" ]

valid {
    input.Body.connectionId == STRING
    input.Body.ownerAccount == STRING
    input.Body.newTransitVirtualInterfaceAllocation.virtualInterfaceName == STRING
    input.Body.newTransitVirtualInterfaceAllocation.vlan == INTEGER
    input.Body.newTransitVirtualInterfaceAllocation.asn == INTEGER
    input.Body.newTransitVirtualInterfaceAllocation.mtu == INTEGER
    input.Body.newTransitVirtualInterfaceAllocation.authKey == STRING
    input.Body.newTransitVirtualInterfaceAllocation.amazonAddress == STRING
    input.Body.newTransitVirtualInterfaceAllocation.customerAddress == STRING
    input.Body.newTransitVirtualInterfaceAllocation.addressFamily == enum_AddressFamily[_]
    input.Body.newTransitVirtualInterfaceAllocation.tags[_].key == STRING
    input.Body.newTransitVirtualInterfaceAllocation.tags[_].value == STRING
    input.ProviderMetadata.Account == STRING
    input.ProviderMetadata.AccessKeyId == STRING
    input.ProviderMetadata.Region == STRING
}

AssociateConnectionWithLag

valid {
    input.Body.connectionId == STRING
    input.Body.lagId == STRING
    input.ProviderMetadata.Account == STRING
    input.ProviderMetadata.AccessKeyId == STRING
    input.ProviderMetadata.Region == STRING
}

AssociateHostedConnection

valid {
    input.Body.connectionId == STRING
    input.Body.parentConnectionId == STRING
    input.ProviderMetadata.Account == STRING
    input.ProviderMetadata.AccessKeyId == STRING
    input.ProviderMetadata.Region == STRING
}

AssociateMacSecKey

valid {
    input.Body.connectionId == STRING
    input.Body.secretARN == STRING
    input.Body.ckn == STRING
    input.Body.cak == STRING
    input.ProviderMetadata.Account == STRING
    input.ProviderMetadata.AccessKeyId == STRING
    input.ProviderMetadata.Region == STRING
}

AssociateVirtualInterface

valid {
    input.Body.virtualInterfaceId == STRING
    input.Body.connectionId == STRING
    input.ProviderMetadata.Account == STRING
    input.ProviderMetadata.AccessKeyId == STRING
    input.ProviderMetadata.Region == STRING
}

ConfirmConnection

valid {
    input.Body.connectionId == STRING
    input.ProviderMetadata.Account == STRING
    input.ProviderMetadata.AccessKeyId == STRING
    input.ProviderMetadata.Region == STRING
}

ConfirmCustomerAgreement

valid {
    input.Body.agreementName == STRING
    input.ProviderMetadata.Account == STRING
    input.ProviderMetadata.AccessKeyId == STRING
    input.ProviderMetadata.Region == STRING
}

ConfirmPrivateVirtualInterface

valid {
    input.Body.virtualInterfaceId == STRING
    input.Body.virtualGatewayId == STRING
    input.Body.directConnectGatewayId == STRING
    input.ProviderMetadata.Account == STRING
    input.ProviderMetadata.AccessKeyId == STRING
    input.ProviderMetadata.Region == STRING
}

ConfirmPublicVirtualInterface

valid {
    input.Body.virtualInterfaceId == STRING
    input.ProviderMetadata.Account == STRING
    input.ProviderMetadata.AccessKeyId == STRING
    input.ProviderMetadata.Region == STRING
}

ConfirmTransitVirtualInterface

valid {
    input.Body.virtualInterfaceId == STRING
    input.Body.directConnectGatewayId == STRING
    input.ProviderMetadata.Account == STRING
    input.ProviderMetadata.AccessKeyId == STRING
    input.ProviderMetadata.Region == STRING
}

CreateBGPPeer

enum_AddressFamily := [ "ipv4", "ipv6" ]

valid {
    input.Body.virtualInterfaceId == STRING
    input.Body.newBGPPeer.asn == INTEGER
    input.Body.newBGPPeer.authKey == STRING
    input.Body.newBGPPeer.addressFamily == enum_AddressFamily[_]
    input.Body.newBGPPeer.amazonAddress == STRING
    input.Body.newBGPPeer.customerAddress == STRING
    input.ProviderMetadata.Account == STRING
    input.ProviderMetadata.AccessKeyId == STRING
    input.ProviderMetadata.Region == STRING
}

CreateConnection

valid {
    input.Body.location == STRING
    input.Body.bandwidth == STRING
    input.Body.connectionName == STRING
    input.Body.lagId == STRING
    input.Body.tags[_].key == STRING
    input.Body.tags[_].value == STRING
    input.Body.providerName == STRING
    input.Body.requestMACSec == BOOLEAN
    input.ProviderMetadata.Account == STRING
    input.ProviderMetadata.AccessKeyId == STRING
    input.ProviderMetadata.Region == STRING
}

CreateDirectConnectGateway

valid {
    input.Body.directConnectGatewayName == STRING
    input.Body.amazonSideAsn == LONG
    input.ProviderMetadata.Account == STRING
    input.ProviderMetadata.AccessKeyId == STRING
    input.ProviderMetadata.Region == STRING
}

CreateDirectConnectGatewayAssociation

valid {
    input.Body.directConnectGatewayId == STRING
    input.Body.gatewayId == STRING
    input.Body.addAllowedPrefixesToDirectConnectGateway[_].cidr == STRING
    input.Body.virtualGatewayId == STRING
    input.ProviderMetadata.Account == STRING
    input.ProviderMetadata.AccessKeyId == STRING
    input.ProviderMetadata.Region == STRING
}

CreateDirectConnectGatewayAssociationProposal

valid {
    input.Body.directConnectGatewayId == STRING
    input.Body.directConnectGatewayOwnerAccount == STRING
    input.Body.gatewayId == STRING
    input.Body.addAllowedPrefixesToDirectConnectGateway[_].cidr == STRING
    input.Body.removeAllowedPrefixesToDirectConnectGateway[_].cidr == STRING
    input.ProviderMetadata.Account == STRING
    input.ProviderMetadata.AccessKeyId == STRING
    input.ProviderMetadata.Region == STRING
}

CreateInterconnect

valid {
    input.Body.interconnectName == STRING
    input.Body.bandwidth == STRING
    input.Body.location == STRING
    input.Body.lagId == STRING
    input.Body.tags[_].key == STRING
    input.Body.tags[_].value == STRING
    input.Body.providerName == STRING
    input.ProviderMetadata.Account == STRING
    input.ProviderMetadata.AccessKeyId == STRING
    input.ProviderMetadata.Region == STRING
}

CreateLag

valid {
    input.Body.numberOfConnections == INTEGER
    input.Body.location == STRING
    input.Body.connectionsBandwidth == STRING
    input.Body.lagName == STRING
    input.Body.connectionId == STRING
    input.Body.tags[_].key == STRING
    input.Body.tags[_].value == STRING
    input.Body.childConnectionTags[_].key == STRING
    input.Body.childConnectionTags[_].value == STRING
    input.Body.providerName == STRING
    input.Body.requestMACSec == BOOLEAN
    input.ProviderMetadata.Account == STRING
    input.ProviderMetadata.AccessKeyId == STRING
    input.ProviderMetadata.Region == STRING
}

CreatePrivateVirtualInterface

enum_AddressFamily := [ "ipv4", "ipv6" ]

valid {
    input.Body.connectionId == STRING
    input.Body.newPrivateVirtualInterface.virtualInterfaceName == STRING
    input.Body.newPrivateVirtualInterface.vlan == INTEGER
    input.Body.newPrivateVirtualInterface.asn == INTEGER
    input.Body.newPrivateVirtualInterface.mtu == INTEGER
    input.Body.newPrivateVirtualInterface.authKey == STRING
    input.Body.newPrivateVirtualInterface.amazonAddress == STRING
    input.Body.newPrivateVirtualInterface.customerAddress == STRING
    input.Body.newPrivateVirtualInterface.addressFamily == enum_AddressFamily[_]
    input.Body.newPrivateVirtualInterface.virtualGatewayId == STRING
    input.Body.newPrivateVirtualInterface.directConnectGatewayId == STRING
    input.Body.newPrivateVirtualInterface.tags[_].key == STRING
    input.Body.newPrivateVirtualInterface.tags[_].value == STRING
    input.Body.newPrivateVirtualInterface.enableSiteLink == BOOLEAN
    input.ProviderMetadata.Account == STRING
    input.ProviderMetadata.AccessKeyId == STRING
    input.ProviderMetadata.Region == STRING
}

CreatePublicVirtualInterface

enum_AddressFamily := [ "ipv4", "ipv6" ]

valid {
    input.Body.connectionId == STRING
    input.Body.newPublicVirtualInterface.virtualInterfaceName == STRING
    input.Body.newPublicVirtualInterface.vlan == INTEGER
    input.Body.newPublicVirtualInterface.asn == INTEGER
    input.Body.newPublicVirtualInterface.authKey == STRING
    input.Body.newPublicVirtualInterface.amazonAddress == STRING
    input.Body.newPublicVirtualInterface.customerAddress == STRING
    input.Body.newPublicVirtualInterface.addressFamily == enum_AddressFamily[_]
    input.Body.newPublicVirtualInterface.routeFilterPrefixes[_].cidr == STRING
    input.Body.newPublicVirtualInterface.tags[_].key == STRING
    input.Body.newPublicVirtualInterface.tags[_].value == STRING
    input.ProviderMetadata.Account == STRING
    input.ProviderMetadata.AccessKeyId == STRING
    input.ProviderMetadata.Region == STRING
}

CreateTransitVirtualInterface

enum_AddressFamily := [ "ipv4", "ipv6" ]

valid {
    input.Body.connectionId == STRING
    input.Body.newTransitVirtualInterface.virtualInterfaceName == STRING
    input.Body.newTransitVirtualInterface.vlan == INTEGER
    input.Body.newTransitVirtualInterface.asn == INTEGER
    input.Body.newTransitVirtualInterface.mtu == INTEGER
    input.Body.newTransitVirtualInterface.authKey == STRING
    input.Body.newTransitVirtualInterface.amazonAddress == STRING
    input.Body.newTransitVirtualInterface.customerAddress == STRING
    input.Body.newTransitVirtualInterface.addressFamily == enum_AddressFamily[_]
    input.Body.newTransitVirtualInterface.directConnectGatewayId == STRING
    input.Body.newTransitVirtualInterface.tags[_].key == STRING
    input.Body.newTransitVirtualInterface.tags[_].value == STRING
    input.Body.newTransitVirtualInterface.enableSiteLink == BOOLEAN
    input.ProviderMetadata.Account == STRING
    input.ProviderMetadata.AccessKeyId == STRING
    input.ProviderMetadata.Region == STRING
}

DeleteBGPPeer

valid {
    input.Body.virtualInterfaceId == STRING
    input.Body.asn == INTEGER
    input.Body.customerAddress == STRING
    input.Body.bgpPeerId == STRING
    input.ProviderMetadata.Account == STRING
    input.ProviderMetadata.AccessKeyId == STRING
    input.ProviderMetadata.Region == STRING
}

DeleteConnection

valid {
    input.Body.connectionId == STRING
    input.ProviderMetadata.Account == STRING
    input.ProviderMetadata.AccessKeyId == STRING
    input.ProviderMetadata.Region == STRING
}

DeleteDirectConnectGateway

valid {
    input.Body.directConnectGatewayId == STRING
    input.ProviderMetadata.Account == STRING
    input.ProviderMetadata.AccessKeyId == STRING
    input.ProviderMetadata.Region == STRING
}

DeleteDirectConnectGatewayAssociation

valid {
    input.Body.associationId == STRING
    input.Body.directConnectGatewayId == STRING
    input.Body.virtualGatewayId == STRING
    input.ProviderMetadata.Account == STRING
    input.ProviderMetadata.AccessKeyId == STRING
    input.ProviderMetadata.Region == STRING
}

DeleteDirectConnectGatewayAssociationProposal

valid {
    input.Body.proposalId == STRING
    input.ProviderMetadata.Account == STRING
    input.ProviderMetadata.AccessKeyId == STRING
    input.ProviderMetadata.Region == STRING
}

DeleteInterconnect

valid {
    input.Body.interconnectId == STRING
    input.ProviderMetadata.Account == STRING
    input.ProviderMetadata.AccessKeyId == STRING
    input.ProviderMetadata.Region == STRING
}

DeleteLag

valid {
    input.Body.lagId == STRING
    input.ProviderMetadata.Account == STRING
    input.ProviderMetadata.AccessKeyId == STRING
    input.ProviderMetadata.Region == STRING
}

DeleteVirtualInterface

valid {
    input.Body.virtualInterfaceId == STRING
    input.ProviderMetadata.Account == STRING
    input.ProviderMetadata.AccessKeyId == STRING
    input.ProviderMetadata.Region == STRING
}

DescribeConnectionLoa

enum_LoaContentType := [ "application/pdf" ]

valid {
    input.Body.connectionId == STRING
    input.Body.providerName == STRING
    input.Body.loaContentType == enum_LoaContentType[_]
    input.ProviderMetadata.Account == STRING
    input.ProviderMetadata.AccessKeyId == STRING
    input.ProviderMetadata.Region == STRING
}

DescribeConnections

valid {
    input.Body.connectionId == STRING
    input.ProviderMetadata.Account == STRING
    input.ProviderMetadata.AccessKeyId == STRING
    input.ProviderMetadata.Region == STRING
}

DescribeConnectionsOnInterconnect

valid {
    input.Body.interconnectId == STRING
    input.ProviderMetadata.Account == STRING
    input.ProviderMetadata.AccessKeyId == STRING
    input.ProviderMetadata.Region == STRING
}

DescribeCustomerMetadata

valid {
    input.Body.interconnectId == STRING
    input.ProviderMetadata.Account == STRING
    input.ProviderMetadata.AccessKeyId == STRING
    input.ProviderMetadata.Region == STRING
}

DescribeDirectConnectGatewayAssociationProposals

valid {
    input.Body.directConnectGatewayId == STRING
    input.Body.proposalId == STRING
    input.Body.associatedGatewayId == STRING
    input.Body.maxResults == INTEGER
    input.Body.nextToken == STRING
    input.ProviderMetadata.Account == STRING
    input.ProviderMetadata.AccessKeyId == STRING
    input.ProviderMetadata.Region == STRING
}

DescribeDirectConnectGatewayAssociations

valid {
    input.Body.associationId == STRING
    input.Body.associatedGatewayId == STRING
    input.Body.directConnectGatewayId == STRING
    input.Body.maxResults == INTEGER
    input.Body.nextToken == STRING
    input.Body.virtualGatewayId == STRING
    input.ProviderMetadata.Account == STRING
    input.ProviderMetadata.AccessKeyId == STRING
    input.ProviderMetadata.Region == STRING
}

DescribeDirectConnectGatewayAttachments

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

DescribeDirectConnectGateways

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

DescribeHostedConnections

valid {
    input.Body.connectionId == STRING
    input.ProviderMetadata.Account == STRING
    input.ProviderMetadata.AccessKeyId == STRING
    input.ProviderMetadata.Region == STRING
}

DescribeInterconnectLoa

enum_LoaContentType := [ "application/pdf" ]

valid {
    input.Body.interconnectId == STRING
    input.Body.providerName == STRING
    input.Body.loaContentType == enum_LoaContentType[_]
    input.ProviderMetadata.Account == STRING
    input.ProviderMetadata.AccessKeyId == STRING
    input.ProviderMetadata.Region == STRING
}

DescribeInterconnects

valid {
    input.Body.interconnectId == STRING
    input.ProviderMetadata.Account == STRING
    input.ProviderMetadata.AccessKeyId == STRING
    input.ProviderMetadata.Region == STRING
}

DescribeLags

valid {
    input.Body.lagId == STRING
    input.ProviderMetadata.Account == STRING
    input.ProviderMetadata.AccessKeyId == STRING
    input.ProviderMetadata.Region == STRING
}

DescribeLoa

enum_LoaContentType := [ "application/pdf" ]

valid {
    input.Body.connectionId == STRING
    input.Body.providerName == STRING
    input.Body.loaContentType == enum_LoaContentType[_]
    input.ProviderMetadata.Account == STRING
    input.ProviderMetadata.AccessKeyId == STRING
    input.ProviderMetadata.Region == STRING
}

DescribeLocations

enum_LoaContentType := [ "application/pdf" ]

valid {
    input.Body.connectionId == STRING
    input.Body.providerName == STRING
    input.Body.loaContentType == enum_LoaContentType[_]
    input.ProviderMetadata.Account == STRING
    input.ProviderMetadata.AccessKeyId == STRING
    input.ProviderMetadata.Region == STRING
}

DescribeRouterConfiguration

valid {
    input.Body.virtualInterfaceId == STRING
    input.Body.routerTypeIdentifier == STRING
    input.ProviderMetadata.Account == STRING
    input.ProviderMetadata.AccessKeyId == STRING
    input.ProviderMetadata.Region == STRING
}

DescribeTags

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

DescribeVirtualGateways

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

DescribeVirtualInterfaces

valid {
    input.Body.connectionId == STRING
    input.Body.virtualInterfaceId == STRING
    input.ProviderMetadata.Account == STRING
    input.ProviderMetadata.AccessKeyId == STRING
    input.ProviderMetadata.Region == STRING
}

DisassociateConnectionFromLag

valid {
    input.Body.connectionId == STRING
    input.Body.lagId == STRING
    input.ProviderMetadata.Account == STRING
    input.ProviderMetadata.AccessKeyId == STRING
    input.ProviderMetadata.Region == STRING
}

DisassociateMacSecKey

valid {
    input.Body.connectionId == STRING
    input.Body.secretARN == STRING
    input.ProviderMetadata.Account == STRING
    input.ProviderMetadata.AccessKeyId == STRING
    input.ProviderMetadata.Region == STRING
}

ListVirtualInterfaceTestHistory

valid {
    input.Body.testId == STRING
    input.Body.virtualInterfaceId == STRING
    input.Body.bgpPeers[_] == STRING
    input.Body.status == STRING
    input.Body.maxResults == INTEGER
    input.Body.nextToken == STRING
    input.ProviderMetadata.Account == STRING
    input.ProviderMetadata.AccessKeyId == STRING
    input.ProviderMetadata.Region == STRING
}

StartBgpFailoverTest

valid {
    input.Body.virtualInterfaceId == STRING
    input.Body.bgpPeers[_] == STRING
    input.Body.testDurationInMinutes == INTEGER
    input.ProviderMetadata.Account == STRING
    input.ProviderMetadata.AccessKeyId == STRING
    input.ProviderMetadata.Region == STRING
}

StopBgpFailoverTest

valid {
    input.Body.virtualInterfaceId == STRING
    input.ProviderMetadata.Account == STRING
    input.ProviderMetadata.AccessKeyId == STRING
    input.ProviderMetadata.Region == STRING
}

TagResource

valid {
    input.Body.resourceArn == STRING
    input.Body.tags[_].key == STRING
    input.Body.tags[_].value == STRING
    input.ProviderMetadata.Account == STRING
    input.ProviderMetadata.AccessKeyId == STRING
    input.ProviderMetadata.Region == STRING
}

UntagResource

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

UpdateConnection

valid {
    input.Body.connectionId == STRING
    input.Body.connectionName == STRING
    input.Body.encryptionMode == STRING
    input.ProviderMetadata.Account == STRING
    input.ProviderMetadata.AccessKeyId == STRING
    input.ProviderMetadata.Region == STRING
}

UpdateDirectConnectGateway

valid {
    input.Body.directConnectGatewayId == STRING
    input.Body.newDirectConnectGatewayName == STRING
    input.ProviderMetadata.Account == STRING
    input.ProviderMetadata.AccessKeyId == STRING
    input.ProviderMetadata.Region == STRING
}

UpdateDirectConnectGatewayAssociation

valid {
    input.Body.associationId == STRING
    input.Body.addAllowedPrefixesToDirectConnectGateway[_].cidr == STRING
    input.Body.removeAllowedPrefixesToDirectConnectGateway[_].cidr == STRING
    input.ProviderMetadata.Account == STRING
    input.ProviderMetadata.AccessKeyId == STRING
    input.ProviderMetadata.Region == STRING
}

UpdateLag

valid {
    input.Body.lagId == STRING
    input.Body.lagName == STRING
    input.Body.minimumLinks == INTEGER
    input.Body.encryptionMode == STRING
    input.ProviderMetadata.Account == STRING
    input.ProviderMetadata.AccessKeyId == STRING
    input.ProviderMetadata.Region == STRING
}

UpdateVirtualInterfaceAttributes

valid {
    input.Body.virtualInterfaceId == STRING
    input.Body.mtu == INTEGER
    input.Body.enableSiteLink == BOOLEAN
    input.Body.virtualInterfaceName == STRING
    input.ProviderMetadata.Account == STRING
    input.ProviderMetadata.AccessKeyId == STRING
    input.ProviderMetadata.Region == STRING
}