EncryptionContext

Documentation

Index

• Variables
• func Type_ESDKCanonicalEncryptionContext_() _dafny.TypeDescriptor
• func Type_ESDKEncryptionContextPair_() _dafny.TypeDescriptor
• type CompanionStruct_Default___
  • func (_static *CompanionStruct_Default___) GetCanonicalEncryptionContext(encryptionContext _dafny.Map) _dafny.Sequence
  • func (_static *CompanionStruct_Default___) GetEncryptionContext(canonicalEncryptionContext _dafny.Sequence) _dafny.Map
  • func (_static *CompanionStruct_Default___) KeysToSet(pairs _dafny.Sequence) _dafny.Set
  • func (_static *CompanionStruct_Default___) ReadAAD(buffer m_SerializeFunctions.ReadableBuffer) m_Wrappers.Result
  • func (_static *CompanionStruct_Default___) ReadAADPair(buffer m_SerializeFunctions.ReadableBuffer) m_Wrappers.Result
  • func (_static *CompanionStruct_Default___) ReadAADPairs(buffer m_SerializeFunctions.ReadableBuffer, accumulator _dafny.Sequence, ...) m_Wrappers.Result
  • func (_static *CompanionStruct_Default___) ReadAADSection(buffer m_SerializeFunctions.ReadableBuffer) m_Wrappers.Result
  • func (_static *CompanionStruct_Default___) WriteAAD(ec _dafny.Sequence) _dafny.Sequence
  • func (_static *CompanionStruct_Default___) WriteAADPair(pair m_SerializableTypes.Pair) _dafny.Sequence
  • func (_static *CompanionStruct_Default___) WriteAADPairs(ec _dafny.Sequence) _dafny.Sequence
  • func (_static *CompanionStruct_Default___) WriteAADSection(ec _dafny.Sequence) _dafny.Sequence
  • func (_static *CompanionStruct_Default___) WriteEmptyEcOrWriteAAD(ec _dafny.Sequence) _dafny.Sequence
• type CompanionStruct_ESDKCanonicalEncryptionContext_
• type CompanionStruct_ESDKEncryptionContextPair_
  • func (_this *CompanionStruct_ESDKEncryptionContextPair_) Is_(__source m_SerializableTypes.Pair) bool
• 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__
• type ESDKCanonicalEncryptionContext
  • func New_ESDKCanonicalEncryptionContext_() *ESDKCanonicalEncryptionContext
  • func (*ESDKCanonicalEncryptionContext) String() string
• type ESDKEncryptionContextPair
  • func New_ESDKEncryptionContextPair_() *ESDKEncryptionContextPair
  • func (*ESDKEncryptionContextPair) String() string

Variables

var Companion_Default___ = CompanionStruct_Default___{}

var Companion_ESDKCanonicalEncryptionContext_ = CompanionStruct_ESDKCanonicalEncryptionContext_{}

var Companion_ESDKEncryptionContextPair_ = CompanionStruct_ESDKEncryptionContextPair_{}

Functions

func Type_ESDKCanonicalEncryptionContext_

func Type_ESDKCanonicalEncryptionContext_() _dafny.TypeDescriptor

func Type_ESDKEncryptionContextPair_

func Type_ESDKEncryptionContextPair_() _dafny.TypeDescriptor

Types

type CompanionStruct_Default___

type CompanionStruct_Default___ struct {
}

func (*CompanionStruct_Default___) GetCanonicalEncryptionContext

func (_static *CompanionStruct_Default___) GetCanonicalEncryptionContext(encryptionContext _dafny.Map) _dafny.Sequence

func (*CompanionStruct_Default___) GetEncryptionContext

func (_static *CompanionStruct_Default___) GetEncryptionContext(canonicalEncryptionContext _dafny.Sequence) _dafny.Map

func (*CompanionStruct_Default___) KeysToSet

func (_static *CompanionStruct_Default___) KeysToSet(pairs _dafny.Sequence) _dafny.Set

func (*CompanionStruct_Default___) ReadAAD

func (_static *CompanionStruct_Default___) ReadAAD(buffer m_SerializeFunctions.ReadableBuffer) m_Wrappers.Result

func (*CompanionStruct_Default___) ReadAADPair

func (_static *CompanionStruct_Default___) ReadAADPair(buffer m_SerializeFunctions.ReadableBuffer) m_Wrappers.Result

func (*CompanionStruct_Default___) ReadAADPairs

func (_static *CompanionStruct_Default___) ReadAADPairs(buffer m_SerializeFunctions.ReadableBuffer, accumulator _dafny.Sequence, keys _dafny.Set, count uint16, nextPair m_SerializeFunctions.ReadableBuffer) m_Wrappers.Result

func (*CompanionStruct_Default___) ReadAADSection

func (_static *CompanionStruct_Default___) ReadAADSection(buffer m_SerializeFunctions.ReadableBuffer) m_Wrappers.Result

func (*CompanionStruct_Default___) WriteAAD

func (_static *CompanionStruct_Default___) WriteAAD(ec _dafny.Sequence) _dafny.Sequence

func (*CompanionStruct_Default___) WriteAADPair

func (_static *CompanionStruct_Default___) WriteAADPair(pair m_SerializableTypes.Pair) _dafny.Sequence

func (*CompanionStruct_Default___) WriteAADPairs

func (_static *CompanionStruct_Default___) WriteAADPairs(ec _dafny.Sequence) _dafny.Sequence

func (*CompanionStruct_Default___) WriteAADSection

func (_static *CompanionStruct_Default___) WriteAADSection(ec _dafny.Sequence) _dafny.Sequence

func (*CompanionStruct_Default___) WriteEmptyEcOrWriteAAD

func (_static *CompanionStruct_Default___) WriteEmptyEcOrWriteAAD(ec _dafny.Sequence) _dafny.Sequence

type CompanionStruct_ESDKCanonicalEncryptionContext_

type CompanionStruct_ESDKCanonicalEncryptionContext_ struct {
}

type CompanionStruct_ESDKEncryptionContextPair_

type CompanionStruct_ESDKEncryptionContextPair_ struct {
}

func (*CompanionStruct_ESDKEncryptionContextPair_) Is_

func (_this *CompanionStruct_ESDKEncryptionContextPair_) Is_(__source m_SerializableTypes.Pair) bool

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{}

type ESDKCanonicalEncryptionContext

type ESDKCanonicalEncryptionContext struct {
}

Definition of class ESDKCanonicalEncryptionContext

func New_ESDKCanonicalEncryptionContext_

func New_ESDKCanonicalEncryptionContext_() *ESDKCanonicalEncryptionContext

func (*ESDKCanonicalEncryptionContext) String

func (*ESDKCanonicalEncryptionContext) String() string

type ESDKEncryptionContextPair

type ESDKEncryptionContextPair struct {
}

Definition of class ESDKEncryptionContextPair

func New_ESDKEncryptionContextPair_

func New_ESDKEncryptionContextPair_() *ESDKEncryptionContextPair

func (*ESDKEncryptionContextPair) String

func (*ESDKEncryptionContextPair) String() string