Versions in this module Expand all Collapse all v1 v1.0.0 Sep 22, 2022 Changes in this version + var Ann = annFactory + var QRY_BUFFER_F = "bufferF" + var QRY_BUFFER_I = "bufferI" + var QRY_CAP = "cap" + var QRY_MULTIALLOC = "multialloc" + var QRY_STATUS = "status" + func At(anns ...string) string + func GoKerTestName(test string) string + func ListAllTests(t *testing.T, pathToRoot string) []string + func ListGoKerPackages(t *testing.T, pathToRoot string) []string + func ListPackagesIn(t *testing.T, pathToRoot string, blacklist []string, bmDir string) []string + func ListPorPkgTests(t *testing.T, pathToRoot string, blacklist []string) []string + func ListSessionTypesPackages(t *testing.T, pathToRoot string, blacklist []string) []string + func ListSimpleTests(t *testing.T, pathToRoot string) []string + func ListSyncPkgCondTests(t *testing.T, pathToRoot string, blacklist []string) []string + func ListSyncPkgTests(t *testing.T, pathToRoot string, blacklist []string) []string + func ListTopPointerTests(t *testing.T, pathToRoot string, blacklist []string) []string + func RecListPackagesIn(t *testing.T, pathToRoot string, blacklist []string, bmDir string) []string + type AnnBlocks struct + func (a AnnBlocks) FalseNegative() bool + func (a AnnBlocks) FalsePositive() bool + func (a AnnBlocks) Focused() AnnGoro + func (a AnnBlocks) HasFocus() bool + func (a AnnBlocks) Manager() NotesManager + func (a AnnBlocks) Name() string + func (a AnnBlocks) Nodes() map[cfg.Node]struct{} + func (a AnnBlocks) Note() *expect.Note + func (a AnnBlocks) Panicked() bool + func (a AnnBlocks) String() string + func (a1 AnnBlocks) Related() annList + type AnnChan struct + func (a AnnChan) Chan() ssa.Value + func (a AnnChan) FalseNegative() bool + func (a AnnChan) FalsePositive() bool + func (a AnnChan) Manager() NotesManager + func (a AnnChan) Name() string + func (a AnnChan) Nodes() map[cfg.Node]struct{} + func (a AnnChan) Note() *expect.Note + func (a AnnChan) Panicked() bool + func (a AnnChan) String() string + func (a1 AnnChan) Related() annList + type AnnChanQuery struct + func (a *AnnChanQuery) ChanNote() AnnChan + func (a AnnChanQuery) Chan() ssa.Value + func (a AnnChanQuery) FalseNegative() bool + func (a AnnChanQuery) FalsePositive() bool + func (a AnnChanQuery) Focused() string + func (a AnnChanQuery) FocusedNote() AnnGoro + func (a AnnChanQuery) Gowner() string + func (a AnnChanQuery) GownerNote() AnnGoro + func (a AnnChanQuery) HasOwner() bool + func (a AnnChanQuery) IsFocused() bool + func (a AnnChanQuery) Manager() NotesManager + func (a AnnChanQuery) Name() string + func (a AnnChanQuery) Nodes() map[cfg.Node]struct{} + func (a AnnChanQuery) Note() *expect.Note + func (a AnnChanQuery) Panicked() bool + func (a AnnChanQuery) Prop() string + func (a AnnChanQuery) String() string + func (a AnnChanQuery) Value() L.Element + func (a1 AnnChanQuery) ChanRelated() []Annotation + func (a1 AnnChanQuery) Related() annList + type AnnFalseNegative struct + func (a AnnFalseNegative) FalseNegative() bool + func (a AnnFalseNegative) FalsePositive() bool + func (a AnnFalseNegative) Manager() NotesManager + func (a AnnFalseNegative) Name() string + func (a AnnFalseNegative) Nodes() map[cfg.Node]struct{} + func (a AnnFalseNegative) Note() *expect.Note + func (a AnnFalseNegative) Panicked() bool + func (a AnnFalseNegative) String() string + func (a1 AnnFalseNegative) Related() annList + type AnnFalsePositive struct + func (a AnnFalsePositive) FalseNegative() bool + func (a AnnFalsePositive) FalsePositive() bool + func (a AnnFalsePositive) Manager() NotesManager + func (a AnnFalsePositive) Name() string + func (a AnnFalsePositive) Nodes() map[cfg.Node]struct{} + func (a AnnFalsePositive) Note() *expect.Note + func (a AnnFalsePositive) Panicked() bool + func (a AnnFalsePositive) String() string + func (a1 AnnFalsePositive) Related() annList + type AnnFocused struct + func (a AnnFocused) FalseNegative() bool + func (a AnnFocused) FalsePositive() bool + func (a AnnFocused) Goro() AnnGoro + func (a AnnFocused) Manager() NotesManager + func (a AnnFocused) Matches(g defs.Goro) bool + func (a AnnFocused) Name() string + func (a AnnFocused) Nodes() map[cfg.Node]struct{} + func (a AnnFocused) Note() *expect.Note + func (a AnnFocused) Panicked() bool + func (a AnnFocused) String() string + func (a1 AnnFocused) Related() annList + type AnnGo struct + func (a AnnGo) FalseNegative() bool + func (a AnnGo) FalsePositive() bool + func (a AnnGo) Go() cfg.Node + func (a AnnGo) Manager() NotesManager + func (a AnnGo) Name() string + func (a AnnGo) Nodes() map[cfg.Node]struct{} + func (a AnnGo) Note() *expect.Note + func (a AnnGo) Panicked() bool + func (a AnnGo) String() string + func (a1 AnnGo) Related() annList + type AnnGoro struct + func (a AnnGoro) FalseNegative() bool + func (a AnnGoro) FalsePositive() bool + func (a AnnGoro) Goro() []cfg.Node + func (a AnnGoro) Manager() NotesManager + func (a AnnGoro) Matches(g defs.Goro) bool + func (a AnnGoro) Name() string + func (a AnnGoro) Nodes() map[cfg.Node]struct{} + func (a AnnGoro) Note() *expect.Note + func (a AnnGoro) Panicked() bool + func (a AnnGoro) String() string + func (a1 AnnGoro) Related() annList + type AnnPanicked struct + func (a AnnPanicked) FalseNegative() bool + func (a AnnPanicked) FalsePositive() bool + func (a AnnPanicked) Manager() NotesManager + func (a AnnPanicked) Name() string + func (a AnnPanicked) Nodes() map[cfg.Node]struct{} + func (a AnnPanicked) Note() *expect.Note + func (a AnnPanicked) Panicked() bool + func (a AnnPanicked) String() string + func (a1 AnnPanicked) Related() annList + type AnnProgress interface + Focused func() AnnGoro + HasFocus func() bool + type AnnReleases struct + func (a AnnReleases) FalseNegative() bool + func (a AnnReleases) FalsePositive() bool + func (a AnnReleases) Focused() AnnGoro + func (a AnnReleases) HasFocus() bool + func (a AnnReleases) Manager() NotesManager + func (a AnnReleases) Name() string + func (a AnnReleases) Nodes() map[cfg.Node]struct{} + func (a AnnReleases) Note() *expect.Note + func (a AnnReleases) Panicked() bool + func (a AnnReleases) String() string + func (a1 AnnReleases) Related() annList + type Annotation interface + Manager func() NotesManager + Nodes func() map[cfg.Node]struct{} + Note func() *expect.Note + Panicked func() bool + Related func() annList + String func() string + type AnnotationWithFocus interface + Focused func() annList + type LoadResult struct + CallDAG graph.SCCDecomposition[*ssa.Function] + Cfg *cfg.Cfg + CtrLocPriorities u.CtrLocPriorities + GoroCycles u.GoCycles + Goros u.GoTopology + MainPkg *packages.Package + Mains []*ssa.Package + Pointer *pointer.Result + Prog *ssa.Program + WrittenFields u.WrittenFields + func LoadExamplePackage(t *testing.T, pathToRoot string, pkg string) LoadResult + func LoadPackageFromSource(t *testing.T, importPath string, content string) (res LoadResult) + func LoadResultFromPackages(t *testing.T, pkgs []*packages.Package) (res LoadResult) + type NotesManager struct + func MakeNotesManager(t *testing.T, loadRes LoadResult) (n NotesManager) + func (mgr NotesManager) CreateAnnotation(note *expect.Note) Annotation + func (n NotesManager) AnnotationOf(note *expect.Note) Annotation + func (n NotesManager) Annotations() map[*expect.Note]Annotation + func (n NotesManager) FindAllAnnotations(pred func(Annotation) bool) annList + func (n NotesManager) FindAllNotes(find func(*expect.Note) bool) (notes map[*expect.Note]struct{}) + func (n NotesManager) FindGoro(name string) AnnGoro + func (n NotesManager) FindNote(find func(*expect.Note) bool) (*expect.Note, bool) + func (n NotesManager) ForEachAnnotation(do func(a Annotation)) + func (n NotesManager) ForEachNote(do func(i int, note *expect.Note)) + func (n NotesManager) LoadResult() LoadResult + func (n NotesManager) NodeHasAnn(node cfg.Node, ann Annotation) bool + func (n NotesManager) NodesForNote(note *expect.Note) map[cfg.Node]struct{} + func (n NotesManager) NoteForCtrLoc(cl defs.CtrLoc) (*expect.Note, bool) + func (n NotesManager) NoteForNode(node cfg.Node) (*expect.Note, bool) + func (n NotesManager) Notes() []*expect.Note + func (n NotesManager) NotesForNode(node cfg.Node) map[*expect.Note]struct{} + func (n NotesManager) OrphansToAnnotations(orphans map[defs.Superloc]map[defs.Goro]struct{}) map[defs.Superloc]annList + func (n NotesManager) String() (str string)
Go to main page