// This is needed if a partial file ends with a command without arguments,
// e. g. \medskip
if (! good())
- return std::make_pair(false, string());
+ return make_pair(false, string());
string result;
char c = getChar();
if (c != left) {
putback();
- return std::make_pair(false, string());
+ return make_pair(false, string());
} else
while ((c = getChar()) != right && good()) {
// Ignore comments
result += curr_token().asInput();
}
- return std::make_pair(true, result);
+ return make_pair(true, result);
}
Arg arg = getFullArg('[', ']');
if (arg.first)
return '[' + arg.second + ']';
- return arg.second;
+ return string();
}
}
+string Parser::getFullParentheseArg()
+{
+ Arg arg = getFullArg('(', ')');
+ if (arg.first)
+ return '(' + arg.second + ')';
+ return string();
+}
+
+
string const Parser::verbatimEnvironment(string const & name)
{
if (!good())