diff options
Diffstat (limited to 'etc/ETAGS.EBNF')
| -rw-r--r-- | etc/ETAGS.EBNF | 12 |
1 files changed, 6 insertions, 6 deletions
diff --git a/etc/ETAGS.EBNF b/etc/ETAGS.EBNF index c9d053c1760..a2b835af748 100644 --- a/etc/ETAGS.EBNF +++ b/etc/ETAGS.EBNF @@ -7,11 +7,11 @@ FF ::= #x0c /* form feed */ LF ::= #x0a /* line feed */ -PATTERM ::= #x80 /* pattern terminator */ +DEL ::= #x7f /* pattern terminator */ -NAMTERM ::= #x01 /* name terminator */ +SOH ::= #x01 /* name terminator */ -regchar ::= [^#x0a#x0c#x80] /* regular character */ +regchar ::= [^#x0a#x0c#x7f] /* regular character */ regstring ::= { regchar } /* regular string */ @@ -29,13 +29,13 @@ regularsec ::= filename "," [ unsint ] [ LF fileprop ] { LF tag } filename ::= regchar regstring /* a file name */ -fileprop ::= PATTERM "(" regstring ")" +fileprop ::= DEL "(" regstring ")" tag ::= directtag | patterntag -directtag ::= PATTERM realposition +directtag ::= DEL realposition -patterntag ::= pattern PATTERM [ tagname NAMTERM ] position +patterntag ::= pattern DEL [ tagname SOH ] position pattern ::= regstring /* a tag pattern */ |