390 lines
12 KiB
C
390 lines
12 KiB
C
|
/*** GRAMMAR.H -- Contains grammar of NMAKE ************************************
|
|||
|
|
*
|
|||
|
|
* Copyright (c) 1988-1989, Microsoft Corporation. All rights reserved.
|
|||
|
|
*
|
|||
|
|
* Purpose:
|
|||
|
|
* Module contains grammar of NMAKE and definitions used by lexer & parser
|
|||
|
|
*
|
|||
|
|
* Revision History:
|
|||
|
|
* 08-Oct-1989 SB Added QUOTE_ and NOQ and QUO to handle OS/2 1.2 quoted names
|
|||
|
|
* 31-Jul-1989 SB Added BKS, DEF and BEG to add lookahead to the lexer
|
|||
|
|
* 18-May-1989 SB Added BKSLH_ definition for use by lexer's nameStates[]
|
|||
|
|
*
|
|||
|
|
*******************************************************************************/
|
|||
|
|
|
|||
|
|
/*------------------------------------------------------------------------------
|
|||
|
|
*
|
|||
|
|
*
|
|||
|
|
* This file contains the grammar for nmake.
|
|||
|
|
*
|
|||
|
|
*
|
|||
|
|
*
|
|||
|
|
* e is the symbol epsilon
|
|||
|
|
*
|
|||
|
|
*
|
|||
|
|
* nonterminals begin w/ capitals
|
|||
|
|
*
|
|||
|
|
*
|
|||
|
|
* terminals begin w/ lower-case letters
|
|||
|
|
*
|
|||
|
|
*
|
|||
|
|
* terminals: name newline newlineWhitespace semicolon colon equals string e
|
|||
|
|
* doublecolon value
|
|||
|
|
*
|
|||
|
|
*
|
|||
|
|
* Makefile -> e |
|
|||
|
|
* BlankLines Makefile |
|
|||
|
|
* newline name Body Makefile
|
|||
|
|
*
|
|||
|
|
* Body -> NameList Separator BuildInfo |
|
|||
|
|
* equals value
|
|||
|
|
*
|
|||
|
|
* NameList -> e |
|
|||
|
|
* name NameList
|
|||
|
|
*
|
|||
|
|
* Commands -> e |
|
|||
|
|
* MoreBuildLines |
|
|||
|
|
* semicolon string MoreBuildLines
|
|||
|
|
*
|
|||
|
|
* MoreBuildLines -> e |
|
|||
|
|
* newlineWhitespace string MoreBuildLines |
|
|||
|
|
* newline MoreBuildLines
|
|||
|
|
*
|
|||
|
|
* BlankLines -> e |
|
|||
|
|
* newline BlankLines |
|
|||
|
|
* newlineWhitespace BlankLines
|
|||
|
|
*
|
|||
|
|
* BuildInfo -> e |
|
|||
|
|
* NameList Commands
|
|||
|
|
*
|
|||
|
|
* Separator -> colon | doublecolon
|
|||
|
|
*
|
|||
|
|
*
|
|||
|
|
*
|
|||
|
|
*
|
|||
|
|
*
|
|||
|
|
* note: a "string" is everything from the current input character up
|
|||
|
|
* to the first newline which is not preceded by a backslash, or
|
|||
|
|
* end of file (whichever comes first). a macro "value" is the
|
|||
|
|
* same as a "string" with the exception that comments are stripped
|
|||
|
|
* from it (a comment ending in a backslash does not cause the
|
|||
|
|
* value to be continued on the next line).
|
|||
|
|
*
|
|||
|
|
*/
|
|||
|
|
/*------------------------------------------------------------------------------
|
|||
|
|
*
|
|||
|
|
* Compute FIRST() and FOLLOW() for each nonterminal in order to construct
|
|||
|
|
* parse table (it'd be nice to have a simple utility to build the
|
|||
|
|
* table, but it's still a pretty easy thing to do by hand).
|
|||
|
|
*
|
|||
|
|
*
|
|||
|
|
* FIRST(Makefile) = e newline FIRST(BlankLines)
|
|||
|
|
* = e newline newlineWhitespace
|
|||
|
|
*
|
|||
|
|
* FIRST(Body) = equals FIRST(NameList) FIRST(Separator)
|
|||
|
|
* = equals name colon doublecolon
|
|||
|
|
*
|
|||
|
|
* FIRST(NameList) = e name
|
|||
|
|
*
|
|||
|
|
* FIRST(Commands) = e semicolon FIRST(BuildLine)
|
|||
|
|
* = e semicolon newlineWhitespace
|
|||
|
|
*
|
|||
|
|
* FIRST(MoreBuildLines) = e FIRST(BuildLine) FIRST(BlankLines)
|
|||
|
|
* = e newlineWhitespace newline
|
|||
|
|
*
|
|||
|
|
* FIRST(BlankLines) = e newline newlineWhitespace
|
|||
|
|
*
|
|||
|
|
* FIRST(BuildInfo) = FIRST(NameList) FIRST(Commands)
|
|||
|
|
* = e name semicolon newlineWhitespace
|
|||
|
|
*
|
|||
|
|
* FIRST(Separator) = colon doublecolon
|
|||
|
|
*
|
|||
|
|
*
|
|||
|
|
* ---------------------------------------------------------------
|
|||
|
|
*
|
|||
|
|
*
|
|||
|
|
* FOLLOW(Makefile) = $
|
|||
|
|
*
|
|||
|
|
* FOLLOW(Body) = FIRST(Makefile) FOLLOW(Makefile)
|
|||
|
|
* = newline newlineWhitespace $
|
|||
|
|
*
|
|||
|
|
* FOLLOW(NameList) = FIRST(Commands) FIRST(MoreBuildLines)
|
|||
|
|
* colon FOLLOW(Body)
|
|||
|
|
* = colon semicolon newlineWhitespace
|
|||
|
|
* newline $
|
|||
|
|
*
|
|||
|
|
* FOLLOW(Commands) = FOLLOW(Body)
|
|||
|
|
* = newline newlineWhitespace $
|
|||
|
|
*
|
|||
|
|
* FOLLOW(MoreBuildLines) = FOLLOW(Commands)
|
|||
|
|
* = newline newlineWhitespace $
|
|||
|
|
*
|
|||
|
|
* FOLLOW(BlankLines) = FIRST(Body) FOLLOW(Makefile)
|
|||
|
|
* = newlineWhitespace newline $
|
|||
|
|
*
|
|||
|
|
* FOLLOW(BuildInfo) = FOLLOW(Body)
|
|||
|
|
* = newline newlineWhitespace $
|
|||
|
|
*
|
|||
|
|
* FOLLOW(Separator) = FIRST(BuildInfo) FOLLOW(Body)
|
|||
|
|
* = name semicolon newlineWhitespace
|
|||
|
|
* newline $
|
|||
|
|
*
|
|||
|
|
*/
|
|||
|
|
|
|||
|
|
/*------------------------------------------------------------------------------
|
|||
|
|
*
|
|||
|
|
* for building the table, I number the productions:
|
|||
|
|
*
|
|||
|
|
*
|
|||
|
|
*
|
|||
|
|
* 0. Makefile -> e
|
|||
|
|
*
|
|||
|
|
* 1. Makefile -> BlankLines Makefile
|
|||
|
|
*
|
|||
|
|
* 2. MakeFile -> newline name Body Makefile
|
|||
|
|
*
|
|||
|
|
* 3. Body -> NameList Separator BuildInfo
|
|||
|
|
*
|
|||
|
|
* 4. Body -> equals value
|
|||
|
|
*
|
|||
|
|
* 5. NameList -> e
|
|||
|
|
*
|
|||
|
|
* 6. NameList -> name NameList
|
|||
|
|
*
|
|||
|
|
* 7. Commands -> e
|
|||
|
|
*
|
|||
|
|
* 8. Commands -> MoreBuildLines
|
|||
|
|
*
|
|||
|
|
* 9. Commands -> semicolon string MoreBuildLines
|
|||
|
|
*
|
|||
|
|
* 10. MoreBuildLines -> newlineWhiteSpace string MoreBuildLines
|
|||
|
|
*
|
|||
|
|
* 11. MoreBuildLines -> e
|
|||
|
|
*
|
|||
|
|
* 12. MoreBuildLines -> newline MoreBuildLines
|
|||
|
|
*
|
|||
|
|
* 13. BlankLines -> e
|
|||
|
|
*
|
|||
|
|
* 14. BlankLines -> newline BlankLines
|
|||
|
|
*
|
|||
|
|
* 15. BlankLines -> newlineWhitespace BlankLines
|
|||
|
|
*
|
|||
|
|
* 16. BuildInfo -> e
|
|||
|
|
*
|
|||
|
|
* 17. BuildInfo -> NameList Commands
|
|||
|
|
*
|
|||
|
|
* 18. Separator -> colon
|
|||
|
|
*
|
|||
|
|
* 19. Separator -> doublecolon
|
|||
|
|
*
|
|||
|
|
*
|
|||
|
|
*
|
|||
|
|
*
|
|||
|
|
*
|
|||
|
|
*
|
|||
|
|
*
|
|||
|
|
*
|
|||
|
|
*
|
|||
|
|
*
|
|||
|
|
*
|
|||
|
|
*
|
|||
|
|
*
|
|||
|
|
*/
|
|||
|
|
|
|||
|
|
/*------------------------------------------------------------------------------
|
|||
|
|
*
|
|||
|
|
* NOTE THAT THIS GRAMMAR IS NOT LL(1) (it's really LL(2) because we need
|
|||
|
|
* an extra symbol of lookahead to decide which production to use in
|
|||
|
|
* a few cases)
|
|||
|
|
*
|
|||
|
|
*
|
|||
|
|
* the resulting parse table (empty entries are error conditions):
|
|||
|
|
*
|
|||
|
|
*
|
|||
|
|
* newline-
|
|||
|
|
* White- semi- double-
|
|||
|
|
* |name |newline| space | colon | colon | colon |equals |$ |
|
|||
|
|
* -----------------------------------------------------------------
|
|||
|
|
* A | | | | | | | | |
|
|||
|
|
* Makefile | | 1,2 | 1 | | | | | 0 |
|
|||
|
|
* | | | | | | | | |
|
|||
|
|
* -----------------------------------------------------------------
|
|||
|
|
* B | | | | | | | | |
|
|||
|
|
* Blank- | | 13,14 | 13[15]| | | | | 13 |
|
|||
|
|
* Lines | | | -- | | | | | |
|
|||
|
|
* -----------------------------------------------------------------
|
|||
|
|
* C | | | | | | | | |
|
|||
|
|
* More- | | 11,12 | 10 | | | | | 11 |
|
|||
|
|
* Build- | | | | | | | | |
|
|||
|
|
* Lines -----------------------------------------------------------------
|
|||
|
|
* D | | | | | | | | |
|
|||
|
|
* Commands | | 7 | [7]8 | 9 | | | | 7 |
|
|||
|
|
* | | | - | | | | | |
|
|||
|
|
* -----------------------------------------------------------------
|
|||
|
|
* E | | | | | | | | |
|
|||
|
|
* Body | 3 | | | | 3 | | 4 | |
|
|||
|
|
* | | | | | | | | |
|
|||
|
|
* -----------------------------------------------------------------
|
|||
|
|
* F | | | | | | | | |
|
|||
|
|
* NameList | 6 | 5 | 5 | 5 | 5 | 5 | | 5 |
|
|||
|
|
* | | | | | | | | |
|
|||
|
|
* -----------------------------------------------------------------
|
|||
|
|
* G | | | | | | | | |
|
|||
|
|
* Build- | 17 | 16 |[16]17 | 17 | | | | 16 |
|
|||
|
|
* Info | | | -- | | | | | |
|
|||
|
|
* -----------------------------------------------------------------
|
|||
|
|
* H | | | | | | | | |
|
|||
|
|
* Separ- | | | | | 18 | 19 | | |
|
|||
|
|
* ator | | | | | | | | |
|
|||
|
|
* -----------------------------------------------------------------
|
|||
|
|
*
|
|||
|
|
* G2 -- always uses 17 -- anytime the user puts a line beginning w/
|
|||
|
|
* whitespace immediately after a target-dependency line, it's
|
|||
|
|
* a build line. Same for D2.
|
|||
|
|
*
|
|||
|
|
*
|
|||
|
|
*
|
|||
|
|
*
|
|||
|
|
*
|
|||
|
|
*
|
|||
|
|
*
|
|||
|
|
*
|
|||
|
|
*/
|
|||
|
|
|
|||
|
|
/*
|
|||
|
|
* IMPORTANT: IF YOU CHANGE THE VALUES OF ANY OF THE FOLLOWING
|
|||
|
|
* CONSTANTS FOR TERMINAL OR NONTERMINAL SYMBOLS, YOU MUST ADJUST
|
|||
|
|
* THE APPROPRIATE TABLES (AND STRING LITERALS) ACCORDINGLY.
|
|||
|
|
*
|
|||
|
|
* Nonterminal symbols first (these are used to index the parse table
|
|||
|
|
* along the first dimension):
|
|||
|
|
*
|
|||
|
|
* define nonterminals . . .
|
|||
|
|
*
|
|||
|
|
*/
|
|||
|
|
|
|||
|
|
#define MAKEFILE 0x00 /* productions w/ 2 */
|
|||
|
|
#define BLANKLINES 0x01 /* alternatives in a */
|
|||
|
|
#define MOREBUILDLINES 0x02 /* table entry must */
|
|||
|
|
#define COMMANDS 0x03 /* come first (so */
|
|||
|
|
#define BODY 0x04 /* that I can use */
|
|||
|
|
#define NAMELIST 0x05 /* them as array */
|
|||
|
|
#define BUILDINFO 0x06 /* subscripts when */
|
|||
|
|
#define SEPARATOR 0x07 /* resolving the */
|
|||
|
|
/* conflict) */
|
|||
|
|
|
|||
|
|
#define START MAKEFILE
|
|||
|
|
#define LAST_PRODUCTION SEPARATOR
|
|||
|
|
|
|||
|
|
/*
|
|||
|
|
* Now the terminal symbols (the 4 low bits of which are used to index
|
|||
|
|
* the parse table alone 2nd dimension -- bit 5 simply distinguishes
|
|||
|
|
* tokens from nonterminals in productions):
|
|||
|
|
*/
|
|||
|
|
|
|||
|
|
#define NAME 0x10 /* TOKEN_MASK | 0 */
|
|||
|
|
#define NEWLINE 0x11 /* TOKEN_MASK | 1 */
|
|||
|
|
#define NEWLINESPACE 0x12 /* TOKEN_MASK | 2 */
|
|||
|
|
#define SEMICOLON 0x13 /* TOKEN_MASK | 3 */
|
|||
|
|
#define COLON 0x14 /* TOKEN_MASK | 4 */
|
|||
|
|
#define DOUBLECOLON 0x15 /* etc. */
|
|||
|
|
#define EQUALS 0x16
|
|||
|
|
#define ACCEPT 0x17 /* this is $ */
|
|||
|
|
#define STRING 0x18 /* no columns in table*/
|
|||
|
|
#define VALUE 0x19 /* for these two */
|
|||
|
|
|
|||
|
|
/*
|
|||
|
|
* Error values -- these are equal to the error exit code minus 1000
|
|||
|
|
* if you change them, you must change the corresponding values in
|
|||
|
|
* nmmsg.txt
|
|||
|
|
*/
|
|||
|
|
|
|||
|
|
#define MACRO 0x20 /* ERROR_MASK | 0 */
|
|||
|
|
#define SYNTAX 0x21 /* ERROR_MASK | 1 */
|
|||
|
|
#define SEPRTR 0x22 /* ERROR_MASK | 2 */
|
|||
|
|
#define SEPEQU 0x23 /* ERROR_MASK | 3 */
|
|||
|
|
#define NAMES 0x24 /* ERROR_MASK | 4 */
|
|||
|
|
#define NOTARG 0x25 /* ERROR_MASK | 5 */
|
|||
|
|
#define LEXER 0x26 /* ERROR_MASK | 6 */
|
|||
|
|
#define PARSER 0x27 /* ERROR_MASK | 7 */
|
|||
|
|
|
|||
|
|
/*
|
|||
|
|
* Parser actions -- these are indexes into the "action" function table,
|
|||
|
|
* telling the parser which function to call at a certain point in
|
|||
|
|
* a production
|
|||
|
|
*/
|
|||
|
|
|
|||
|
|
#define DONAME 0x40 /* ACTION_MASK | 0 */
|
|||
|
|
#define DONAMELIST 0x41
|
|||
|
|
#define DOMACRO 0x42
|
|||
|
|
#define DODEPENDS 0x43
|
|||
|
|
#define DOLASTNAME 0x44
|
|||
|
|
#define DOBUILDCMDS 0x45
|
|||
|
|
|
|||
|
|
/*
|
|||
|
|
* a few macros to simplify dealing w/ tokens:
|
|||
|
|
*/
|
|||
|
|
|
|||
|
|
#define TOKEN_MASK 0x10
|
|||
|
|
#define ERROR_MASK 0x20
|
|||
|
|
#define ACTION_MASK 0x40
|
|||
|
|
#define AMBIG_MASK 0x80 /* conflict in table */
|
|||
|
|
#define LOW_NIBBLE 0x0F
|
|||
|
|
|
|||
|
|
/*
|
|||
|
|
* values for alternate productions table
|
|||
|
|
* (a YES in the slot for a given input token and a given nonterminal
|
|||
|
|
* on top of the stack means use the next production (+1) from the
|
|||
|
|
* one given in the production table)
|
|||
|
|
*/
|
|||
|
|
|
|||
|
|
#define YES 1
|
|||
|
|
#define NO 0
|
|||
|
|
|
|||
|
|
|
|||
|
|
/*
|
|||
|
|
* values for lexer's state machine that recognizes names
|
|||
|
|
* append an underscore to distinguish these from parser's tokens
|
|||
|
|
*/
|
|||
|
|
|
|||
|
|
#define DEFAULT_ 0x00 /* char not defined */
|
|||
|
|
#define COMMENT_ 0x01 /* below */
|
|||
|
|
#define EQUALS_ 0x02
|
|||
|
|
#define SEMICOLON_ 0x03
|
|||
|
|
#define COLON_ 0x04
|
|||
|
|
#define WHITESPACE_ 0x05 /* \t and ' ' */
|
|||
|
|
#define NEWLINE_ 0x06 /* \n and EOF */
|
|||
|
|
#define DOLLAR_ 0x07
|
|||
|
|
#define OPENPAREN_ 0x08
|
|||
|
|
#define CLOSEPAREN_ 0x09
|
|||
|
|
#define MACROCHAR_ 0x0A /* A-Z,a-z,0-9,_ */
|
|||
|
|
#define OPENCURLY_ 0x0B
|
|||
|
|
#define CLOSECURLY_ 0x0C
|
|||
|
|
#define BKSLSH_ 0x0D
|
|||
|
|
#define QUOTE_ 0x0E
|
|||
|
|
|
|||
|
|
#define STAR_ 0x0B /* only for strings: */
|
|||
|
|
#define SPECIAL1_ 0x0C /* @ * < ? */
|
|||
|
|
#define SPECIAL2_ 0x0D /* B F D R */
|
|||
|
|
#define BACKSLASH_ 0x03 /* don't need semi if */
|
|||
|
|
/* we have backslash */
|
|||
|
|
/* (names need ; but */
|
|||
|
|
/* strings need \) */
|
|||
|
|
/*
|
|||
|
|
* values for state tables -- for error values, mask off the error bit (0x20)
|
|||
|
|
* to get the message number.
|
|||
|
|
*/
|
|||
|
|
|
|||
|
|
#define OK 0x40 /* means accept token */
|
|||
|
|
#define BEG 0x00 /* means beginning */
|
|||
|
|
#define DEF 0x01 /* means normal name */
|
|||
|
|
#define BKS 0x0f /* processing bkslash */
|
|||
|
|
#define PAR 0x20 /* close paren missing*/
|
|||
|
|
#define CHR 0x21 /* bad char in macro */
|
|||
|
|
#define BAD 0x22 /* single $ w/o macro */
|
|||
|
|
#define EQU 0x23 /* substitution w/o = */
|
|||
|
|
#define NAM 0x24 /* illegal macro name */
|
|||
|
|
#define SEQ 0x25 /* subst w/o strings */
|
|||
|
|
#define NOQ 0x26 /* no matching quote */
|
|||
|
|
#define QUO 0x27 /* illegal " in name */
|