1 #ifndef __SOURCEREADER__
2 #define __SOURCEREADER__
20 Tree parse(
string fname);
21 Tree expandrec(
Tree ldef, set<string>& visited,
Tree lresult);
24 bool cached(
string fname);
25 Tree getlist(
string fname);
27 vector<string> listSrcFiles();
Tree checkRulelist(Tree lrules)
A CTree = (Node x [CTree]) is a Node associated with a list of subtrees called branches.
vector< string > fFilePathnames
map< string, Tree > fFileCache
Tree formatDefinitions(Tree rldef)
Formats a list of raw definitions represented by triplets into abstractions or pa...
void declareMetadata(Tree key, Tree value)