[Emacs-diffs] emacs-26 5d922e5 38/39: Start rewriting Flymake manual

[João Távora]

branch: emacs-26
commit 5d922e5d7eb3eace966a7f6bb834c8cb77f1cf14
Author: João Távora <address@hidden>
Commit: João Távora <address@hidden>

    Start rewriting Flymake manual
    
    Missing the parts pertaining to the new customization API.
    
    * doc/misc/flymake.texi (Overview of Flymake): Rewrite a bit.
    (Installing Flymake): Delete most of this.
    (Running the syntax check): Mention flymake-start.
    (Navigating to error lines): Rewrite.
    (Viewing error messages): Commente out.
    (Syntax check statuses, Troubleshooting): Rewrite a bit.
    (Customizable variables): New section under "Using
    Flymake".  Don't mention any proc variables here.
    (Configuring Flymake): Delete
    (Proc backend): New chapter
    (Proc customization variables): New chapter.
    
    * doc/misc/flymake.texi (Overview of Flymake): Rewrite a bit.
    (Installing Flymake): Mostly scratch. Flymake comes with Emacs.
    (Running the syntax check): Simplify.
    (Viewing error messages): Dekete,
    (Syntax check statuses): Rewrite.
    (Troubleshooting): Simplify.
    (Customizable variables): Rewrite.
    (Extending Flymake): New chapter, empty for now.
    (The legacy Proc backend): New chapter.
    (Proc customizable variables)
    (Adding support for a new syntax check tool)
    (Implementation overview)
    (Making a temporary copy)
    (Locating a master file)
    (Getting the include directories)
    (Locating the buildfile)
    (Starting the syntax check process)
    (Parsing the output)
    (Interaction with other modes)
    (Example---Configuring a tool called via make)
    (Example---Configuring a tool called directly): Rewrite a bit.
---
 doc/misc/flymake.texi | 538 ++++++++++++++++++++++----------------------------
 1 file changed, 237 insertions(+), 301 deletions(-)

diff --git a/doc/misc/flymake.texi b/doc/misc/flymake.texi
index 01849b7..5dd72f8 100644
--- a/doc/misc/flymake.texi
+++ b/doc/misc/flymake.texi
@@ -4,7 +4,7 @@
 @set VERSION 0.3
 @set UPDATED April 2004
 @settitle GNU Flymake @value{VERSION}
address@hidden docstyle.texi
address@hidden ../emacs/docstyle.texi
 @syncodeindex pg cp
 @comment %**end of header
 
@@ -35,7 +35,7 @@ modify this GNU manual.''
 @titlepage
 @title GNU Flymake
 @subtitle for version @value{VERSION}, @value{UPDATED}
address@hidden Pavel Kobiakov(@email{pk_at_work@@yahoo.com})
address@hidden Pavel Kobiakov(@email{pk_at_work@@yahoo.com}) and João Távora.
 @page
 @vskip 0pt plus 1filll
 @insertcopying
@@ -53,8 +53,8 @@ modify this GNU manual.''
 * Overview of Flymake::
 * Installing Flymake::
 * Using Flymake::
-* Configuring Flymake::
-* Flymake Implementation::
+* Extending Flymake::
+* The legacy Proc backend::
 * GNU Free Documentation License::
 * Index::
 @end menu
@@ -63,67 +63,56 @@ modify this GNU manual.''
 @chapter Overview
 @cindex Overview of Flymake
 
