Searched refs:BeginSourceNameDiv (Results 1 – 1 of 1) sorted by relevance
396 const char *BeginSourceNameDiv = "<div class='source-name-title'>"; variable906 OS << BeginSourceNameDiv << tag("pre", escape(getSourceName(), getOptions())) in renderSourceName()1201 OS << BeginSourceNameDiv in renderInstantiationView()