JSON_Grammar

package
v0.0.1-alpha Latest Latest
Warning

This package is not in the latest version of its module.

 Go to latest Published: Jan 7, 2025 License: Apache-2.0 Imports: 53 Imported by: 1

Documentation

Index

Constants

This section is empty.

Variables

View Source 
var Companion_Bracketed_ = CompanionStruct_Bracketed_{}
View Source 
var Companion_Default___ = CompanionStruct_Default___{}
View Source 
var Companion_JKeyValue_ = CompanionStruct_JKeyValue_{}
View Source 
var Companion_Jblanks_ = CompanionStruct_Jblanks_{}
View Source 
var Companion_Jbool_ = CompanionStruct_Jbool_{}
View Source 
var Companion_Jchar_ = CompanionStruct_Jchar_{}
View Source 
var Companion_Jcolon_ = CompanionStruct_Jcolon_{}
View Source 
var Companion_Jcomma_ = CompanionStruct_Jcomma_{}
View Source 
var Companion_Jdigits_ = CompanionStruct_Jdigits_{}
View Source 
var Companion_Je_ = CompanionStruct_Je_{}
View Source 
var Companion_Jexp_ = CompanionStruct_Jexp_{}
View Source 
var Companion_Jfrac_ = CompanionStruct_Jfrac_{}
View Source 
var Companion_Jint_ = CompanionStruct_Jint_{}
View Source 
var Companion_Jlbrace_ = CompanionStruct_Jlbrace_{}
View Source 
var Companion_Jlbracket_ = CompanionStruct_Jlbracket_{}
View Source 
var Companion_Jminus_ = CompanionStruct_Jminus_{}
View Source 
var Companion_Jnull_ = CompanionStruct_Jnull_{}
View Source 
var Companion_Jnum_ = CompanionStruct_Jnum_{}
View Source 
var Companion_Jnumber_ = CompanionStruct_Jnumber_{}
View Source 
var Companion_Jperiod_ = CompanionStruct_Jperiod_{}
View Source 
var Companion_Jquote_ = CompanionStruct_Jquote_{}
View Source 
var Companion_Jrbrace_ = CompanionStruct_Jrbrace_{}
View Source 
var Companion_Jrbracket_ = CompanionStruct_Jrbracket_{}
View Source 
var Companion_Jsign_ = CompanionStruct_Jsign_{}
View Source 
var Companion_Jstr_ = CompanionStruct_Jstr_{}
View Source 
var Companion_Jstring_ = CompanionStruct_Jstring_{}
View Source 
var Companion_Maybe_ = CompanionStruct_Maybe_{}
View Source 
var Companion_Structural_ = CompanionStruct_Structural_{}
View Source 
var Companion_SuffixedSequence_ = CompanionStruct_SuffixedSequence_{}
View Source 
var Companion_Suffixed_ = CompanionStruct_Suffixed_{}
View Source 
var Companion_Value_ = CompanionStruct_Value_{}

Functions

func Type_Bracketed_ 

func Type_Bracketed_(Type_L_ _dafny.TypeDescriptor, Type_R_ _dafny.TypeDescriptor) _dafny.TypeDescriptor

func Type_JKeyValue_ 

func Type_JKeyValue_() _dafny.TypeDescriptor

func Type_Jblanks_ 

func Type_Jblanks_() _dafny.TypeDescriptor

func Type_Jbool_ 

func Type_Jbool_() _dafny.TypeDescriptor

func Type_Jchar_ 

func Type_Jchar_() _dafny.TypeDescriptor

func Type_Jcolon_ 

func Type_Jcolon_() _dafny.TypeDescriptor

func Type_Jcomma_ 

func Type_Jcomma_() _dafny.TypeDescriptor

func Type_Jdigits_ 

func Type_Jdigits_() _dafny.TypeDescriptor

func Type_Je_ 

func Type_Je_() _dafny.TypeDescriptor

func Type_Jexp_ 

func Type_Jexp_() _dafny.TypeDescriptor

func Type_Jfrac_ 

func Type_Jfrac_() _dafny.TypeDescriptor

func Type_Jint_ 

func Type_Jint_() _dafny.TypeDescriptor

func Type_Jlbrace_ 

func Type_Jlbrace_() _dafny.TypeDescriptor

func Type_Jlbracket_ 

func Type_Jlbracket_() _dafny.TypeDescriptor

