_Unicode

Documentation

Index

• Variables
• func Type_AssignedCodePoint_() _dafny.TypeDescriptor
• func Type_CodePoint_() _dafny.TypeDescriptor
• func Type_HighSurrogateCodePoint_() _dafny.TypeDescriptor
• func Type_LowSurrogateCodePoint_() _dafny.TypeDescriptor
• func Type_ScalarValue_() _dafny.TypeDescriptor
• type AssignedCodePoint
  • func New_AssignedCodePoint_() *AssignedCodePoint
  • func (*AssignedCodePoint) String() string
• type CodePoint
  • func New_CodePoint_() *CodePoint
  • func (*CodePoint) String() string
• type CompanionStruct_AssignedCodePoint_
• type CompanionStruct_CodePoint_
  • func (_this *CompanionStruct_CodePoint_) Is_(__source uint32) bool
• type CompanionStruct_Default___
  • func (_static *CompanionStruct_Default___) ASSIGNED__PLANES() _dafny.Set
  • func (_static *CompanionStruct_Default___) HIGH__SURROGATE__MAX() uint32
  • func (_static *CompanionStruct_Default___) HIGH__SURROGATE__MIN() uint32
  • func (_static *CompanionStruct_Default___) LOW__SURROGATE__MAX() uint32
  • func (_static *CompanionStruct_Default___) LOW__SURROGATE__MIN() uint32
• type CompanionStruct_HighSurrogateCodePoint_
  • func (_this *CompanionStruct_HighSurrogateCodePoint_) Is_(__source uint32) bool
  • func (_this *CompanionStruct_HighSurrogateCodePoint_) Witness() uint32
• type CompanionStruct_LowSurrogateCodePoint_
  • func (_this *CompanionStruct_LowSurrogateCodePoint_) Is_(__source uint32) bool
  • func (_this *CompanionStruct_LowSurrogateCodePoint_) Witness() uint32
• type CompanionStruct_ScalarValue_
  • func (_this *CompanionStruct_ScalarValue_) Is_(__source uint32) 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 HighSurrogateCodePoint
  • func New_HighSurrogateCodePoint_() *HighSurrogateCodePoint
  • func (*HighSurrogateCodePoint) String() string
• type LowSurrogateCodePoint
  • func New_LowSurrogateCodePoint_() *LowSurrogateCodePoint
  • func (*LowSurrogateCodePoint) String() string
• type ScalarValue
  • func New_ScalarValue_() *ScalarValue
  • func (*ScalarValue) String() string

Variables

var Companion_AssignedCodePoint_ = CompanionStruct_AssignedCodePoint_{}

var Companion_CodePoint_ = CompanionStruct_CodePoint_{}

var Companion_Default___ = CompanionStruct_Default___{}

var Companion_HighSurrogateCodePoint_ = CompanionStruct_HighSurrogateCodePoint_{}

var Companion_LowSurrogateCodePoint_ = CompanionStruct_LowSurrogateCodePoint_{}

var Companion_ScalarValue_ = CompanionStruct_ScalarValue_{}

Functions

func Type_AssignedCodePoint_

func Type_AssignedCodePoint_() _dafny.TypeDescriptor

func Type_CodePoint_

func Type_CodePoint_() _dafny.TypeDescriptor

func Type_HighSurrogateCodePoint_

func Type_HighSurrogateCodePoint_() _dafny.TypeDescriptor

func Type_LowSurrogateCodePoint_

func Type_LowSurrogateCodePoint_() _dafny.TypeDescriptor

func Type_ScalarValue_

func Type_ScalarValue_() _dafny.TypeDescriptor

Types

type AssignedCodePoint

type AssignedCodePoint struct {
}

Definition of class AssignedCodePoint

func New_AssignedCodePoint_

func New_AssignedCodePoint_() *AssignedCodePoint

func (*AssignedCodePoint) String

func (*AssignedCodePoint) String() string

type CodePoint

type CodePoint struct {
}

Definition of class CodePoint

func New_CodePoint_

func New_CodePoint_() *CodePoint

func (*CodePoint) String

func (*CodePoint) String() string

type CompanionStruct_AssignedCodePoint_

type CompanionStruct_AssignedCodePoint_ struct {
}

type CompanionStruct_CodePoint_

type CompanionStruct_CodePoint_ struct {
}

func (*CompanionStruct_CodePoint_) Is_

func (_this *CompanionStruct_CodePoint_) Is_(__source uint32) bool

type CompanionStruct_Default___

type CompanionStruct_Default___ struct {
}

func (*CompanionStruct_Default___) ASSIGNED__PLANES

func (_static *CompanionStruct_Default___) ASSIGNED__PLANES() _dafny.Set

func (*CompanionStruct_Default___) HIGH__SURROGATE__MAX

func (_static *CompanionStruct_Default___) HIGH__SURROGATE__MAX() uint32

func (*CompanionStruct_Default___) HIGH__SURROGATE__MIN

func (_static *CompanionStruct_Default___) HIGH__SURROGATE__MIN() uint32

func (*CompanionStruct_Default___) LOW__SURROGATE__MAX

func (_static *CompanionStruct_Default___) LOW__SURROGATE__MAX() uint32

func (*CompanionStruct_Default___) LOW__SURROGATE__MIN

func (_static *CompanionStruct_Default___) LOW__SURROGATE__MIN() uint32

type CompanionStruct_HighSurrogateCodePoint_

type CompanionStruct_HighSurrogateCodePoint_ struct {
}

func (*CompanionStruct_HighSurrogateCodePoint_) Is_

func (_this *CompanionStruct_HighSurrogateCodePoint_) Is_(__source uint32) bool

func (*CompanionStruct_HighSurrogateCodePoint_) Witness

func (_this *CompanionStruct_HighSurrogateCodePoint_) Witness() uint32

type CompanionStruct_LowSurrogateCodePoint_

type CompanionStruct_LowSurrogateCodePoint_ struct {
}

func (*CompanionStruct_LowSurrogateCodePoint_) Is_

func (_this *CompanionStruct_LowSurrogateCodePoint_) Is_(__source uint32) bool

func (*CompanionStruct_LowSurrogateCodePoint_) Witness

func (_this *CompanionStruct_LowSurrogateCodePoint_) Witness() uint32

type CompanionStruct_ScalarValue_

type CompanionStruct_ScalarValue_ struct {
}

func (*CompanionStruct_ScalarValue_) Is_

func (_this *CompanionStruct_ScalarValue_) Is_(__source uint32) 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 HighSurrogateCodePoint

type HighSurrogateCodePoint struct {
}

Definition of class HighSurrogateCodePoint

func New_HighSurrogateCodePoint_

func New_HighSurrogateCodePoint_() *HighSurrogateCodePoint

func (*HighSurrogateCodePoint) String

func (*HighSurrogateCodePoint) String() string

type LowSurrogateCodePoint

type LowSurrogateCodePoint struct {
}

Definition of class LowSurrogateCodePoint

func New_LowSurrogateCodePoint_

func New_LowSurrogateCodePoint_() *LowSurrogateCodePoint

func (*LowSurrogateCodePoint) String

func (*LowSurrogateCodePoint) String() string

type ScalarValue

type ScalarValue struct {
}

Definition of class ScalarValue

func New_ScalarValue_

func New_ScalarValue_() *ScalarValue

func (*ScalarValue) String

func (*ScalarValue) String() string