(predToStratum map[ast.PredicateSym]int)
| 34 | } |
| 35 | |
| 36 | func toOrderMap(predToStratum map[ast.PredicateSym]int) map[int][]ast.PredicateSym { |
| 37 | unsorted := make(map[int][]ast.PredicateSym) |
| 38 | for sym, order := range predToStratum { |
| 39 | unsorted[order] = append(unsorted[order], sym) |
| 40 | } |
| 41 | for _, slice := range unsorted { |
| 42 | sort.Slice(slice, func(i, j int) bool { return slice[i].Symbol < slice[j].Symbol }) |
| 43 | } |
| 44 | return unsorted |
| 45 | } |
| 46 | |
| 47 | func analyze(clauses []ast.Clause) (*ProgramInfo, error) { |
| 48 | return AnalyzeOneUnit(parse.SourceUnit{Clauses: clauses}, nil) |
no outgoing calls
no test coverage detected