HeaderTypes

package
v0.2.0 Latest Latest
Warning

This package is not in the latest version of its module.

 Go to latest Published: Mar 21, 2025 License: Apache-2.0 Imports: 111 Imported by: 0

Documentation

Index

Constants

This section is empty.

Variables

View Source 
var Companion_ContentType_ = CompanionStruct_ContentType_{}
View Source 
var Companion_Default___ = CompanionStruct_Default___{}
View Source 
var Companion_ESDKAlgorithmSuite_ = CompanionStruct_ESDKAlgorithmSuite_{}
View Source 
var Companion_HeaderAuth_ = CompanionStruct_HeaderAuth_{}
View Source 
var Companion_HeaderBody_ = CompanionStruct_HeaderBody_{}
View Source 
var Companion_MessageFormatVersion_ = CompanionStruct_MessageFormatVersion_{}
View Source 
var Companion_MessageId_ = CompanionStruct_MessageId_{}
View Source 
var Companion_MessageType_ = CompanionStruct_MessageType_{}

Functions

func Type_ContentType_ 

func Type_ContentType_() _dafny.TypeDescriptor

func Type_ESDKAlgorithmSuite_ 

func Type_ESDKAlgorithmSuite_() _dafny.TypeDescriptor

func Type_HeaderAuth_ 

func Type_HeaderAuth_() _dafny.TypeDescriptor

func Type_HeaderBody_ 

func Type_HeaderBody_() _dafny.TypeDescriptor

func Type_MessageFormatVersion_ 

func Type_MessageFormatVersion_() _dafny.TypeDescriptor

func Type_MessageId_ 

func Type_MessageId_() _dafny.TypeDescriptor

func Type_MessageType_ 

func Type_MessageType_() _dafny.TypeDescriptor

Types

type CompanionStruct_ContentType_ 

type CompanionStruct_ContentType_ struct {
}

func (CompanionStruct_ContentType_) AllSingletonConstructors 

func (_ CompanionStruct_ContentType_) AllSingletonConstructors() _dafny.Iterator

func (CompanionStruct_ContentType_) Create_Framed_ 

func (CompanionStruct_ContentType_) Create_Framed_() ContentType

func (CompanionStruct_ContentType_) Create_NonFramed_ 

func (CompanionStruct_ContentType_) Create_NonFramed_() ContentType

func (CompanionStruct_ContentType_) Default 

func (CompanionStruct_ContentType_) Default() ContentType

func (CompanionStruct_ContentType_) Get 

func (_static CompanionStruct_ContentType_) Get(x uint8) m_Wrappers.Result

type CompanionStruct_Default___ 

type CompanionStruct_Default___ struct {
}

func (*CompanionStruct_Default___) MESSAGE__ID__LEN__V1 

func (_static *CompanionStruct_Default___) MESSAGE__ID__LEN__V1() _dafny.Int

func (*CompanionStruct_Default___) MESSAGE__ID__LEN__V2 

func (_static *CompanionStruct_Default___) MESSAGE__ID__LEN__V2() _dafny.Int

type CompanionStruct_ESDKAlgorithmSuite_ 

type CompanionStruct_ESDKAlgorithmSuite_ struct {
}

type CompanionStruct_HeaderAuth_ 

type CompanionStruct_HeaderAuth_ struct {
}

func (CompanionStruct_HeaderAuth_) Create_AESMac_ 

func (CompanionStruct_HeaderAuth_) Create_AESMac_(HeaderIv _dafny.Sequence, HeaderAuthTag _dafny.Sequence) HeaderAuth

func (CompanionStruct_HeaderAuth_) Default 

func (CompanionStruct_HeaderAuth_) Default() HeaderAuth

type CompanionStruct_HeaderBody_ 

type CompanionStruct_HeaderBody_ struct {
}

func (CompanionStruct_HeaderBody_) Create_V1HeaderBody_ 

func (CompanionStruct_HeaderBody_) Create_V1HeaderBody_(MessageType MessageType, AlgorithmSuite m_AwsCryptographyMaterialProvidersTypes.AlgorithmSuiteInfo, MessageId _dafny.Sequence, EncryptionContext _dafny.Sequence, EncryptedDataKeys _dafny.Sequence, ContentType ContentType, HeaderIvLength _dafny.Int, FrameLength uint32) HeaderBody

func (CompanionStruct_HeaderBody_) Create_V2HeaderBody_ 

func (CompanionStruct_HeaderBody_) Create_V2HeaderBody_(AlgorithmSuite m_AwsCryptographyMaterialProvidersTypes.AlgorithmSuiteInfo, MessageId _dafny.Sequence, EncryptionContext _dafny.Sequence, EncryptedDataKeys _dafny.Sequence, ContentType ContentType, FrameLength uint32, SuiteData _dafny.Sequence) HeaderBody

func (CompanionStruct_HeaderBody_) Default 

