private:
/** Appends a module to the target, processing any imports found in it. */
- void append_module(Module &, DataFile::Collection *);
+ void append_module(const Module &, ModuleCache &);
/** Appends a single stage to the matching stage of the target. */
- void append_stage(Stage &);
+ void append_stage(const Stage &);
/// Imports a module by name and appends it to the target. */
- void import(DataFile::Collection *, const std::string &);
+ void import(ModuleCache &, const std::string &);
/** Generates any implicitly defines syntactic structures and resolves
variables. */