AwsArnParsing

package
v0.1.0 Latest Latest
Warning

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

 Go to latest Published: Jan 15, 2025 License: Apache-2.0 Imports: 53 Imported by: 17

Documentation

Index

Constants

This section is empty.

Variables

View Source 
var Companion_AmazonDynamodbResource_ = CompanionStruct_AmazonDynamodbResource_{}
View Source 
var Companion_AmazonDynamodbTableArn_ = CompanionStruct_AmazonDynamodbTableArn_{}
View Source 
var Companion_AmazonDynamodbTableName_ = CompanionStruct_AmazonDynamodbTableName_{}
View Source 
var Companion_AwsArn_ = CompanionStruct_AwsArn_{}
View Source 
var Companion_AwsKmsArn_ = CompanionStruct_AwsKmsArn_{}
View Source 
var Companion_AwsKmsIdentifierString_ = CompanionStruct_AwsKmsIdentifierString_{}
View Source 
var Companion_AwsKmsIdentifier_ = CompanionStruct_AwsKmsIdentifier_{}
View Source 
var Companion_AwsKmsResource_ = CompanionStruct_AwsKmsResource_{}
View Source 
var Companion_AwsResource_ = CompanionStruct_AwsResource_{}
View Source 
var Companion_Default___ = CompanionStruct_Default___{}

Functions

func Type_AmazonDynamodbResource_ 

func Type_AmazonDynamodbResource_() _dafny.TypeDescriptor

func Type_AmazonDynamodbTableArn_ 

func Type_AmazonDynamodbTableArn_() _dafny.TypeDescriptor

func Type_AmazonDynamodbTableName_ 

func Type_AmazonDynamodbTableName_() _dafny.TypeDescriptor

func Type_AwsArn_ 

func Type_AwsArn_() _dafny.TypeDescriptor

func Type_AwsKmsArn_ 

func Type_AwsKmsArn_() _dafny.TypeDescriptor

func Type_AwsKmsIdentifierString_ 

func Type_AwsKmsIdentifierString_() _dafny.TypeDescriptor

func Type_AwsKmsIdentifier_ 

func Type_AwsKmsIdentifier_() _dafny.TypeDescriptor

func Type_AwsKmsResource_ 

func Type_AwsKmsResource_() _dafny.TypeDescriptor

func Type_AwsResource_ 

func Type_AwsResource_() _dafny.TypeDescriptor

Types

type AmazonDynamodbResource 

type AmazonDynamodbResource struct {
}

Definition of class AmazonDynamodbResource

func New_AmazonDynamodbResource_ 

func New_AmazonDynamodbResource_() *AmazonDynamodbResource

func (*AmazonDynamodbResource) String 

func (*AmazonDynamodbResource) String() string

type AmazonDynamodbTableArn 

type AmazonDynamodbTableArn struct {
}

Definition of class AmazonDynamodbTableArn

func New_AmazonDynamodbTableArn_ 

func New_AmazonDynamodbTableArn_() *AmazonDynamodbTableArn

func (*AmazonDynamodbTableArn) String 

func (*AmazonDynamodbTableArn) String() string

type AmazonDynamodbTableName 

type AmazonDynamodbTableName struct {
	Data_AmazonDynamodbTableName_
}

Definition of datatype AmazonDynamodbTableName

func (AmazonDynamodbTableName) Dtor_a 

func (_this AmazonDynamodbTableName) Dtor_a() AwsArn

func (AmazonDynamodbTableName) Equals 

func (_this AmazonDynamodbTableName) Equals(other AmazonDynamodbTableName) bool

func (AmazonDynamodbTableName) EqualsGeneric 

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

func (AmazonDynamodbTableName) GetTableName 

func (_this AmazonDynamodbTableName) GetTableName() _dafny.Sequence

func (AmazonDynamodbTableName) Get_ 

func (_this AmazonDynamodbTableName) Get_() Data_AmazonDynamodbTableName_

func (AmazonDynamodbTableName) Is_AmazonDynamodbTableArn 

func (_this AmazonDynamodbTableName) Is_AmazonDynamodbTableArn() bool

func (AmazonDynamodbTableName) ParentTraits_ 

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

func (AmazonDynamodbTableName) String 

func (_this AmazonDynamodbTableName) String() string

type AmazonDynamodbTableName_AmazonDynamodbTableArn 

type AmazonDynamodbTableName_AmazonDynamodbTableArn struct {
	A AwsArn
}

type AwsArn 

