CancelSolNetworkOperation

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

CreateSolFunctionPackage

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

CreateSolNetworkInstance

valid {
    input.Body.nsDescription == STRING
    input.Body.nsName == STRING
    input.Body.nsdInfoId == STRING
    input.Body.tags.STRING == STRING
    input.ProviderMetadata.Account == STRING
    input.ProviderMetadata.AccessKeyId == STRING
    input.ProviderMetadata.Region == STRING
}

CreateSolNetworkPackage

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

DeleteSolFunctionPackage

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

DeleteSolNetworkInstance

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

DeleteSolNetworkPackage

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

GetSolFunctionInstance

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

GetSolFunctionPackage

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

GetSolFunctionPackageContent

enum_PackageContentType := [ "application/zip" ]

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

GetSolFunctionPackageDescriptor

enum_DescriptorContentType := [ "text/plain" ]

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

GetSolNetworkInstance

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

GetSolNetworkOperation

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

GetSolNetworkPackage

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

GetSolNetworkPackageContent

enum_PackageContentType := [ "application/zip" ]

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

GetSolNetworkPackageDescriptor

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

InstantiateSolNetworkInstance

valid {
    input.Body.additionalParamsForNs == {}
    input.Body.tags.STRING == STRING
    input.ReqMap.nsInstanceId == STRING
    input.Qs.dry_run == BOOLEAN
    input.ProviderMetadata.Account == STRING
    input.ProviderMetadata.AccessKeyId == STRING
    input.ProviderMetadata.Region == STRING
}

ListSolFunctionInstances

valid {
    input.Qs.max_results == INTEGER
    input.Qs.nextpage_opaque_marker == STRING
    input.ProviderMetadata.Account == STRING
    input.ProviderMetadata.AccessKeyId == STRING
    input.ProviderMetadata.Region == STRING
}

ListSolFunctionPackages

valid {
    input.Qs.max_results == INTEGER
    input.Qs.nextpage_opaque_marker == STRING
    input.ProviderMetadata.Account == STRING
    input.ProviderMetadata.AccessKeyId == STRING
    input.ProviderMetadata.Region == STRING
}

ListSolNetworkInstances

valid {
    input.Qs.max_results == INTEGER
    input.Qs.nextpage_opaque_marker == STRING
    input.ProviderMetadata.Account == STRING
    input.ProviderMetadata.AccessKeyId == STRING
    input.ProviderMetadata.Region == STRING
}

ListSolNetworkOperations

valid {
    input.Qs.max_results == INTEGER
    input.Qs.nextpage_opaque_marker == STRING
    input.Qs.nsInstanceId == STRING
    input.ProviderMetadata.Account == STRING
    input.ProviderMetadata.AccessKeyId == STRING
    input.ProviderMetadata.Region == STRING
}

ListSolNetworkPackages

valid {
    input.Qs.max_results == INTEGER
    input.Qs.nextpage_opaque_marker == 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
}

PutSolFunctionPackageContent

enum_PackageContentType := [ "application/zip" ]

valid {
    input.Body.file == BLOB
    input.ReqMap.vnfPkgId == STRING
    input.ProviderMetadata.Account == STRING
    input.ProviderMetadata.AccessKeyId == STRING
    input.ProviderMetadata.Region == STRING
}

PutSolNetworkPackageContent

enum_PackageContentType := [ "application/zip" ]

valid {
    input.Body.file == BLOB
    input.ReqMap.nsdInfoId == 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
}

TerminateSolNetworkInstance

valid {
    input.Body.tags.STRING == STRING
    input.ReqMap.nsInstanceId == 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
}

UpdateSolFunctionPackage

enum_OperationalState := [ "ENABLED", "DISABLED" ]

valid {
    input.Body.operationalState == enum_OperationalState[_]
    input.ReqMap.vnfPkgId == STRING
    input.ProviderMetadata.Account == STRING
    input.ProviderMetadata.AccessKeyId == STRING
    input.ProviderMetadata.Region == STRING
}

UpdateSolNetworkInstance

enum_UpdateSolNetworkType := [ "MODIFY_VNF_INFORMATION", "UPDATE_NS" ]

valid {
    input.Body.modifyVnfInfoData.vnfConfigurableProperties == {}
    input.Body.modifyVnfInfoData.vnfInstanceId == STRING
    input.Body.tags.STRING == STRING
    input.Body.updateNs.additionalParamsForNs == {}
    input.Body.updateNs.nsdInfoId == STRING
    input.Body.updateType == enum_UpdateSolNetworkType[_]
    input.ReqMap.nsInstanceId == STRING
    input.ProviderMetadata.Account == STRING
    input.ProviderMetadata.AccessKeyId == STRING
    input.ProviderMetadata.Region == STRING
}

UpdateSolNetworkPackage

enum_NsdOperationalState := [ "ENABLED", "DISABLED" ]

valid {
    input.Body.nsdOperationalState == enum_NsdOperationalState[_]
    input.ReqMap.nsdInfoId == STRING
    input.ProviderMetadata.Account == STRING
    input.ProviderMetadata.AccessKeyId == STRING
    input.ProviderMetadata.Region == STRING
}

ValidateSolFunctionPackageContent

enum_PackageContentType := [ "application/zip" ]

valid {
    input.Body.file == BLOB
    input.ReqMap.vnfPkgId == STRING
    input.ProviderMetadata.Account == STRING
    input.ProviderMetadata.AccessKeyId == STRING
    input.ProviderMetadata.Region == STRING
}

ValidateSolNetworkPackageContent

enum_PackageContentType := [ "application/zip" ]

valid {
    input.Body.file == BLOB
    input.ReqMap.nsdInfoId == STRING
    input.ProviderMetadata.Account == STRING
    input.ProviderMetadata.AccessKeyId == STRING
    input.ProviderMetadata.Region == STRING
}