73ed285d4c
Type-checker objects are canonical, so they are usually identified by their address in memory (a pointer), but a pointer has meaning only within one address space. By contrast, objectpath names allow the identity of a logical object to be sent from one program to another, establishing a correspondence between types.Object variables that are distinct but logically equivalent. This package was developed for Google's internal fork of guru. It is needed for lemma support in the analysis API; see docs.google.com/document/d/1-azPLXaLgTCKeKDNg0HVMq2ovMlD-e7n1ZHzZVzOlJk Change-Id: I9899ce14d57909858a68f84e90d58a039f2bb7a0 Reviewed-on: https://go-review.googlesource.com/135675 Reviewed-by: Robert Griesemer <gri@golang.org> |
||
|---|---|---|
| .. | ||
| analysis | ||
| ast/astutil | ||
| buildutil | ||
| callgraph | ||
| cfg | ||
| gccgoexportdata | ||
| gcexportdata | ||
| internal | ||
| loader | ||
| packages | ||
| pointer | ||
| ssa | ||
| types | ||
| vcs | ||