roland/xo-alloc
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions

xo-reader: refactor: mv admits_colon -> define_xs

Browse source
This commit is contained in:
Roland Conybeare 2024-08-08 11:40:51 -04:00
commit ca33241ce2
2 changed files with 38 additions and 0 deletions
Download patch file Download diff file Expand all files Collapse all files

2
include/xo/reader/define_xs.hpp
View file

@ -22,6 +22,8 @@ namespace xo {
virtual bool admits_definition() const override; virtual bool admits_definition() const override;
virtual bool admits_symbol() const override; virtual bool admits_symbol() const override;
virtual bool admits_colon() const override;
// virtual void on_f64(..) override // virtual void on_f64(..) override
virtual void on_expr(ref::brw<Expression> expr, virtual void on_expr(ref::brw<Expression> expr,
exprstatestack * p_stack, exprstatestack * p_stack,

36
src/reader/define_xs.cpp
View file

@ -79,6 +79,42 @@ namespace xo {
return false; return false;
} }
bool
define_xs::admits_colon() const {
switch (exs_type_) {
case exprstatetype::expect_toplevel_expression_sequence:
/* unreachable */
assert(false);
return false;
case exprstatetype::def_0:
return false;
case exprstatetype::def_1:
return true;
case exprstatetype::def_2:
case exprstatetype::def_3:
case exprstatetype::def_4:
case exprstatetype::def_5:
return false;
case exprstatetype::lparen_0:
case exprstatetype::lparen_1:
case exprstatetype::expect_rhs_expression:
case exprstatetype::expect_symbol:
case exprstatetype::expect_type:
case exprstatetype::expr_progress:
case exprstatetype::invalid:
case exprstatetype::n_exprstatetype:
/* unreachable */
assert(false);
return false;
}
return false;
}
void void
define_xs::on_expr(ref::brw<Expression> expr, define_xs::on_expr(ref::brw<Expression> expr,
exprstatestack * /* p_stack */, exprstatestack * /* p_stack */,