UTF8

Documentation

Index

• Variables
• func Decode(utf8EncodedDafnySeq dafny.Sequence) Wrappers.Result
• func DecodeFromNativeGoByteArray(utf8EncodedByteArray []byte) (dafny.Sequence, error)
• func Encode(utf16EncodedDafnySeq dafny.Sequence) Wrappers.Result
• func Type_ValidUTF8Bytes_() _dafny.TypeDescriptor
• type CompanionStruct_Default___
  • func (_static *CompanionStruct_Default___) CreateDecodeFailure(error_ _dafny.Sequence) m_Wrappers.Result
  • func (_static *CompanionStruct_Default___) CreateDecodeSuccess(s _dafny.Sequence) m_Wrappers.Result
  • func (_static *CompanionStruct_Default___) CreateEncodeFailure(error_ _dafny.Sequence) m_Wrappers.Result
  • func (_static *CompanionStruct_Default___) CreateEncodeSuccess(bytes _dafny.Sequence) m_Wrappers.Result
  • func (_static *CompanionStruct_Default___) EncodeAscii(s _dafny.Sequence) _dafny.Sequence
  • func (_static *CompanionStruct_Default___) IsASCIIString(s _dafny.Sequence) bool
  • func (_static *CompanionStruct_Default___) Uses1Byte(s _dafny.Sequence) bool
  • func (_static *CompanionStruct_Default___) Uses2Bytes(s _dafny.Sequence) bool
  • func (_static *CompanionStruct_Default___) Uses3Bytes(s _dafny.Sequence) bool
  • func (_static *CompanionStruct_Default___) Uses4Bytes(s _dafny.Sequence) bool
  • func (_static *CompanionStruct_Default___) ValidUTF8Range(a _dafny.Sequence, lo _dafny.Int, hi _dafny.Int) bool
  • func (_static *CompanionStruct_Default___) ValidUTF8Seq(s _dafny.Sequence) bool
• type CompanionStruct_ValidUTF8Bytes_
  • func (_this *CompanionStruct_ValidUTF8Bytes_) Is_(__source _dafny.Sequence) bool
  • func (_this *CompanionStruct_ValidUTF8Bytes_) Witness() _dafny.Sequence
• 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 ValidUTF8Bytes
  • func New_ValidUTF8Bytes_() *ValidUTF8Bytes
  • func (*ValidUTF8Bytes) String() string

Variables

var Companion_Default___ = CompanionStruct_Default___{}

var Companion_ValidUTF8Bytes_ = CompanionStruct_ValidUTF8Bytes_{}

Functions

func Decode

func Decode(utf8EncodedDafnySeq dafny.Sequence) Wrappers.Result

Decode decodes utf8 encoded Go rune to dafny encoded utf16 char sequence Anything we receive here is supposed to be utf8 encoded Go rune. And since this extern is for unicode-char:false, we need to encode the result in compatible dafny utf16 string before returning the result.

func DecodeFromNativeGoByteArray

func DecodeFromNativeGoByteArray(utf8EncodedByteArray []byte) (dafny.Sequence, error)

This method is to be called from the Type Conversion layer. We reuse the same method so that all conversions are consistent.

func Encode

func Encode(utf16EncodedDafnySeq dafny.Sequence) Wrappers.Result

Encode encodes utf16 encoded dafny char (rune) to utf-8 Go rune sequence. Anything we receive here is supposed to be utf16 encoded Go rune since this extern is for unicode-char:false.

func Type_ValidUTF8Bytes_

func Type_ValidUTF8Bytes_() _dafny.TypeDescriptor

Types

type CompanionStruct_Default___

type CompanionStruct_Default___ struct {
}

func (*CompanionStruct_Default___) CreateDecodeFailure

func (_static *CompanionStruct_Default___) CreateDecodeFailure(error_ _dafny.Sequence) m_Wrappers.Result

func (*CompanionStruct_Default___) CreateDecodeSuccess

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

func (*CompanionStruct_Default___) CreateEncodeFailure

func (_static *CompanionStruct_Default___) CreateEncodeFailure(error_ _dafny.Sequence) m_Wrappers.Result

func (*CompanionStruct_Default___) CreateEncodeSuccess

func (_static *CompanionStruct_Default___) CreateEncodeSuccess(bytes _dafny.Sequence) m_Wrappers.Result

func (*CompanionStruct_Default___) EncodeAscii

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

func (*CompanionStruct_Default___) IsASCIIString

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

func (*CompanionStruct_Default___) Uses1Byte

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

func (*CompanionStruct_Default___) Uses2Bytes

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

func (*CompanionStruct_Default___) Uses3Bytes

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

func (*CompanionStruct_Default___) Uses4Bytes

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

func (*CompanionStruct_Default___) ValidUTF8Range

func (_static *CompanionStruct_Default___) ValidUTF8Range(a _dafny.Sequence, lo _dafny.Int, hi _dafny.Int) bool

func (*CompanionStruct_Default___) ValidUTF8Seq

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

type CompanionStruct_ValidUTF8Bytes_

type CompanionStruct_ValidUTF8Bytes_ struct {
}

func (*CompanionStruct_ValidUTF8Bytes_) Is_

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

func (*CompanionStruct_ValidUTF8Bytes_) Witness

func (_this *CompanionStruct_ValidUTF8Bytes_) 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 ValidUTF8Bytes

type ValidUTF8Bytes struct {
}

Definition of class ValidUTF8Bytes

func New_ValidUTF8Bytes_

func New_ValidUTF8Bytes_() *ValidUTF8Bytes

func (*ValidUTF8Bytes) String

func (*ValidUTF8Bytes) String() string