97 autodoc =
cons(
docTxt(
"\\maketitle\n"), autodoc);
102 autodoc =
cons(
docTxt(
"\\begin{tabular}{ll}\n"), autodoc);
103 autodoc =
cons(
docTxt(
"\t\\hline\n"), autodoc);
107 if (mtdTranslatedKey.empty()) {
108 mtdTranslatedKey = mtdkey;
110 autodoc =
cons(
docTxt(
"\t\\textbf{"), autodoc);
111 autodoc =
cons(
docTxt(mtdTranslatedKey.c_str()), autodoc);
116 autodoc =
cons(
docTxt(
"\t\\hline\n"), autodoc);
117 autodoc =
cons(
docTxt(
"\\end{tabular}\n"), autodoc);
118 autodoc =
cons(
docTxt(
"\\bigskip\n"), autodoc);
125 autodoc =
cons(
docTxt(autoPresentationTxt.c_str()), autodoc);
129 autodoc =
cons(
docTxt(autoEquationTxt.c_str()), autodoc);
134 autodoc =
cons(
docTxt(autoDiagramTxt.c_str()), autodoc);
139 autodoc =
cons(
docTxt(autoNoticeTxt.c_str()), autodoc);
142 string autoListingTxt;
144 if(pathnames.size() > 1) {
151 autodoc =
cons(
docTxt(autoListingTxt.c_str()), autodoc);
204 map<string,string>::iterator it;
207 cout << i++ <<
".\tgDocNoticeStringMap[" << it->first <<
"] \t= '" << it->second <<
"'" << endl;
string gDocName
Contains the filename for out documentation.
static void initDocAutodocKeySet()
Initialize gDocAutodocKeySet, a set containing all the keywords.
Tree cons(Tree a, Tree b)
A CTree = (Node x [CTree]) is a Node associated with a list of subtrees called branches.
Tree boxIdent(const char *name)
Tree docTxt(const char *name)
map< string, string > gDocAutodocStringMap
vector< string > listSrcFiles()
Return a vector of pathnames representing the list of all the source files that have been required to...
set< string > gDocAutodocKeySet
static void printDocAutodocStringMapContent()
Simple trace function.
map< string, string > gDocMetadatasStringMap
const char * tree2str(Tree t)
if t has a node of type symbol, return its name otherwise error
void initDocAutodoc()
Dispatch initialization of autodoc container.
void declareAutoDoc()
Declare an automatic documentation.
map< Tree, set< Tree > > gMetaDataSet