Reorder class members

[builder.git] / source / header.h

diff --git a/source/header.h b/source/header.h
index a22c6ce772b7a59d5eac9a2615688b70c03005c7..a2b7c7da2e912002991ef54a4f41723f46a6ed70 100644 (file)
--- a/source/header.h
+++ b/source/header.h
@@ -1,3 +1,10 @@
+/* $Id$
+
+This file is part of builder
+Copyright © 2006-2007, 2009  Mikko Rasa, Mikkosoft Productions
+Distributed under the LGPL
+*/
+
 #ifndef HEADER_H_
 #define HEADER_H_
 
@@ -9,8 +16,8 @@ Represents a header file.  Mainly exists to give extra information to the user.
 class Header: public SourceFile
 {
 public:
-       Header(Builder &b, const Component *c, const std::string &f): SourceFile(b,c,f) { }
-       const char *get_type() const { return "Header"; }
+       Header(Builder &b, const Component *c, const std::string &f): SourceFile(b, c, f) { }
+       virtual const char *get_type() const { return "Header"; }
 };
 
 /**
@@ -19,9 +26,9 @@ A header file that doesn't belong to any known package.
 class SystemHeader: public Header
 {
 public:
-       SystemHeader(Builder &b, const std::string &f): Header(b,0,f) { }
-       const char *get_type() const { return "SystemHeader"; }
-       void       find_depends()    { deps_ready=true; }
+       SystemHeader(Builder &b, const std::string &f): Header(b, 0, f) { }
+       virtual const char *get_type() const { return "SystemHeader"; }
+       virtual void find_depends() { deps_ready=true; }
 };
 
 #endif