-Flymake is a universal on-the-fly syntax checker implemented as an
-Emacs minor mode.  Flymake runs the pre-configured syntax check tool
-(compiler for C++ files, @code{perl} for perl files, etc.)@: in the
-background, passing it a temporary copy of the current buffer, and
-parses the output for known error/warning message patterns.  Flymake
-then highlights erroneous lines (i.e., lines for which at least one
-error or warning has been reported by the syntax check tool), and
-displays an overall buffer status in the mode line.  Status information
-displayed by Flymake contains total number of errors and warnings
-reported for the buffer during the last syntax check.
-
address@hidden and @code{flymake-goto-prev-error}
-functions allow for easy navigation to the next/previous erroneous
-line, respectively.
-
-Calling @code{flymake-display-err-menu-for-current-line} will popup a
-menu containing error messages reported by the syntax check tool for
-the current line.  Errors/warnings belonging to another file, such as a
address@hidden header file included by a @code{.c} file, are shown in the
-current buffer as belonging to the first line.  Menu items for such
-messages also contain a filename and a line number.  Selecting such a
-menu item will automatically open the file and jump to the line with
-error.
+Flymake is a universal on-the-fly buffer checker implemented as an
+Emacs minor mode. When enabled, Flymake visually annotates the buffer
+with diagnostic information coming from one or more different sources,
+or @emph{backends}.
+
+Historically, Flymake used to accept diagnostics from a single, albeit
+reasonably flexible, backend.
+
+This backend isn't (yet) obsolete and so is still available as a
+fallback and active by default(@pxref{The legacy Proc backend}). It works by
+selecting a syntax check tool from a preconfigured list (compiler for
+C++ files, @code{perl} for perl files, etc.), and executing it in the
+background, passing it a temporary file which is a copy of the current
+buffer, and parsing the output for known error/warning message
+patterns.
+
+Flymake annotates the buffer by highlighting problematic buffer
+regions with a special space. It also displays an overall buffer
+status in the mode line.  Status information displayed by Flymake
+contains totals for different types of diagnostics.
+
address@hidden and @code{flymake-goto-prev-error} are
+commands that allow easy navigation to the next/previous erroneous
+line, respectively. If might be a good idea to map them to @kbd{M-n}
+and @kbd{M-p} in @code{flymake-mode}, by adding to your init file:
+
address@hidden
+(define-key flymake-mode-map (kbd "M-n") 'flymake-goto-next-error)
+(define-key flymake-mode-map (kbd "M-p") 'flymake-goto-prev-error)
address@hidden lisp
 
 Syntax check is done ``on-the-fly''.  It is started whenever
 
 @itemize @bullet
address@hidden buffer is loaded
address@hidden a newline character is added to the buffer
address@hidden @code{flymake-mode} is started;
address@hidden a newline character is added to the buffer;
 @item some changes were made to the buffer more than @code{0.5} seconds ago 
(the
 delay is configurable).
 @end itemize
 
 Flymake is a universal syntax checker in the sense that it's easily
-extended to support new syntax check tools and error message
-patterns.  @xref{Configuring Flymake}.
+extended to support new backends.  @xref{Customizable variables}.
 
 @node Installing Flymake
 @chapter Installing
 @cindex Installing Flymake
 
-
-Flymake is packaged in a single file, @code{flymake.el}.
-
-To install/update Flymake, place @code{flymake.el} to a directory
-somewhere on Emacs load path.  You might also want to byte-compile
address@hidden to improve performance.
-
-Also, place the following line in the @code{.emacs} file.
-
address@hidden
-(require 'flymake)
address@hidden lisp
-
-You might also map the most frequently used Flymake functions, such as
address@hidden, to some keyboard shortcuts:
-
address@hidden
-(global-set-key [f3] 'flymake-display-err-menu-for-current-line)
-(global-set-key [f4] 'flymake-goto-next-error)
address@hidden lisp
+Flymake is included with Emacs and its main commands, like
address@hidden, are autoloaded. This means there is usually
+nothing to do by way of installation.
 
 @node Using Flymake
 @chapter Using Flymake
@@ -132,10 +121,10 @@ You might also map the most frequently used Flymake 
functions, such as
 @menu
 * Flymake mode::
 * Running the syntax check::
-* Navigating to error lines::
-* Viewing error messages::
+* Navigating to error lines::   @c * Viewing error messages::
 * Syntax check statuses::
 * Troubleshooting::
+* Customizable variables::
 @end menu
 
 @node Flymake mode
@@ -161,10 +150,8 @@ line in @code{.emacs}:
 
 When @code{flymake-mode} is active, syntax check is started
 automatically on any of the three conditions mentioned above.  Syntax
-check can also be started manually by using the
address@hidden function.  This
-can be used, for example, when changes were made to some other buffer
-affecting the current buffer.
+check can also be started manually by using the @code{flymake-start}
+function.
 
 @node Navigating to error lines
 @section Navigating to error lines
@@ -185,21 +172,10 @@ navigate the highlighted lines.
 
 @end multitable
 
-These functions treat erroneous lines as a linked list.  Therefore,
address@hidden will go to the first erroneous line
-when invoked in the end of the buffer.
-
address@hidden Viewing error messages
address@hidden Viewing error messages
address@hidden Viewing error messages
-
-To view error messages belonging to the current line, use the
address@hidden function.  If there's
-at least one error or warning reported for the current line, this
-function will display a popup menu with error/warning texts.
-Selecting the menu item whose error belongs to another file brings
-forward that file with the help of the
address@hidden function.
+If the user option @code{flymake-wrap-around} is active
+(@pxref{Customizable variables}), these functions treat diagnostics
+as a linked list.  Therefore, @code{flymake-goto-next-error} will go
+to the first diagnostic when invoked in the end of the buffer.
 
 @node Syntax check statuses
 @section Syntax check statuses
@@ -209,45 +185,24 @@ After syntax check is finished, its status is displayed 
in the mode line.
 The following statuses are defined.
 
 @multitable @columnfractions 0.25 0.75
address@hidden Flymake* or Flymake:E/W*
address@hidden  Flymake is currently running.  For the second case, E/W 
contains the
-error and warning count for the previous run.
-
address@hidden Flymake
address@hidden  Syntax check is not running.  Usually this means syntax check 
was
-successfully passed (no errors, no warnings).  Other possibilities are:
-syntax check was killed as a result of executing
address@hidden, or syntax check cannot start as compilation
-is currently in progress.
-
address@hidden Flymake:E/W
address@hidden  Number of errors/warnings found by the syntax check process.
-
address@hidden Flymake:!
address@hidden  Flymake was unable to find master file for the current buffer.
address@hidden multitable
-
-The following errors cause a warning message and switch flymake mode
-OFF for the buffer.
-
address@hidden @columnfractions 0.25 0.75
address@hidden CFGERR
address@hidden  Syntax check process returned nonzero exit code, but no
-errors/warnings were reported.  This indicates a possible configuration
-error (for example, no suitable error message patterns for the
-syntax check tool).
-
address@hidden NOMASTER
address@hidden  Flymake was unable to find master file for the current buffer.
-
address@hidden NOMK
address@hidden  Flymake was unable to find a suitable buildfile for the current 
buffer.
-
address@hidden PROCERR
address@hidden  Flymake was unable to launch a syntax check process.
address@hidden @code{Wait}
address@hidden  Some flymake backends haven't reported since the last time they
+where questioned.
+
address@hidden @code{!}
address@hidden All the configured Flymake backends have disabled themselves.
+Left-clicking the ``Flymake'' mode line indicator beings the user
address@hidden log*} buffer where these situations may be investigated
+
address@hidden @code{?}
address@hidden There are no configured Flymake backends in
address@hidden
+
address@hidden @emph{[nerrors nwarnings]}
address@hidden Normal operation, number of errors/warnings found by the syntax
+check process.
 @end multitable
 
-
 @node Troubleshooting
 @section Troubleshooting
 @cindex Logging
@@ -255,70 +210,20 @@ syntax check tool).
 
 Flymake uses a simple logging facility for indicating important points
 in the control flow.  The logging facility sends logging messages to
-the @file{*Messages*} buffer.  The information logged can be used for
+the @file{*Flymake log*} buffer.  The information logged can be used for
 resolving various problems related to Flymake.
 
-Logging output is controlled by the @code{flymake-log-level}
-variable.  @code{3} is the  most verbose level, and @code{-1} switches
-logging off.
-
address@hidden Configuring Flymake
address@hidden Configuring and Extending Flymake
address@hidden Configuring and Extending Flymake
-
address@hidden
-* Customizable variables::
-* Adding support for a new syntax check tool::
address@hidden menu
-
-Flymake was designed to be easily extended for supporting new syntax
-check tools and error message patterns.
+Logging output is controlled by the Emacs @code{warning-minimum-log-level}
+and @code{warning-minimum-level} variables.
 
 @node Customizable variables
 @section Customizable variables
 @cindex Customizable variables
 
-This section summarizes variables used for Flymake
-configuration.
+This section summarizes variables used for the configuration of the
+Flymake user interface.
 
 @table @code
address@hidden flymake-log-level
-Controls logging output, see @ref{Troubleshooting}.
-
address@hidden flymake-allowed-file-name-masks
-A list of @code{(filename-regexp, init-function, cleanup-function
-getfname-function)} for configuring syntax check tools.  @xref{Adding
-support for a new syntax check tool}.
-
address@hidden
address@hidden flymake-buildfile-dirs
-A list of directories (relative paths) for searching a
-buildfile.  @xref{Locating the buildfile}.
address@hidden ignore
-
address@hidden flymake-master-file-dirs
-A list of directories for searching a master file.  @xref{Locating a
-master file}.
-
address@hidden flymake-get-project-include-dirs-function
-A function used for obtaining a list of project include dirs (C/C++
-specific).  @xref{Getting the include directories}.
-
address@hidden flymake-master-file-count-limit
address@hidden flymake-check-file-limit
-Used when looking for a master file.  @xref{Locating a master file}.
-
address@hidden flymake-err-line-patterns
-Patterns for error/warning messages in the form @code{(regexp file-idx
-line-idx col-idx err-text-idx)}.  @xref{Parsing the output}.
-
address@hidden flymake-warning-predicate
-Predicate to classify error text as warning. @xref{Parsing the output}.
-
address@hidden flymake-compilation-prevents-syntax-check
-A flag indicating whether compilation and syntax check of the same
-file cannot be run simultaneously.
-
 @item flymake-no-changes-timeout
 If any changes are made to the buffer, syntax check is automatically
 started after @code{flymake-no-changes-timeout} seconds.
@@ -327,13 +232,17 @@ started after @code{flymake-no-changes-timeout} seconds.
 A boolean flag indicating whether to start syntax check after a
 newline character is added to the buffer.
 
address@hidden flymake-errline
-A custom face for highlighting lines for which at least one error has
-been reported.
address@hidden flymake-error
+A custom face for highlighting regions for which an error has been
+reported.
+
address@hidden flymake-warning
+A custom face for highlighting regions for which a warning has been
+reported.
 
address@hidden flymake-warnline
-A custom face for highlighting lines for which at least one warning
-and no errors have been reported.
address@hidden flymake-note
+A custom face for highlighting regions for which a note has been
+reported.
 
 @item flymake-error-bitmap
 A bitmap used in the fringe to mark lines for which an error has
@@ -346,6 +255,76 @@ been reported.
 @item flymake-fringe-indicator-position
 Which fringe (if any) should show the warning/error bitmaps.
 
address@hidden flymake-wrap-around
+If non-nil, moving to errors with @code{flymake-goto-next-error} and
address@hidden wraps around buffer boundaries.
+
address@hidden table
+
address@hidden Extending Flymake
address@hidden Extending Flymake
address@hidden Extending Flymake
+
address@hidden The legacy Proc backend
address@hidden The legacy ``Proc'' backend
address@hidden The legacy Proc backend
+
address@hidden
+* Proc customization variables::
+* Adding support for a new syntax check tool::
+* Implementation overview::
+* Making a temporary copy::
+* Locating a master file::
+* Getting the include directories::
+* Locating the buildfile::
+* Starting the syntax check process::
+* Parsing the output::
+* Interaction with other modes::
address@hidden menu
+
+The backend @code{flymake-proc-legacy-backend} was originally designed
+to be extended for supporting new syntax check tools and error message
+patterns. It is also controlled by its own set of customization variables
+
address@hidden Proc customization variables
address@hidden Customization variables for the Proc backend
address@hidden Proc customization variables
+
address@hidden @code
address@hidden flymake-proc-allowed-file-name-masks
+A list of @code{(filename-regexp, init-function, cleanup-function
+getfname-function)} for configuring syntax check tools.  @xref{Adding
+support for a new syntax check tool}.
+
address@hidden flymake-proc-master-file-dirs
+A list of directories for searching a master file.  @xref{Locating a
+master file}.
+
address@hidden flymake-proc-get-project-include-dirs-function
+A function used for obtaining a list of project include dirs (C/C++
+specific).  @xref{Getting the include directories}.
+
address@hidden flymake-proc-master-file-count-limit
address@hidden flymake-proc-check-file-limit
+Used when looking for a master file.  @xref{Locating a master file}.
+
address@hidden flymake-proc-err-line-patterns
+Patterns for error/warning messages in the form @code{(regexp file-idx
+line-idx col-idx err-text-idx)}.  @xref{Parsing the output}.
+
address@hidden flymake-proc-diagnostic-type-pred
+A function to classify a diagnostic text as particular type of
+error. Should be a function taking an error text and returning one of
+the symbols indexing @code{flymake-diagnostic-types-alist}. If non-nil
+is returned but there is no such symbol in that table, a warning is
+assumed. If nil is returned, an error is assumed. Can also be a
+regular expression that should match only warnings.  This variable
+replaces the old @code{flymake-warning-re} and
address@hidden
+
address@hidden flymake-proc-compilation-prevents-syntax-check
+A flag indicating whether compilation and syntax check of the same
+file cannot be run simultaneously.
 @end table
 
 @node Adding support for a new syntax check tool
@@ -358,7 +337,7 @@ Which fringe (if any) should show the warning/error bitmaps.
 @end menu
 
 Syntax check tools are configured using the
address@hidden list.  Each item of this list
address@hidden list.  Each item of this list
 has the following format:
 
 @lisp
@@ -369,8 +348,8 @@ has the following format:
 @item filename-regexp
 This field is used as a key for locating init/cleanup/getfname
 functions for the buffer.  Items in
address@hidden are searched sequentially.  The
-first item with @code{filename-regexp} matching buffer filename is
address@hidden are searched sequentially.
+The first item with @code{filename-regexp} matching buffer filename is
 selected.  If no match is found, @code{flymake-mode} is switched off.
 
 @item init-function
@@ -390,8 +369,8 @@ This function is used for translating filenames reported by 
the syntax
 check tool into ``real'' filenames.  Filenames reported by the tool
 will be different from the real ones, as actually the tool works with
 the temporary copy.  In most cases, the default implementation
-provided by Flymake, @code{flymake-get-real-file-name}, can be used as
address@hidden
+provided by Flymake, @code{flymake-proc-get-real-file-name}, can be
+used as @code{getfname-function}.
 
 @end table
 
@@ -399,7 +378,7 @@ To add support for a new syntax check tool, write 
corresponding
 @code{init-function}, and, optionally @code{cleanup-function} and
 @code{getfname-function}.  If the format of error messages reported by
 the new tool is not yet supported by Flymake, add a new entry to
-the @code{flymake-err-line-patterns} list.
+the @code{flymake-proc-err-line-patterns} list.
 
 The following sections contain some examples of configuring Flymake
 support for various syntax check tools.
@@ -415,42 +394,42 @@ checking.
 First, we write the @code{init-function}:
 
 @lisp
-(defun flymake-perl-init ()
-  (let* ((temp-file (flymake-init-create-temp-buffer-copy
-                     'flymake-create-temp-inplace))
+(defun flymake-proc-perl-init ()
+  (let* ((temp-file (flymake-proc-init-create-temp-buffer-copy
+                     'flymake-proc-create-temp-inplace))
          (local-file (file-relative-name
                       temp-file
                       (file-name-directory buffer-file-name))))
     (list "perl" (list "-wc " local-file))))
 @end lisp
 
address@hidden creates a temporary copy of the buffer
address@hidden creates a temporary copy of the buffer
 contents with the help of
address@hidden, and builds an appropriate
address@hidden, and builds an appropriate
 command line.
 
 Next, we add a new entry to the
address@hidden:
address@hidden:
 
 @lisp
-(setq flymake-allowed-file-name-masks
+(setq flymake-proc-allowed-file-name-masks
       (cons '(".+\\.pl$"
-              flymake-perl-init
-              flymake-simple-cleanup
-              flymake-get-real-file-name)
-            flymake-allowed-file-name-masks))
+              flymake-proc-perl-init
+              flymake-proc-simple-cleanup
+              flymake-proc-get-real-file-name)
+            flymake-proc-allowed-file-name-masks))
 @end lisp
 
 Note that we use standard @code{cleanup-function} and
 @code{getfname-function}.
 
-Finally, we add an entry to @code{flymake-err-line-patterns}:
+Finally, we add an entry to @code{flymake-proc-err-line-patterns}:
 
 @lisp
-(setq flymake-err-line-patterns
+(setq flymake-proc-err-line-patterns
       (cons '("\\(.*\\) at \\([^ \n]+\\) line \\([0-9]+\\)[,.\n]"
               2 3 nil 1)
-            flymake-err-line-patterns))
+            flymake-proc-err-line-patterns))
 @end lisp
 
 @node Example---Configuring a tool called via make
@@ -462,18 +441,18 @@ In this example we will add support for C files syntax 
checked by
 
 We're not required to write any new functions, as Flymake already has
 functions for @command{make}.  We just add a new entry to the
address@hidden:
address@hidden:
 
 @lisp
-(setq flymake-allowed-file-name-masks
+(setq flymake-proc-allowed-file-name-masks
       (cons '(".+\\.c$"
-              flymake-simple-make-init
-              flymake-simple-cleanup
-              flymake-get-real-file-name)
-            flymake-allowed-file-name-masks))
+              flymake-proc-simple-make-init
+              flymake-proc-simple-cleanup
+              flymake-proc-get-real-file-name)
+            flymake-proc-allowed-file-name-masks))
 @end lisp
 
address@hidden builds the following @command{make}
address@hidden builds the following @command{make}
 command line:
 
 @lisp
@@ -507,39 +486,22 @@ check-syntax:
        $(COMPILE) -o /dev/null -S ${CHK_SOURCES} || true
 @end verbatim
 
address@hidden Flymake Implementation
address@hidden Flymake Implementation
address@hidden Implementation details
-
address@hidden
-* Determining whether syntax check is possible::
-* Making a temporary copy::
-* Locating a master file::
-* Getting the include directories::
-* Locating the buildfile::
-* Starting the syntax check process::
-* Parsing the output::
-* Highlighting erroneous lines::
-* Interaction with other modes::
address@hidden menu
-
-Syntax check is started by calling 
@code{flymake-start-syntax-check-for-current-buffer}.
-Flymake first determines whether it is able to do syntax
-check.  It then saves a copy of the buffer in a temporary file in the
-buffer's directory (or in the system temp directory, for java
-files), creates a syntax check command and launches a process with
-this command.  The output is parsed using a list of error message patterns,
-and error information (file name, line number, type and text) is
-saved.  After the process has finished, Flymake highlights erroneous
-lines in the buffer using the accumulated error information.
-
address@hidden Determining whether syntax check is possible
address@hidden Determining whether syntax check is possible
address@hidden Implementation overview
address@hidden Implementation overview
 @cindex Syntax check models
 @cindex Master file
 
address@hidden saves a copy of the buffer in a
+temporary file in the buffer's directory (or in the system temp
+directory, for java files), creates a syntax check command and
+launches a process with this command.  The output is parsed using a
+list of error message patterns, and error information (file name, line
+number, type and text) is saved.  After the process has finished,
+Flymake highlights erroneous lines in the buffer using the accumulated
+error information.
+
 Syntax check is considered possible if there's an entry in
