GetOpt

package
v0.0.0-...-cd82283 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: 34 Imported by: 0

Documentation

Index

Constants

This section is empty.

Variables

View Source 
var Companion_CommandMap_ = CompanionStruct_CommandMap_{}
View Source 
var Companion_Context_ = CompanionStruct_Context_{}
View Source 
var Companion_Default___ = CompanionStruct_Default___{}
View Source 
var Companion_OneArg_ = CompanionStruct_OneArg_{}
View Source 
var Companion_Options_ = CompanionStruct_Options_{}
View Source 
var Companion_Param_ = CompanionStruct_Param_{}
View Source 
var Companion_Parsed_ = CompanionStruct_Parsed_{}
View Source 
var Companion_Tri_ = CompanionStruct_Tri_{}
View Source 
var Companion_Unused_ = CompanionStruct_Unused_{}
View Source 
var Companion_Visibility_ = CompanionStruct_Visibility_{}

Functions

func Type_CommandMap_ 

func Type_CommandMap_() _dafny.TypeDescriptor

func Type_Context_ 

func Type_Context_() _dafny.TypeDescriptor

func Type_OneArg_ 

func Type_OneArg_() _dafny.TypeDescriptor

func Type_Options_ 

func Type_Options_() _dafny.TypeDescriptor

func Type_Param_ 

func Type_Param_() _dafny.TypeDescriptor

func Type_Parsed_ 

func Type_Parsed_() _dafny.TypeDescriptor

func Type_Tri_ 

func Type_Tri_() _dafny.TypeDescriptor

func Type_Unused_ 

func Type_Unused_() _dafny.TypeDescriptor

func Type_Visibility_ 

func Type_Visibility_() _dafny.TypeDescriptor

Types

type CommandMap 

type CommandMap struct {
}

Definition of class CommandMap

func New_CommandMap_ 

func New_CommandMap_() *CommandMap

func (*CommandMap) String 

func (*CommandMap) String() string

type CompanionStruct_CommandMap_ 

type CompanionStruct_CommandMap_ struct {
}

func (*CompanionStruct_CommandMap_) Is_ 

func (_this *CompanionStruct_CommandMap_) Is_(__source _dafny.Map) bool

type CompanionStruct_Context_ 

type CompanionStruct_Context_ struct {
}

func (CompanionStruct_Context_) Create_Context_ 

func (CompanionStruct_Context_) Create_Context_(LongMap _dafny.Map, ShortMap _dafny.Map, Inherits _dafny.Sequence, Commands _dafny.Map, Command _dafny.Sequence) Context

func (CompanionStruct_Context_) Default 

func (CompanionStruct_Context_) Default() Context

type CompanionStruct_Default___ 

type CompanionStruct_Default___ struct {
}

func (*CompanionStruct_Default___) AddLongAlias 

func (_static *CompanionStruct_Default___) AddLongAlias(aliases _dafny.Sequence, longMap _dafny.Map, opt Param) m_Wrappers.Result

func (*CompanionStruct_Default___) AddShortAlias 

func (_static *CompanionStruct_Default___) AddShortAlias(aliases _dafny.Sequence, shortMap _dafny.Map, name _dafny.Sequence) m_Wrappers.Result

func (*CompanionStruct_Default___) AllDigits 

func (_static *CompanionStruct_Default___) AllDigits(s _dafny.Sequence) bool

func (*CompanionStruct_Default___) ArgExists 

func (_static *CompanionStruct_Default___) ArgExists(args _dafny.Sequence, name _dafny.Sequence) bool

func (*CompanionStruct_Default___) Example 

func (_static *CompanionStruct_Default___) Example(args _dafny.Sequence) m_Wrappers.Result

func (*CompanionStruct_Default___) Filter 

func (_static *CompanionStruct_Default___) Filter(f func(interface{}) bool, xs _dafny.Sequence) _dafny.Sequence

func (*CompanionStruct_Default___) FlagCount 

func (_static *CompanionStruct_Default___) FlagCount(args _dafny.Sequence, arg _dafny.Sequence) _dafny.Int

func (*CompanionStruct_Default___) FlagMapCount 

func (_static *CompanionStruct_Default___) FlagMapCount(args _dafny.Sequence, theMap _dafny.Map) _dafny.Map

