view etc/ETAGS.EBNF @ 45228:66644e336dd7

(menu-bar-showhide-scroll-bar-menu) (menu-bar-showhide-menu): Use display-graphic-p, not widnow-system. (menu-bar-showhide-menu) <showhide-menu-bar, showhide-tool-bar>: Run a named function. (showhide-menu-bar, showhide-toolbar): Invoke customize-mark-as-set. (menu-bar-showhide-menu) <column-number-mode, line-number-mode>: Fix help text.
author Eli Zaretskii <eliz@gnu.org>
date Fri, 10 May 2002 09:42:49 +0000
parents 8d0430162d52
children 147a637372eb
line wrap: on
line source

EBNF (Extended Backus Normal Form) description of the format of the tags
file created by etags.c and interpreted by etags.el
Francesco Potorti` <pot@gnu.org> 2002
================================================================

FF ::= #x0c				   /* form feed */

LF ::= #x0a				   /* line feed */

DEL ::= #x7f				   /* pattern terminator */

SOH ::= #x01				   /* name terminator */

regchar ::= [^#x0a#x0c#x7f]		   /* regular character */

regstring ::= { regchar }		   /* regular string */

unsint ::= [0-9] { [0-9] }		   /* non-negative integer */



tagfile ::= { tagsection }		   /* a tags file */

tagsection ::= FF LF ( includesec | regularsec ) LF

includesec ::= filename ",include" [ LF fileprop ]

regularsec ::= filename "," [ unsint ] [ LF fileprop ] { LF tag }

filename ::= regchar regstring		   /* a file name */

fileprop ::= DEL "(" regstring ")"

tag ::= directtag | patterntag

directtag ::= DEL realposition

patterntag ::= pattern DEL [ tagname SOH ] position

pattern ::= regstring			   /* a tag pattern */

tagname ::= regchar regstring		   /* a tag name */

position ::= realposition | ","

realposition ::= "," unsint | unsint "," | unsint "," unsint