summaryrefslogtreecommitdiff
path: root/src/core/model/Document.hpp
diff options
context:
space:
mode:
authorAndreas Stöckel <astoecke@techfak.uni-bielefeld.de>2015-02-16 13:49:47 +0100
committerAndreas Stöckel <andreas@somweyr.de>2015-02-16 13:49:47 +0100
commite2a765fc4eaf559bce04b53ca1a1538b1f5f1628 (patch)
tree3b68bfe0b4c63d695480241a490eb684743fb964 /src/core/model/Document.hpp
parent658692f5ae3657c5e16b3958f62707d4dacc34b0 (diff)
Allow typesystem references in Document
Diffstat (limited to 'src/core/model/Document.hpp')
-rw-r--r--src/core/model/Document.hpp23
1 files changed, 22 insertions, 1 deletions
diff --git a/src/core/model/Document.hpp b/src/core/model/Document.hpp
index 5f06eb0..e314304 100644
--- a/src/core/model/Document.hpp
+++ b/src/core/model/Document.hpp
@@ -754,6 +754,7 @@ private:
Owned<StructuredEntity> root;
NodeVector<AnnotationEntity> annotations;
NodeVector<Domain> domains;
+ NodeVector<Typesystem> typesystems;
protected:
void doResolve(ResolutionState &state) override;
@@ -771,7 +772,8 @@ public:
Document(Manager &mgr, std::string name)
: RootNode(mgr, std::move(name), nullptr),
annotations(this),
- domains(this)
+ domains(this),
+ typesystems(this)
{
}
@@ -891,6 +893,25 @@ public:
}
/**
+ * Adds a Typesystem reference to this Document.
+ */
+ void referenceTypesystem(Handle<Typesystem> d)
+ {
+ invalidate();
+ typesystems.push_back(d);
+ }
+
+ /**
+ * Adds multiple Typesystem references to this Document.
+ */
+ void referenceTypesystems(const std::vector<Handle<Typesystem>> &d)
+ {
+ invalidate();
+ typesystems.insert(typesystems.end(), d.begin(), d.end());
+ }
+
+
+ /**
* Returns true if and only if the given StructureNode is part of this
* document, meaning that there is a path of parent references in the
* Structure Tree leading from the given StructureNode to this Document.