func (CompanionStruct_HeaderBody_) Default() HeaderBody

type CompanionStruct_MessageFormatVersion_ 

type CompanionStruct_MessageFormatVersion_ struct {
}

func (CompanionStruct_MessageFormatVersion_) AllSingletonConstructors 

func (_ CompanionStruct_MessageFormatVersion_) AllSingletonConstructors() _dafny.Iterator

func (CompanionStruct_MessageFormatVersion_) Create_V1_ 

func (CompanionStruct_MessageFormatVersion_) Create_V1_() MessageFormatVersion

func (CompanionStruct_MessageFormatVersion_) Create_V2_ 

func (CompanionStruct_MessageFormatVersion_) Create_V2_() MessageFormatVersion

func (CompanionStruct_MessageFormatVersion_) Default 

func (CompanionStruct_MessageFormatVersion_) Default() MessageFormatVersion

func (CompanionStruct_MessageFormatVersion_) Get 

func (_static CompanionStruct_MessageFormatVersion_) Get(x _dafny.Sequence) m_Wrappers.Result

type CompanionStruct_MessageId_ 

type CompanionStruct_MessageId_ struct {
}

func (*CompanionStruct_MessageId_) Is_ 

func (_this *CompanionStruct_MessageId_) Is_(__source _dafny.Sequence) bool

type CompanionStruct_MessageType_ 

type CompanionStruct_MessageType_ struct {
}

func (CompanionStruct_MessageType_) AllSingletonConstructors 

func (_ CompanionStruct_MessageType_) AllSingletonConstructors() _dafny.Iterator

func (CompanionStruct_MessageType_) Create_TYPE__CUSTOMER__AED_ 

func (CompanionStruct_MessageType_) Create_TYPE__CUSTOMER__AED_() MessageType

func (CompanionStruct_MessageType_) Default 

func (CompanionStruct_MessageType_) Default() MessageType

func (CompanionStruct_MessageType_) Get 

func (_static CompanionStruct_MessageType_) Get(x uint8) m_Wrappers.Result

type ContentType 

type ContentType struct {
	Data_ContentType_
}

Definition of datatype ContentType

func (ContentType) Equals 

func (_this ContentType) Equals(other ContentType) bool

func (ContentType) EqualsGeneric 

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

func (ContentType) Get_ 

func (_this ContentType) Get_() Data_ContentType_

func (ContentType) Is_Framed 

func (_this ContentType) Is_Framed() bool

func (ContentType) Is_NonFramed 

func (_this ContentType) Is_NonFramed() bool

func (ContentType) ParentTraits_ 

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

func (ContentType) Serialize 

func (_this ContentType) Serialize() uint8

func (ContentType) String 

func (_this ContentType) String() string

type ContentType_Framed 

type ContentType_Framed struct {
}

type ContentType_NonFramed 

type ContentType_NonFramed struct {
}

type Data_ContentType_ 

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

type Data_HeaderAuth_ 

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

type Data_HeaderBody_ 

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

type Data_MessageFormatVersion_ 

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

type Data_MessageType_ 

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

type ESDKAlgorithmSuite 

type ESDKAlgorithmSuite struct {
}

Definition of class ESDKAlgorithmSuite

func New_ESDKAlgorithmSuite_ 

func New_ESDKAlgorithmSuite_() *ESDKAlgorithmSuite

func (*ESDKAlgorithmSuite) String 

func (*ESDKAlgorithmSuite) String() string

type HeaderAuth 

type HeaderAuth struct {
	Data_HeaderAuth_
}

Definition of datatype HeaderAuth

func (HeaderAuth) Dtor_headerAuthTag 

func (_this HeaderAuth) Dtor_headerAuthTag() _dafny.Sequence

func (HeaderAuth) Dtor_headerIv 

func (_this HeaderAuth) Dtor_headerIv() _dafny.Sequence

func (HeaderAuth) Equals 

func (_this HeaderAuth) Equals(other HeaderAuth) bool

func (HeaderAuth) EqualsGeneric 

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

func (HeaderAuth) Get_ 

func (_this HeaderAuth) Get_() Data_HeaderAuth_

func (HeaderAuth) Is_AESMac 

func (_this HeaderAuth) Is_AESMac() bool

func (HeaderAuth) ParentTraits_ 

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

func (HeaderAuth) String 

func (_this HeaderAuth) String() string

type HeaderAuth_AESMac 

type HeaderAuth_AESMac struct {
	HeaderIv      _dafny.Sequence
	HeaderAuthTag _dafny.Sequence
}

type HeaderBody 

type HeaderBody struct {
	Data_HeaderBody_
}

Definition of datatype HeaderBody

func (HeaderBody) Dtor_algorithmSuite 

func (_this HeaderBody) Dtor_algorithmSuite() m_AwsCryptographyMaterialProvidersTypes.AlgorithmSuiteInfo

func (HeaderBody) Dtor_contentType 