func (*CompanionStruct_Default___) FlagSetCheck 

func (_static *CompanionStruct_Default___) FlagSetCheck(args _dafny.Sequence, theSet _dafny.Set) m_Wrappers.Result

func (*CompanionStruct_Default___) FlagsSet 

func (_static *CompanionStruct_Default___) FlagsSet(args _dafny.Sequence, theSet _dafny.Set) _dafny.Set

func (*CompanionStruct_Default___) GetCmdHelp 

func (_static *CompanionStruct_Default___) GetCmdHelp(opts _dafny.Sequence, commandLen _dafny.Int) _dafny.Sequence

func (*CompanionStruct_Default___) GetCommandHelp 

func (_static *CompanionStruct_Default___) GetCommandHelp(opt Param, commandLen _dafny.Int) _dafny.Sequence

func (*CompanionStruct_Default___) GetCommandLen 

func (_static *CompanionStruct_Default___) GetCommandLen(opts _dafny.Sequence, max _dafny.Int) _dafny.Int

func (*CompanionStruct_Default___) GetHelp 

func (_static *CompanionStruct_Default___) GetHelp(opts Options, prefix _dafny.Sequence) _dafny.Sequence

func (*CompanionStruct_Default___) GetHelp2 

func (_static *CompanionStruct_Default___) GetHelp2(opts _dafny.Sequence, longLen _dafny.Int) _dafny.Sequence

func (*CompanionStruct_Default___) GetHelpHelp 

func (_static *CompanionStruct_Default___) GetHelpHelp(opt Param) _dafny.Sequence

func (*CompanionStruct_Default___) GetLongHelp 

func (_static *CompanionStruct_Default___) GetLongHelp(opt Param, longLen _dafny.Int) _dafny.Sequence

func (*CompanionStruct_Default___) GetLongLen 

func (_static *CompanionStruct_Default___) GetLongLen(opts _dafny.Sequence, max _dafny.Int) _dafny.Int

func (*CompanionStruct_Default___) GetMaps 

func (_static *CompanionStruct_Default___) GetMaps(opts _dafny.Sequence, longMap _dafny.Map, shortMap _dafny.Map, commandMap _dafny.Map) m_Wrappers.Result

func (*CompanionStruct_Default___) GetOptions 

func (_static *CompanionStruct_Default___) GetOptions(opts Options, args _dafny.Sequence) m_Wrappers.Result

func (*CompanionStruct_Default___) GetOptions2 

func (_static *CompanionStruct_Default___) GetOptions2(args _dafny.Sequence, context Context, parms _dafny.Sequence, files _dafny.Sequence) m_Wrappers.Result

func (*CompanionStruct_Default___) GetPositionals 

func (_static *CompanionStruct_Default___) GetPositionals(opts _dafny.Sequence, args _dafny.Sequence, params _dafny.Sequence) m_Wrappers.Result

func (*CompanionStruct_Default___) GetShort 

func (_static *CompanionStruct_Default___) GetShort(arg _dafny.Sequence, longMap _dafny.Map, shortMap _dafny.Map, parms _dafny.Sequence) m_Wrappers.Result

func (*CompanionStruct_Default___) GetShortHelp 

func (_static *CompanionStruct_Default___) GetShortHelp(opt Param) _dafny.Sequence

func (*CompanionStruct_Default___) GetSubOptions 

func (_static *CompanionStruct_Default___) GetSubOptions(opts _dafny.Sequence, name _dafny.Sequence, pos _dafny.Int) m_Wrappers.Option

func (*CompanionStruct_Default___) HELP__PARAM 

func (_static *CompanionStruct_Default___) HELP__PARAM() Param

func (*CompanionStruct_Default___) HELP__STR 

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

func (*CompanionStruct_Default___) IndexOf 

func (_static *CompanionStruct_Default___) IndexOf(xs _dafny.Sequence, v interface{}) _dafny.Int

func (*CompanionStruct_Default___) IsHelp 

func (_static *CompanionStruct_Default___) IsHelp(args Parsed) bool

func (*CompanionStruct_Default___) NeedsHelp 

func (_static *CompanionStruct_Default___) NeedsHelp(opts Options, args Parsed, prefix _dafny.Sequence) m_Wrappers.Option

