summaryrefslogtreecommitdiff
path: root/src/core/parser/Scope.hpp
diff options
context:
space:
mode:
authorBenjamin Paassen <bpaassen@techfak.uni-bielefeld.de>2015-01-20 01:24:17 +0100
committerBenjamin Paassen <bpaassen@techfak.uni-bielefeld.de>2015-01-20 01:24:17 +0100
commit57a1ea659ae125934c541951113c0c3a38b10971 (patch)
tree8bf6f93a1c4b56cd48777b2f2f80c77466ef61ee /src/core/parser/Scope.hpp
parent20d3e71f26ca884271ed5d372a8459394554c147 (diff)
parent533e1a93c8f636b78f5687dd9c343a81563081a1 (diff)
Merge branch 'master' of somweyr.de:ousia
Diffstat (limited to 'src/core/parser/Scope.hpp')
-rw-r--r--src/core/parser/Scope.hpp10
1 files changed, 2 insertions, 8 deletions
diff --git a/src/core/parser/Scope.hpp b/src/core/parser/Scope.hpp
index 1ceac2e..b9b7f80 100644
--- a/src/core/parser/Scope.hpp
+++ b/src/core/parser/Scope.hpp
@@ -467,18 +467,12 @@ public:
}
/**
- * Tries to resolve all currently deferred resolution steps.
+ * Tries to resolve all currently deferred resolution steps. The list of
+ * pending deferred resolutions is cleared after this function has run.
*
* @param logger is the logger instance into which errors should be logged.
*/
bool performDeferredResolution(Logger &logger);
-
- /**
- * Clears the list of currently deferred resolutions. This function may be
- * used to gracefully continue parsing, even after the resolution has
- * failed.
- */
- void purgeDeferredResolutions();
};
}
}