Merge pull request #1024 from gucci-on-fleek:main

GitOrigin-RevId: 759fff1f03907613b225c82d07f31fa691cfd967
This commit is contained in:
Copybot 2022-06-22 08:04:31 +00:00
commit f5da397d5c

View file

@ -1,12 +1,12 @@
// Define some constants // Define some constants
const LOG_WRAP_LIMIT = 79 const LOG_WRAP_LIMIT = 79
const LATEX_WARNING_REGEX = /^LaTeX Warning: (.*)$/ const LATEX_WARNING_REGEX = /^LaTeX(3| Font)? Warning: (.*)$/
const HBOX_WARNING_REGEX = /^(Over|Under)full \\(v|h)box/ const HBOX_WARNING_REGEX = /^(Over|Under)full \\(v|h)box/
const PACKAGE_WARNING_REGEX = /^(Package \b.+\b Warning:.*)$/ const PACKAGE_WARNING_REGEX = /^((Package|Class|Module) \b.+\b Warning:.*)$/
// This is used to parse the line number from common latex warnings // This is used to parse the line number from common latex warnings
const LINES_REGEX = /lines? ([0-9]+)/ const LINES_REGEX = /lines? ([0-9]+)/
// This is used to parse the package name from the package warnings // This is used to parse the package name from the package warnings
const PACKAGE_REGEX = /^Package (\b.+\b) Warning/ const PACKAGE_REGEX = /^(Package|Class|Module) (\b.+\b) Warning/
const FILE_LINE_ERROR_REGEX = /^([./].*):(\d+): (.*)/ const FILE_LINE_ERROR_REGEX = /^([./].*):(\d+): (.*)/
const STATE = { const STATE = {