func (*CompanionStruct_Default___) NullChar 

func (_static *CompanionStruct_Default___) NullChar() _dafny.Char

func (*CompanionStruct_Default___) OneHelp 

func (_static *CompanionStruct_Default___) OneHelp(opt Param, longLen _dafny.Int) _dafny.Sequence

func (*CompanionStruct_Default___) OptMapCheck 

func (_static *CompanionStruct_Default___) OptMapCheck(args _dafny.Sequence, theMap _dafny.Map) m_Wrappers.Result

func (*CompanionStruct_Default___) OptMapLast 

func (_static *CompanionStruct_Default___) OptMapLast(args _dafny.Sequence, theMap _dafny.Map) _dafny.Map

func (*CompanionStruct_Default___) OptMapList 

func (_static *CompanionStruct_Default___) OptMapList(args _dafny.Sequence, theMap _dafny.Map) _dafny.Map

func (*CompanionStruct_Default___) OptValue 

func (_static *CompanionStruct_Default___) OptValue(args _dafny.Sequence, arg _dafny.Sequence) m_Wrappers.Option

func (*CompanionStruct_Default___) PostProcess 

func (_static *CompanionStruct_Default___) PostProcess(opts Options, args Parsed) m_Wrappers.Result

func (*CompanionStruct_Default___) PostProcess2 

func (_static *CompanionStruct_Default___) PostProcess2(opts _dafny.Sequence, args _dafny.Sequence, newArgs _dafny.Sequence) m_Wrappers.Result

func (*CompanionStruct_Default___) Print 

func (_static *CompanionStruct_Default___) Print(x interface{}) m_Wrappers.Outcome

func (*CompanionStruct_Default___) SplitOnce 

func (_static *CompanionStruct_Default___) SplitOnce(s _dafny.Sequence, delim interface{}) _dafny.Tuple

func (*CompanionStruct_Default___) TestPositionals 

func (_static *CompanionStruct_Default___) TestPositionals(opts _dafny.Sequence, optional m_Wrappers.Option) m_Wrappers.Outcome

func (*CompanionStruct_Default___) ValidPositional 

func (_static *CompanionStruct_Default___) ValidPositional(s _dafny.Sequence) bool

type CompanionStruct_OneArg_ 

type CompanionStruct_OneArg_ struct {
}

func (CompanionStruct_OneArg_) Create_OneArg_ 

func (CompanionStruct_OneArg_) Create_OneArg_(Name _dafny.Sequence, Value m_Wrappers.Option) OneArg

func (CompanionStruct_OneArg_) Default 

func (CompanionStruct_OneArg_) Default() OneArg

type CompanionStruct_Options_ 

type CompanionStruct_Options_ struct {
}

func (CompanionStruct_Options_) Create_Options_ 

func (CompanionStruct_Options_) Create_Options_(Name _dafny.Sequence, Help _dafny.Sequence, Params _dafny.Sequence) Options

func (CompanionStruct_Options_) Default 

func (CompanionStruct_Options_) Default() Options

type CompanionStruct_Param_ 

type CompanionStruct_Param_ struct {
}

func (CompanionStruct_Param_) Create_Command_ 

func (CompanionStruct_Param_) Create_Command_(Options Options) Param

func (CompanionStruct_Param_) Create_Flag_ 

func (CompanionStruct_Param_) Create_Flag_(Name _dafny.Sequence, Help _dafny.Sequence, Short _dafny.Char, Solo bool, Inherit bool, Vis Visibility, ShortAlias _dafny.Sequence, LongAlias _dafny.Sequence) Param

func (CompanionStruct_Param_) Create_Opt_ 

func (CompanionStruct_Param_) Create_Opt_(Name _dafny.Sequence, Help _dafny.Sequence, ArgName _dafny.Sequence, Short _dafny.Char, Unused Unused, Inherit bool, Vis Visibility, ShortAlias _dafny.Sequence, LongAlias _dafny.Sequence, Positional Tri) Param

func (CompanionStruct_Param_) Default 

func (CompanionStruct_Param_) Default() Param

type CompanionStruct_Parsed_ 

type CompanionStruct_Parsed_ struct {
}

func (CompanionStruct_Parsed_) Create_Parsed_ 

