--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/extern/vera/src/structures/SourceFiles.cpp	Wed Nov 22 20:10:03 2017 +0100
@@ -0,0 +1,44 @@
+//
+// Copyright (C) 2006-2007 Maciej Sobczak
+// Distributed under the Boost Software License, Version 1.0.
+// (See accompanying file LICENSE_1_0.txt or copy at
+// http://www.boost.org/LICENSE_1_0.txt)
+//
+
+#include "SourceFiles.h"
+
+
+namespace // unnamed
+{
+
+Vera::Structures::SourceFiles::FileNameSet files_;
+
+} // unnamed namespace
+
+namespace Vera
+{
+namespace Structures
+{
+
+int SourceFiles::count()
+{
+    return files_.size();
+}
+
+void SourceFiles::addFileName(const FileName & name)
+{
+    files_.insert(name);
+}
+
+bool SourceFiles::empty()
+{
+    return files_.empty();
+}
+
+const SourceFiles::FileNameSet & SourceFiles::getAllFileNames()
+{
+    return files_;
+}
+
+}
+}