type AwsArn struct {
	Data_AwsArn_
}

Definition of datatype AwsArn

func (AwsArn) Dtor_account 

func (_this AwsArn) Dtor_account() _dafny.Sequence

func (AwsArn) Dtor_arnLiteral 

func (_this AwsArn) Dtor_arnLiteral() _dafny.Sequence

func (AwsArn) Dtor_partition 

func (_this AwsArn) Dtor_partition() _dafny.Sequence

func (AwsArn) Dtor_region 

func (_this AwsArn) Dtor_region() _dafny.Sequence

func (AwsArn) Dtor_resource 

func (_this AwsArn) Dtor_resource() AwsResource

func (AwsArn) Dtor_service 

func (_this AwsArn) Dtor_service() _dafny.Sequence

func (AwsArn) Equals 

func (_this AwsArn) Equals(other AwsArn) bool

func (AwsArn) EqualsGeneric 

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

func (AwsArn) Get_ 

func (_this AwsArn) Get_() Data_AwsArn_

func (AwsArn) Is_AwsArn 

func (_this AwsArn) Is_AwsArn() bool

func (AwsArn) ParentTraits_ 

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

func (AwsArn) String 

func (_this AwsArn) String() string

func (AwsArn) ToArnString 

func (_this AwsArn) ToArnString(customRegion m_Wrappers.Option) _dafny.Sequence

func (AwsArn) ToString 

func (_this AwsArn) ToString() _dafny.Sequence

func (AwsArn) Valid 

func (_this AwsArn) Valid() bool

type AwsArn_AwsArn 

type AwsArn_AwsArn struct {
	ArnLiteral _dafny.Sequence
	Partition  _dafny.Sequence
	Service    _dafny.Sequence
	Region     _dafny.Sequence
	Account    _dafny.Sequence
	Resource   AwsResource
}

type AwsKmsArn 

type AwsKmsArn struct {
}

Definition of class AwsKmsArn

func New_AwsKmsArn_ 

func New_AwsKmsArn_() *AwsKmsArn

func (*AwsKmsArn) String 

func (*AwsKmsArn) String() string

type AwsKmsIdentifier 

type AwsKmsIdentifier struct {
	Data_AwsKmsIdentifier_
}

Definition of datatype AwsKmsIdentifier

func (AwsKmsIdentifier) Dtor_a 

func (_this AwsKmsIdentifier) Dtor_a() AwsArn

func (AwsKmsIdentifier) Dtor_r 

func (_this AwsKmsIdentifier) Dtor_r() AwsResource

func (AwsKmsIdentifier) Equals 

func (_this AwsKmsIdentifier) Equals(other AwsKmsIdentifier) bool

func (AwsKmsIdentifier) EqualsGeneric 

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

func (AwsKmsIdentifier) Get_ 

func (_this AwsKmsIdentifier) Get_() Data_AwsKmsIdentifier_

func (AwsKmsIdentifier) Is_AwsKmsArnIdentifier 

func (_this AwsKmsIdentifier) Is_AwsKmsArnIdentifier() bool

func (AwsKmsIdentifier) Is_AwsKmsRawResourceIdentifier 

func (_this AwsKmsIdentifier) Is_AwsKmsRawResourceIdentifier() bool

func (AwsKmsIdentifier) ParentTraits_ 

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

func (AwsKmsIdentifier) String 

func (_this AwsKmsIdentifier) String() string

func (AwsKmsIdentifier) ToString 

func (_this AwsKmsIdentifier) ToString() _dafny.Sequence

type AwsKmsIdentifierString 

type AwsKmsIdentifierString struct {
}

Definition of class AwsKmsIdentifierString

func New_AwsKmsIdentifierString_ 

func New_AwsKmsIdentifierString_() *AwsKmsIdentifierString

func (*AwsKmsIdentifierString) String 

func (*AwsKmsIdentifierString) String() string

type AwsKmsIdentifier_AwsKmsArnIdentifier 

type AwsKmsIdentifier_AwsKmsArnIdentifier struct {
	A AwsArn
}

type AwsKmsIdentifier_AwsKmsRawResourceIdentifier 

type AwsKmsIdentifier_AwsKmsRawResourceIdentifier struct {
	R AwsResource
}

type AwsKmsResource 

type AwsKmsResource struct {
}

Definition of class AwsKmsResource

func New_AwsKmsResource_ 

func New_AwsKmsResource_() *AwsKmsResource

func (*AwsKmsResource) String 

func (*AwsKmsResource) String() string