func (_this HeaderBody) Dtor_contentType() ContentType

func (HeaderBody) Dtor_encryptedDataKeys 

func (_this HeaderBody) Dtor_encryptedDataKeys() _dafny.Sequence

func (HeaderBody) Dtor_encryptionContext 

func (_this HeaderBody) Dtor_encryptionContext() _dafny.Sequence

func (HeaderBody) Dtor_frameLength 

func (_this HeaderBody) Dtor_frameLength() uint32

func (HeaderBody) Dtor_headerIvLength 

func (_this HeaderBody) Dtor_headerIvLength() _dafny.Int

func (HeaderBody) Dtor_messageId 

func (_this HeaderBody) Dtor_messageId() _dafny.Sequence

func (HeaderBody) Dtor_messageType 

func (_this HeaderBody) Dtor_messageType() MessageType

func (HeaderBody) Dtor_suiteData 

func (_this HeaderBody) Dtor_suiteData() _dafny.Sequence

func (HeaderBody) Equals 

func (_this HeaderBody) Equals(other HeaderBody) bool

func (HeaderBody) EqualsGeneric 

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

func (HeaderBody) Get_ 

func (_this HeaderBody) Get_() Data_HeaderBody_

func (HeaderBody) Is_V1HeaderBody 

func (_this HeaderBody) Is_V1HeaderBody() bool

func (HeaderBody) Is_V2HeaderBody 

func (_this HeaderBody) Is_V2HeaderBody() bool

func (HeaderBody) ParentTraits_ 

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

func (HeaderBody) String 

func (_this HeaderBody) String() string

type HeaderBody_V1HeaderBody 

type HeaderBody_V1HeaderBody struct {
	MessageType       MessageType
	AlgorithmSuite    m_AwsCryptographyMaterialProvidersTypes.AlgorithmSuiteInfo
	MessageId         _dafny.Sequence
	EncryptionContext _dafny.Sequence
	EncryptedDataKeys _dafny.Sequence
	ContentType       ContentType
	HeaderIvLength    _dafny.Int
	FrameLength       uint32
}

type HeaderBody_V2HeaderBody 

type HeaderBody_V2HeaderBody struct {
	AlgorithmSuite    m_AwsCryptographyMaterialProvidersTypes.AlgorithmSuiteInfo
	MessageId         _dafny.Sequence
	EncryptionContext _dafny.Sequence
	EncryptedDataKeys _dafny.Sequence
	ContentType       ContentType
	FrameLength       uint32
	SuiteData         _dafny.Sequence
}

type MessageFormatVersion 

type MessageFormatVersion struct {
	Data_MessageFormatVersion_
}

Definition of datatype MessageFormatVersion

func (MessageFormatVersion) Equals 

func (_this MessageFormatVersion) Equals(other MessageFormatVersion) bool

func (MessageFormatVersion) EqualsGeneric 

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

func (MessageFormatVersion) Get_ 

func (_this MessageFormatVersion) Get_() Data_MessageFormatVersion_

func (MessageFormatVersion) Is_V1 

func (_this MessageFormatVersion) Is_V1() bool

func (MessageFormatVersion) Is_V2 

func (_this MessageFormatVersion) Is_V2() bool

func (MessageFormatVersion) ParentTraits_ 

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

func (MessageFormatVersion) Serialize 

func (_this MessageFormatVersion) Serialize() _dafny.Sequence

func (MessageFormatVersion) String 

func (_this MessageFormatVersion) String() string

type MessageFormatVersion_V1 

type MessageFormatVersion_V1 struct {
}

type MessageFormatVersion_V2 

type MessageFormatVersion_V2 struct {
}

type MessageId 

type MessageId struct {
}

Definition of class MessageId

func New_MessageId_ 

func New_MessageId_() *MessageId

func (*MessageId) String 

func (*MessageId) String() string

type MessageType 

type MessageType struct {
	Data_MessageType_
}

Definition of datatype MessageType

func (MessageType) Equals 

func (_this MessageType) Equals(other MessageType) bool

func (MessageType) EqualsGeneric 

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

func (MessageType) Get_ 

func (_this MessageType) Get_() Data_MessageType_

func (MessageType) Is_TYPE__CUSTOMER__AED 

func (_this MessageType) Is_TYPE__CUSTOMER__AED() bool

func (MessageType) ParentTraits_ 

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

func (MessageType) Serialize 

func (_this MessageType) Serialize() uint8

func (MessageType) String 

func (_this MessageType) String() string

type MessageType_TYPE__CUSTOMER__AED 

type MessageType_TYPE__CUSTOMER__AED struct {
}

Source Files

View all Source files

Jump to

Keyboard shortcuts

? : This menu
/ : Search site
f or F : Jump to
y or Y : Canonical URL
go.dev uses cookies from Google to deliver and enhance the quality of its services and to analyze traffic. Learn more.