Searched refs:BeginSourceNameDiv (Results 1 – 2 of 2) sorted by relevance
153 const char *BeginSourceNameDiv = "<div class='source-name-title'>"; variable243 OSRef << BeginSourceNameDiv << "Index" << EndSourceNameDiv; in createIndexFile()266 OS << BeginSourceNameDiv << tag("pre", escape(getSourceName())) in renderSourceName()
226 const char *BeginSourceNameDiv = "<div class='source-name-title'>"; variable473 OS << BeginSourceNameDiv << tag("pre", escape(getSourceName(), getOptions())) in renderSourceName()660 OS << BeginSourceNameDiv in renderInstantiationView()