objectpath

package
v0.0.0-...-f39ad0c Latest Latest
Warning

This package is not in the latest version of its module.

Go to latest
Published: Jun 23, 2023 License: GPL-2.0 Imports: 6 Imported by: 0

Documentation

Overview

Package objectpath defines a naming scheme for types.Objects (that is, named entities in Go programs) relative to their enclosing package.

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 an object to be sent from one program to another, establishing a correspondence between types.Object variables that are distinct but logically equivalent.

A single object may have multiple paths. In this example,

type A struct{ X int }
type B A

the field X has two paths due to its membership of both A and B. The For(obj) function always returns one of these paths, arbitrarily but consistently.

Index

Constants

This section is empty.

Variables

This section is empty.

Functions

func Object

func Object(pkg *types.Package, p Path) (types.Object, error)

Object returns the object denoted by path p within the package pkg.

Types

type Path

type Path string

A Path is an opaque name that identifies a types.Object relative to its package. Conceptually, the name consists of a sequence of destructuring operations applied to the package scope to obtain the original object. The name does not include the package itself.

func For

func For(obj types.Object) (Path, error)

The For function returns the path to an object relative to its package, or an error if the object is not accessible from the package's Scope.

The For function guarantees to return a path only for the following objects: - package-level types - exported package-level non-types - methods - parameter and result variables - struct fields These objects are sufficient to define the API of their package. The objects described by a package's export data are drawn from this set.

For does not return a path for predeclared names, imported package names, local names, and unexported package-level names (except types).

Example: given this definition,

package p

type T interface {
	f() (a string, b struct{ X int })
}

For(X) would return a path that denotes the following sequence of operations:

p.Scope().Lookup("T")				(TypeName T)
.Type().Underlying().Method(0).			(method Func f)
.Type().Results().At(1)				(field Var b)
.Type().Field(0)					(field Var X)

where p is the package (*types.Package) to which X belongs.

Jump to

Keyboard shortcuts

? : This menu
/ : Search site
f or F : Jump to
y or Y : Canonical URL