JSON_Utils_Str_CharStrEscaping

Documentation

Index

• Variables
• func Type_UnescapeError_() _dafny.TypeDescriptor
• type CompanionStruct_Default___
  • func (_static *CompanionStruct_Default___) Escape(str _dafny.Sequence, special _dafny.Set, escape _dafny.Char) _dafny.Sequence
  • func (_static *CompanionStruct_Default___) Unescape(str _dafny.Sequence, escape _dafny.Char) m_Wrappers.Result
• type CompanionStruct_UnescapeError_
  • func (_ CompanionStruct_UnescapeError_) AllSingletonConstructors() _dafny.Iterator
  • func (CompanionStruct_UnescapeError_) Create_EscapeAtEOS_() UnescapeError
  • func (CompanionStruct_UnescapeError_) Default() UnescapeError
• type Data_UnescapeError_
• 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 UnescapeError
  • func (_this UnescapeError) Equals(other UnescapeError) bool
  • func (_this UnescapeError) EqualsGeneric(other interface{}) bool
  • func (_this UnescapeError) Get_() Data_UnescapeError_
  • func (_this UnescapeError) Is_EscapeAtEOS() bool
  • func (_this UnescapeError) ParentTraits_() []*_dafny.TraitID
  • func (_this UnescapeError) String() string
• type UnescapeError_EscapeAtEOS

Variables

var Companion_Default___ = CompanionStruct_Default___{}

var Companion_UnescapeError_ = CompanionStruct_UnescapeError_{}

Functions

func Type_UnescapeError_

func Type_UnescapeError_() _dafny.TypeDescriptor

Types

type CompanionStruct_Default___

type CompanionStruct_Default___ struct {
}

func (*CompanionStruct_Default___) Escape

func (_static *CompanionStruct_Default___) Escape(str _dafny.Sequence, special _dafny.Set, escape _dafny.Char) _dafny.Sequence

func (*CompanionStruct_Default___) Unescape

func (_static *CompanionStruct_Default___) Unescape(str _dafny.Sequence, escape _dafny.Char) m_Wrappers.Result

type CompanionStruct_UnescapeError_

type CompanionStruct_UnescapeError_ struct {
}

func (CompanionStruct_UnescapeError_) AllSingletonConstructors

func (_ CompanionStruct_UnescapeError_) AllSingletonConstructors() _dafny.Iterator

func (CompanionStruct_UnescapeError_) Create_EscapeAtEOS_

func (CompanionStruct_UnescapeError_) Create_EscapeAtEOS_() UnescapeError

func (CompanionStruct_UnescapeError_) Default

func (CompanionStruct_UnescapeError_) Default() UnescapeError

type Data_UnescapeError_

type Data_UnescapeError_ 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 UnescapeError

type UnescapeError struct {
	Data_UnescapeError_
}

Definition of datatype UnescapeError

func (UnescapeError) Equals

func (_this UnescapeError) Equals(other UnescapeError) bool

func (UnescapeError) EqualsGeneric

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

func (UnescapeError) Get_

func (_this UnescapeError) Get_() Data_UnescapeError_

func (UnescapeError) Is_EscapeAtEOS

func (_this UnescapeError) Is_EscapeAtEOS() bool

func (UnescapeError) ParentTraits_

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

func (UnescapeError) String

func (_this UnescapeError) String() string

type UnescapeError_EscapeAtEOS

type UnescapeError_EscapeAtEOS struct {
}