JSON_Utils_Str

Documentation

Index

• Variables
• type CompanionStruct_Default___
  • func (_static *CompanionStruct_Default___) Concat(strs _dafny.Sequence) _dafny.Sequence
  • func (_static *CompanionStruct_Default___) EscapeQuotes(str _dafny.Sequence) _dafny.Sequence
  • func (_static *CompanionStruct_Default___) HEX__DIGITS() _dafny.Sequence
  • func (_static *CompanionStruct_Default___) HEX__TABLE() _dafny.Map
  • func (_static *CompanionStruct_Default___) Join(sep _dafny.Sequence, strs _dafny.Sequence) _dafny.Sequence
  • func (_static *CompanionStruct_Default___) OfBool(b bool) _dafny.Sequence
  • func (_static *CompanionStruct_Default___) OfChar(c _dafny.Char) _dafny.Sequence
  • func (_static *CompanionStruct_Default___) OfInt(n _dafny.Int, base _dafny.Int) _dafny.Sequence
  • func (_static *CompanionStruct_Default___) OfNat(n _dafny.Int, base _dafny.Int) _dafny.Sequence
  • func (_static *CompanionStruct_Default___) Test()
  • func (_static *CompanionStruct_Default___) ToInt(str _dafny.Sequence, base _dafny.Int) _dafny.Int
  • func (_static *CompanionStruct_Default___) ToNat(str _dafny.Sequence, base _dafny.Int) _dafny.Int
  • func (_static *CompanionStruct_Default___) UnescapeQuotes(str _dafny.Sequence) m_Wrappers.Result
• 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__

Variables

var Companion_Default___ = CompanionStruct_Default___{}

Types

type CompanionStruct_Default___

type CompanionStruct_Default___ struct {
}

func (*CompanionStruct_Default___) Concat

func (_static *CompanionStruct_Default___) Concat(strs _dafny.Sequence) _dafny.Sequence

func (*CompanionStruct_Default___) EscapeQuotes

func (_static *CompanionStruct_Default___) EscapeQuotes(str _dafny.Sequence) _dafny.Sequence

func (*CompanionStruct_Default___) HEX__DIGITS

func (_static *CompanionStruct_Default___) HEX__DIGITS() _dafny.Sequence

func (*CompanionStruct_Default___) HEX__TABLE

func (_static *CompanionStruct_Default___) HEX__TABLE() _dafny.Map

func (*CompanionStruct_Default___) Join

func (_static *CompanionStruct_Default___) Join(sep _dafny.Sequence, strs _dafny.Sequence) _dafny.Sequence

func (*CompanionStruct_Default___) OfBool

func (_static *CompanionStruct_Default___) OfBool(b bool) _dafny.Sequence

func (*CompanionStruct_Default___) OfChar

func (_static *CompanionStruct_Default___) OfChar(c _dafny.Char) _dafny.Sequence

func (*CompanionStruct_Default___) OfInt

func (_static *CompanionStruct_Default___) OfInt(n _dafny.Int, base _dafny.Int) _dafny.Sequence

func (*CompanionStruct_Default___) OfNat

func (_static *CompanionStruct_Default___) OfNat(n _dafny.Int, base _dafny.Int) _dafny.Sequence

func (*CompanionStruct_Default___) Test

func (_static *CompanionStruct_Default___) Test()

func (*CompanionStruct_Default___) ToInt

func (_static *CompanionStruct_Default___) ToInt(str _dafny.Sequence, base _dafny.Int) _dafny.Int

func (*CompanionStruct_Default___) ToNat

func (_static *CompanionStruct_Default___) ToNat(str _dafny.Sequence, base _dafny.Int) _dafny.Int

func (*CompanionStruct_Default___) UnescapeQuotes

func (_static *CompanionStruct_Default___) UnescapeQuotes(str _dafny.Sequence) m_Wrappers.Result

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