func Type_Jminus_ 

func Type_Jminus_() _dafny.TypeDescriptor

func Type_Jnull_ 

func Type_Jnull_() _dafny.TypeDescriptor

func Type_Jnum_ 

func Type_Jnum_() _dafny.TypeDescriptor

func Type_Jnumber_ 

func Type_Jnumber_() _dafny.TypeDescriptor

func Type_Jperiod_ 

func Type_Jperiod_() _dafny.TypeDescriptor

func Type_Jquote_ 

func Type_Jquote_() _dafny.TypeDescriptor

func Type_Jrbrace_ 

func Type_Jrbrace_() _dafny.TypeDescriptor

func Type_Jrbracket_ 

func Type_Jrbracket_() _dafny.TypeDescriptor

func Type_Jsign_ 

func Type_Jsign_() _dafny.TypeDescriptor

func Type_Jstr_ 

func Type_Jstr_() _dafny.TypeDescriptor

func Type_Jstring_ 

func Type_Jstring_() _dafny.TypeDescriptor

func Type_Maybe_ 

func Type_Maybe_() _dafny.TypeDescriptor

func Type_Structural_ 

func Type_Structural_(Type_T_ _dafny.TypeDescriptor) _dafny.TypeDescriptor

func Type_SuffixedSequence_ 

func Type_SuffixedSequence_(Type_D_ _dafny.TypeDescriptor, Type_S_ _dafny.TypeDescriptor) _dafny.TypeDescriptor

func Type_Suffixed_ 

func Type_Suffixed_(Type_T_ _dafny.TypeDescriptor) _dafny.TypeDescriptor

func Type_Value_ 

func Type_Value_() _dafny.TypeDescriptor

Types

type Bracketed 

type Bracketed struct {
	Data_Bracketed_
}

Definition of datatype Bracketed

func (Bracketed) Dtor_data 

func (_this Bracketed) Dtor_data() _dafny.Sequence

func (Bracketed) Dtor_l 

func (_this Bracketed) Dtor_l() Structural

func (Bracketed) Dtor_r 

func (_this Bracketed) Dtor_r() Structural

func (Bracketed) Equals 

func (_this Bracketed) Equals(other Bracketed) bool

func (Bracketed) EqualsGeneric 

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

func (Bracketed) Get_ 

func (_this Bracketed) Get_() Data_Bracketed_

func (Bracketed) Is_Bracketed 

func (_this Bracketed) Is_Bracketed() bool

func (Bracketed) ParentTraits_ 

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

func (Bracketed) String 

func (_this Bracketed) String() string

type Bracketed_Bracketed 

type Bracketed_Bracketed struct {
	L    Structural
	Data _dafny.Sequence
	R    Structural
}

type CompanionStruct_Bracketed_ 

type CompanionStruct_Bracketed_ struct {
}

func (CompanionStruct_Bracketed_) Create_Bracketed_ 

func (CompanionStruct_Bracketed_) Create_Bracketed_(L Structural, Data _dafny.Sequence, R Structural) Bracketed

func (CompanionStruct_Bracketed_) Default 

func (CompanionStruct_Bracketed_) Default(_default_L interface{}, _default_R interface{}) Bracketed

type CompanionStruct_Default___ 

type CompanionStruct_Default___ struct {
}

func (*CompanionStruct_Default___) Blank_q 

func (_static *CompanionStruct_Default___) Blank_q(b uint8) bool

func (*CompanionStruct_Default___) COLON 

func (_static *CompanionStruct_Default___) COLON() m_JSON_Utils_Views_Core.View__

func (*CompanionStruct_Default___) COMMA 

func (_static *CompanionStruct_Default___) COMMA() m_JSON_Utils_Views_Core.View__

func (*CompanionStruct_Default___) DOUBLEQUOTE 

func (_static *CompanionStruct_Default___) DOUBLEQUOTE() m_JSON_Utils_Views_Core.View__

func (*CompanionStruct_Default___) Digit_q 

func (_static *CompanionStruct_Default___) Digit_q(b uint8) bool

func (*CompanionStruct_Default___) E 

func (_static *CompanionStruct_Default___) E() m_JSON_Utils_Views_Core.View__

func (*CompanionStruct_Default___) EMPTY 

func (_static *CompanionStruct_Default___) EMPTY() m_JSON_Utils_Views_Core.View__