address@hidden matching buffer's filename and
address@hidden matching buffer's filename and
 its @code{init-function} returns address@hidden value.
 
 Two syntax check modes are distinguished:
@@ -564,10 +526,10 @@ will also check syntax in the current file.  Examples are 
C/C++ (.h,
 These modes are handled inside init/cleanup/getfname functions, see
 @ref{Adding support for a new syntax check tool}.
 
-Flymake contains implementations of all functionality required to
-support different syntax check modes described above (making temporary
-copies, finding master files, etc.), as well as some tool-specific
-(routines for Make, Ant, etc.)@: code.
+The Proc backend contains implementations of all functionality
+required to support different syntax check modes described above
+(making temporary copies, finding master files, etc.), as well as some
+tool-specific (routines for Make, Ant, etc.)@: code.
 
 
 @node Making a temporary copy
@@ -609,15 +571,16 @@ Master file is located in two steps.
 
 First, a list of possible master files is built.  A simple name
 matching is used to find the files.  For a C++ header @code{file.h},
-Flymake searches for all @code{.cpp} files in the directories whose relative 
paths are
-stored in a customizable variable @code{flymake-master-file-dirs}, which
-usually contains something like @code{("." "./src")}.  No more than
address@hidden entries is added to the master file
-list.  The list is then sorted to move files with names @code{file.cpp} to
-the top.
+the Proc backend searches for all @code{.cpp} files in the directories
+whose relative paths are stored in a customizable variable
address@hidden, which usually contains something
+like @code{("." "./src")}.  No more than
address@hidden entries is added to the
+master file list.  The list is then sorted to move files with names
address@hidden to the top.
 
 Next, each master file in a list is checked to contain the appropriate
-include directives.  No more than @code{flymake-check-file-limit} of each
+include directives.  No more than @code{flymake-proc-check-file-limit} of each
 file are parsed.
 
 For @code{file.h}, the include directives to look for are
@@ -639,10 +602,10 @@ and project include directories.  The former is just the 
contents of the
 @code{INCLUDE} environment variable.  The latter is not so easy to obtain,
 and the way it can be obtained can vary greatly for different projects.
 Therefore, a customizable variable
address@hidden is used to provide the
address@hidden is used to provide the
 way to implement the desired behavior.
 
-The default implementation, @code{flymake-get-project-include-dirs-imp},
+The default implementation, @code{flymake-proc-get-project-include-dirs-imp},
 uses a @command{make} call.  This requires a correct base directory, that is, a
 directory containing a correct @file{Makefile}, to be determined.
 
@@ -656,27 +619,27 @@ of every syntax check attempt.
 @cindex buildfile, locating
 @cindex Makefile, locating
 
-Flymake can be configured to use different tools for performing syntax
-checks.  For example, it can use direct compiler call to syntax check a perl
-script or a call to @command{make} for a more complicated case of a
address@hidden/C++} source.  The general idea is that simple files, like perl
-scripts and html pages, can be checked by directly invoking a
-corresponding tool.  Files that are usually more complex and generally
-used as part of larger projects, might require non-trivial options to
-be passed to the syntax check tool, like include directories for
-C++.  The latter files are syntax checked using some build tool, like
-Make or Ant.
+The Proc backend can be configured to use different tools for
+performing syntax checks.  For example, it can use direct compiler
+call to syntax check a perl script or a call to @command{make} for a
+more complicated case of a @code{C/C++} source.  The general idea is
+that simple files, like perl scripts and html pages, can be checked by
+directly invoking a corresponding tool.  Files that are usually more
+complex and generally used as part of larger projects, might require
+non-trivial options to be passed to the syntax check tool, like
+include directories for C++.  The latter files are syntax checked
+using some build tool, like Make or Ant.
 
 All Make configuration data is usually stored in a file called
 @code{Makefile}.  To allow for future extensions, flymake uses a notion of
 buildfile to reference the 'project configuration' file.
 
