diff options
author | Andreas Stöckel <astoecke@techfak.uni-bielefeld.de> | 2015-03-15 14:03:16 +0100 |
---|---|---|
committer | Andreas Stöckel <astoecke@techfak.uni-bielefeld.de> | 2016-04-25 22:19:27 +0200 |
commit | c9ce2e30daed89d4fe1591cb52021fe7a84ef90f (patch) | |
tree | 42816d248d72b8084f1affb276a824040a0da3a2 /src/core/parser/stack | |
parent | 683eeb00d62121150e9e311822226bdddd932569 (diff) |
Reenable pushing user defined tokens onto the stack (however, user defined tokens do not work yet) -- but if no tokens are defined, everything should work as before.
Diffstat (limited to 'src/core/parser/stack')
-rw-r--r-- | src/core/parser/stack/DocumentHandler.cpp | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/src/core/parser/stack/DocumentHandler.cpp b/src/core/parser/stack/DocumentHandler.cpp index 78629ac..331fb0b 100644 --- a/src/core/parser/stack/DocumentHandler.cpp +++ b/src/core/parser/stack/DocumentHandler.cpp @@ -116,7 +116,7 @@ void DocumentChildHandler::pushDocumentField(Handle<Node> parent, scope().push(field); // Push all possible tokens onto the stack - //pushTokens(fieldDescr->getPermittedTokens()); + pushTokens(fieldDescr->getPermittedTokens(), true); } void DocumentChildHandler::popDocumentField() @@ -126,7 +126,7 @@ void DocumentChildHandler::popDocumentField() scope().pop(logger()); // Pop the registered tokens from the stack - //popTokens(); + popTokens(); } void DocumentChildHandler::createPath(const NodeVector<Node> &path, |