Home | History | Annotate | Download | only in Serialization

Lines Matching full:fullfilename

4206     StringRef FullFileName(FullFileNameStart, Blob.size() - Record[0]);
4208     if (!FullFileName.empty())
4209       File = PP.getFileManager().getFile(FullFileName);