/*
 * Copyright (C) 2012 David Anderson
 *
 * This file is part of JITCraft.
 *
 * JITCraft is free software: you can redistribute it and/or modify it under
 * the terms of the GNU General Public License as published by the Free
 * Software Foundation, either version 3 of the License, or (at your option)
 * any later version.
 * 
 * Foobar is distributed in the hope that it will be useful, but WITHOUT ANY
 * WARRANTY; without even the implied warranty of MERCHANTABILITY or FITNESS
 * FOR A PARTICULAR PURPOSE. See the GNU General Public License for more details.
 *
 * You should have received a copy of the GNU General Public License along with
 * JITCraft. If not, see http://www.gnu.org/licenses/.
 */
#ifndef _include_jitcraft_parser_h_
#define _include_jitcraft_parser_h_

#include <stdio.h>
#include "AST.h"
#include "Scanner.h"
#include "Scopes.h"
#include "Strings.h"

namespace ke {

class Parser
{
    Zone *zone_;
    CompileContext &cc_;
    PoolAllocator &pool_;
    Scanner scanner_;
    Scope *scope_;
    PoolList<NameProxy *> *unbound_;
    bool encounteredReturn_;

  private:
    void redeclarationError(BoundName *name);
    bool match(TokenKind kind);
    bool expect(TokenKind kind);
    bool matchSemicolon();

    Scope *enterScope(Scope::Kind kind);

    VariableDeclaration *variableDeclaration();
    bool matchName(String **name, TokenKind kind = TOK_NAME);
    String *expectName();
    NameProxy *bind(Handle<String> name);
    Expression *primitive();
    Expression *call(Expression *callee);
    Expression *index(Expression *left);
    Expression *prefix();
    Expression *primary();
    Expression *unary();
    Expression *multiplication();
    Expression *addition();
    Expression *shift();
    Expression *bitand_();
    Expression *bitxor();
    Expression *bitor_();
    Expression *relational();
    Expression *equals();
    Expression *and_();
    Expression *or_();
    Expression *ternary();
    Expression *assignment();
    Expression *expression();

    Statement *enum_();
    Statement *if_();
    Statement *block(Scope *scope = NULL);
    Statement *function(TokenKind tok);
    Statement *expressionStatement();
    Statement *while_();
    Statement *do_();
    Statement *forStatement();
    Statement *localStatement();
    Statement *globalStatement();
    Statement *returnStatement();

  public:
    Parser(Zone *zone, CompileContext &cc, const char *stream, size_t length);

    ParseTree *parse();
};

}

#endif // _include_jitcraft_parser_h_