-Special function, @code{flymake-find-buildfile} is provided for locating 
buildfiles.
+Special function, @code{flymake-proc-find-buildfile} is provided for locating 
buildfiles.
 Searching for a buildfile is done in a manner similar to that of searching
 for possible master files.
 @ignore
 A customizable variable
address@hidden holds a list of relative paths to the
address@hidden holds a list of relative paths to the
 buildfile.  They are checked sequentially until a buildfile is found.
 @end ignore
 In case there's no build file, syntax check is aborted.
@@ -687,12 +650,12 @@ Buildfile values are also cached.
 @section Starting the syntax check process
 @cindex Syntax check process
 
-The command line (command name and the list of arguments) for launching a 
process is returned by the
-initialization function.  Flymake then just calls @code{start-process}
-to start an asynchronous process and configures a process filter and
-sentinel, which are used for processing the output of the syntax check
-tool.  When exiting Emacs, running Flymake processes will be killed
-without prompting the user.
+The command line (command name and the list of arguments) for
+launching a process is returned by the initialization function.  The
+Proc backend then just starts an asynchronous process and configures a
+process filter and sentinel, which are used for processing the output
+of the syntax check tool.  When exiting Emacs, running processes will
+be killed without prompting the user.
 
 @node Parsing the output
 @section Parsing the output