func (*CompanionStruct_Default___) FALSE 

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

func (*CompanionStruct_Default___) LBRACE 

func (_static *CompanionStruct_Default___) LBRACE() m_JSON_Utils_Views_Core.View__

func (*CompanionStruct_Default___) LBRACKET 

func (_static *CompanionStruct_Default___) LBRACKET() m_JSON_Utils_Views_Core.View__

func (*CompanionStruct_Default___) MINUS 

func (_static *CompanionStruct_Default___) MINUS() m_JSON_Utils_Views_Core.View__

func (*CompanionStruct_Default___) NULL 

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

func (*CompanionStruct_Default___) PERIOD 

func (_static *CompanionStruct_Default___) PERIOD() m_JSON_Utils_Views_Core.View__

func (*CompanionStruct_Default___) RBRACE 

func (_static *CompanionStruct_Default___) RBRACE() m_JSON_Utils_Views_Core.View__

func (*CompanionStruct_Default___) RBRACKET 

func (_static *CompanionStruct_Default___) RBRACKET() m_JSON_Utils_Views_Core.View__

func (*CompanionStruct_Default___) TRUE 

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

type CompanionStruct_JKeyValue_ 

type CompanionStruct_JKeyValue_ struct {
}

func (CompanionStruct_JKeyValue_) Create_KeyValue_ 

func (CompanionStruct_JKeyValue_) Create_KeyValue_(K Jstring, Colon Structural, V Value) JKeyValue

func (CompanionStruct_JKeyValue_) Default 

func (CompanionStruct_JKeyValue_) Default() JKeyValue

type CompanionStruct_Jblanks_ 

type CompanionStruct_Jblanks_ struct {
}

func (*CompanionStruct_Jblanks_) Witness 

func (_this *CompanionStruct_Jblanks_) Witness() m_JSON_Utils_Views_Core.View__

type CompanionStruct_Jbool_ 

type CompanionStruct_Jbool_ struct {
}

func (*CompanionStruct_Jbool_) Witness 

func (_this *CompanionStruct_Jbool_) Witness() m_JSON_Utils_Views_Core.View__

type CompanionStruct_Jchar_ 

type CompanionStruct_Jchar_ struct {
}

func (*CompanionStruct_Jchar_) Witness 

func (_this *CompanionStruct_Jchar_) Witness() m_JSON_Utils_Views_Core.View__

type CompanionStruct_Jcolon_ 

type CompanionStruct_Jcolon_ struct {
}

func (*CompanionStruct_Jcolon_) Witness 

func (_this *CompanionStruct_Jcolon_) Witness() m_JSON_Utils_Views_Core.View__

type CompanionStruct_Jcomma_ 

type CompanionStruct_Jcomma_ struct {
}

func (*CompanionStruct_Jcomma_) Witness 

func (_this *CompanionStruct_Jcomma_) Witness() m_JSON_Utils_Views_Core.View__

type CompanionStruct_Jdigits_ 

type CompanionStruct_Jdigits_ struct {
}

func (*CompanionStruct_Jdigits_) Witness 

func (_this *CompanionStruct_Jdigits_) Witness() m_JSON_Utils_Views_Core.View__

type CompanionStruct_Je_ 

type CompanionStruct_Je_ struct {
}

func (*CompanionStruct_Je_) Witness 

func (_this *CompanionStruct_Je_) Witness() m_JSON_Utils_Views_Core.View__

type CompanionStruct_Jexp_ 

type CompanionStruct_Jexp_ struct {
}

func (CompanionStruct_Jexp_) Create_JExp_ 

func (CompanionStruct_Jexp_) Create_JExp_(E m_JSON_Utils_Views_Core.View__, Sign m_JSON_Utils_Views_Core.View__, Num m_JSON_Utils_Views_Core.View__) Jexp

func (CompanionStruct_Jexp_) Default 

func (CompanionStruct_Jexp_) Default() Jexp

type CompanionStruct_Jfrac_ 

type CompanionStruct_Jfrac_ struct {
}

func (CompanionStruct_Jfrac_) Create_JFrac_ 

func (CompanionStruct_Jfrac_) Create_JFrac_(Period m_JSON_Utils_Views_Core.View__, Num m_JSON_Utils_Views_Core.View__) Jfrac

func (CompanionStruct_Jfrac_) Default 

func (CompanionStruct_Jfrac_) Default() Jfrac

