summaryrefslogtreecommitdiff
path: root/src/core/model/Domain.hpp
diff options
context:
space:
mode:
authorBenjamin Paassen <bpaassen@techfak.uni-bielefeld.de>2015-01-05 15:05:28 +0100
committerBenjamin Paassen <bpaassen@techfak.uni-bielefeld.de>2015-01-05 15:05:28 +0100
commit15dd9d1aa1e0cfe8b31364fb42985ee8d5c5fc9d (patch)
treeb2a2543b442cc4b70e21cea80641bc36aa3b1e36 /src/core/model/Domain.hpp
parent4b5f49447e1583756c6f6bb15d7bc643bb7adda3 (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.hpp4
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})
{
}