diff options
author | Benjamin Paassen <bpaassen@techfak.uni-bielefeld.de> | 2015-01-05 15:05:28 +0100 |
---|---|---|
committer | Benjamin Paassen <bpaassen@techfak.uni-bielefeld.de> | 2015-01-05 15:05:28 +0100 |
commit | 15dd9d1aa1e0cfe8b31364fb42985ee8d5c5fc9d (patch) | |
tree | b2a2543b442cc4b70e21cea80641bc36aa3b1e36 /src/core/model/Domain.hpp | |
parent | 4b5f49447e1583756c6f6bb15d7bc643bb7adda3 (diff) |
corrected RTTI for domain und document and added a reference to system type system in test domain.
Diffstat (limited to 'src/core/model/Domain.hpp')
-rw-r--r-- | src/core/model/Domain.hpp | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/src/core/model/Domain.hpp b/src/core/model/Domain.hpp index 7e4e9f7..6995d14 100644 --- a/src/core/model/Domain.hpp +++ b/src/core/model/Domain.hpp @@ -559,12 +559,12 @@ protected: VisitorSet &visited) override; public: - Domain(Manager &mgr, std::string name) + Domain(Manager &mgr, Handle<SystemTypesystem> sys, std::string name) // TODO: Can a domain have a parent? : Node(mgr, std::move(name), nullptr), structureClasses(this), annotationClasses(this), - typesystems(this) + typesystems(this, std::vector<Handle<Typesystem>>{sys}) { } |