type CompanionStruct_Jint_ 

type CompanionStruct_Jint_ struct {
}

func (*CompanionStruct_Jint_) Witness 

func (_this *CompanionStruct_Jint_) Witness() m_JSON_Utils_Views_Core.View__

type CompanionStruct_Jlbrace_ 

type CompanionStruct_Jlbrace_ struct {
}

func (*CompanionStruct_Jlbrace_) Witness 

func (_this *CompanionStruct_Jlbrace_) Witness() m_JSON_Utils_Views_Core.View__

type CompanionStruct_Jlbracket_ 

type CompanionStruct_Jlbracket_ struct {
}

func (*CompanionStruct_Jlbracket_) Witness 

func (_this *CompanionStruct_Jlbracket_) Witness() m_JSON_Utils_Views_Core.View__

type CompanionStruct_Jminus_ 

type CompanionStruct_Jminus_ struct {
}

func (*CompanionStruct_Jminus_) Witness 

func (_this *CompanionStruct_Jminus_) Witness() m_JSON_Utils_Views_Core.View__

type CompanionStruct_Jnull_ 

type CompanionStruct_Jnull_ struct {
}

func (*CompanionStruct_Jnull_) Witness 

func (_this *CompanionStruct_Jnull_) Witness() m_JSON_Utils_Views_Core.View__

type CompanionStruct_Jnum_ 

type CompanionStruct_Jnum_ struct {
}

func (*CompanionStruct_Jnum_) Witness 

func (_this *CompanionStruct_Jnum_) Witness() m_JSON_Utils_Views_Core.View__

type CompanionStruct_Jnumber_ 

type CompanionStruct_Jnumber_ struct {
}

func (CompanionStruct_Jnumber_) Create_JNumber_ 

func (CompanionStruct_Jnumber_) Create_JNumber_(Minus m_JSON_Utils_Views_Core.View__, Num m_JSON_Utils_Views_Core.View__, Frac Maybe, Exp Maybe) Jnumber

func (CompanionStruct_Jnumber_) Default 

func (CompanionStruct_Jnumber_) Default() Jnumber

type CompanionStruct_Jperiod_ 

type CompanionStruct_Jperiod_ struct {
}

func (*CompanionStruct_Jperiod_) Witness 

func (_this *CompanionStruct_Jperiod_) Witness() m_JSON_Utils_Views_Core.View__

type CompanionStruct_Jquote_ 

type CompanionStruct_Jquote_ struct {
}

func (*CompanionStruct_Jquote_) Witness 

func (_this *CompanionStruct_Jquote_) Witness() m_JSON_Utils_Views_Core.View__

type CompanionStruct_Jrbrace_ 

type CompanionStruct_Jrbrace_ struct {
}

func (*CompanionStruct_Jrbrace_) Witness 

func (_this *CompanionStruct_Jrbrace_) Witness() m_JSON_Utils_Views_Core.View__

type CompanionStruct_Jrbracket_ 

type CompanionStruct_Jrbracket_ struct {
}

func (*CompanionStruct_Jrbracket_) Witness 

func (_this *CompanionStruct_Jrbracket_) Witness() m_JSON_Utils_Views_Core.View__

type CompanionStruct_Jsign_ 

type CompanionStruct_Jsign_ struct {
}

func (*CompanionStruct_Jsign_) Witness 

func (_this *CompanionStruct_Jsign_) Witness() m_JSON_Utils_Views_Core.View__

type CompanionStruct_Jstr_ 

type CompanionStruct_Jstr_ struct {
}

func (*CompanionStruct_Jstr_) Witness 

func (_this *CompanionStruct_Jstr_) Witness() m_JSON_Utils_Views_Core.View__

type CompanionStruct_Jstring_ 

type CompanionStruct_Jstring_ struct {
}

func (CompanionStruct_Jstring_) Create_JString_ 

func (CompanionStruct_Jstring_) Create_JString_(Lq m_JSON_Utils_Views_Core.View__, Contents m_JSON_Utils_Views_Core.View__, Rq m_JSON_Utils_Views_Core.View__) Jstring

func (CompanionStruct_Jstring_) Default 

func (CompanionStruct_Jstring_) Default() Jstring

type CompanionStruct_Maybe_ 

type CompanionStruct_Maybe_ struct {
}

func (CompanionStruct_Maybe_) Create_Empty_ 

