(pathset string, units []parse.SourceUnit)
| 199 | } |
| 200 | |
| 201 | func (i *Interpreter) pushLoadedFragment(pathset string, units []parse.SourceUnit) error { |
| 202 | programInfo, err := analysis.AnalyzeAndCheckBounds(units, i.knownPredicates, analysis.ErrorForBoundsMismatch) |
| 203 | if err != nil { |
| 204 | return err |
| 205 | } |
| 206 | i.pushSourceFragment(pathset, units, programInfo) |
| 207 | |
| 208 | fmt.Fprintf(i.out, "loaded %s.\n", pathset) |
| 209 | return i.evalProgram(programInfo) |
| 210 | } |
| 211 | |
| 212 | // ParseQuery parses a query string. It can either be a predicate name, |
| 213 | // or an actual atom with constants, variables and wildcards. |
no test coverage detected