Function mustDecl

analysis/declcheck_test.go:36–42

(descrAtoms []ast.Atom, boundDecls []ast.BoundDecl, constraint *ast.InclusionConstraint)

)

func mustDecl(descrAtoms []ast.Atom, boundDecls []ast.BoundDecl, constraint *ast.InclusionConstraint) ast.Decl {
	decl, err := ast.NewDecl(declAtom, descrAtoms, boundDecls, constraint)
	if err != nil {
		panic(fmt.Errorf("bad test data: %v %v %v %v", declAtom, descrAtoms, boundDecls, constraint))
	}
	return decl
}

func checkBoundDecl(boundDecl ast.BoundDecl) []error {
	return newDeclChecker(mustDecl([]ast.Atom{docAtomOne, argAtomBar, argAtomBaz}, []ast.BoundDecl{boundDecl}, nil)).check()