AwsCryptographyKeyStoreOperations

Documentation

Index

• Variables
• func Type_Config_() _dafny.TypeDescriptor
• type CompanionStruct_Config_
  • func (CompanionStruct_Config_) Create_Config_(Id _dafny.Sequence, DdbTableName _dafny.Sequence, ...) Config
  • func (CompanionStruct_Config_) Default() Config
• type CompanionStruct_Default___
  • func (_static *CompanionStruct_Default___) CreateKey(config Config, input m_AwsCryptographyKeyStoreTypes.CreateKeyInput) m_Wrappers.Result
  • func (_static *CompanionStruct_Default___) CreateKeyStore(config Config, input m_AwsCryptographyKeyStoreTypes.CreateKeyStoreInput) m_Wrappers.Result
  • func (_static *CompanionStruct_Default___) GetActiveBranchKey(config Config, input m_AwsCryptographyKeyStoreTypes.GetActiveBranchKeyInput) m_Wrappers.Result
  • func (_static *CompanionStruct_Default___) GetBeaconKey(config Config, input m_AwsCryptographyKeyStoreTypes.GetBeaconKeyInput) m_Wrappers.Result
  • func (_static *CompanionStruct_Default___) GetBranchKeyVersion(config Config, input m_AwsCryptographyKeyStoreTypes.GetBranchKeyVersionInput) m_Wrappers.Result
  • func (_static *CompanionStruct_Default___) GetKeyStoreInfo(config Config) m_Wrappers.Result
  • func (_static *CompanionStruct_Default___) VersionKey(config Config, input m_AwsCryptographyKeyStoreTypes.VersionKeyInput) m_Wrappers.Result
• type Config
  • func (_this Config) Dtor_ddbClient() m_ComAmazonawsDynamodbTypes.IDynamoDBClient
  • func (_this Config) Dtor_ddbTableName() _dafny.Sequence
  • func (_this Config) Dtor_grantTokens() _dafny.Sequence
  • func (_this Config) Dtor_id() _dafny.Sequence
  • func (_this Config) Dtor_kmsClient() m_ComAmazonawsKmsTypes.IKMSClient
  • func (_this Config) Dtor_kmsConfiguration() m_AwsCryptographyKeyStoreTypes.KMSConfiguration
  • func (_this Config) Dtor_logicalKeyStoreName() _dafny.Sequence
  • func (_this Config) Equals(other Config) bool
  • func (_this Config) EqualsGeneric(other interface{}) bool
  • func (_this Config) Get_() Data_Config_
  • func (_this Config) Is_Config() bool
  • func (_this Config) ParentTraits_() []*_dafny.TraitID
  • func (_this Config) String() string
• type Config_Config
• type Data_Config_
• type Default__
  • func New_Default___() *Default__
  • func (_this *Default__) Equals(other *Default__) bool
  • func (_this *Default__) EqualsGeneric(x interface{}) bool
  • func (_this *Default__) ParentTraits_() []*_dafny.TraitID
  • func (*Default__) String() string
• type Dummy__

Variables

var Companion_Config_ = CompanionStruct_Config_{}

var Companion_Default___ = CompanionStruct_Default___{}

Functions

func Type_Config_

func Type_Config_() _dafny.TypeDescriptor

Types

type CompanionStruct_Config_

type CompanionStruct_Config_ struct {
}

func (CompanionStruct_Config_) Create_Config_

func (CompanionStruct_Config_) Create_Config_(Id _dafny.Sequence, DdbTableName _dafny.Sequence, LogicalKeyStoreName _dafny.Sequence, KmsConfiguration m_AwsCryptographyKeyStoreTypes.KMSConfiguration, GrantTokens _dafny.Sequence, KmsClient m_ComAmazonawsKmsTypes.IKMSClient, DdbClient m_ComAmazonawsDynamodbTypes.IDynamoDBClient) Config

func (CompanionStruct_Config_) Default

func (CompanionStruct_Config_) Default() Config

type CompanionStruct_Default___

type CompanionStruct_Default___ struct {
}

func (*CompanionStruct_Default___) CreateKey

