]> git.lyx.org Git - lyx.git/blob - src/support/FileName.cpp
Refactor file-name sanitisation.
[lyx.git] / src / support / FileName.cpp
1 /**
2  * \file FileName.cpp
3  * This file is part of LyX, the document processor.
4  * Licence details can be found in the file COPYING.
5  *
6  * \author Angus Leeming
7  *
8  * Full author contact details are available in file CREDITS.
9  */
10
11 #include <config.h>
12
13 #include "support/FileName.h"
14 #include "support/FileNameList.h"
15
16 #include "support/debug.h"
17 #include "support/filetools.h"
18 #include "support/lassert.h"
19 #include "support/lstrings.h"
20 #include "support/mutex.h"
21 #include "support/os.h"
22 #include "support/Package.h"
23 #include "support/qstring_helpers.h"
24
25 #include <QDateTime>
26 #include <QDir>
27 #include <QFile>
28 #include <QFileInfo>
29 #include <QList>
30 #include <QTemporaryFile>
31 #include <QElapsedTimer>
32
33 #ifdef _WIN32
34 #include <QThread>
35 #endif
36
37 #include "support/checksum.h"
38
39 #include <algorithm>
40 #include <iterator>
41 #include <fstream>
42 #include <iomanip>
43 #include <map>
44 #include <sstream>
45
46 #ifdef HAVE_SYS_TYPES_H
47 # include <sys/types.h>
48 #endif
49 #ifdef HAVE_SYS_STAT_H
50 # include <sys/stat.h>
51 #endif
52 #ifdef HAVE_UNISTD_H
53 # include <unistd.h>
54 #endif
55 #ifdef HAVE_DIRECT_H
56 # include <direct.h>
57 #endif
58 #ifdef _WIN32
59 # include <windows.h>
60 #endif
61
62 #include <cerrno>
63 #include <fcntl.h>
64
65 // Three implementations of checksum(), depending on having mmap support or not.
66 #if defined(HAVE_MMAP) && defined(HAVE_MUNMAP)
67 #define SUM_WITH_MMAP
68 #include <sys/mman.h>
69 #endif // SUM_WITH_MMAP
70
71 using namespace std;
72 using namespace lyx::support;
73
74 namespace lyx {
75 namespace support {
76
77 /////////////////////////////////////////////////////////////////////
78 //
79 // FileName::Private
80 //
81 /////////////////////////////////////////////////////////////////////
82
83 struct FileName::Private
84 {
85         Private() {}
86
87         explicit Private(string const & abs_filename)
88                 : fi(toqstr(handleTildeName(abs_filename)))
89         {
90                 name = fromqstr(fi.absoluteFilePath());
91                 fi.setCaching(fi.exists());
92         }
93         ///
94         inline void refresh()
95         {
96                 fi.refresh();
97         }
98
99         static
100         bool isFilesystemEqual(QString const & lhs, QString const & rhs)
101         {
102                 return QString::compare(lhs, rhs, os::isFilesystemCaseSensitive() ?
103                         Qt::CaseSensitive : Qt::CaseInsensitive) == 0;
104         }
105
106         static
107         string const handleTildeName(string const & name)
108         {
109                 string resname;
110                 if ( name == "~" )
111                         resname = Package::get_home_dir().absFileName();
112                 else if ( prefixIs(name, "~/"))
113                         resname = Package::get_home_dir().absFileName() + name.substr(1);
114                 else if ( prefixIs(name, "~:s/"))
115                         resname = package().system_support().absFileName() + name.substr(3);
116                 else
117                         resname = name;
118                 return resname;
119         }
120
121         /// The absolute file name in UTF-8 encoding.
122         std::string name;
123         ///
124         QFileInfo fi;
125 };
126
127 /////////////////////////////////////////////////////////////////////
128 //
129 // FileName
130 //
131 /////////////////////////////////////////////////////////////////////
132
133
134 FileName::FileName() : d(new Private)
135 {
136 }
137
138
139 FileName::FileName(string const & abs_filename)
140         : d(abs_filename.empty() ? new Private : new Private(abs_filename))
141 {
142         //LYXERR(Debug::FILES, "FileName(" << abs_filename << ')');
143         LATTEST(empty() || isAbsolute(d->name));
144 }
145
146
147 FileName::~FileName()
148 {
149         delete d;
150 }
151
152
153 FileName::FileName(FileName const & rhs) : d(new Private)
154 {
155         d->name = rhs.d->name;
156         d->fi = rhs.d->fi;
157 }
158
159
160 FileName::FileName(FileName const & rhs, string const & suffix) : d(new Private)
161 {
162         set(rhs, suffix);
163 }
164
165
166 FileName & FileName::operator=(FileName const & rhs)
167 {
168         if (&rhs == this)
169                 return *this;
170         d->name = rhs.d->name;
171         d->fi = rhs.d->fi;
172         return *this;
173 }
174
175
176 bool FileName::empty() const
177 {
178         return d->name.empty();
179 }
180
181
182 bool FileName::isAbsolute(string const & name)
183 {
184         QFileInfo fi(toqstr(Private::handleTildeName(name)));
185         return fi.isAbsolute();
186 }
187
188
189 string FileName::absFileName() const
190 {
191         return d->name;
192 }
193
194
195 string FileName::realPath() const
196 {
197         return os::real_path(absFileName());
198 }
199
200
201 void FileName::set(string const & name)
202 {
203         d->fi.setFile(toqstr(Private::handleTildeName(name)));
204         d->name = fromqstr(d->fi.absoluteFilePath());
205         //LYXERR(Debug::FILES, "FileName::set(" << name << ')');
206         LATTEST(empty() || isAbsolute(d->name));
207 }
208
209
210 void FileName::set(FileName const & rhs, string const & suffix)
211 {
212         if (!rhs.d->fi.isDir())
213                 d->fi.setFile(rhs.d->fi.filePath() + toqstr(suffix));
214         else
215                 d->fi.setFile(QDir(rhs.d->fi.absoluteFilePath()), toqstr(suffix));
216         d->name = fromqstr(d->fi.absoluteFilePath());
217         //LYXERR(Debug::FILES, "FileName::set(" << d->name << ')');
218         LATTEST(empty() || isAbsolute(d->name));
219 }
220
221
222 void FileName::erase()
223 {
224         d->name.clear();
225         d->fi = QFileInfo();
226 }
227
228
229 bool FileName::copyTo(FileName const & name, bool keepsymlink) const
230 {
231         FileNameSet visited;
232         return copyTo(name, keepsymlink, visited);
233 }
234
235
236 bool FileName::copyTo(FileName const & name, bool keepsymlink,
237                       FileName::FileNameSet & visited) const
238 {
239         LYXERR(Debug::FILES, "Copying " << name << " keep symlink: " << keepsymlink);
240         if (keepsymlink && name.isSymLink()) {
241                 visited.insert(*this);
242                 FileName const target(fromqstr(name.d->fi.symLinkTarget()));
243                 if (visited.find(target) != visited.end()) {
244                         LYXERR(Debug::FILES, "Found circular symlink: " << target);
245                         return false;
246                 }
247                 return copyTo(target, true);
248         }
249         QFile::remove(name.d->fi.absoluteFilePath());
250         bool success = QFile::copy(d->fi.absoluteFilePath(), name.d->fi.absoluteFilePath());
251         if (!success)
252                 LYXERR0("FileName::copyTo(): Could not copy file "
253                         << *this << " to " << name);
254         return success;
255 }
256
257
258 bool FileName::renameTo(FileName const & name) const
259 {
260         LYXERR(Debug::FILES, "Renaming " << name << " as " << *this);
261         bool success = QFile::rename(d->fi.absoluteFilePath(), name.d->fi.absoluteFilePath());
262         d->refresh();
263         if (!success)
264                 LYXERR0("Could not rename file " << *this << " to " << name);
265         return success;
266 }
267
268
269 bool FileName::moveTo(FileName const & name) const
270 {
271         LYXERR(Debug::FILES, "Moving " << *this << " to " << name);
272 #ifdef _WIN32
273         // there's a locking problem on Windows sometimes, so
274         // we will keep trying for five seconds, in the hope
275         // that clears.
276         name.refresh();
277         if (name.exists()) {
278                 bool removed = name.removeFile();
279                 int tries = 1;
280                 while (!removed && tries < 6)   {
281                         QThread::sleep(1);
282                         removed = name.removeFile();
283                         tries++;
284                 }
285         }
286 #else
287         QFile::remove(name.d->fi.absoluteFilePath());
288 #endif
289
290         bool const success = renameTo(name);
291         if (!success)
292                 LYXERR0("Could not move file " << *this << " to " << name);
293         return success;
294 }
295
296
297 bool FileName::changePermission(unsigned long int mode) const
298 {
299 #if defined (HAVE_CHMOD) && defined (HAVE_MODE_T)
300         if (::chmod(toFilesystemEncoding().c_str(), mode_t(mode)) != 0) {
301                 LYXERR0("File " << *this << ": cannot change permission to "
302                         << mode << ".");
303                 return false;
304         }
305 #else
306         // squash warning
307         (void) mode;
308 #endif
309         return true;
310 }
311
312 bool FileName::clonePermissions(FileName const & source)
313 {
314         QFile fin(toqstr(source.absFileName()));
315         QFile f(toqstr(absFileName()));
316
317         return f.setPermissions(fin.permissions());
318 }
319
320 string FileName::toFilesystemEncoding() const
321 {
322         // This doesn't work on Windows for non ascii file names.
323         QByteArray const encoded = QFile::encodeName(d->fi.absoluteFilePath());
324         return string(encoded.begin(), encoded.end());
325 }
326
327
328 string FileName::toSafeFilesystemEncoding(os::file_access how) const
329 {
330         // This will work on Windows for non ascii file names.
331         QString const safe_path =
332                 toqstr(os::safe_internal_path(absFileName(), how));
333         QByteArray const encoded = QFile::encodeName(safe_path);
334         return string(encoded.begin(), encoded.end());
335 }
336
337
338 FileName FileName::fromFilesystemEncoding(string const & name)
339 {
340         QByteArray const encoded(name.c_str(), name.length());
341         return FileName(fromqstr(QFile::decodeName(encoded)));
342 }
343
344
345 bool FileName::exists() const
346 {
347         return !empty() && d->fi.exists();
348 }
349
350
351 bool FileName::isSymLink() const
352 {
353         return !empty() && d->fi.isSymLink();
354 }
355
356
357 //QFileInfo caching info might fool this test if file was changed meanwhile.
358 //refresh() helps, but we don't want to put it blindly here, because it might
359 //trigger slowdown on networked file systems.
360 bool FileName::isFileEmpty() const
361 {
362         LASSERT(!empty(), return true);
363         return d->fi.size() == 0;
364 }
365
366
367 bool FileName::isDirectory() const
368 {
369         return !empty() && d->fi.isDir();
370 }
371
372
373 bool FileName::isReadOnly() const
374 {
375         LASSERT(!empty(), return true);
376         return d->fi.isReadable() && !d->fi.isWritable();
377 }
378
379
380 bool FileName::isReadableDirectory() const
381 {
382         return isDirectory() && d->fi.isReadable();
383 }
384
385
386 string FileName::onlyFileName() const
387 {
388         return fromqstr(d->fi.fileName());
389 }
390
391
392 string FileName::onlyFileNameWithoutExt() const
393 {
394         return fromqstr(d->fi.completeBaseName());
395 }
396
397
398 string FileName::extension() const
399 {
400         return fromqstr(d->fi.suffix());
401 }
402
403
404 bool FileName::hasExtension(const string & ext)
405 {
406         return Private::isFilesystemEqual(d->fi.suffix(), toqstr(ext));
407 }
408
409
410 FileName FileName::onlyPath() const
411 {
412         FileName path;
413         if (empty())
414                 return path;
415         path.d->fi.setFile(d->fi.path());
416         path.d->name = fromqstr(path.d->fi.absoluteFilePath());
417         return path;
418 }
419
420
421 FileName FileName::parentPath() const
422 {
423         FileName path;
424         // return empty path for parent of root dir
425         // parent of empty path is empty too
426         if (empty() || d->fi.isRoot())
427                 return path;
428         path.d->fi.setFile(d->fi.path());
429         path.d->name = fromqstr(path.d->fi.absoluteFilePath());
430         return path;
431 }
432
433
434 bool FileName::isReadableFile() const
435 {
436         return !empty() && d->fi.isFile() && d->fi.isReadable();
437 }
438
439
440 bool FileName::isWritable() const
441 {
442         return !empty() && d->fi.isWritable();
443 }
444
445
446 bool FileName::isDirWritable() const
447 {
448         LASSERT(isDirectory(), return false);
449         QFileInfo tmp(QDir(d->fi.absoluteFilePath()), "lyxwritetest");
450         QTemporaryFile qt_tmp(tmp.absoluteFilePath());
451         if (qt_tmp.open()) {
452                 LYXERR(Debug::FILES, "Directory " << *this << " is writable");
453                 return true;
454         }
455         LYXERR(Debug::FILES, "Directory " << *this << " is not writable");
456         return false;
457 }
458
459
460 FileNameList FileName::dirList(string const & ext) const
461 {
462         FileNameList dirlist;
463         if (!isDirectory()) {
464                 LYXERR0("Directory '" << *this << "' does not exist!");
465                 return dirlist;
466         }
467
468         // If the directory is specified without a trailing '/', absoluteDir()
469         // would return the parent dir, so we must use absoluteFilePath() here.
470         QDir dir = d->fi.absoluteFilePath();
471
472         if (!ext.empty()) {
473                 QString filter;
474                 switch (ext[0]) {
475                 case '.': filter = "*" + toqstr(ext); break;
476                 case '*': filter = toqstr(ext); break;
477                 default: filter = "*." + toqstr(ext);
478                 }
479                 dir.setNameFilters(QStringList(filter));
480                 LYXERR(Debug::FILES, "filtering on extension "
481                         << fromqstr(filter) << " is requested.");
482         }
483
484         QFileInfoList list = dir.entryInfoList();
485         for (int i = 0; i != list.size(); ++i) {
486                 FileName fi(fromqstr(list.at(i).absoluteFilePath()));
487                 dirlist.push_back(fi);
488                 LYXERR(Debug::FILES, "found file " << fi);
489         }
490
491         return dirlist;
492 }
493
494
495 FileName FileName::getcwd()
496 {
497         // return makeAbsPath("."); would create an infinite loop
498         QFileInfo fi(".");
499         return FileName(fromqstr(fi.absoluteFilePath()));
500 }
501
502
503 FileName FileName::tempPath()
504 {
505         return FileName(os::internal_path(fromqstr(QDir::tempPath())));
506 }
507
508
509 void FileName::refresh() const
510 {
511         d->refresh();
512 }
513
514
515 time_t FileName::lastModified() const
516 {
517         // QFileInfo caches information about the file. So, in case this file has
518         // been touched between the object creation and now, we refresh the file
519         // information.
520         d->refresh();
521 #if (QT_VERSION >= QT_VERSION_CHECK(5, 8, 0))
522         return d->fi.lastModified().toSecsSinceEpoch();
523 #else
524         return d->fi.lastModified().toTime_t();
525 #endif
526         
527 }
528
529
530 bool FileName::chdir() const
531 {
532         return QDir::setCurrent(d->fi.absoluteFilePath());
533 }
534
535
536 bool FileName::link(FileName const & name) const
537 {
538         return QFile::link(toqstr(absFileName()), toqstr(name.absFileName()));
539 }
540
541
542 unsigned long checksum_ifstream_fallback(char const * file)
543 {
544         //LYXERR(Debug::FILES, "lyx::sum() using istreambuf_iterator (fast)");
545         ifstream ifs(file, ios_base::in | ios_base::binary);
546         if (!ifs)
547                 return 0;
548         return support::checksum(ifs);
549 }
550
551
552 unsigned long FileName::checksum() const
553 {
554         if (!exists()) {
555                 //LYXERR0("File \"" << absFileName() << "\" does not exist!");
556                 return 0;
557         }
558         // a directory may be passed here so we need to test it. (bug 3622)
559         if (isDirectory()) {
560                 LYXERR0('"' << absFileName() << "\" is a directory!");
561                 return 0;
562         }
563
564         // This is used in the debug output at the end of the method.
565         static QElapsedTimer t;
566         if (lyxerr.debugging(Debug::FILES))
567                 t.restart();
568
569         unsigned long result = 0;
570
571 #if QT_VERSION >= 0x999999
572         // First version of checksum uses Qt4.4 mmap support.
573         // FIXME: This code is not ready with Qt4.4.2,
574         // see http://www.lyx.org/trac/ticket/5293
575         // FIXME: should we check if the MapExtension extension is supported?
576         // see QAbstractFileEngine::supportsExtension() and
577         // QAbstractFileEngine::MapExtension)
578         QFile qf(fi.filePath());
579         if (!qf.open(QIODevice::ReadOnly))
580                 return 0;
581         qint64 size = fi.size();
582         uchar * ubeg = qf.map(0, size);
583         uchar * uend = ubeg + size;
584         result = support::checksum(ubeg, uend);
585         qf.unmap(ubeg);
586         qf.close();
587
588 #else // QT_VERSION
589
590         string const encoded = toSafeFilesystemEncoding();
591         char const * file = encoded.c_str();
592
593  #ifdef SUM_WITH_MMAP
594         //LYXERR(Debug::FILES, "using mmap (lightning fast)");
595
596         int fd = open(file, O_RDONLY);
597         if (!fd)
598                 return 0;
599
600         struct stat info;
601         if (fstat(fd, &info)){
602                 // fstat fails on samba shares (bug 5891)
603                 close(fd);
604                 return checksum_ifstream_fallback(file);
605         }
606
607         void * mm = mmap(0, info.st_size, PROT_READ,
608                          MAP_PRIVATE, fd, 0);
609         // Some platforms have the wrong type for MAP_FAILED (compaq cxx).
610         if (mm == reinterpret_cast<void*>(MAP_FAILED)) {
611                 close(fd);
612                 return 0;
613         }
614
615         unsigned char * beg = static_cast<unsigned char*>(mm);
616         unsigned char * end = beg + info.st_size;
617
618         result = support::checksum(beg, end);
619
620         munmap(mm, info.st_size);
621         close(fd);
622
623  #else // no SUM_WITH_MMAP
624         result = checksum_ifstream_fallback(file);
625  #endif // SUM_WITH_MMAP
626 #endif // QT_VERSION
627
628         LYXERR(Debug::FILES, "Checksumming \"" << absFileName() << "\" "
629                 << result << " lasted " << t.elapsed() << " ms.");
630         return result;
631 }
632
633
634 bool FileName::removeFile() const
635 {
636         bool const success = QFile::remove(d->fi.absoluteFilePath());
637         d->refresh();
638         if (!success && exists())
639                 LYXERR0("Could not delete file " << *this);
640         return success;
641 }
642
643
644 static bool rmdir(QFileInfo const & fi)
645 {
646         QDir dir(fi.absoluteFilePath());
647         QFileInfoList list = dir.entryInfoList();
648         bool success = true;
649         for (int i = 0; i != list.size(); ++i) {
650                 if (list.at(i).fileName() == ".")
651                         continue;
652                 if (list.at(i).fileName() == "..")
653                         continue;
654                 bool removed;
655                 if (list.at(i).isDir()) {
656                         LYXERR(Debug::FILES, "Removing dir "
657                                 << fromqstr(list.at(i).absoluteFilePath()));
658                         removed = rmdir(list.at(i));
659                 }
660                 else {
661                         LYXERR(Debug::FILES, "Removing file "
662                                 << fromqstr(list.at(i).absoluteFilePath()));
663                         removed = dir.remove(list.at(i).fileName());
664                 }
665                 if (!removed) {
666                         success = false;
667                         LYXERR0("Could not delete "
668                                 << fromqstr(list.at(i).absoluteFilePath()));
669                 }
670         }
671         QDir parent = fi.absolutePath();
672         success &= parent.rmdir(fi.fileName());
673         return success;
674 }
675
676
677 bool FileName::destroyDirectory() const
678 {
679         bool const success = rmdir(d->fi);
680         if (!success)
681                 LYXERR0("Could not delete " << *this);
682
683         return success;
684 }
685
686
687 // Only used in non Win32 platforms
688 #ifndef Q_OS_WIN32
689 static int mymkdir(char const * pathname, unsigned long int mode)
690 {
691         // FIXME: why don't we have mode_t in lyx::mkdir prototype ??
692 # if HAVE_MKDIR
693 #  if MKDIR_TAKES_ONE_ARG
694         // MinGW32
695         return ::mkdir(pathname);
696         // FIXME: "Permissions of created directories are ignored on this system."
697 #  else
698         // POSIX
699         return ::mkdir(pathname, mode_t(mode));
700 #  endif
701 # elif defined(_WIN32)
702         // plain Windows 32
703         return CreateDirectory(pathname, 0) != 0 ? 0 : -1;
704         // FIXME: "Permissions of created directories are ignored on this system."
705 # elif HAVE__MKDIR
706         return ::_mkdir(pathname);
707         // FIXME: "Permissions of created directories are ignored on this system."
708 # else
709 #   error "Don't know how to create a directory on this system."
710 # endif
711 }
712 #endif
713
714
715 bool FileName::createDirectory(int permission) const
716 {
717         LASSERT(!empty(), return false);
718 #ifdef Q_OS_WIN32
719         // FIXME: "Permissions of created directories are ignored on this system."
720         (void) permission;
721         return createPath();
722 #else
723         return mymkdir(toFilesystemEncoding().c_str(), permission) == 0;
724 #endif
725 }
726
727
728 bool FileName::createPath() const
729 {
730         LASSERT(!empty(), return false);
731         LYXERR(Debug::FILES, "creating path '" << *this << "'.");
732         if (isDirectory())
733                 return false;
734
735         QDir dir;
736         bool success = dir.mkpath(d->fi.absoluteFilePath());
737         if (!success)
738                 LYXERR0("Cannot create path '" << *this << "'!");
739         return success;
740 }
741
742
743 docstring const FileName::absoluteFilePath() const
744 {
745         return qstring_to_ucs4(d->fi.absoluteFilePath());
746 }
747
748
749 docstring FileName::displayName(int threshold) const
750 {
751         return makeDisplayPath(absFileName(), threshold);
752 }
753
754
755 docstring FileName::fileContents(string const & encoding) const
756 {
757         if (!isReadableFile()) {
758                 LYXERR0("File '" << *this << "' is not readable!");
759                 return docstring();
760         }
761
762         QFile file(d->fi.absoluteFilePath());
763         if (!file.open(QIODevice::ReadOnly)) {
764                 LYXERR0("File '" << *this
765                         << "' could not be opened in read only mode!");
766                 return docstring();
767         }
768         QByteArray contents = file.readAll();
769         file.close();
770
771         if (contents.isEmpty()) {
772                 LYXERR(Debug::FILES, "File '" << *this
773                         << "' is either empty or some error happened while reading it.");
774                 return docstring();
775         }
776
777         QString s;
778         if (encoding.empty() || encoding == "UTF-8")
779                 s = QString::fromUtf8(contents.data());
780         else if (encoding == "ascii")
781 #if (QT_VERSION < 0x050000)
782                 s = QString::fromAscii(contents.data());
783 #else
784                 s = QString::fromLatin1(contents.data());
785 #endif
786         else if (encoding == "local8bit")
787                 s = QString::fromLocal8Bit(contents.data());
788         else if (encoding == "latin1")
789                 s = QString::fromLatin1(contents.data());
790
791         return qstring_to_ucs4(s);
792 }
793
794
795 void FileName::changeExtension(string const & extension)
796 {
797         // FIXME: use Qt native methods...
798         string const oldname = absFileName();
799         string::size_type const last_slash = oldname.rfind('/');
800         string::size_type last_dot = oldname.rfind('.');
801         if (last_dot < last_slash && last_slash != string::npos)
802                 last_dot = string::npos;
803
804         string ext;
805         // Make sure the extension starts with a dot
806         if (!extension.empty() && extension[0] != '.')
807                 ext= '.' + extension;
808         else
809                 ext = extension;
810
811         set(oldname.substr(0, last_dot) + ext);
812 }
813
814
815 docstring const FileName::relPath(string const & path) const
816 {
817         // FIXME UNICODE
818         return makeRelPath(absoluteFilePath(), from_utf8(path));
819 }
820
821
822 // Note: According to Qt, QFileInfo::operator== is undefined when
823 // both files do not exist (Qt4.5 gives true for all non-existent
824 // files, while Qt4.4 compares the filenames).
825 // see:
826 // http://www.qtsoftware.com/developer/task-tracker/
827 //   index_html?id=248471&method=entry.
828 bool equivalent(FileName const & l, FileName const & r)
829 {
830         // FIXME: In future use Qt.
831         // Qt 4.4: We need to solve this warning from Qt documentation:
832         // * Long and short file names that refer to the same file on Windows are
833         //   treated as if they referred to different files.
834         // This is supposed to be fixed for Qt5.
835         FileName const lhs(os::internal_path(l.absFileName()));
836         FileName const rhs(os::internal_path(r.absFileName()));
837
838         if (lhs.empty())
839                 // QFileInfo::operator==() returns false if the two QFileInfo are empty.
840                 return rhs.empty();
841
842         if (rhs.empty())
843                 // Avoid unnecessary checks below.
844                 return false;
845
846         lhs.d->refresh();
847         rhs.d->refresh();
848
849         if (!lhs.d->fi.isSymLink() && !rhs.d->fi.isSymLink()) {
850                 // Qt already checks if the filesystem is case sensitive or not.
851                 // see note above why the extra check with fileName is needed.
852                 return lhs.d->fi == rhs.d->fi
853                         && lhs.d->fi.fileName() == rhs.d->fi.fileName();
854         }
855
856         // FIXME: When/if QFileInfo support symlink comparison, remove this code.
857         QFileInfo fi1(lhs.d->fi);
858         if (fi1.isSymLink())
859                 fi1 = QFileInfo(fi1.symLinkTarget());
860         QFileInfo fi2(rhs.d->fi);
861         if (fi2.isSymLink())
862                 fi2 = QFileInfo(fi2.symLinkTarget());
863         // see note above why the extra check with fileName is needed.
864         return fi1 == fi2 && fi1.fileName() == fi2.fileName();
865 }
866
867
868 bool operator==(FileName const & lhs, FileName const & rhs)
869 {
870         return os::isFilesystemCaseSensitive()
871                 ? lhs.absFileName() == rhs.absFileName()
872                 : !QString::compare(toqstr(lhs.absFileName()),
873                                 toqstr(rhs.absFileName()), Qt::CaseInsensitive);
874 }
875
876
877 bool operator!=(FileName const & lhs, FileName const & rhs)
878 {
879         return !(operator==(lhs, rhs));
880 }
881
882
883 bool operator<(FileName const & lhs, FileName const & rhs)
884 {
885         return lhs.absFileName() < rhs.absFileName();
886 }
887
888
889 bool operator>(FileName const & lhs, FileName const & rhs)
890 {
891         return lhs.absFileName() > rhs.absFileName();
892 }
893
894
895 ostream & operator<<(ostream & os, FileName const & filename)
896 {
897         return os << filename.absFileName();
898 }
899
900
901 /////////////////////////////////////////////////////////////////////
902 //
903 // DocFileName
904 //
905 /////////////////////////////////////////////////////////////////////
906
907
908 DocFileName::DocFileName()
909         : save_abs_path_(true)
910 {}
911
912
913 DocFileName::DocFileName(string const & abs_filename, bool save_abs)
914         : FileName(abs_filename), save_abs_path_(save_abs)
915 {}
916
917
918 DocFileName::DocFileName(FileName const & abs_filename, bool save_abs)
919         : FileName(abs_filename), save_abs_path_(save_abs)
920 {}
921
922
923 void DocFileName::set(string const & name, string const & buffer_path)
924 {
925         save_abs_path_ = isAbsolute(name);
926         if (save_abs_path_)
927                 FileName::set(name);
928         else
929                 FileName::set(makeAbsPath(name, buffer_path).absFileName());
930 }
931
932
933 void DocFileName::erase()
934 {
935         FileName::erase();
936 }
937
938
939 string DocFileName::relFileName(string const & path) const
940 {
941         // FIXME UNICODE
942         return to_utf8(relPath(path));
943 }
944
945
946 string DocFileName::outputFileName(string const & path) const
947 {
948         return save_abs_path_ ? absFileName() : relFileName(path);
949 }
950
951
952 string DocFileName::mangledFileName(string const & dir) const
953 {
954         return mangledFileName(dir, true, false);
955 }
956
957 string DocFileName::mangledFileName(string const & dir, bool use_counter, bool encrypt_path) const
958 {
959         // Concurrent access to these variables is possible.
960
961         // We need to make sure that every DocFileName instance for a given
962         // filename returns the same mangled name.
963         typedef map<string, string> MangledMap;
964         static MangledMap mangledNames;
965         static Mutex mangledMutex;
966         // this locks both access to mangledNames and counter below
967         Mutex::Locker lock(&mangledMutex);
968         MangledMap::const_iterator const it = mangledNames.find(absFileName());
969         if (it != mangledNames.end())
970                 return (*it).second;
971
972         string const name = absFileName();
973         // Now the real work. Remove the extension.
974         string mname = support::changeExtension(name, string());
975
976         if (encrypt_path)
977                 mname = "export_" + onlyFileName() + "_" + toHexHash(mname);
978
979         // The mangled name must be a valid LaTeX name.
980         mname = sanitizeFileName(mname);
981         // Add the extension back on
982         mname = support::changeExtension(mname, getExtension(name));
983
984         // Prepend a counter to the filename. This is necessary to make
985         // the mangled name unique.
986         static int counter = 0;
987
988         if (use_counter) {
989                 ostringstream s;
990                 s << counter++ << mname;
991                 mname = s.str();
992         }
993
994         // MiKTeX's YAP (version 2.4.1803) crashes if the file name
995         // is longer than about 160 characters. MiKTeX's pdflatex
996         // is even pickier. A maximum length of 100 has been proven to work.
997         // If dir.size() > max length, all bets are off for YAP. We truncate
998         // the filename nevertheless, keeping a minimum of 10 chars.
999
1000         string::size_type max_length = max(100 - ((int)dir.size() + 1), 10);
1001
1002         // If the mangled file name is too long, hack it to fit.
1003         // We know we're guaranteed to have a unique file name because
1004         // of the counter.
1005         if (mname.size() > max_length) {
1006                 int const half = (int(max_length) / 2) - 2;
1007                 if (half > 0) {
1008                         mname = mname.substr(0, half) + "___" +
1009                                 mname.substr(mname.size() - half);
1010                 }
1011         }
1012
1013         mangledNames[absFileName()] = mname;
1014         return mname;
1015 }
1016
1017
1018 string DocFileName::unzippedFileName() const
1019 {
1020         return support::unzippedFileName(absFileName());
1021 }
1022
1023
1024 bool operator==(DocFileName const & lhs, DocFileName const & rhs)
1025 {
1026         return static_cast<FileName const &>(lhs)
1027                 == static_cast<FileName const &>(rhs)
1028                 && lhs.saveAbsPath() == rhs.saveAbsPath();
1029 }
1030
1031
1032 bool operator!=(DocFileName const & lhs, DocFileName const & rhs)
1033 {
1034         return !(lhs == rhs);
1035 }
1036
1037 } // namespace support
1038 } // namespace lyx