diff options
Diffstat (limited to 'src')
-rw-r--r-- | src/util/datatype.h | 14 |
1 files changed, 14 insertions, 0 deletions
diff --git a/src/util/datatype.h b/src/util/datatype.h index 842be9b45..6aeb93bcf 100644 --- a/src/util/datatype.h +++ b/src/util/datatype.h @@ -352,6 +352,12 @@ private: public: /** Create a new Datatype of the given name. */ + inline explicit Datatype(std::string name); + + /** + * Create a new Datatype of the given name, with the given + * parameterization. + */ inline explicit Datatype(std::string name, std::vector<Type>& params); /** Add a constructor to this Datatype. */ @@ -494,6 +500,14 @@ inline std::string Datatype::UnresolvedType::getName() const throw() { return d_name; } +inline Datatype::Datatype(std::string name) : + d_name(name), + d_params(), + d_constructors(), + d_resolved(false), + d_self() { +} + inline Datatype::Datatype(std::string name, std::vector<Type>& params) : d_name(name), d_params(params), |