fs_ns

Documentation

Index

• Variables
• type LSPSession
  • func (s *LSPSession) GetGoMethod(name string) (*symbolic.GoFunction, bool)
  • func (s *LSPSession) IsMutable() bool
  • func (s *LSPSession) IsSharable() (bool, string)
  • func (s *LSPSession) IsShared() bool
  • func (r *LSPSession) PrettyPrint(w prettyprint.PrettyPrintWriter, config *pprint.PrettyPrintConfig)
  • func (s *LSPSession) Prop(name string) symbolic.Value
  • func (*LSPSession) PropertyNames() []string
  • func (s *LSPSession) Share(originState *symbolic.State) symbolic.PotentiallySharable
  • func (s *LSPSession) Test(v symbolic.Value, state symbolic.RecTestCallState) bool
  • func (r *LSPSession) WidestOfType() symbolic.Value

Variables

var (
	LSP_SESSION_PROPNAMES = []string{}

	ANY_LSP_SESSION = &LSPSession{}
)

Types

type LSPSession

type LSPSession struct {
	symbolic.UnassignablePropsMixin
	// contains filtered or unexported fields
}

func (*LSPSession) GetGoMethod

func (s *LSPSession) GetGoMethod(name string) (*symbolic.GoFunction, bool)

func (*LSPSession) IsMutable

func (s *LSPSession) IsMutable() bool

func (*LSPSession) IsSharable

func (s *LSPSession) IsSharable() (bool, string)

func (*LSPSession) IsShared

func (s *LSPSession) IsShared() bool

func (*LSPSession) PrettyPrint

func (r *LSPSession) PrettyPrint(w prettyprint.PrettyPrintWriter, config *pprint.PrettyPrintConfig)

func (*LSPSession) Prop

func (s *LSPSession) Prop(name string) symbolic.Value

func (*LSPSession) PropertyNames

func (*LSPSession) PropertyNames() []string

func (*LSPSession) Share

func (s *LSPSession) Share(originState *symbolic.State) symbolic.PotentiallySharable

func (*LSPSession) Test

func (s *LSPSession) Test(v symbolic.Value, state symbolic.RecTestCallState) bool

func (*LSPSession) WidestOfType

func (r *LSPSession) WidestOfType() symbolic.Value