state.h

Go to the documentation of this file.

#ifndef META_PARSER_STATE_H_
#define META_PARSER_STATE_H_

#include <memory>
#include <vector>

#include "parser/transition.h"
#include "parser/trees/node.h"
#include "parser/trees/parse_tree.h"
#include "sequence/sequence.h"
#include "util/persistent_stack.h"

namespace meta
{
namespace parser
{

class state
{
  public:
    using stack_type = util::persistent_stack<std::unique_ptr<node>>;

    using queue_type = std::vector<std::unique_ptr<leaf_node>>;

    state(const parse_tree& tree);

    state(const sequence::sequence& sentence);

    state advance(const transition& trans) const;

    bool legal(const transition& trans) const;

    transition emergency_transition() const;

    const node* stack_item(size_t depth) const;

    const leaf_node* queue_item(ssize_t depth) const;

    size_t stack_size() const;

    size_t queue_size() const;

    bool finalized() const;

  private:
    state(stack_type stack, std::shared_ptr<queue_type> queue, size_t q_idx,
          bool done);

    stack_type stack_;

    std::shared_ptr<queue_type> queue_;

    size_t q_idx_;

    bool done_;
};
}
}
#endif