Function NewDecl

ast/decl.go:441–452

NewDecl returns a new Decl.

(atom Atom, descrAtoms []Atom, bounds []BoundDecl, constraints *InclusionConstraint)

// NewDecl returns a new Decl.
func NewDecl(atom Atom, descrAtoms []Atom, bounds []BoundDecl, constraints *InclusionConstraint) (Decl, error) {
	if descrAtoms == nil {
		descrAtoms = []Atom{NewAtom(DescrDoc, String(""))}
	}
	for i, arg := range atom.Args {
		if _, ok := arg.(Variable); ok {
			continue
		}
		return Decl{}, fmt.Errorf("argument %d must be a variable, found %v", i, arg)
	}
	return Decl{atom, descrAtoms, bounds, constraints}, nil
}

// NewSyntheticDecl returns a new Decl from an atom.
// The decl has an empty doc, an explicit mode supporting all arguments as input-output,