func (CompanionStruct_Maybe_) Create_Empty_() Maybe

func (CompanionStruct_Maybe_) Create_NonEmpty_ 

func (CompanionStruct_Maybe_) Create_NonEmpty_(T interface{}) Maybe

func (CompanionStruct_Maybe_) Default 

func (CompanionStruct_Maybe_) Default() Maybe

type CompanionStruct_Structural_ 

type CompanionStruct_Structural_ struct {
}

func (CompanionStruct_Structural_) Create_Structural_ 

func (CompanionStruct_Structural_) Create_Structural_(Before m_JSON_Utils_Views_Core.View__, T interface{}, After m_JSON_Utils_Views_Core.View__) Structural

func (CompanionStruct_Structural_) Default 

func (CompanionStruct_Structural_) Default(_default_T interface{}) Structural

type CompanionStruct_SuffixedSequence_ 

type CompanionStruct_SuffixedSequence_ struct {
}

type CompanionStruct_Suffixed_ 

type CompanionStruct_Suffixed_ struct {
}

func (CompanionStruct_Suffixed_) Create_Suffixed_ 

func (CompanionStruct_Suffixed_) Create_Suffixed_(T interface{}, Suffix Maybe) Suffixed

func (CompanionStruct_Suffixed_) Default 

func (CompanionStruct_Suffixed_) Default(_default_T interface{}) Suffixed

type CompanionStruct_Value_ 

type CompanionStruct_Value_ struct {
}

func (CompanionStruct_Value_) Create_Array_ 

func (CompanionStruct_Value_) Create_Array_(Arr Bracketed) Value

func (CompanionStruct_Value_) Create_Bool_ 

func (CompanionStruct_Value_) Create_Bool_(B m_JSON_Utils_Views_Core.View__) Value

func (CompanionStruct_Value_) Create_Null_ 

func (CompanionStruct_Value_) Create_Null_(N m_JSON_Utils_Views_Core.View__) Value

func (CompanionStruct_Value_) Create_Number_ 

func (CompanionStruct_Value_) Create_Number_(Num Jnumber) Value

func (CompanionStruct_Value_) Create_Object_ 

func (CompanionStruct_Value_) Create_Object_(Obj Bracketed) Value

func (CompanionStruct_Value_) Create_String_ 

func (CompanionStruct_Value_) Create_String_(Str Jstring) Value

func (CompanionStruct_Value_) Default 

func (CompanionStruct_Value_) Default() Value

type Data_Bracketed_ 

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

type Data_JKeyValue_ 

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

type Data_Jexp_ 

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

type Data_Jfrac_ 

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

type Data_Jnumber_ 

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

type Data_Jstring_ 

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

type Data_Maybe_ 

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

type Data_Structural_ 

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

type Data_Suffixed_ 

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

type Data_Value_ 

type Data_Value_ 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 JKeyValue 

type JKeyValue struct {
	Data_JKeyValue_
}

Definition of datatype JKeyValue

func (JKeyValue) Dtor_colon 

func (_this JKeyValue) Dtor_colon() Structural

func (JKeyValue) Dtor_k 

func (_this JKeyValue) Dtor_k() Jstring

func (JKeyValue) Dtor_v 

func (_this JKeyValue) Dtor_v() Value

func (JKeyValue) Equals 

func (_this JKeyValue) Equals(other JKeyValue) bool

func (JKeyValue) EqualsGeneric 

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

func (JKeyValue) Get_ 

func (_this JKeyValue) Get_() Data_JKeyValue_

func (JKeyValue) Is_KeyValue 

func (_this JKeyValue) Is_KeyValue() bool

func (JKeyValue) ParentTraits_ 

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

func (JKeyValue) String 

func (_this JKeyValue) String() string

type JKeyValue_KeyValue 

type JKeyValue_KeyValue struct {
	K     Jstring
	Colon Structural
	V     Value
}

type Jblanks 

type Jblanks struct {
}

Definition of class Jblanks

func New_Jblanks_ 

func New_Jblanks_() *Jblanks

func (*Jblanks) String 

func (*Jblanks) String() string

type Jbool 

type Jbool struct {
}

Definition of class Jbool

func New_Jbool_ 

func New_Jbool_() *Jbool

func (*Jbool) String 

func (*Jbool) String() string

type Jchar 

type Jchar struct {
}

Definition of class Jchar

func New_Jchar_ 

