JSON_Utils_Parsers

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: 44 Imported by: 1

Documentation

Index

Constants

This section is empty.

Variables

View Source 
var Companion_Default___ = CompanionStruct_Default___{}
View Source 
var Companion_Parser_ = CompanionStruct_Parser_{}
View Source 
var Companion_Parser___ = CompanionStruct_Parser___{}
View Source 
var Companion_SubParser_ = CompanionStruct_SubParser_{}
View Source 
var Companion_SubParser___ = CompanionStruct_SubParser___{}

Functions

func Type_Parser_ 

func Type_Parser_(Type_T_ _dafny.TypeDescriptor, Type_R_ _dafny.TypeDescriptor) _dafny.TypeDescriptor

func Type_Parser___ 

func Type_Parser___(Type_T_ _dafny.TypeDescriptor) _dafny.TypeDescriptor

func Type_SubParser_ 

func Type_SubParser_(Type_T_ _dafny.TypeDescriptor, Type_R_ _dafny.TypeDescriptor) _dafny.TypeDescriptor

func Type_SubParser___ 

func Type_SubParser___() _dafny.TypeDescriptor

Types

type CompanionStruct_Default___ 

type CompanionStruct_Default___ struct {
}

func (*CompanionStruct_Default___) ParserWitness 

func (_static *CompanionStruct_Default___) ParserWitness() Parser__

func (*CompanionStruct_Default___) SubParserWitness 

func (_static *CompanionStruct_Default___) SubParserWitness() SubParser__

type CompanionStruct_Parser_ 

type CompanionStruct_Parser_ struct {
}

func (*CompanionStruct_Parser_) Witness 

func (_this *CompanionStruct_Parser_) Witness() Parser__

type CompanionStruct_Parser___ 

type CompanionStruct_Parser___ struct {
}

func (CompanionStruct_Parser___) Create_Parser_ 

func (CompanionStruct_Parser___) Create_Parser_(Fn func(m_JSON_Utils_Cursors.Cursor__) m_Wrappers.Result) Parser__

func (CompanionStruct_Parser___) Default 

func (CompanionStruct_Parser___) Default(_default_T interface{}) Parser__

type CompanionStruct_SubParser_ 

type CompanionStruct_SubParser_ struct {
}

func (*CompanionStruct_SubParser_) Witness 

func (_this *CompanionStruct_SubParser_) Witness() SubParser__

type CompanionStruct_SubParser___ 

type CompanionStruct_SubParser___ struct {
}

func (CompanionStruct_SubParser___) Create_SubParser_ 

func (CompanionStruct_SubParser___) Create_SubParser_(Fn func(m_JSON_Utils_Cursors.Cursor__) m_Wrappers.Result) SubParser__

func (CompanionStruct_SubParser___) Default 

func (CompanionStruct_SubParser___) Default() SubParser__

type Data_Parser___ 

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

type Data_SubParser___ 

type Data_SubParser___ 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 Parser 

type Parser struct {
}

Definition of class Parser

func New_Parser_ 

func New_Parser_() *Parser

func (*Parser) String 

func (*Parser) String() string

type Parser__ 

type Parser__ struct {
	Data_Parser___
}

Definition of datatype Parser__

func (Parser__) Dtor_fn 

func (_this Parser__) Dtor_fn() func(m_JSON_Utils_Cursors.Cursor__) m_Wrappers.Result

func (Parser__) Equals 

func (_this Parser__) Equals(other Parser__) bool

func (Parser__) EqualsGeneric 

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

func (Parser__) Get_ 

func (_this Parser__) Get_() Data_Parser___

func (Parser__) Is_Parser 

func (_this Parser__) Is_Parser() bool

func (Parser__) ParentTraits_ 

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

func (Parser__) String 

func (_this Parser__) String() string

type Parser___Parser 

type Parser___Parser struct {
	Fn func(m_JSON_Utils_Cursors.Cursor__) m_Wrappers.Result
}

type SubParser 

type SubParser struct {
}

Definition of class SubParser

func New_SubParser_ 

func New_SubParser_() *SubParser

func (*SubParser) String 

func (*SubParser) String() string

type SubParser__ 

type SubParser__ struct {
	Data_SubParser___
}

Definition of datatype SubParser__

func (SubParser__) Dtor_fn 

func (_this SubParser__) Dtor_fn() func(m_JSON_Utils_Cursors.Cursor__) m_Wrappers.Result

func (SubParser__) Equals 

func (_this SubParser__) Equals(other SubParser__) bool

func (SubParser__) EqualsGeneric 

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

func (SubParser__) Get_ 

func (_this SubParser__) Get_() Data_SubParser___

func (SubParser__) Is_SubParser 

func (_this SubParser__) Is_SubParser() bool

func (SubParser__) ParentTraits_ 

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

func (SubParser__) String 

func (_this SubParser__) String() string

type SubParser___SubParser 

type SubParser___SubParser struct {
	Fn func(m_JSON_Utils_Cursors.Cursor__) m_Wrappers.Result
}

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.