json::Object logEntryJson(const core::tex::LogEntry& logEntry) { json::Object obj; obj["type"] = static_cast<int>(logEntry.type()); obj["path"] = module_context::createAliasedPath(logEntry.filePath()); obj["line"] = logEntry.line(); obj["message"] = logEntry.message(); obj["log_path"] = module_context::createAliasedPath(logEntry.logFilePath()); obj["log_line"] = logEntry.logLine(); return obj; }
bool isLogEntryFromTargetFile(const core::tex::LogEntry& logEntry, const FilePath& texPath) { return logEntry.filePath() == texPath; }