packages

Documentation

Overview

Package packages provides functionality for creating datalog packages.

Index

• type Package
  • func Extract(su parse.SourceUnit) (Package, error)
  • func (p *Package) Clauses() ([]ast.Clause, error)
  • func (p *Package) Decls() ([]ast.Decl, error)
  • func (p *Package) Merge(other Package) error

Types

type Package

type Package struct {
	Name  string
	Atoms []ast.Atom
	// contains filtered or unexported fields
}

Package represents a Melange package.

func Extract

func Extract(su parse.SourceUnit) (Package, error)

Extract components from a parse.SourceUnit type.

func (*Package) Clauses

func (p *Package) Clauses() ([]ast.Clause, error)

Clauses returns Clauses of the package with rewritten identifiers.

func (*Package) Decls

func (p *Package) Decls() ([]ast.Decl, error)

Decls returns Decls of the package with rewritten identifiers.

func (*Package) Merge

func (p *Package) Merge(other Package) error

Merge merges two packages.