1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
|
#ifndef _INCLUDED_NEXT_
#define _INCLUDED_NEXT_
#include <iostream>
#include <iosfwd>
#include <vector>
#include "../enumsolution/enumsolution.h"
#include "../statetype/statetype.h"
#include "../symbol/symbol.h"
#include "../item/item.h"
#include "../stateitem/stateitem.h"
// The state to transit to on a given terminal symbol. Refer to
// README.states-and-conflicts for a more detailed description of the class
// Next.
class Next
{
public:
using Solution = Enum::Solution;
using Vector = std::vector<Next>;
using Iterator = Vector::iterator;
using ConstIter = Vector::const_iterator;
private:
friend std::ostream &operator<<(std::ostream &out, Next const &next);
Symbol const *d_symbol; // on this symbol we transit to state
// d_next.
Symbol const *d_removed; // if d_symbol == 0 and d_removed
// isn't then this transition has been
// removed, and d_removed holds the
// original d_symbol value
bool d_forced; // forced removal of shift transition
// due to undefined precedence of a
// production rule
size_t d_next; // the index of the state to transit
// to on d_symbol.
std::vector<size_t> d_kernel; // d_kernel[idx] contains the index of
// an item in the `parent' state
// (i.e., the state transiting to
// state d_next on d_symbol) to
// d_next's (kernel) item idx. So, the
// number of kernel items in state
// d_next is equal to d_kernel.size().
StateType d_stateType; // the type of the state
static std::ostream &(Next::*s_insertPtr)(std::ostream &out) const;
public:
Next();
Next(Symbol const *symbol, size_t stateItemOffset);
Solution solveByAssociation() const;
Solution solveByPrecedence(Symbol const *productionSymbol) const;
Symbol const *symbol() const;
size_t next() const;
std::vector<size_t> const &kernel() const;
void buildKernel(Item::Vector *kernel,
StateItem::Vector const &stateItem);
void setNext(size_t next);
std::ostream &transition(std::ostream &out) const;
std::ostream &transitionKernel(std::ostream &out) const;
void checkRemoved(std::ostream &out) const;
Symbol const *pSymbol() const;
static size_t addToKernel(Vector &next, Symbol const *symbol,
size_t stateItemOffset);
bool hasSymbol(Symbol const *symbol) const;
bool inLAset(LookaheadSet const &laSet) const;
static void removeShift(RmShift const &rmShift, Vector &nextVector,
size_t *nRemoved);
static void inserter(std::ostream &(Next::*insertPtr)
(std::ostream &out) const);
};
#include "next.f"
#endif
|