type AwsResource 

type AwsResource struct {
	Data_AwsResource_
}

Definition of datatype AwsResource

func (AwsResource) Dtor_resourceType 

func (_this AwsResource) Dtor_resourceType() _dafny.Sequence

func (AwsResource) Dtor_value 

func (_this AwsResource) Dtor_value() _dafny.Sequence

func (AwsResource) Equals 

func (_this AwsResource) Equals(other AwsResource) bool

func (AwsResource) EqualsGeneric 

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

func (AwsResource) Get_ 

func (_this AwsResource) Get_() Data_AwsResource_

func (AwsResource) Is_AwsResource 

func (_this AwsResource) Is_AwsResource() bool

func (AwsResource) ParentTraits_ 

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

func (AwsResource) String 

func (_this AwsResource) String() string

func (AwsResource) ToString 

func (_this AwsResource) ToString() _dafny.Sequence

func (AwsResource) Valid 

func (_this AwsResource) Valid() bool

type AwsResource_AwsResource 

type AwsResource_AwsResource struct {
	ResourceType _dafny.Sequence
	Value        _dafny.Sequence
}

type CompanionStruct_AmazonDynamodbResource_ 

type CompanionStruct_AmazonDynamodbResource_ struct {
}

func (*CompanionStruct_AmazonDynamodbResource_) Is_ 

func (_this *CompanionStruct_AmazonDynamodbResource_) Is_(__source AwsResource) bool

type CompanionStruct_AmazonDynamodbTableArn_ 

type CompanionStruct_AmazonDynamodbTableArn_ struct {
}

func (*CompanionStruct_AmazonDynamodbTableArn_) Is_ 

func (_this *CompanionStruct_AmazonDynamodbTableArn_) Is_(__source AwsArn) bool

type CompanionStruct_AmazonDynamodbTableName_ 

type CompanionStruct_AmazonDynamodbTableName_ struct {
}

func (CompanionStruct_AmazonDynamodbTableName_) Create_AmazonDynamodbTableArn_ 

func (CompanionStruct_AmazonDynamodbTableName_) Create_AmazonDynamodbTableArn_(A AwsArn) AmazonDynamodbTableName

func (CompanionStruct_AmazonDynamodbTableName_) Default 

func (CompanionStruct_AmazonDynamodbTableName_) Default() AmazonDynamodbTableName

type CompanionStruct_AwsArn_ 

type CompanionStruct_AwsArn_ struct {
}

func (CompanionStruct_AwsArn_) Create_AwsArn_ 

func (CompanionStruct_AwsArn_) Create_AwsArn_(ArnLiteral _dafny.Sequence, Partition _dafny.Sequence, Service _dafny.Sequence, Region _dafny.Sequence, Account _dafny.Sequence, Resource AwsResource) AwsArn

func (CompanionStruct_AwsArn_) Default 

func (CompanionStruct_AwsArn_) Default() AwsArn

type CompanionStruct_AwsKmsArn_ 

type CompanionStruct_AwsKmsArn_ struct {
}

func (*CompanionStruct_AwsKmsArn_) Is_ 

func (_this *CompanionStruct_AwsKmsArn_) Is_(__source AwsArn) bool

type CompanionStruct_AwsKmsIdentifierString_ 

type CompanionStruct_AwsKmsIdentifierString_ struct {
}

func (*CompanionStruct_AwsKmsIdentifierString_) Is_ 

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

type CompanionStruct_AwsKmsIdentifier_ 

type CompanionStruct_AwsKmsIdentifier_ struct {
}

func (CompanionStruct_AwsKmsIdentifier_) Create_AwsKmsArnIdentifier_ 

func (CompanionStruct_AwsKmsIdentifier_) Create_AwsKmsArnIdentifier_(A AwsArn) AwsKmsIdentifier

func (CompanionStruct_AwsKmsIdentifier_) Create_AwsKmsRawResourceIdentifier_ 

func (CompanionStruct_AwsKmsIdentifier_) Create_AwsKmsRawResourceIdentifier_(R AwsResource) AwsKmsIdentifier

func (CompanionStruct_AwsKmsIdentifier_) Default 

func (CompanionStruct_AwsKmsIdentifier_) Default() AwsKmsIdentifier

type CompanionStruct_AwsKmsResource_ 

type CompanionStruct_AwsKmsResource_ struct {
}

func (*CompanionStruct_AwsKmsResource_) Is_ 

func (_this *CompanionStruct_AwsKmsResource_) Is_(__source AwsResource) bool

