migoinfer

Documentation

Index

• type Inferer
  • func New(info *ssa.Info, w io.Writer) *Inferer
  • func (i *Inferer) AddLogFiles(file ...string)
  • func (i *Inferer) Analyse()
  • func (i *Inferer) SetEntryFunc(path string)
  • func (i *Inferer) SetOutput(w io.Writer)

Types

type Inferer

type Inferer struct {
	Env       migoinfer.Environment // Program environment.
	Info      *ssa.Info             // SSA IR.
	MiGo      *migo.Program         // MiGo program.
	EntryFunc string

	Raw bool

	*migoinfer.Logger
	// contains filtered or unexported fields
}

Inferer is the main MiGo inference entry point.

func New

func New(info *ssa.Info, w io.Writer) *Inferer

New returns a new Inferer, and uses w for logging messages.

func (*Inferer) AddLogFiles

func (i *Inferer) AddLogFiles(file ...string)

AddLogFiles extends current Logger and writes additional log to files.

func (*Inferer) Analyse

func (i *Inferer) Analyse()

func (*Inferer) SetEntryFunc

func (i *Inferer) SetEntryFunc(path string)

func (*Inferer) SetOutput

func (i *Inferer) SetOutput(w io.Writer)