jitcraft/Parser.h
author David Anderson <dvander@alliedmods.net>
Wed Jul 04 19:54:53 2012 -0400 (2012-07-04)
changeset 48 2b6904506469
parent 28 a9665857cfd5
child 54 8e22792a3921
permissions -rw-r--r--
Fix a bug where we might not unwind the lifo stack in empty scopes.
dvander@0
     1
/*
dvander@0
     2
 * Copyright (C) 2012 David Anderson
dvander@0
     3
 *
dvander@0
     4
 * This file is part of JITCraft.
dvander@0
     5
 *
dvander@0
     6
 * JITCraft is free software: you can redistribute it and/or modify it under
dvander@0
     7
 * the terms of the GNU General Public License as published by the Free
dvander@0
     8
 * Software Foundation, either version 3 of the License, or (at your option)
dvander@0
     9
 * any later version.
dvander@0
    10
 * 
dvander@0
    11
 * Foobar is distributed in the hope that it will be useful, but WITHOUT ANY
dvander@0
    12
 * WARRANTY; without even the implied warranty of MERCHANTABILITY or FITNESS
dvander@0
    13
 * FOR A PARTICULAR PURPOSE. See the GNU General Public License for more details.
dvander@0
    14
 *
dvander@0
    15
 * You should have received a copy of the GNU General Public License along with
dvander@0
    16
 * JITCraft. If not, see http://www.gnu.org/licenses/.
dvander@0
    17
 */
dvander@0
    18
#ifndef _include_jitcraft_parser_h_
dvander@0
    19
#define _include_jitcraft_parser_h_
dvander@0
    20
dvander@0
    21
#include <stdio.h>
dvander@0
    22
#include <vector>
dvander@0
    23
#include "AST.h"
dvander@0
    24
#include "StringPool.h"
dvander@0
    25
#include "Scanner.h"
dvander@0
    26
#include "Scopes.h"
dvander@0
    27
dvander@0
    28
namespace jc {
dvander@0
    29
dvander@0
    30
class Parser
dvander@0
    31
{
dvander@25
    32
    CompileContext &cc_;
dvander@0
    33
    PoolAllocator &pool_;
dvander@0
    34
    StringPool strings_;
dvander@0
    35
    Scanner scanner_;
dvander@0
    36
    Scope *scope_;
dvander@0
    37
    std::vector<NameProxy *> *unbound_;
dvander@0
    38
dvander@0
    39
  private:
dvander@25
    40
    void redeclarationError(BoundName *name);
dvander@0
    41
    bool match(TokenKind kind);
dvander@0
    42
    bool expect(TokenKind kind);
dvander@0
    43
dvander@0
    44
    Scope *enterScope(Scope::Kind kind);
dvander@0
    45
dvander@0
    46
    VariableDeclaration *variableDeclaration();
dvander@4
    47
    bool matchName(Name **name, TokenKind kind = TOK_NAME);
dvander@4
    48
    Name *expectName();
dvander@0
    49
    NameProxy *bind(Name *name);
dvander@0
    50
    Expression *primitive();
dvander@0
    51
    Expression *call(Expression *callee);
dvander@0
    52
    Expression *index(Expression *left);
dvander@0
    53
    Expression *prefix();
dvander@0
    54
    Expression *primary();
dvander@0
    55
    Expression *unary();
dvander@0
    56
    Expression *multiplication();
dvander@8
    57
    Expression *addition();
dvander@2
    58
    Expression *shift();
dvander@28
    59
    Expression *bitand_();
dvander@8
    60
    Expression *bitxor();
dvander@28
    61
    Expression *bitor_();
dvander@0
    62
    Expression *relational();
dvander@0
    63
    Expression *equals();
dvander@22
    64
    Expression *assignment();
dvander@0
    65
    Expression *expression();
dvander@0
    66
dvander@2
    67
    Statement *enum_();
dvander@0
    68
    Statement *if_();
dvander@48
    69
    Statement *block(Scope *scope = NULL);
dvander@0
    70
    Statement *function();
dvander@0
    71
    Statement *expressionStatement();
dvander@9
    72
    Statement *while_();
dvander@9
    73
    Statement *do_();
dvander@0
    74
    Statement *forStatement();
dvander@0
    75
    Statement *localStatement();
dvander@0
    76
    Statement *globalStatement();
dvander@0
    77
    Statement *returnStatement();
dvander@0
    78
dvander@0
    79
  public:
dvander@25
    80
    Parser(CompileContext &cc, const char *stream, size_t length);
dvander@0
    81
dvander@0
    82
    ParseTree *parse();
dvander@0
    83
};
dvander@0
    84
dvander@0
    85
}
dvander@0
    86
dvander@0
    87
#endif // _include_jitcraft_parser_h_