func (CompanionStruct_Parsed_) Create_Parsed_(Command _dafny.Sequence, Params _dafny.Sequence, Files _dafny.Sequence, Subcommand m_Wrappers.Option) Parsed

func (CompanionStruct_Parsed_) Default 

func (CompanionStruct_Parsed_) Default() Parsed

type CompanionStruct_Tri_ 

type CompanionStruct_Tri_ struct {
}

func (CompanionStruct_Tri_) AllSingletonConstructors 

func (_ CompanionStruct_Tri_) AllSingletonConstructors() _dafny.Iterator

func (CompanionStruct_Tri_) Create_Maybe_ 

func (CompanionStruct_Tri_) Create_Maybe_() Tri

func (CompanionStruct_Tri_) Create_No_ 

func (CompanionStruct_Tri_) Create_No_() Tri

func (CompanionStruct_Tri_) Create_Yes_ 

func (CompanionStruct_Tri_) Create_Yes_() Tri

func (CompanionStruct_Tri_) Default 

func (CompanionStruct_Tri_) Default() Tri

type CompanionStruct_Unused_ 

type CompanionStruct_Unused_ struct {
}

func (CompanionStruct_Unused_) Create_Default_ 

func (CompanionStruct_Unused_) Create_Default_(Val _dafny.Sequence) Unused

func (CompanionStruct_Unused_) Create_Required_ 

func (CompanionStruct_Unused_) Create_Required_() Unused

func (CompanionStruct_Unused_) Create_UnusedOk_ 

func (CompanionStruct_Unused_) Create_UnusedOk_() Unused

func (CompanionStruct_Unused_) Default 

func (CompanionStruct_Unused_) Default() Unused

type CompanionStruct_Visibility_ 

type CompanionStruct_Visibility_ struct {
}

func (CompanionStruct_Visibility_) AllSingletonConstructors 

func (_ CompanionStruct_Visibility_) AllSingletonConstructors() _dafny.Iterator

func (CompanionStruct_Visibility_) Create_Deprecated_ 

func (CompanionStruct_Visibility_) Create_Deprecated_() Visibility

func (CompanionStruct_Visibility_) Create_Hidden_ 

func (CompanionStruct_Visibility_) Create_Hidden_() Visibility

func (CompanionStruct_Visibility_) Create_Normal_ 

func (CompanionStruct_Visibility_) Create_Normal_() Visibility

func (CompanionStruct_Visibility_) Default 

func (CompanionStruct_Visibility_) Default() Visibility

type Context 

type Context struct {
	Data_Context_
}

Definition of datatype Context

func (Context) Dtor_command 

func (_this Context) Dtor_command() _dafny.Sequence

func (Context) Dtor_commands 

func (_this Context) Dtor_commands() _dafny.Map

func (Context) Dtor_inherits 

func (_this Context) Dtor_inherits() _dafny.Sequence

func (Context) Dtor_longMap 

func (_this Context) Dtor_longMap() _dafny.Map

func (Context) Dtor_shortMap 

func (_this Context) Dtor_shortMap() _dafny.Map

func (Context) Equals 

func (_this Context) Equals(other Context) bool

func (Context) EqualsGeneric 

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

func (Context) Get_ 

func (_this Context) Get_() Data_Context_

func (Context) Is_Context 

func (_this Context) Is_Context() bool

func (Context) ParentTraits_ 

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

func (Context) String 

func (_this Context) String() string

type Context_Context 

type Context_Context struct {
	LongMap  _dafny.Map
	ShortMap _dafny.Map
	Inherits _dafny.Sequence
	Commands _dafny.Map
	Command  _dafny.Sequence
}

type Data_Context_ 

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

type Data_OneArg_ 

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

type Data_Options_ 

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

type Data_Param_ 

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

type Data_Parsed_ 

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

type Data_Tri_ 

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

type Data_Unused_ 

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

type Data_Visibility_ 

type Data_Visibility_ 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 OneArg 

type OneArg struct {
	Data_OneArg_
}

Definition of datatype OneArg

func (OneArg) Dtor_name 

func (_this OneArg) Dtor_name() _dafny.Sequence

func (OneArg) Dtor_value 

func (_this OneArg) Dtor_value() m_Wrappers.Option