type CompanionStruct_AwsResource_ 

type CompanionStruct_AwsResource_ struct {
}

func (CompanionStruct_AwsResource_) Create_AwsResource_ 

func (CompanionStruct_AwsResource_) Create_AwsResource_(ResourceType _dafny.Sequence, Value _dafny.Sequence) AwsResource

func (CompanionStruct_AwsResource_) Default 

func (CompanionStruct_AwsResource_) Default() AwsResource

type CompanionStruct_Default___ 

type CompanionStruct_Default___ struct {
}

func (*CompanionStruct_Default___) Error 

func (_static *CompanionStruct_Default___) Error(s _dafny.Sequence) m_AwsCryptographyMaterialProvidersTypes.Error

func (*CompanionStruct_Default___) GetRegion 

func (_static *CompanionStruct_Default___) GetRegion(identifier AwsKmsIdentifier) m_Wrappers.Option

func (*CompanionStruct_Default___) IsAwsKmsIdentifierString 

func (_static *CompanionStruct_Default___) IsAwsKmsIdentifierString(s _dafny.Sequence) m_Wrappers.Result

func (*CompanionStruct_Default___) IsMultiRegionAwsKmsArn 

func (_static *CompanionStruct_Default___) IsMultiRegionAwsKmsArn(arn AwsArn) bool

func (*CompanionStruct_Default___) IsMultiRegionAwsKmsIdentifier 

func (_static *CompanionStruct_Default___) IsMultiRegionAwsKmsIdentifier(identifier AwsKmsIdentifier) bool

func (*CompanionStruct_Default___) IsMultiRegionAwsKmsResource 

func (_static *CompanionStruct_Default___) IsMultiRegionAwsKmsResource(resource AwsResource) bool

func (*CompanionStruct_Default___) MAX__AWS__KMS__IDENTIFIER__LENGTH 

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

func (*CompanionStruct_Default___) ParseAmazonDynamodbResources 

func (_static *CompanionStruct_Default___) ParseAmazonDynamodbResources(identifier _dafny.Sequence) m_Wrappers.Result

func (*CompanionStruct_Default___) ParseAmazonDynamodbTableArn 

func (_static *CompanionStruct_Default___) ParseAmazonDynamodbTableArn(identifier _dafny.Sequence) m_Wrappers.Result

func (*CompanionStruct_Default___) ParseAmazonDynamodbTableName 

func (_static *CompanionStruct_Default___) ParseAmazonDynamodbTableName(identifier _dafny.Sequence) m_Wrappers.Result

func (*CompanionStruct_Default___) ParseAwsKmsArn 

func (_static *CompanionStruct_Default___) ParseAwsKmsArn(identifier _dafny.Sequence) m_Wrappers.Result

func (*CompanionStruct_Default___) ParseAwsKmsIdentifier 

func (_static *CompanionStruct_Default___) ParseAwsKmsIdentifier(identifier _dafny.Sequence) m_Wrappers.Result

func (*CompanionStruct_Default___) ParseAwsKmsRawResources 

func (_static *CompanionStruct_Default___) ParseAwsKmsRawResources(identifier _dafny.Sequence) m_Wrappers.Result

func (*CompanionStruct_Default___) ParseAwsKmsResources 

func (_static *CompanionStruct_Default___) ParseAwsKmsResources(identifier _dafny.Sequence) m_Wrappers.Result

func (*CompanionStruct_Default___) ValidAmazonDynamodbArn 

func (_static *CompanionStruct_Default___) ValidAmazonDynamodbArn(arn AwsArn) bool

func (*CompanionStruct_Default___) ValidAmazonDynamodbResource 

func (_static *CompanionStruct_Default___) ValidAmazonDynamodbResource(resource AwsResource) bool

func (*CompanionStruct_Default___) ValidAwsKmsArn 

func (_static *CompanionStruct_Default___) ValidAwsKmsArn(arn AwsArn) bool

func (*CompanionStruct_Default___) ValidAwsKmsResource 

func (_static *CompanionStruct_Default___) ValidAwsKmsResource(resource AwsResource) bool

func (*CompanionStruct_Default___) ValidateDdbTableArn 

func (_static *CompanionStruct_Default___) ValidateDdbTableArn(tableArn _dafny.Sequence) m_Wrappers.Result

type Data_AmazonDynamodbTableName_ 

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

type Data_AwsArn_ 

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

type Data_AwsKmsIdentifier_ 

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

type Data_AwsResource_ 

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

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.