diff options
Diffstat (limited to 'build/target-key')
| -rw-r--r-- | build/target-key | 7 |
1 files changed, 7 insertions, 0 deletions
diff --git a/build/target-key b/build/target-key index 3875a6a..d791d61 100644 --- a/build/target-key +++ b/build/target-key @@ -28,6 +28,13 @@ namespace build target* (*const factory) (dir_path, std::string, const std::string*); const std::string& (*const extension) (const target_key&, scope&); target* (*const search) (const prerequisite_key&); + + bool + is_a (const std::type_index&) const; // Defined in target.cxx + + template <typename T> + bool + is_a () const {return is_a (typeid (T));} }; inline std::ostream& |