func New_Jchar_() *Jchar

func (*Jchar) String 

func (*Jchar) String() string

type Jcolon 

type Jcolon struct {
}

Definition of class Jcolon

func New_Jcolon_ 

func New_Jcolon_() *Jcolon

func (*Jcolon) String 

func (*Jcolon) String() string

type Jcomma 

type Jcomma struct {
}

Definition of class Jcomma

func New_Jcomma_ 

func New_Jcomma_() *Jcomma

func (*Jcomma) String 

func (*Jcomma) String() string

type Jdigits 

type Jdigits struct {
}

Definition of class Jdigits

func New_Jdigits_ 

func New_Jdigits_() *Jdigits

func (*Jdigits) String 

func (*Jdigits) String() string

type Je 

type Je struct {
}

Definition of class Je

func New_Je_ 

func New_Je_() *Je

func (*Je) String 

func (*Je) String() string

type Jexp 

type Jexp struct {
	Data_Jexp_
}

Definition of datatype Jexp

func (Jexp) Dtor_e 

func (_this Jexp) Dtor_e() m_JSON_Utils_Views_Core.View__

func (Jexp) Dtor_num 

func (_this Jexp) Dtor_num() m_JSON_Utils_Views_Core.View__

func (Jexp) Dtor_sign 

func (_this Jexp) Dtor_sign() m_JSON_Utils_Views_Core.View__

func (Jexp) Equals 

func (_this Jexp) Equals(other Jexp) bool

func (Jexp) EqualsGeneric 

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

func (Jexp) Get_ 

func (_this Jexp) Get_() Data_Jexp_

func (Jexp) Is_JExp 

func (_this Jexp) Is_JExp() bool

func (Jexp) ParentTraits_ 

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

func (Jexp) String 

func (_this Jexp) String() string

type Jexp_JExp 

type Jexp_JExp struct {
	E    m_JSON_Utils_Views_Core.View__
	Sign m_JSON_Utils_Views_Core.View__
	Num  m_JSON_Utils_Views_Core.View__
}

type Jfrac 

type Jfrac struct {
	Data_Jfrac_
}

Definition of datatype Jfrac

func (Jfrac) Dtor_num 

func (_this Jfrac) Dtor_num() m_JSON_Utils_Views_Core.View__

func (Jfrac) Dtor_period 

func (_this Jfrac) Dtor_period() m_JSON_Utils_Views_Core.View__

func (Jfrac) Equals 

func (_this Jfrac) Equals(other Jfrac) bool

func (Jfrac) EqualsGeneric 

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

func (Jfrac) Get_ 

func (_this Jfrac) Get_() Data_Jfrac_

func (Jfrac) Is_JFrac 

func (_this Jfrac) Is_JFrac() bool

func (Jfrac) ParentTraits_ 

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

func (Jfrac) String 

func (_this Jfrac) String() string

type Jfrac_JFrac 

type Jfrac_JFrac struct {
	Period m_JSON_Utils_Views_Core.View__
	Num    m_JSON_Utils_Views_Core.View__
}

type Jint 

type Jint struct {
}

Definition of class Jint

func New_Jint_ 

func New_Jint_() *Jint

func (*Jint) String 

func (*Jint) String() string

type Jlbrace 

type Jlbrace struct {
}

Definition of class Jlbrace

func New_Jlbrace_ 

func New_Jlbrace_() *Jlbrace

func (*Jlbrace) String 

func (*Jlbrace) String() string

type Jlbracket 

type Jlbracket struct {
}

Definition of class Jlbracket

func New_Jlbracket_ 

func New_Jlbracket_() *Jlbracket

func (*Jlbracket) String 

func (*Jlbracket) String() string

type Jminus 

type Jminus struct {
}

Definition of class Jminus

func New_Jminus_ 

func New_Jminus_() *Jminus

func (*Jminus) String 

func (*Jminus) String() string

type Jnull 

type Jnull struct {
}

Definition of class Jnull

func New_Jnull_ 

func New_Jnull_() *Jnull

func (*Jnull) String 

func (*Jnull) String() string

type Jnum 

type Jnum struct {
}

Definition of class Jnum

func New_Jnum_ 

func New_Jnum_() *Jnum

func (*Jnum) String 

func (*Jnum) String() string

type Jnumber 

type Jnumber struct {
	Data_Jnumber_
}

