Use assertions to declare things we know for sure

Doing it that way makes coverity happy.
This commit is contained in:
Jean-Marc Lasgouttes 2017-04-05 11:53:17 +02:00
parent 7b0e732eeb
commit 60810e0ae2

View File

@ -3854,6 +3854,8 @@ void GuiView::dispatch(FuncRequest const & cmd, DispatchResult & dr)
if (!data.empty())
showDialog("character", data);
} else if (name == "latexlog") {
// getStatus checks that
LATTEST(doc_buffer);
Buffer::LogType type;
string const logfile = doc_buffer->logName(&type);
switch (type) {
@ -3867,6 +3869,8 @@ void GuiView::dispatch(FuncRequest const & cmd, DispatchResult & dr)
data += Lexer::quoteString(logfile);
showDialog("log", data);
} else if (name == "vclog") {
// getStatus checks that
LATTEST(doc_buffer);
string const data = "vc " +
Lexer::quoteString(doc_buffer->lyxvc().getLogFile());
showDialog("log", data);