OpenGrok

1355     const bool IsPedantic = I.first == "pedantic";
1358     if (!SubGroups.empty() || (IsPedantic && !GroupsInPedantic.empty())) {
1367       if (IsPedantic) {
1407     const bool IsPedantic = I.first == "pedantic";
1410     if (!V.empty() || (IsPedantic && !DiagsInPedantic.empty())) {
1415       if (IsPedantic) {
1507     const bool IsPedantic = I.first == "pedantic";
1512         !V.empty() || (IsPedantic && !DiagsInPedantic.empty());
1516       if (IsPedantic)
1526         !SubGroups.empty() || (IsPedantic && !GroupsInPedantic.empty());
1529       if (IsPedantic)

Indexes created Mon Mar 02 05:31:46 UTC 2026