Definition of datatype Jnumber

func (Jnumber) Dtor_exp 

func (_this Jnumber) Dtor_exp() Maybe

func (Jnumber) Dtor_frac 

func (_this Jnumber) Dtor_frac() Maybe

func (Jnumber) Dtor_minus 

func (_this Jnumber) Dtor_minus() m_JSON_Utils_Views_Core.View__

func (Jnumber) Dtor_num 

func (_this Jnumber) Dtor_num() m_JSON_Utils_Views_Core.View__

func (Jnumber) Equals 

func (_this Jnumber) Equals(other Jnumber) bool

func (Jnumber) EqualsGeneric 

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

func (Jnumber) Get_ 

func (_this Jnumber) Get_() Data_Jnumber_

func (Jnumber) Is_JNumber 

func (_this Jnumber) Is_JNumber() bool

func (Jnumber) ParentTraits_ 

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

func (Jnumber) String 

func (_this Jnumber) String() string

type Jnumber_JNumber 

type Jnumber_JNumber struct {
	Minus m_JSON_Utils_Views_Core.View__
	Num   m_JSON_Utils_Views_Core.View__
	Frac  Maybe
	Exp   Maybe
}

type Jperiod 

type Jperiod struct {
}

Definition of class Jperiod

func New_Jperiod_ 

func New_Jperiod_() *Jperiod

func (*Jperiod) String 

func (*Jperiod) String() string

type Jquote 

type Jquote struct {
}

Definition of class Jquote

func New_Jquote_ 

func New_Jquote_() *Jquote

func (*Jquote) String 

func (*Jquote) String() string

type Jrbrace 

type Jrbrace struct {
}

Definition of class Jrbrace

func New_Jrbrace_ 

func New_Jrbrace_() *Jrbrace

func (*Jrbrace) String 

func (*Jrbrace) String() string

type Jrbracket 

type Jrbracket struct {
}

Definition of class Jrbracket

func New_Jrbracket_ 

func New_Jrbracket_() *Jrbracket

func (*Jrbracket) String 

func (*Jrbracket) String() string

type Jsign 

type Jsign struct {
}

Definition of class Jsign

func New_Jsign_ 

func New_Jsign_() *Jsign

func (*Jsign) String 

func (*Jsign) String() string

type Jstr 

type Jstr struct {
}

Definition of class Jstr

func New_Jstr_ 

func New_Jstr_() *Jstr

func (*Jstr) String 

func (*Jstr) String() string

type Jstring 

type Jstring struct {
	Data_Jstring_
}

Definition of datatype Jstring

func (Jstring) Dtor_contents 

func (_this Jstring) Dtor_contents() m_JSON_Utils_Views_Core.View__

func (Jstring) Dtor_lq 

func (_this Jstring) Dtor_lq() m_JSON_Utils_Views_Core.View__

func (Jstring) Dtor_rq 

func (_this Jstring) Dtor_rq() m_JSON_Utils_Views_Core.View__

func (Jstring) Equals 

func (_this Jstring) Equals(other Jstring) bool

func (Jstring) EqualsGeneric 

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

func (Jstring) Get_ 

func (_this Jstring) Get_() Data_Jstring_

func (Jstring) Is_JString 

func (_this Jstring) Is_JString() bool

func (Jstring) ParentTraits_ 

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

func (Jstring) String 

func (_this Jstring) String() string

type Jstring_JString 

type Jstring_JString struct {
	Lq       m_JSON_Utils_Views_Core.View__
	Contents m_JSON_Utils_Views_Core.View__
	Rq       m_JSON_Utils_Views_Core.View__
}

type Maybe 

type Maybe struct {
	Data_Maybe_
}

Definition of datatype Maybe

func (Maybe) Dtor_t 

func (_this Maybe) Dtor_t() interface{}

func (Maybe) Equals 

func (_this Maybe) Equals(other Maybe) bool

func (Maybe) EqualsGeneric 

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

func (Maybe) Get_ 

func (_this Maybe) Get_() Data_Maybe_

func (Maybe) Is_Empty 

func (_this Maybe) Is_Empty() bool

func (Maybe) Is_NonEmpty 

func (_this Maybe) Is_NonEmpty() bool

func (Maybe) ParentTraits_ 

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

func (Maybe) String 

func (_this Maybe) String() string

type Maybe_Empty 

type Maybe_Empty struct {
}

