Documentation
¶
Index ¶
- Variables
- func Type_MoreNeeded_() _dafny.TypeDescriptor
- func Type_ReadProblems_() _dafny.TypeDescriptor
- func Type_ReadableBuffer_() _dafny.TypeDescriptor
- func Type_SuccessfulRead_(Type_T_ _dafny.TypeDescriptor) _dafny.TypeDescriptor
- type CompanionStruct_Default___
- func (_static *CompanionStruct_Default___) Read(buffer ReadableBuffer, length _dafny.Int) m_Wrappers.Result
- func (_static *CompanionStruct_Default___) ReadShortLengthSeq(buffer ReadableBuffer) m_Wrappers.Result
- func (_static *CompanionStruct_Default___) ReadUInt16(buffer ReadableBuffer) m_Wrappers.Result
- func (_static *CompanionStruct_Default___) ReadUInt32(buffer ReadableBuffer) m_Wrappers.Result
- func (_static *CompanionStruct_Default___) ReadUInt64(buffer ReadableBuffer) m_Wrappers.Result
- func (_static *CompanionStruct_Default___) ReadUint32Seq(buffer ReadableBuffer) m_Wrappers.Result
- func (_static *CompanionStruct_Default___) ReadUint64Seq(buffer ReadableBuffer) m_Wrappers.Result
- func (_static *CompanionStruct_Default___) Write(data _dafny.Sequence) _dafny.Sequence
- func (_static *CompanionStruct_Default___) WriteShortLengthSeq(d _dafny.Sequence) _dafny.Sequence
- func (_static *CompanionStruct_Default___) WriteUint16(number uint16) _dafny.Sequence
- func (_static *CompanionStruct_Default___) WriteUint32(number uint32) _dafny.Sequence
- func (_static *CompanionStruct_Default___) WriteUint32Seq(d _dafny.Sequence) _dafny.Sequence
- func (_static *CompanionStruct_Default___) WriteUint64(number uint64) _dafny.Sequence
- func (_static *CompanionStruct_Default___) WriteUint64Seq(d _dafny.Sequence) _dafny.Sequence
- type CompanionStruct_MoreNeeded_
- type CompanionStruct_ReadProblems_
- type CompanionStruct_ReadableBuffer_
- type CompanionStruct_SuccessfulRead_
- type Data_ReadProblems_
- type Data_ReadableBuffer_
- type Data_SuccessfulRead_
- type Default__
- type Dummy__
- type MoreNeeded
- type ReadProblems
- func (_this ReadProblems) Dtor_message() _dafny.Sequence
- func (_this ReadProblems) Dtor_pos() _dafny.Int
- func (_this ReadProblems) Equals(other ReadProblems) bool
- func (_this ReadProblems) EqualsGeneric(other interface{}) bool
- func (_this ReadProblems) Get_() Data_ReadProblems_
- func (_this ReadProblems) Is_Error() bool
- func (_this ReadProblems) Is_MoreNeeded() bool
- func (_this ReadProblems) ParentTraits_() []*_dafny.TraitID
- func (_this ReadProblems) String() string
- type ReadProblems_Error
- type ReadProblems_MoreNeeded
- type ReadableBuffer
- func (_this ReadableBuffer) Dtor_bytes() _dafny.Sequence
- func (_this ReadableBuffer) Dtor_start() _dafny.Int
- func (_this ReadableBuffer) Equals(other ReadableBuffer) bool
- func (_this ReadableBuffer) EqualsGeneric(other interface{}) bool
- func (_this ReadableBuffer) Get_() Data_ReadableBuffer_
- func (_this ReadableBuffer) Is_ReadableBuffer() bool
- func (_this ReadableBuffer) ParentTraits_() []*_dafny.TraitID
- func (_this ReadableBuffer) String() string
- type ReadableBuffer_ReadableBuffer
- type SuccessfulRead
- func (_this SuccessfulRead) Dtor_data() interface{}
- func (_this SuccessfulRead) Dtor_tail() ReadableBuffer
- func (_this SuccessfulRead) Equals(other SuccessfulRead) bool
- func (_this SuccessfulRead) EqualsGeneric(other interface{}) bool
- func (_this SuccessfulRead) Get_() Data_SuccessfulRead_
- func (_this SuccessfulRead) Is_SuccessfulRead() bool
- func (_this SuccessfulRead) ParentTraits_() []*_dafny.TraitID
- func (_this SuccessfulRead) String() string
- type SuccessfulRead_SuccessfulRead
Constants ¶
This section is empty.
Variables ¶
View Source
var Companion_Default___ = CompanionStruct_Default___{}
View Source
var Companion_MoreNeeded_ = CompanionStruct_MoreNeeded_{}
View Source
var Companion_ReadProblems_ = CompanionStruct_ReadProblems_{}
View Source
var Companion_ReadableBuffer_ = CompanionStruct_ReadableBuffer_{}
View Source
var Companion_SuccessfulRead_ = CompanionStruct_SuccessfulRead_{}
Functions ¶
func Type_MoreNeeded_ ¶
func Type_MoreNeeded_() _dafny.TypeDescriptor
func Type_ReadProblems_ ¶
func Type_ReadProblems_() _dafny.TypeDescriptor
func Type_ReadableBuffer_ ¶
func Type_ReadableBuffer_() _dafny.TypeDescriptor
func Type_SuccessfulRead_ ¶
func Type_SuccessfulRead_(Type_T_ _dafny.TypeDescriptor) _dafny.TypeDescriptor
Types ¶
type CompanionStruct_Default___ ¶
type CompanionStruct_Default___ struct { }
func (*CompanionStruct_Default___) Read ¶
func (_static *CompanionStruct_Default___) Read(buffer ReadableBuffer, length _dafny.Int) m_Wrappers.Result
func (*CompanionStruct_Default___) ReadShortLengthSeq ¶
func (_static *CompanionStruct_Default___) ReadShortLengthSeq(buffer ReadableBuffer) m_Wrappers.Result
func (*CompanionStruct_Default___) ReadUInt16 ¶
func (_static *CompanionStruct_Default___) ReadUInt16(buffer ReadableBuffer) m_Wrappers.Result
func (*CompanionStruct_Default___) ReadUInt32 ¶
func (_static *CompanionStruct_Default___) ReadUInt32(buffer ReadableBuffer) m_Wrappers.Result
func (*CompanionStruct_Default___) ReadUInt64 ¶
func (_static *CompanionStruct_Default___) ReadUInt64(buffer ReadableBuffer) m_Wrappers.Result
func (*CompanionStruct_Default___) ReadUint32Seq ¶
func (_static *CompanionStruct_Default___) ReadUint32Seq(buffer ReadableBuffer) m_Wrappers.Result
func (*CompanionStruct_Default___) ReadUint64Seq ¶
func (_static *CompanionStruct_Default___) ReadUint64Seq(buffer ReadableBuffer) m_Wrappers.Result
func (*CompanionStruct_Default___) Write ¶
func (_static *CompanionStruct_Default___) Write(data _dafny.Sequence) _dafny.Sequence
func (*CompanionStruct_Default___) WriteShortLengthSeq ¶
func (_static *CompanionStruct_Default___) WriteShortLengthSeq(d _dafny.Sequence) _dafny.Sequence
func (*CompanionStruct_Default___) WriteUint16 ¶
func (_static *CompanionStruct_Default___) WriteUint16(number uint16) _dafny.Sequence
func (*CompanionStruct_Default___) WriteUint32 ¶
func (_static *CompanionStruct_Default___) WriteUint32(number uint32) _dafny.Sequence
func (*CompanionStruct_Default___) WriteUint32Seq ¶
func (_static *CompanionStruct_Default___) WriteUint32Seq(d _dafny.Sequence) _dafny.Sequence
func (*CompanionStruct_Default___) WriteUint64 ¶
func (_static *CompanionStruct_Default___) WriteUint64(number uint64) _dafny.Sequence
func (*CompanionStruct_Default___) WriteUint64Seq ¶
func (_static *CompanionStruct_Default___) WriteUint64Seq(d _dafny.Sequence) _dafny.Sequence
type CompanionStruct_MoreNeeded_ ¶
type CompanionStruct_MoreNeeded_ struct { }
func (*CompanionStruct_MoreNeeded_) Is_ ¶
func (_this *CompanionStruct_MoreNeeded_) Is_(__source ReadProblems) bool
type CompanionStruct_ReadProblems_ ¶
type CompanionStruct_ReadProblems_ struct { }
func (CompanionStruct_ReadProblems_) Create_Error_ ¶
func (CompanionStruct_ReadProblems_) Create_Error_(Message _dafny.Sequence) ReadProblems
func (CompanionStruct_ReadProblems_) Create_MoreNeeded_ ¶
func (CompanionStruct_ReadProblems_) Create_MoreNeeded_(Pos _dafny.Int) ReadProblems
func (CompanionStruct_ReadProblems_) Default ¶
func (CompanionStruct_ReadProblems_) Default() ReadProblems
type CompanionStruct_ReadableBuffer_ ¶
type CompanionStruct_ReadableBuffer_ struct { }
func (CompanionStruct_ReadableBuffer_) Create_ReadableBuffer_ ¶
func (CompanionStruct_ReadableBuffer_) Create_ReadableBuffer_(Bytes _dafny.Sequence, Start _dafny.Int) ReadableBuffer
func (CompanionStruct_ReadableBuffer_) Default ¶
func (CompanionStruct_ReadableBuffer_) Default() ReadableBuffer
type CompanionStruct_SuccessfulRead_ ¶
type CompanionStruct_SuccessfulRead_ struct { }
func (CompanionStruct_SuccessfulRead_) Create_SuccessfulRead_ ¶
func (CompanionStruct_SuccessfulRead_) Create_SuccessfulRead_(Data interface{}, Tail ReadableBuffer) SuccessfulRead
func (CompanionStruct_SuccessfulRead_) Default ¶
func (CompanionStruct_SuccessfulRead_) Default(_default_T interface{}) SuccessfulRead
type Data_ReadProblems_ ¶
type Data_ReadProblems_ interface {
// contains filtered or unexported methods
}
type Data_ReadableBuffer_ ¶
type Data_ReadableBuffer_ interface {
// contains filtered or unexported methods
}
type Data_SuccessfulRead_ ¶
type Data_SuccessfulRead_ 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__) EqualsGeneric ¶
func (*Default__) ParentTraits_ ¶
type MoreNeeded ¶
type MoreNeeded struct { }
Definition of class MoreNeeded
func New_MoreNeeded_ ¶
func New_MoreNeeded_() *MoreNeeded
func (*MoreNeeded) String ¶
func (*MoreNeeded) String() string
type ReadProblems ¶
type ReadProblems struct {
Data_ReadProblems_
}
Definition of datatype ReadProblems
func (ReadProblems) Dtor_message ¶
func (_this ReadProblems) Dtor_message() _dafny.Sequence
func (ReadProblems) Dtor_pos ¶
func (_this ReadProblems) Dtor_pos() _dafny.Int
func (ReadProblems) Equals ¶
func (_this ReadProblems) Equals(other ReadProblems) bool
func (ReadProblems) EqualsGeneric ¶
func (_this ReadProblems) EqualsGeneric(other interface{}) bool
func (ReadProblems) Get_ ¶
func (_this ReadProblems) Get_() Data_ReadProblems_
func (ReadProblems) Is_Error ¶
func (_this ReadProblems) Is_Error() bool
func (ReadProblems) Is_MoreNeeded ¶
func (_this ReadProblems) Is_MoreNeeded() bool
func (ReadProblems) ParentTraits_ ¶
func (_this ReadProblems) ParentTraits_() []*_dafny.TraitID
func (ReadProblems) String ¶
func (_this ReadProblems) String() string
type ReadProblems_Error ¶
type ReadProblems_MoreNeeded ¶
type ReadableBuffer ¶
type ReadableBuffer struct {
Data_ReadableBuffer_
}
Definition of datatype ReadableBuffer
func (ReadableBuffer) Dtor_bytes ¶
func (_this ReadableBuffer) Dtor_bytes() _dafny.Sequence
func (ReadableBuffer) Dtor_start ¶
func (_this ReadableBuffer) Dtor_start() _dafny.Int
func (ReadableBuffer) Equals ¶
func (_this ReadableBuffer) Equals(other ReadableBuffer) bool
func (ReadableBuffer) EqualsGeneric ¶
func (_this ReadableBuffer) EqualsGeneric(other interface{}) bool
func (ReadableBuffer) Get_ ¶
func (_this ReadableBuffer) Get_() Data_ReadableBuffer_
func (ReadableBuffer) Is_ReadableBuffer ¶
func (_this ReadableBuffer) Is_ReadableBuffer() bool
func (ReadableBuffer) ParentTraits_ ¶
func (_this ReadableBuffer) ParentTraits_() []*_dafny.TraitID
func (ReadableBuffer) String ¶
func (_this ReadableBuffer) String() string
type SuccessfulRead ¶
type SuccessfulRead struct {
Data_SuccessfulRead_
}
Definition of datatype SuccessfulRead
func (SuccessfulRead) Dtor_data ¶
func (_this SuccessfulRead) Dtor_data() interface{}
func (SuccessfulRead) Dtor_tail ¶
func (_this SuccessfulRead) Dtor_tail() ReadableBuffer
func (SuccessfulRead) Equals ¶
func (_this SuccessfulRead) Equals(other SuccessfulRead) bool
func (SuccessfulRead) EqualsGeneric ¶
func (_this SuccessfulRead) EqualsGeneric(other interface{}) bool
func (SuccessfulRead) Get_ ¶
func (_this SuccessfulRead) Get_() Data_SuccessfulRead_
func (SuccessfulRead) Is_SuccessfulRead ¶
func (_this SuccessfulRead) Is_SuccessfulRead() bool
func (SuccessfulRead) ParentTraits_ ¶
func (_this SuccessfulRead) ParentTraits_() []*_dafny.TraitID
func (SuccessfulRead) String ¶
func (_this SuccessfulRead) String() string
type SuccessfulRead_SuccessfulRead ¶
type SuccessfulRead_SuccessfulRead struct { Data interface{} Tail ReadableBuffer }
Click to show internal directories.
Click to hide internal directories.