Function AnalyzeOneUnit

analysis/validation.go:98–100

AnalyzeOneUnit is a convenience method to analyze a program consisting of a single source unit.

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

// AnalyzeOneUnit is a convenience method to analyze a program consisting of a single source unit.
func AnalyzeOneUnit(unit parse.SourceUnit, extraPredicates map[ast.PredicateSym]ast.Decl) (*ProgramInfo, error) {
	return Analyze([]parse.SourceUnit{unit}, extraPredicates)
}

// 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) {