Function Analyze

analysis/validation.go:103–105

Analyze identifies the extensional and intensional predicates of a program and checks every rule.

(program []parse.SourceUnit, extraPredicates map[ast.PredicateSym]ast.Decl)

// Analyze identifies the extensional and intensional predicates of a program and checks every rule.
func Analyze(program []parse.SourceUnit, extraPredicates map[ast.PredicateSym]ast.Decl) (*ProgramInfo, error) {
	return AnalyzeAndCheckBounds(program, extraPredicates, NoBoundsChecking)
}

// ExtractPackages turns source units into merged source packages.
func ExtractPackages(program []parse.SourceUnit) (map[string]*packages.Package, error) {