diff options
Diffstat (limited to 'src/core/model/Document.hpp')
| -rw-r--r-- | src/core/model/Document.hpp | 5 |
1 files changed, 3 insertions, 2 deletions
diff --git a/src/core/model/Document.hpp b/src/core/model/Document.hpp index 18ec3d5..9410d17 100644 --- a/src/core/model/Document.hpp +++ b/src/core/model/Document.hpp @@ -512,6 +512,7 @@ class AnnotationEntity : public Node, public DocumentEntity { private: Owned<Anchor> start; Owned<Anchor> end; + protected: bool doValidate(Logger &logger) const override; @@ -567,7 +568,7 @@ private: NodeVector<AnnotationEntity> annotations; NodeVector<Domain> domains; - void continueResolve(ResolutionState &state) override; + void doResolve(ResolutionState &state) override; protected: bool doValidate(Logger &logger) const override; @@ -625,7 +626,7 @@ public: { domains.insert(domains.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 |