func (OneArg) Equals 

func (_this OneArg) Equals(other OneArg) bool

func (OneArg) EqualsGeneric 

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

func (OneArg) Get_ 

func (_this OneArg) Get_() Data_OneArg_

func (OneArg) Is_OneArg 

func (_this OneArg) Is_OneArg() bool

func (OneArg) ParentTraits_ 

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

func (OneArg) String 

func (_this OneArg) String() string

type OneArg_OneArg 

type OneArg_OneArg struct {
	Name  _dafny.Sequence
	Value m_Wrappers.Option
}

type Options 

type Options struct {
	Data_Options_
}

Definition of datatype Options

func (Options) Dtor_help 

func (_this Options) Dtor_help() _dafny.Sequence

func (Options) Dtor_name 

func (_this Options) Dtor_name() _dafny.Sequence

func (Options) Dtor_params 

func (_this Options) Dtor_params() _dafny.Sequence

func (Options) Equals 

func (_this Options) Equals(other Options) bool

func (Options) EqualsGeneric 

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

func (Options) Get_ 

func (_this Options) Get_() Data_Options_

func (Options) Is_Options 

func (_this Options) Is_Options() bool

func (Options) ParentTraits_ 

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

func (Options) String 

func (_this Options) String() string

type Options_Options 

type Options_Options struct {
	Name   _dafny.Sequence
	Help   _dafny.Sequence
	Params _dafny.Sequence
}

type Param 

type Param struct {
	Data_Param_
}

Definition of datatype Param

func (Param) Dtor_argName 

func (_this Param) Dtor_argName() _dafny.Sequence

func (Param) Dtor_help 

func (_this Param) Dtor_help() _dafny.Sequence

func (Param) Dtor_inherit 

func (_this Param) Dtor_inherit() bool

func (Param) Dtor_longAlias 

func (_this Param) Dtor_longAlias() _dafny.Sequence

func (Param) Dtor_name 

func (_this Param) Dtor_name() _dafny.Sequence

func (Param) Dtor_options 

func (_this Param) Dtor_options() Options

func (Param) Dtor_positional 

func (_this Param) Dtor_positional() Tri

func (Param) Dtor_short 

func (_this Param) Dtor_short() _dafny.Char

func (Param) Dtor_shortAlias 

func (_this Param) Dtor_shortAlias() _dafny.Sequence

func (Param) Dtor_solo 

func (_this Param) Dtor_solo() bool

func (Param) Dtor_unused 

func (_this Param) Dtor_unused() Unused

func (Param) Dtor_vis 

func (_this Param) Dtor_vis() Visibility

func (Param) Equals 

func (_this Param) Equals(other Param) bool

func (Param) EqualsGeneric 

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

func (Param) Get_ 

func (_this Param) Get_() Data_Param_

func (Param) HasDefault 

func (_this Param) HasDefault() bool

func (Param) Inherits 

func (_this Param) Inherits() bool

func (Param) Is_Command 

func (_this Param) Is_Command() bool

func (Param) Is_Flag 

func (_this Param) Is_Flag() bool

func (Param) Is_Opt 

func (_this Param) Is_Opt() bool

func (Param) KeepResult 

func (_this Param) KeepResult() bool

func (Param) LongAlias 

func (_this Param) LongAlias() _dafny.Sequence

func (Param) MakeArg 

func (_this Param) MakeArg(value m_Wrappers.Option) _dafny.Sequence

func (Param) Name 

func (_this Param) Name() _dafny.Sequence

func (Param) NeedsArg 

func (_this Param) NeedsArg() bool

func (Param) ParentTraits_ 

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

func (Param) Required 

func (_this Param) Required() bool

func (Param) ShortAlias 

func (_this Param) ShortAlias() _dafny.Sequence

func (Param) ShowHelp 

func (_this Param) ShowHelp() bool

func (Param) String 

func (_this Param) String() string

type Param_Command 

type Param_Command struct {
	Options Options
}

type Param_Flag 

type Param_Flag struct {
	Name       _dafny.Sequence
	Help       _dafny.Sequence
	Short      _dafny.Char
	Solo       bool
	Inherit    bool
	Vis        Visibility
	ShortAlias _dafny.Sequence
	LongAlias  _dafny.Sequence
}

