[语法分析]完结篇

附件中包含了到目前为止的所有文件，除了COOL目录之外。

    语法分析的功能基本上成熟了，调试也完成了，现在剩下将这些东西整合起来成为一个没有调试输出（特别是内存分配调试）的整体了。首先要做的事情是，把COOL中的Queue/Stack这些东西包含进来，就放在datastruct.h中。

#ifndef _DATA_STRUCTURE_H
#define _DATA_STRUCTURE_H

#include"const.h"
#include"COOL/Stack/Stack.h"
#include"COOL/Queue/Queue.h"
#include"COOL/MemoryAllocationDebugger.h"

// blablabla

#endif /* _DATA_STRUCTURE_H */

这样就不用在其它每个文件中都重复地引用这些头文件了。接着，我们可以抽取原来词法分析主文件中的一些函数出来，让语法分析也可以使用，如这些函数。

/* jerry-ui.h */

#ifndef _JERRY_UI_H
#define _JERRY_UI_H

#include<stdio.h>

#include"datastruct.h"

// 原来的 handleFile 用于处理传入编译器的命令行参数
void handleParam(int argc, char* argv[], FILE** out);
int nextChar(void);
unsigned int getLineNumber(void); // 获取行号
void lexicalError(struct Token* token); // 以前词法分析中的error函数，参数列表有改动
void syntaxError(ErrMsg e, struct Token* t);
int isFailed(void); // 是否出错

#ifdef _DEBUG_MODE
#include"jerry-ui.c"
#endif /* _DEBUG_MODE */

#endif /* _JERRY_UI_H */

需要注意的是，以前行号lineNumber和failed是直接可以引用的int值，这样并不规范，所以现在弄成了一个接口函数，在其它文件中只能通过getLineNumber和isFailed进行只读操作，它们现在放在jerry-ui.c中维护了

#include<stdio.h>
#include<stdlib.h>
#include<string.h>

#include"jerry-ui.h"

#define HELP_INFO                     \
    "Jerry Compiler.\n"               \
    "Option:\n"                       \
    "    -o <file>: output into <file>"

static unsigned int lineNumber = 1;
static int currentChar;
static int failed = 0;
static FILE* in;

int isFailed(void)
{
    return failed;
}

unsigned int getLineNumber(void)
{
    return lineNumber;
}

void lexicalError(struct Token* token)
{
    fprintf(stderr, "Lexical error @ line %u: `%s'\n"
                    "    %s\n",
            token->line, token->image, token->err);
    failed = 1;
}

void syntaxError(ErrMsg e, struct Token* t)
{
    failed = 1;
    if (END == t->type) {
        fprintf(stderr, "Syntax error at the end of the file.\n"
                        "    %s\n",
                e);
    } else {
        fprintf(stderr, "Syntax error @ line: %u token: `%s'\n"
                        "    %s\n",
                t->line,  t->image, e);
    }
}

int nextChar(void)
{
    currentChar = fgetc(in);
    lineNumber += ('\n' == currentChar);
    if (EOF == currentChar) {
        fclose(in);
    }
    return currentChar;
}

void handleParam(int argc, char* argv[], FILE** out)
{
    if (0 == argc) {
        puts(HELP_INFO);
        exit(0);
    }

    in = fopen(argv[0], "r");
    if (NULL == in) {
        fprintf(stderr, "Usage: %s access error.\n", argv[0]);
        exit(0);
    }
    *out = stdout;

    int i = 1;
    while (i < argc) {
        if (0 == strcmp("-o", argv[i])) { // 检查option. 现在只提供了-o这一个功能，所以只要这样就可以了
            ++i;
            if (i < argc) {
                *out = fopen(argv[i], "w");
                if (NULL == *out) {
                    fprintf(stderr, "Usage: %s access error.\n", argv[i]);
                    exit(0);
                }
                ++i;
                continue;
            } else {
                fprintf(stderr, "No output file specified.\n");
                exit(0);
            }
        }
        fprintf(stderr, "Unknown parameter: %s\n", argv[i]);
        exit(0);
    }
}

因为lineNumber现在换成unsigned int了，所以对应地，AbstractSyntaxNode和Token中的域也要改成unsigned int类型。

    当然，firstToken, nextToken, eofToken这些函数并没有抽取，因为词法和语法分析中这些函数是有显著不同的。如果想编译生成语法分析器或仅编译生成词法分析器，那么可以将这两者分开，并用一个makefile来分开编译

CC=gcc -Wall
# change it if COOL is somewhere else.
COOL=COOL/

UI_SET=jerry-ui.o
LEXICAL_SET=dfa.o
SYNTAX_SET=syntax-node.o lr-analyser.o operation-analyser.o variable-analyser.o Stack.o Queue.o

syntax:Syntax.out
lexical:Lexical.out

jerry-ui.o:jerry-ui.c
	$(CC) -c $<

Lexical.out:jerry-lexical.o $(UI_SET) $(LEXICAL_SET)
	$(CC) -o $@ $^
jerry-lexical.o:jerry-lexical.c
	$(CC) -c $<
dfa.o:dfa.c
	$(CC) -c $<

Syntax.out:jerry-syntax.o $(UI_SET) $(LEXICAL_SET) $(SYNTAX_SET)
	$(CC) -o $@ $^
jerry-syntax.o:jerry-syntax.c
	$(CC) -c $<
syntax-node.o:syntax-node.c
	$(CC) -c $<
lr-analyser.o:lr-analyser.c
	$(CC) -c $<
operation-analyser.o:operation-analyser.c
	$(CC) -c $<
variable-analyser.o:variable-analyser.c
	$(CC) -c $<

Stack.o:$(COOL)Stack/Stack.c
	$(CC) -c $< -o $@
Queue.o:$(COOL)Queue/Queue.c
	$(CC) -c $< -o $@

clean:
	rm *.o

默认的make将产生语法分析器，如果使用make lexical命令，则会产生词法分析器。

    语法分析就到此为止了，以后将进入语义分析部分