reference, declaration → definition definition → references, declarations, derived classes, virtual overrides reference to multiple definitions → definitions unreferenced |
665 if (name.empty()) 668 basename = name; 709 if (basename.size() < name.size()) { 710 scope = name.take_front(name.size() - basename.size()); 710 scope = name.take_front(name.size() - basename.size());