Utf16EncodingForm

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: 12 Imported by: 93

Documentation

Index

Constants

This section is empty.

Variables

View Source 
var Companion_Default___ = CompanionStruct_Default___{}
View Source 
var Companion_MinimalWellFormedCodeUnitSeq_ = CompanionStruct_MinimalWellFormedCodeUnitSeq_{}
View Source 
var Companion_WellFormedCodeUnitSeq_ = CompanionStruct_WellFormedCodeUnitSeq_{}

Functions

func Type_MinimalWellFormedCodeUnitSeq_ 

func Type_MinimalWellFormedCodeUnitSeq_() _dafny.TypeDescriptor

func Type_WellFormedCodeUnitSeq_ 

func Type_WellFormedCodeUnitSeq_() _dafny.TypeDescriptor

Types

type CompanionStruct_Default___ 

type CompanionStruct_Default___ struct {
}

func (*CompanionStruct_Default___) DecodeCodeUnitSequence 

func (_static *CompanionStruct_Default___) DecodeCodeUnitSequence(s _dafny.Sequence) _dafny.Sequence

func (*CompanionStruct_Default___) DecodeCodeUnitSequenceChecked 

func (_static *CompanionStruct_Default___) DecodeCodeUnitSequenceChecked(s _dafny.Sequence) m_Wrappers.Option

func (*CompanionStruct_Default___) DecodeMinimalWellFormedCodeUnitSubsequence 

func (_static *CompanionStruct_Default___) DecodeMinimalWellFormedCodeUnitSubsequence(m _dafny.Sequence) uint32

func (*CompanionStruct_Default___) DecodeMinimalWellFormedCodeUnitSubsequenceDoubleWord 

func (_static *CompanionStruct_Default___) DecodeMinimalWellFormedCodeUnitSubsequenceDoubleWord(m _dafny.Sequence) uint32

func (*CompanionStruct_Default___) DecodeMinimalWellFormedCodeUnitSubsequenceSingleWord 

func (_static *CompanionStruct_Default___) DecodeMinimalWellFormedCodeUnitSubsequenceSingleWord(m _dafny.Sequence) uint32

func (*CompanionStruct_Default___) EncodeScalarSequence 

func (_static *CompanionStruct_Default___) EncodeScalarSequence(vs _dafny.Sequence) _dafny.Sequence

func (*CompanionStruct_Default___) EncodeScalarValue 

func (_static *CompanionStruct_Default___) EncodeScalarValue(v uint32) _dafny.Sequence

func (*CompanionStruct_Default___) EncodeScalarValueDoubleWord 

func (_static *CompanionStruct_Default___) EncodeScalarValueDoubleWord(v uint32) _dafny.Sequence

func (*CompanionStruct_Default___) EncodeScalarValueSingleWord 

func (_static *CompanionStruct_Default___) EncodeScalarValueSingleWord(v uint32) _dafny.Sequence

func (*CompanionStruct_Default___) IsMinimalWellFormedCodeUnitSubsequence 

func (_static *CompanionStruct_Default___) IsMinimalWellFormedCodeUnitSubsequence(s _dafny.Sequence) bool

func (*CompanionStruct_Default___) IsWellFormedCodeUnitSequence 

func (_static *CompanionStruct_Default___) IsWellFormedCodeUnitSequence(s _dafny.Sequence) bool

func (*CompanionStruct_Default___) IsWellFormedDoubleCodeUnitSequence 

func (_static *CompanionStruct_Default___) IsWellFormedDoubleCodeUnitSequence(s _dafny.Sequence) bool

func (*CompanionStruct_Default___) IsWellFormedSingleCodeUnitSequence 

func (_static *CompanionStruct_Default___) IsWellFormedSingleCodeUnitSequence(s _dafny.Sequence) bool

func (*CompanionStruct_Default___) PartitionCodeUnitSequence 

func (_static *CompanionStruct_Default___) PartitionCodeUnitSequence(s _dafny.Sequence) _dafny.Sequence

func (*CompanionStruct_Default___) PartitionCodeUnitSequenceChecked 

func (_static *CompanionStruct_Default___) PartitionCodeUnitSequenceChecked(s _dafny.Sequence) m_Wrappers.Option

func (*CompanionStruct_Default___) SplitPrefixMinimalWellFormedCodeUnitSubsequence 

func (_static *CompanionStruct_Default___) SplitPrefixMinimalWellFormedCodeUnitSubsequence(s _dafny.Sequence) m_Wrappers.Option

type CompanionStruct_MinimalWellFormedCodeUnitSeq_ 

type CompanionStruct_MinimalWellFormedCodeUnitSeq_ struct {
}

func (*CompanionStruct_MinimalWellFormedCodeUnitSeq_) Is_ 

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

type CompanionStruct_WellFormedCodeUnitSeq_ 

type CompanionStruct_WellFormedCodeUnitSeq_ struct {
}

func (*CompanionStruct_WellFormedCodeUnitSeq_) Is_ 

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

func (*CompanionStruct_WellFormedCodeUnitSeq_) Witness 

func (_this *CompanionStruct_WellFormedCodeUnitSeq_) Witness() _dafny.Sequence

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 MinimalWellFormedCodeUnitSeq 

type MinimalWellFormedCodeUnitSeq struct {
}

Definition of class MinimalWellFormedCodeUnitSeq

func New_MinimalWellFormedCodeUnitSeq_ 

func New_MinimalWellFormedCodeUnitSeq_() *MinimalWellFormedCodeUnitSeq

func (*MinimalWellFormedCodeUnitSeq) String 

func (*MinimalWellFormedCodeUnitSeq) String() string

type WellFormedCodeUnitSeq 

type WellFormedCodeUnitSeq struct {
}

Definition of class WellFormedCodeUnitSeq

func New_WellFormedCodeUnitSeq_ 

func New_WellFormedCodeUnitSeq_() *WellFormedCodeUnitSeq

func (*WellFormedCodeUnitSeq) String 

func (*WellFormedCodeUnitSeq) String() string

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.