JSON_Values

Documentation

Index

• Variables
• func Type_Decimal_() _dafny.TypeDescriptor
• func Type_JSON_() _dafny.TypeDescriptor
• type CompanionStruct_Decimal_
  • func (CompanionStruct_Decimal_) Create_Decimal_(N _dafny.Int, E10 _dafny.Int) Decimal
  • func (CompanionStruct_Decimal_) Default() Decimal
• type CompanionStruct_Default___
  • func (_static *CompanionStruct_Default___) Int(n _dafny.Int) Decimal
• type CompanionStruct_JSON_
  • func (CompanionStruct_JSON_) Create_Array_(Arr _dafny.Sequence) JSON
  • func (CompanionStruct_JSON_) Create_Bool_(B bool) JSON
  • func (CompanionStruct_JSON_) Create_Null_() JSON
  • func (CompanionStruct_JSON_) Create_Number_(Num Decimal) JSON
  • func (CompanionStruct_JSON_) Create_Object_(Obj _dafny.Sequence) JSON
  • func (CompanionStruct_JSON_) Create_String_(Str _dafny.Sequence) JSON
  • func (CompanionStruct_JSON_) Default() JSON
• type Data_Decimal_
• type Data_JSON_
• type Decimal
  • func (_this Decimal) Dtor_e10() _dafny.Int
  • func (_this Decimal) Dtor_n() _dafny.Int
  • func (_this Decimal) Equals(other Decimal) bool
  • func (_this Decimal) EqualsGeneric(other interface{}) bool
  • func (_this Decimal) Get_() Data_Decimal_
  • func (_this Decimal) Is_Decimal() bool
  • func (_this Decimal) ParentTraits_() []*_dafny.TraitID
  • func (_this Decimal) String() string
• type Decimal_Decimal
• 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 JSON
  • func (_this JSON) Dtor_arr() _dafny.Sequence
  • func (_this JSON) Dtor_b() bool
  • func (_this JSON) Dtor_num() Decimal
  • func (_this JSON) Dtor_obj() _dafny.Sequence
  • func (_this JSON) Dtor_str() _dafny.Sequence
  • func (_this JSON) Equals(other JSON) bool
  • func (_this JSON) EqualsGeneric(other interface{}) bool
  • func (_this JSON) Get_() Data_JSON_
  • func (_this JSON) Is_Array() bool
  • func (_this JSON) Is_Bool() bool
  • func (_this JSON) Is_Null() bool
  • func (_this JSON) Is_Number() bool
  • func (_this JSON) Is_Object() bool
  • func (_this JSON) Is_String() bool
  • func (_this JSON) ParentTraits_() []*_dafny.TraitID
  • func (_this JSON) String() string
• type JSON_Array
• type JSON_Bool
• type JSON_Null
• type JSON_Number
• type JSON_Object
• type JSON_String

Variables

var Companion_Decimal_ = CompanionStruct_Decimal_{}

var Companion_Default___ = CompanionStruct_Default___{}

var Companion_JSON_ = CompanionStruct_JSON_{}

Functions

func Type_Decimal_

func Type_Decimal_() _dafny.TypeDescriptor

func Type_JSON_

func Type_JSON_() _dafny.TypeDescriptor

Types

type CompanionStruct_Decimal_

type CompanionStruct_Decimal_ struct {
}

func (CompanionStruct_Decimal_) Create_Decimal_

func (CompanionStruct_Decimal_) Create_Decimal_(N _dafny.Int, E10 _dafny.Int) Decimal

func (CompanionStruct_Decimal_) Default

func (CompanionStruct_Decimal_) Default() Decimal

type CompanionStruct_Default___

type CompanionStruct_Default___ struct {
}

func (*CompanionStruct_Default___) Int

func (_static *CompanionStruct_Default___) Int(n _dafny.Int) Decimal

type CompanionStruct_JSON_

type CompanionStruct_JSON_ struct {
}

func (CompanionStruct_JSON_) Create_Array_

func (CompanionStruct_JSON_) Create_Array_(Arr _dafny.Sequence) JSON

func (CompanionStruct_JSON_) Create_Bool_

func (CompanionStruct_JSON_) Create_Bool_(B bool) JSON

func (CompanionStruct_JSON_) Create_Null_

func (CompanionStruct_JSON_) Create_Null_() JSON

func (CompanionStruct_JSON_) Create_Number_

func (CompanionStruct_JSON_) Create_Number_(Num Decimal) JSON

func (CompanionStruct_JSON_) Create_Object_

func (CompanionStruct_JSON_) Create_Object_(Obj _dafny.Sequence) JSON

func (CompanionStruct_JSON_) Create_String_

func (CompanionStruct_JSON_) Create_String_(Str _dafny.Sequence) JSON

func (CompanionStruct_JSON_) Default

func (CompanionStruct_JSON_) Default() JSON

type Data_Decimal_

type Data_Decimal_ interface {
	// contains filtered or unexported methods
}

type Data_JSON_

type Data_JSON_ interface {
	// contains filtered or unexported methods
}

type Decimal

type Decimal struct {
	Data_Decimal_
}

Definition of datatype Decimal

func (Decimal) Dtor_e10

func (_this Decimal) Dtor_e10() _dafny.Int

func (Decimal) Dtor_n

func (_this Decimal) Dtor_n() _dafny.Int

func (Decimal) Equals

func (_this Decimal) Equals(other Decimal) bool

func (Decimal) EqualsGeneric

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

func (Decimal) Get_

func (_this Decimal) Get_() Data_Decimal_

func (Decimal) Is_Decimal

func (_this Decimal) Is_Decimal() bool

func (Decimal) ParentTraits_

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

func (Decimal) String

func (_this Decimal) String() string

type Decimal_Decimal

type Decimal_Decimal struct {
	N   _dafny.Int
	E10 _dafny.Int
}

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 JSON

type JSON struct {
	Data_JSON_
}

Definition of datatype JSON

func (JSON) Dtor_arr

func (_this JSON) Dtor_arr() _dafny.Sequence

func (JSON) Dtor_b

func (_this JSON) Dtor_b() bool

func (JSON) Dtor_num

func (_this JSON) Dtor_num() Decimal

func (JSON) Dtor_obj

func (_this JSON) Dtor_obj() _dafny.Sequence

func (JSON) Dtor_str

func (_this JSON) Dtor_str() _dafny.Sequence

func (JSON) Equals

func (_this JSON) Equals(other JSON) bool

func (JSON) EqualsGeneric

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

func (JSON) Get_

func (_this JSON) Get_() Data_JSON_

func (JSON) Is_Array

func (_this JSON) Is_Array() bool

func (JSON) Is_Bool

func (_this JSON) Is_Bool() bool

func (JSON) Is_Null

func (_this JSON) Is_Null() bool

func (JSON) Is_Number

func (_this JSON) Is_Number() bool

func (JSON) Is_Object

func (_this JSON) Is_Object() bool

func (JSON) Is_String

func (_this JSON) Is_String() bool

func (JSON) ParentTraits_

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

func (JSON) String

func (_this JSON) String() string

type JSON_Array

type JSON_Array struct {
	Arr _dafny.Sequence
}

type JSON_Bool

type JSON_Bool struct {
	B bool
}

type JSON_Null

type JSON_Null struct {
}

type JSON_Number

type JSON_Number struct {
	Num Decimal
}

type JSON_Object

type JSON_Object struct {
	Obj _dafny.Sequence
}

type JSON_String

type JSON_String struct {
	Str _dafny.Sequence
}