glr2.cc: formatting changes

* data/skeletons/glr2.cc: here.
This commit is contained in:
Akim Demaille
2021-01-15 19:27:01 +01:00
parent 0a4a7178c8
commit 0923da74e8

View File

@@ -1718,31 +1718,38 @@ public:
return yyitems[index]; return yyitems[index];
} }
size_t numTops() const { size_t numTops () const
{
return yytops.size (); return yytops.size ();
} }
glr_state* firstTop() const { glr_state* firstTop () const
{
return yytops[create_state_set_index (0)]; return yytops[create_state_set_index (0)];
} }
glr_state* topAt(state_set_index i) const { glr_state* topAt (state_set_index i) const
{
return yytops[i]; return yytops[i];
} }
void setFirstTop(glr_state* value) { void setFirstTop (glr_state* value)
{
yytops[create_state_set_index (0)] = value; yytops[create_state_set_index (0)] = value;
} }
void setTopAt(state_set_index i, glr_state* value) { void setTopAt (state_set_index i, glr_state* value)
{
yytops[i] = value; yytops[i] = value;
} }
void pop_back() { void pop_back ()
{
yyitems.pop_back (); yyitems.pop_back ();
} }
void pop_back(size_t n) { void pop_back (size_t n)
{
yyitems.resize (yyitems.size () - n); yyitems.resize (yyitems.size () - n);
} }