JSON_ZeroCopy_Deserializer_Numbers

Documentation

Index

• Variables
• type CompanionStruct_Default___
  • func (_static *CompanionStruct_Default___) Digits(cs m_JSON_Utils_Cursors.Cursor__) m_JSON_Utils_Cursors.Split
  • func (_static *CompanionStruct_Default___) Exp(cs m_JSON_Utils_Cursors.Cursor__) m_Wrappers.Result
  • func (_static *CompanionStruct_Default___) Frac(cs m_JSON_Utils_Cursors.Cursor__) m_Wrappers.Result
  • func (_static *CompanionStruct_Default___) NonEmptyDigits(cs m_JSON_Utils_Cursors.Cursor__) m_Wrappers.Result
  • func (_static *CompanionStruct_Default___) NonZeroInt(cs m_JSON_Utils_Cursors.Cursor__) m_Wrappers.Result
  • func (_static *CompanionStruct_Default___) Number(cs m_JSON_Utils_Cursors.Cursor__) m_Wrappers.Result
  • func (_static *CompanionStruct_Default___) NumberFromParts(minus m_JSON_Utils_Cursors.Split, num m_JSON_Utils_Cursors.Split, ...) m_JSON_Utils_Cursors.Split
  • func (_static *CompanionStruct_Default___) OptionalMinus(cs m_JSON_Utils_Cursors.Cursor__) m_JSON_Utils_Cursors.Split
  • func (_static *CompanionStruct_Default___) OptionalSign(cs m_JSON_Utils_Cursors.Cursor__) m_JSON_Utils_Cursors.Split
  • func (_static *CompanionStruct_Default___) TrimmedInt(cs m_JSON_Utils_Cursors.Cursor__) 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___) Digits

func (_static *CompanionStruct_Default___) Digits(cs m_JSON_Utils_Cursors.Cursor__) m_JSON_Utils_Cursors.Split

func (*CompanionStruct_Default___) Exp

func (_static *CompanionStruct_Default___) Exp(cs m_JSON_Utils_Cursors.Cursor__) m_Wrappers.Result

func (*CompanionStruct_Default___) Frac

func (_static *CompanionStruct_Default___) Frac(cs m_JSON_Utils_Cursors.Cursor__) m_Wrappers.Result

func (*CompanionStruct_Default___) NonEmptyDigits

func (_static *CompanionStruct_Default___) NonEmptyDigits(cs m_JSON_Utils_Cursors.Cursor__) m_Wrappers.Result

func (*CompanionStruct_Default___) NonZeroInt

func (_static *CompanionStruct_Default___) NonZeroInt(cs m_JSON_Utils_Cursors.Cursor__) m_Wrappers.Result

func (*CompanionStruct_Default___) Number

func (_static *CompanionStruct_Default___) Number(cs m_JSON_Utils_Cursors.Cursor__) m_Wrappers.Result

func (*CompanionStruct_Default___) NumberFromParts

func (_static *CompanionStruct_Default___) NumberFromParts(minus m_JSON_Utils_Cursors.Split, num m_JSON_Utils_Cursors.Split, frac m_JSON_Utils_Cursors.Split, exp m_JSON_Utils_Cursors.Split) m_JSON_Utils_Cursors.Split

func (*CompanionStruct_Default___) OptionalMinus

func (_static *CompanionStruct_Default___) OptionalMinus(cs m_JSON_Utils_Cursors.Cursor__) m_JSON_Utils_Cursors.Split

func (*CompanionStruct_Default___) OptionalSign

func (_static *CompanionStruct_Default___) OptionalSign(cs m_JSON_Utils_Cursors.Cursor__) m_JSON_Utils_Cursors.Split

func (*CompanionStruct_Default___) TrimmedInt

func (_static *CompanionStruct_Default___) TrimmedInt(cs m_JSON_Utils_Cursors.Cursor__) 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{}