@@ -700,7 +663,7 @@ without prompting the user.
 
 The output generated by the syntax check tool is parsed in the process
 filter/sentinel using the error message patterns stored in the
address@hidden variable.  This variable contains a
address@hidden variable.  This variable contains a
 list of items of the form @code{(regexp file-idx line-idx
 err-text-idx)}, used to determine whether a particular line is an
 error message and extract file name, line number and error text,
@@ -709,66 +672,39 @@ error text with the '@code{^[wW]arning}' pattern.  
Anything that was not
 classified as a warning is considered an error.  Type is then used to
 sort error menu items, which shows error messages first.
 
-Flymake is also able to interpret error message patterns missing err-text-idx
-information.  This is done by merely taking the rest of the matched line
-(@code{(substring line (match-end 0))}) as error text.  This trick allows
-making use of a huge collection of error message line patterns from
address@hidden  All these error patterns are appended to
-the end of @code{flymake-err-line-patterns}.
+The Proc backend is also able to interpret error message patterns
+missing err-text-idx information.  This is done by merely taking the
+rest of the matched line (@code{(substring line (match-end 0))}) as
+error text.  This trick allows making use of a huge collection of
+error message line patterns from @code{compile.el}.  All these error
+patterns are appended to the end of
address@hidden
 
 The error information obtained is saved in a buffer local
 variable.  The buffer for which the process output belongs is
 determined from the address@hidden>@w{}buffer mapping updated
 after every process launch/exit.
 