type Param_Opt 

type Param_Opt struct {
	Name       _dafny.Sequence
	Help       _dafny.Sequence
	ArgName    _dafny.Sequence
	Short      _dafny.Char
	Unused     Unused
	Inherit    bool
	Vis        Visibility
	ShortAlias _dafny.Sequence
	LongAlias  _dafny.Sequence
	Positional Tri
}

type Parsed 

type Parsed struct {
	Data_Parsed_
}

Definition of datatype Parsed

func (Parsed) Dtor_command 

func (_this Parsed) Dtor_command() _dafny.Sequence

func (Parsed) Dtor_files 

func (_this Parsed) Dtor_files() _dafny.Sequence

func (Parsed) Dtor_params 

func (_this Parsed) Dtor_params() _dafny.Sequence

func (Parsed) Dtor_subcommand 

func (_this Parsed) Dtor_subcommand() m_Wrappers.Option

func (Parsed) Equals 

func (_this Parsed) Equals(other Parsed) bool

func (Parsed) EqualsGeneric 

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

func (Parsed) Get_ 

func (_this Parsed) Get_() Data_Parsed_

func (Parsed) Is_Parsed 

func (_this Parsed) Is_Parsed() bool

func (Parsed) ParentTraits_ 

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

func (Parsed) String 

func (_this Parsed) String() string

type Parsed_Parsed 

type Parsed_Parsed struct {
	Command    _dafny.Sequence
	Params     _dafny.Sequence
	Files      _dafny.Sequence
	Subcommand m_Wrappers.Option
}

type Tri 

type Tri struct {
	Data_Tri_
}

Definition of datatype Tri

func (Tri) Equals 

func (_this Tri) Equals(other Tri) bool

func (Tri) EqualsGeneric 

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

func (Tri) Get_ 

func (_this Tri) Get_() Data_Tri_

func (Tri) Is_Maybe 

func (_this Tri) Is_Maybe() bool

func (Tri) Is_No 

func (_this Tri) Is_No() bool

func (Tri) Is_Yes 

func (_this Tri) Is_Yes() bool

func (Tri) ParentTraits_ 

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

func (Tri) String 

func (_this Tri) String() string

type Tri_Maybe 

type Tri_Maybe struct {
}

type Tri_No 

type Tri_No struct {
}

type Tri_Yes 

type Tri_Yes struct {
}

type Unused 

type Unused struct {
	Data_Unused_
}

Definition of datatype Unused

func (Unused) Dtor_val 

func (_this Unused) Dtor_val() _dafny.Sequence

func (Unused) Equals 

func (_this Unused) Equals(other Unused) bool

func (Unused) EqualsGeneric 

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

func (Unused) Get_ 

func (_this Unused) Get_() Data_Unused_

func (Unused) Is_Default 

func (_this Unused) Is_Default() bool

func (Unused) Is_Required 

func (_this Unused) Is_Required() bool

func (Unused) Is_UnusedOk 

func (_this Unused) Is_UnusedOk() bool

func (Unused) ParentTraits_ 

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

func (Unused) String 

func (_this Unused) String() string

type Unused_Default 

type Unused_Default struct {
	Val _dafny.Sequence
}

type Unused_Required 

type Unused_Required struct {
}

type Unused_UnusedOk 

type Unused_UnusedOk struct {
}

type Visibility 

type Visibility struct {
	Data_Visibility_
}

Definition of datatype Visibility

func (Visibility) Equals 

func (_this Visibility) Equals(other Visibility) bool

func (Visibility) EqualsGeneric 

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

func (Visibility) Get_ 

func (_this Visibility) Get_() Data_Visibility_

func (Visibility) Is_Deprecated 

func (_this Visibility) Is_Deprecated() bool

func (Visibility) Is_Hidden 

func (_this Visibility) Is_Hidden() bool

func (Visibility) Is_Normal 

func (_this Visibility) Is_Normal() bool

func (Visibility) ParentTraits_ 

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

func (Visibility) String 

func (_this Visibility) String() string

type Visibility_Deprecated 

type Visibility_Deprecated struct {
}

type Visibility_Hidden 

type Visibility_Hidden struct {
}

type Visibility_Normal 

type Visibility_Normal struct {
}

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.