type Maybe_NonEmpty 

type Maybe_NonEmpty struct {
	T interface{}
}

type Structural 

type Structural struct {
	Data_Structural_
}

Definition of datatype Structural

func (Structural) Dtor_after 

func (_this Structural) Dtor_after() m_JSON_Utils_Views_Core.View__

func (Structural) Dtor_before 

func (_this Structural) Dtor_before() m_JSON_Utils_Views_Core.View__

func (Structural) Dtor_t 

func (_this Structural) Dtor_t() interface{}

func (Structural) Equals 

func (_this Structural) Equals(other Structural) bool

func (Structural) EqualsGeneric 

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

func (Structural) Get_ 

func (_this Structural) Get_() Data_Structural_

func (Structural) Is_Structural 

func (_this Structural) Is_Structural() bool

func (Structural) ParentTraits_ 

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

func (Structural) String 

func (_this Structural) String() string

type Structural_Structural 

type Structural_Structural struct {
	Before m_JSON_Utils_Views_Core.View__
	T      interface{}
	After  m_JSON_Utils_Views_Core.View__
}

type Suffixed 

type Suffixed struct {
	Data_Suffixed_
}

Definition of datatype Suffixed

func (Suffixed) Dtor_suffix 

func (_this Suffixed) Dtor_suffix() Maybe

func (Suffixed) Dtor_t 

func (_this Suffixed) Dtor_t() interface{}

func (Suffixed) Equals 

func (_this Suffixed) Equals(other Suffixed) bool

func (Suffixed) EqualsGeneric 

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

func (Suffixed) Get_ 

func (_this Suffixed) Get_() Data_Suffixed_

func (Suffixed) Is_Suffixed 

func (_this Suffixed) Is_Suffixed() bool

func (Suffixed) ParentTraits_ 

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

func (Suffixed) String 

func (_this Suffixed) String() string

type SuffixedSequence 

type SuffixedSequence struct {
}

Definition of class SuffixedSequence

func New_SuffixedSequence_ 

func New_SuffixedSequence_() *SuffixedSequence

func (*SuffixedSequence) String 

func (*SuffixedSequence) String() string

type Suffixed_Suffixed 

type Suffixed_Suffixed struct {
	T      interface{}
	Suffix Maybe
}

type Value 

type Value struct {
	Data_Value_
}

Definition of datatype Value

func (Value) Dtor_arr 

func (_this Value) Dtor_arr() Bracketed

func (Value) Dtor_b 

func (_this Value) Dtor_b() m_JSON_Utils_Views_Core.View__

func (Value) Dtor_n 

func (_this Value) Dtor_n() m_JSON_Utils_Views_Core.View__

func (Value) Dtor_num 

func (_this Value) Dtor_num() Jnumber

func (Value) Dtor_obj 

func (_this Value) Dtor_obj() Bracketed

func (Value) Dtor_str 

func (_this Value) Dtor_str() Jstring

func (Value) Equals 

func (_this Value) Equals(other Value) bool

func (Value) EqualsGeneric 

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

func (Value) Get_ 

func (_this Value) Get_() Data_Value_

func (Value) Is_Array 

func (_this Value) Is_Array() bool

func (Value) Is_Bool 

func (_this Value) Is_Bool() bool

func (Value) Is_Null 

func (_this Value) Is_Null() bool

func (Value) Is_Number 

func (_this Value) Is_Number() bool

func (Value) Is_Object 

func (_this Value) Is_Object() bool

func (Value) Is_String 

func (_this Value) Is_String() bool

func (Value) ParentTraits_ 

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

func (Value) String 

func (_this Value) String() string

type Value_Array 

type Value_Array struct {
	Arr Bracketed
}

type Value_Bool 

type Value_Bool struct {
	B m_JSON_Utils_Views_Core.View__
}

type Value_Null 

type Value_Null struct {
	N m_JSON_Utils_Views_Core.View__
}

type Value_Number 

type Value_Number struct {
	Num Jnumber
}

type Value_Object 

type Value_Object struct {
	Obj Bracketed
}

type Value_String 

type Value_String struct {
	Str Jstring
}

Source Files

View all Source files

Jump to

Keyboard shortcuts

? : This menu
/ : Search site
f or F : Jump to
y or Y : Canonical URL
go.dev uses cookies from Google to deliver and enhance the quality of its services and to analyze traffic. Learn more.