func (_static *CompanionStruct_Default___) CreateKey(config Config, input m_AwsCryptographyKeyStoreTypes.CreateKeyInput) m_Wrappers.Result

func (*CompanionStruct_Default___) CreateKeyStore

func (_static *CompanionStruct_Default___) CreateKeyStore(config Config, input m_AwsCryptographyKeyStoreTypes.CreateKeyStoreInput) m_Wrappers.Result

func (*CompanionStruct_Default___) GetActiveBranchKey

func (_static *CompanionStruct_Default___) GetActiveBranchKey(config Config, input m_AwsCryptographyKeyStoreTypes.GetActiveBranchKeyInput) m_Wrappers.Result

func (*CompanionStruct_Default___) GetBeaconKey

func (_static *CompanionStruct_Default___) GetBeaconKey(config Config, input m_AwsCryptographyKeyStoreTypes.GetBeaconKeyInput) m_Wrappers.Result

func (*CompanionStruct_Default___) GetBranchKeyVersion

func (_static *CompanionStruct_Default___) GetBranchKeyVersion(config Config, input m_AwsCryptographyKeyStoreTypes.GetBranchKeyVersionInput) m_Wrappers.Result

func (*CompanionStruct_Default___) GetKeyStoreInfo

func (_static *CompanionStruct_Default___) GetKeyStoreInfo(config Config) m_Wrappers.Result

func (*CompanionStruct_Default___) VersionKey

func (_static *CompanionStruct_Default___) VersionKey(config Config, input m_AwsCryptographyKeyStoreTypes.VersionKeyInput) m_Wrappers.Result

type Config

type Config struct {
	Data_Config_
}

Definition of datatype Config

func (Config) Dtor_ddbClient

func (_this Config) Dtor_ddbClient() m_ComAmazonawsDynamodbTypes.IDynamoDBClient

func (Config) Dtor_ddbTableName

func (_this Config) Dtor_ddbTableName() _dafny.Sequence

func (Config) Dtor_grantTokens

func (_this Config) Dtor_grantTokens() _dafny.Sequence

func (Config) Dtor_id

func (_this Config) Dtor_id() _dafny.Sequence

func (Config) Dtor_kmsClient

func (_this Config) Dtor_kmsClient() m_ComAmazonawsKmsTypes.IKMSClient

func (Config) Dtor_kmsConfiguration

func (_this Config) Dtor_kmsConfiguration() m_AwsCryptographyKeyStoreTypes.KMSConfiguration

func (Config) Dtor_logicalKeyStoreName

func (_this Config) Dtor_logicalKeyStoreName() _dafny.Sequence

func (Config) Equals

func (_this Config) Equals(other Config) bool

func (Config) EqualsGeneric

func (_this Config) EqualsGeneric(other interface{}) bool

func (Config) Get_

func (_this Config) Get_() Data_Config_

func (Config) Is_Config

func (_this Config) Is_Config() bool

func (Config) ParentTraits_

func (_this Config) ParentTraits_() []*_dafny.TraitID

func (Config) String

func (_this Config) String() string

type Config_Config

type Config_Config struct {
	Id                  _dafny.Sequence
	DdbTableName        _dafny.Sequence
	LogicalKeyStoreName _dafny.Sequence
	KmsConfiguration    m_AwsCryptographyKeyStoreTypes.KMSConfiguration
	GrantTokens         _dafny.Sequence
	KmsClient           m_ComAmazonawsKmsTypes.IKMSClient
	DdbClient           m_ComAmazonawsDynamodbTypes.IDynamoDBClient
}

type Data_Config_

type Data_Config_ interface {
	// contains filtered or unexported methods
}

type Default__

type Default__ struct {
	// contains filtered or unexported fields
}

Definition of class Default__

func New_Default___

func New_Default___() *Default__

func (*Default__) Equals

func (_this *Default__) Equals(other *Default__) bool

func (*Default__) EqualsGeneric

func (_this *Default__) EqualsGeneric(x interface{}) bool

func (*Default__) ParentTraits_

func (_this *Default__) ParentTraits_() []*_dafny.TraitID

func (*Default__) String

func (*Default__) String() string

type Dummy__

type Dummy__ struct{}