Method pushSourceFragment

interpreter/interpreter.go:410–419

(pathset string, units []parse.SourceUnit, programInfo *analysis.ProgramInfo)

}

func (i *Interpreter) pushSourceFragment(pathset string, units []parse.SourceUnit, programInfo *analysis.ProgramInfo) {
	i.src = append(i.src, pathset)
	i.sourceFragments[pathset] = &sourceFragment{units, programInfo, i.simpleStore, i.temporalStore}
	for _, decl := range programInfo.Decls {
		i.knownPredicates[decl.DeclaredAtom.Predicate] = *decl
	}
	i.simpleStore = factstore.NewTeeingStore(i.simpleStore)
	i.temporalStore = factstore.NewTeeingTemporalStore(i.temporalStore)
	i.updateCombinedStore()
}

func (i *Interpreter) evalProgram(programInfo *analysis.ProgramInfo) error {
	stats, err := engine.EvalProgramWithStats(programInfo, i.store, engine.WithTemporalStore(i.temporalStore))