address@hidden Highlighting erroneous lines
address@hidden Highlighting erroneous lines
address@hidden Erroneous lines, faces
-
-Highlighting is implemented with overlays and happens in the process
-sentinel, after calling the cleanup function.  Two customizable faces
-are used: @code{flymake-errline} and
address@hidden  Errors belonging outside the current
-buffer are considered to belong to line 1 of the current buffer.
-
address@hidden This manual does not use vindex.
address@hidden @vindex flymake-fringe-indicator-position
address@hidden @vindex flymake-error-bitmap
address@hidden @vindex flymake-warning-bitmap
-If the option @code{flymake-fringe-indicator-position} is address@hidden,
-errors and warnings are also highlighted in the left or right fringe,
-using the bitmaps specified by @code{flymake-error-bitmap}
-and @code{flymake-warning-bitmap}.
-
 @node Interaction with other modes
 @section Interaction with other modes
 @cindex Interaction with other modes
 @cindex Interaction with compile mode
 
-The only mode flymake currently knows about is @code{compile}.
+The only mode the Proc backend currently knows about is
address@hidden
 
-Flymake can be configured to not start syntax check if it thinks the
-compilation is in progress.  The check is made by the
address@hidden, which tests the
+The Proc backend can be configured to not start syntax check if it
+thinks the compilation is in progress, by testing the
 @code{compilation-in-progress} variable.  The reason why this might be
 useful is saving CPU time in case both syntax check and compilation
 are very CPU intensive.  The original reason for adding this feature,
 though, was working around a locking problem with MS Visual C++
-compiler.
+compiler.  The variable in question is
address@hidden
 
-Flymake also provides an alternative command for starting compilation,
address@hidden:
-
address@hidden
-(defun flymake-compile ()
-  "Kill all flymake syntax checks then start compilation."
-  (interactive)
-  (flymake-stop-all-syntax-checks)
-  (call-interactively 'compile))
address@hidden lisp
-
-It just kills all the active syntax check processes before calling
address@hidden
+The Proc backend also provides an alternative command for starting
+compilation, @code{flymake-proc-compile}. It just kills all the active
+syntax check processes before calling @code{compile}.
 
 @node GNU Free Documentation License
 @appendix GNU Free Documentation License