github.com/aws/aws-cryptographic-material-providers-library/releases/go/mpl@v0.2.0/Keyring/Keyring.go (about) 1 // Package Keyring 2 // Dafny module Keyring compiled into Go 3 4 package Keyring 5 6 import ( 7 os "os" 8 9 m_ComAmazonawsDynamodbTypes "github.com/aws/aws-cryptographic-material-providers-library/releases/go/dynamodb/ComAmazonawsDynamodbTypes" 10 m_Com_Amazonaws_Dynamodb "github.com/aws/aws-cryptographic-material-providers-library/releases/go/dynamodb/Com_Amazonaws_Dynamodb" 11 m_ComAmazonawsKmsTypes "github.com/aws/aws-cryptographic-material-providers-library/releases/go/kms/ComAmazonawsKmsTypes" 12 m_Com_Amazonaws_Kms "github.com/aws/aws-cryptographic-material-providers-library/releases/go/kms/Com_Amazonaws_Kms" 13 m_AlgorithmSuites "github.com/aws/aws-cryptographic-material-providers-library/releases/go/mpl/AlgorithmSuites" 14 m_AwsArnParsing "github.com/aws/aws-cryptographic-material-providers-library/releases/go/mpl/AwsArnParsing" 15 m_AwsCryptographyKeyStoreOperations "github.com/aws/aws-cryptographic-material-providers-library/releases/go/mpl/AwsCryptographyKeyStoreOperations" 16 m_AwsCryptographyKeyStoreTypes "github.com/aws/aws-cryptographic-material-providers-library/releases/go/mpl/AwsCryptographyKeyStoreTypes" 17 m_AwsCryptographyMaterialProvidersTypes "github.com/aws/aws-cryptographic-material-providers-library/releases/go/mpl/AwsCryptographyMaterialProvidersTypes" 18 m_AwsKmsMrkMatchForDecrypt "github.com/aws/aws-cryptographic-material-providers-library/releases/go/mpl/AwsKmsMrkMatchForDecrypt" 19 m_AwsKmsUtils "github.com/aws/aws-cryptographic-material-providers-library/releases/go/mpl/AwsKmsUtils" 20 m_CreateKeyStoreTable "github.com/aws/aws-cryptographic-material-providers-library/releases/go/mpl/CreateKeyStoreTable" 21 m_CreateKeys "github.com/aws/aws-cryptographic-material-providers-library/releases/go/mpl/CreateKeys" 22 m_DDBKeystoreOperations "github.com/aws/aws-cryptographic-material-providers-library/releases/go/mpl/DDBKeystoreOperations" 23 m_GetKeys "github.com/aws/aws-cryptographic-material-providers-library/releases/go/mpl/GetKeys" 24 m_KMSKeystoreOperations "github.com/aws/aws-cryptographic-material-providers-library/releases/go/mpl/KMSKeystoreOperations" 25 m_KeyStore "github.com/aws/aws-cryptographic-material-providers-library/releases/go/mpl/KeyStore" 26 m_KeyStoreErrorMessages "github.com/aws/aws-cryptographic-material-providers-library/releases/go/mpl/KeyStoreErrorMessages" 27 m_KmsArn "github.com/aws/aws-cryptographic-material-providers-library/releases/go/mpl/KmsArn" 28 m_Materials "github.com/aws/aws-cryptographic-material-providers-library/releases/go/mpl/Materials" 29 m_Structure "github.com/aws/aws-cryptographic-material-providers-library/releases/go/mpl/Structure" 30 m_AtomicPrimitives "github.com/aws/aws-cryptographic-material-providers-library/releases/go/primitives/AtomicPrimitives" 31 m_AwsCryptographyPrimitivesOperations "github.com/aws/aws-cryptographic-material-providers-library/releases/go/primitives/AwsCryptographyPrimitivesOperations" 32 m_AwsCryptographyPrimitivesTypes "github.com/aws/aws-cryptographic-material-providers-library/releases/go/primitives/AwsCryptographyPrimitivesTypes" 33 m_Digest "github.com/aws/aws-cryptographic-material-providers-library/releases/go/primitives/Digest" 34 m_HKDF "github.com/aws/aws-cryptographic-material-providers-library/releases/go/primitives/HKDF" 35 m_KdfCtr "github.com/aws/aws-cryptographic-material-providers-library/releases/go/primitives/KdfCtr" 36 m_Random "github.com/aws/aws-cryptographic-material-providers-library/releases/go/primitives/Random" 37 m_WrappedHKDF "github.com/aws/aws-cryptographic-material-providers-library/releases/go/primitives/WrappedHKDF" 38 m_WrappedHMAC "github.com/aws/aws-cryptographic-material-providers-library/releases/go/primitives/WrappedHMAC" 39 m_Actions "github.com/aws/aws-cryptographic-material-providers-library/releases/go/smithy-dafny-standard-library/Actions" 40 m_Base64 "github.com/aws/aws-cryptographic-material-providers-library/releases/go/smithy-dafny-standard-library/Base64" 41 m_Base64Lemmas "github.com/aws/aws-cryptographic-material-providers-library/releases/go/smithy-dafny-standard-library/Base64Lemmas" 42 m_BoundedInts "github.com/aws/aws-cryptographic-material-providers-library/releases/go/smithy-dafny-standard-library/BoundedInts" 43 m_DivInternals "github.com/aws/aws-cryptographic-material-providers-library/releases/go/smithy-dafny-standard-library/DivInternals" 44 m_DivInternalsNonlinear "github.com/aws/aws-cryptographic-material-providers-library/releases/go/smithy-dafny-standard-library/DivInternalsNonlinear" 45 m_DivMod "github.com/aws/aws-cryptographic-material-providers-library/releases/go/smithy-dafny-standard-library/DivMod" 46 m_FileIO "github.com/aws/aws-cryptographic-material-providers-library/releases/go/smithy-dafny-standard-library/FileIO" 47 m_FloatCompare "github.com/aws/aws-cryptographic-material-providers-library/releases/go/smithy-dafny-standard-library/FloatCompare" 48 m_Functions "github.com/aws/aws-cryptographic-material-providers-library/releases/go/smithy-dafny-standard-library/Functions" 49 m_GeneralInternals "github.com/aws/aws-cryptographic-material-providers-library/releases/go/smithy-dafny-standard-library/GeneralInternals" 50 m_GetOpt "github.com/aws/aws-cryptographic-material-providers-library/releases/go/smithy-dafny-standard-library/GetOpt" 51 m_HexStrings "github.com/aws/aws-cryptographic-material-providers-library/releases/go/smithy-dafny-standard-library/HexStrings" 52 m_Logarithm "github.com/aws/aws-cryptographic-material-providers-library/releases/go/smithy-dafny-standard-library/Logarithm" 53 m__Math "github.com/aws/aws-cryptographic-material-providers-library/releases/go/smithy-dafny-standard-library/Math_" 54 m_ModInternals "github.com/aws/aws-cryptographic-material-providers-library/releases/go/smithy-dafny-standard-library/ModInternals" 55 m_ModInternalsNonlinear "github.com/aws/aws-cryptographic-material-providers-library/releases/go/smithy-dafny-standard-library/ModInternalsNonlinear" 56 m_Mul "github.com/aws/aws-cryptographic-material-providers-library/releases/go/smithy-dafny-standard-library/Mul" 57 m_MulInternals "github.com/aws/aws-cryptographic-material-providers-library/releases/go/smithy-dafny-standard-library/MulInternals" 58 m_MulInternalsNonlinear "github.com/aws/aws-cryptographic-material-providers-library/releases/go/smithy-dafny-standard-library/MulInternalsNonlinear" 59 m_Power "github.com/aws/aws-cryptographic-material-providers-library/releases/go/smithy-dafny-standard-library/Power" 60 m_Relations "github.com/aws/aws-cryptographic-material-providers-library/releases/go/smithy-dafny-standard-library/Relations" 61 m_Seq "github.com/aws/aws-cryptographic-material-providers-library/releases/go/smithy-dafny-standard-library/Seq" 62 m_Seq_MergeSort "github.com/aws/aws-cryptographic-material-providers-library/releases/go/smithy-dafny-standard-library/Seq_MergeSort" 63 m_Sorting "github.com/aws/aws-cryptographic-material-providers-library/releases/go/smithy-dafny-standard-library/Sorting" 64 m_StandardLibrary "github.com/aws/aws-cryptographic-material-providers-library/releases/go/smithy-dafny-standard-library/StandardLibrary" 65 m_StandardLibraryInterop "github.com/aws/aws-cryptographic-material-providers-library/releases/go/smithy-dafny-standard-library/StandardLibraryInterop" 66 m_StandardLibrary_Sequence "github.com/aws/aws-cryptographic-material-providers-library/releases/go/smithy-dafny-standard-library/StandardLibrary_Sequence" 67 m_StandardLibrary_String "github.com/aws/aws-cryptographic-material-providers-library/releases/go/smithy-dafny-standard-library/StandardLibrary_String" 68 m_StandardLibrary_UInt "github.com/aws/aws-cryptographic-material-providers-library/releases/go/smithy-dafny-standard-library/StandardLibrary_UInt" 69 m_Streams "github.com/aws/aws-cryptographic-material-providers-library/releases/go/smithy-dafny-standard-library/Streams" 70 m_UnicodeStrings "github.com/aws/aws-cryptographic-material-providers-library/releases/go/smithy-dafny-standard-library/UnicodeStrings" 71 m__Unicode "github.com/aws/aws-cryptographic-material-providers-library/releases/go/smithy-dafny-standard-library/Unicode_" 72 m_Utf16EncodingForm "github.com/aws/aws-cryptographic-material-providers-library/releases/go/smithy-dafny-standard-library/Utf16EncodingForm" 73 m_Utf8EncodingForm "github.com/aws/aws-cryptographic-material-providers-library/releases/go/smithy-dafny-standard-library/Utf8EncodingForm" 74 m_Wrappers "github.com/aws/aws-cryptographic-material-providers-library/releases/go/smithy-dafny-standard-library/Wrappers" 75 m__System "github.com/dafny-lang/DafnyRuntimeGo/v4/System_" 76 _dafny "github.com/dafny-lang/DafnyRuntimeGo/v4/dafny" 77 ) 78 79 var _ = os.Args 80 var _ _dafny.Dummy__ 81 var _ m__System.Dummy__ 82 var _ m_Wrappers.Dummy__ 83 var _ m_BoundedInts.Dummy__ 84 var _ m_StandardLibrary_UInt.Dummy__ 85 var _ m_StandardLibrary_Sequence.Dummy__ 86 var _ m_StandardLibrary_String.Dummy__ 87 var _ m_StandardLibrary.Dummy__ 88 var _ m_AwsCryptographyPrimitivesTypes.Dummy__ 89 var _ m_Random.Dummy__ 90 var _ m_Digest.Dummy__ 91 var _ m_WrappedHMAC.Dummy__ 92 var _ m_HKDF.Dummy__ 93 var _ m_WrappedHKDF.Dummy__ 94 var _ m_KdfCtr.Dummy__ 95 var _ m_AwsCryptographyPrimitivesOperations.Dummy__ 96 var _ m_AtomicPrimitives.Dummy__ 97 var _ m_ComAmazonawsDynamodbTypes.Dummy__ 98 var _ m_ComAmazonawsKmsTypes.Dummy__ 99 var _ m_Relations.Dummy__ 100 var _ m_Seq_MergeSort.Dummy__ 101 var _ m__Math.Dummy__ 102 var _ m_Seq.Dummy__ 103 var _ m__Unicode.Dummy__ 104 var _ m_Functions.Dummy__ 105 var _ m_Utf8EncodingForm.Dummy__ 106 var _ m_Utf16EncodingForm.Dummy__ 107 var _ m_UnicodeStrings.Dummy__ 108 var _ m_FileIO.Dummy__ 109 var _ m_GeneralInternals.Dummy__ 110 var _ m_MulInternalsNonlinear.Dummy__ 111 var _ m_MulInternals.Dummy__ 112 var _ m_Mul.Dummy__ 113 var _ m_ModInternalsNonlinear.Dummy__ 114 var _ m_DivInternalsNonlinear.Dummy__ 115 var _ m_ModInternals.Dummy__ 116 var _ m_DivInternals.Dummy__ 117 var _ m_DivMod.Dummy__ 118 var _ m_Power.Dummy__ 119 var _ m_Logarithm.Dummy__ 120 var _ m_StandardLibraryInterop.Dummy__ 121 var _ m_Streams.Dummy__ 122 var _ m_Sorting.Dummy__ 123 var _ m_HexStrings.Dummy__ 124 var _ m_GetOpt.Dummy__ 125 var _ m_FloatCompare.Dummy__ 126 var _ m_Base64.Dummy__ 127 var _ m_Base64Lemmas.Dummy__ 128 var _ m_Actions.Dummy__ 129 var _ m_AwsCryptographyKeyStoreTypes.Dummy__ 130 var _ m_AwsCryptographyMaterialProvidersTypes.Dummy__ 131 var _ m_AwsArnParsing.Dummy__ 132 var _ m_AwsKmsMrkMatchForDecrypt.Dummy__ 133 var _ m_AwsKmsUtils.Dummy__ 134 var _ m_KeyStoreErrorMessages.Dummy__ 135 var _ m_KmsArn.Dummy__ 136 var _ m_Structure.Dummy__ 137 var _ m_KMSKeystoreOperations.Dummy__ 138 var _ m_DDBKeystoreOperations.Dummy__ 139 var _ m_CreateKeys.Dummy__ 140 var _ m_CreateKeyStoreTable.Dummy__ 141 var _ m_GetKeys.Dummy__ 142 var _ m_AwsCryptographyKeyStoreOperations.Dummy__ 143 var _ m_Com_Amazonaws_Kms.Dummy__ 144 var _ m_Com_Amazonaws_Dynamodb.Dummy__ 145 var _ m_KeyStore.Dummy__ 146 var _ m_AlgorithmSuites.Dummy__ 147 var _ m_Materials.Dummy__ 148 149 type Dummy__ struct{} 150 151 // Definition of trait VerifiableInterface 152 type VerifiableInterface interface { 153 String() string 154 OnDecrypt(input m_AwsCryptographyMaterialProvidersTypes.OnDecryptInput) m_Wrappers.Result 155 OnEncrypt(input m_AwsCryptographyMaterialProvidersTypes.OnEncryptInput) m_Wrappers.Result 156 OnEncrypt_k(input m_AwsCryptographyMaterialProvidersTypes.OnEncryptInput) m_Wrappers.Result 157 OnDecrypt_k(input m_AwsCryptographyMaterialProvidersTypes.OnDecryptInput) m_Wrappers.Result 158 } 159 type CompanionStruct_VerifiableInterface_ struct { 160 TraitID_ *_dafny.TraitID 161 } 162 163 var Companion_VerifiableInterface_ = CompanionStruct_VerifiableInterface_{ 164 TraitID_: &_dafny.TraitID{}, 165 } 166 167 func (CompanionStruct_VerifiableInterface_) CastTo_(x interface{}) VerifiableInterface { 168 var t VerifiableInterface 169 t, _ = x.(VerifiableInterface) 170 return t 171 } 172 173 // End of trait VerifiableInterface