Method declarationMappings

packages/packages.go:39–78

()

}

func (p *Package) declarationMappings() (stringset.Set, map[ast.PredicateSym]bool, error) {
	usedPackages := stringset.New(p.Name)
	definedIdentifier := map[ast.PredicateSym]bool{}
	for _, u := range p.units {
		for _, clause := range u.Clauses {
			oldSym := clause.Head.Predicate
			definedIdentifier[oldSym] = true
		}
		for _, decl := range u.Decls {
			if decl.DeclaredAtom.Predicate == symbols.Package {
				continue
			}
			if decl.DeclaredAtom.Predicate == symbols.Use {
				for _, desc := range decl.Descr {
					if desc.Predicate == nameSym {
						if len(desc.Args) != 1 {
							return nil, nil, fmt.Errorf("unexpected length %v", len(desc.Args))
						}
						n, ok := desc.Args[0].(ast.Constant)
						if !ok {
							return nil, nil, fmt.Errorf("unexpected type for name, expected constant")
						}
						v, err := n.StringValue()
						if err != nil {
							return nil, nil, err
						}
						if v == p.Name {
							return nil, nil, fmt.Errorf("used package %q is same as current package", v)
						}
						usedPackages.Add(v)
						break
					}
				}
			}
			oldSym := decl.DeclaredAtom.Predicate
			definedIdentifier[oldSym] = true
		}
	}
	return usedPackages, definedIdentifier, nil
}

// Decls returns Decls of the package with rewritten identifiers.
func (p *Package) Decls() ([]ast.Decl, error) {