71 lines
2.7 KiB
C++
71 lines
2.7 KiB
C++
/** @file define_xs.hpp
|
|
*
|
|
* Author: Roland Conybeare
|
|
**/
|
|
|
|
#pragma once
|
|
|
|
#include "exprstate.hpp"
|
|
//#include <cstdint>
|
|
|
|
namespace xo {
|
|
namespace scm {
|
|
/** @class define_xs
|
|
* @brief state to provide parsing of a define-expression
|
|
**/
|
|
class define_xs : public exprstate {
|
|
public:
|
|
define_xs(rp<DefineExprAccess> def_expr);
|
|
virtual ~define_xs() = default;
|
|
|
|
static std::unique_ptr<define_xs> def_0(rp<DefineExprAccess> def_expr);
|
|
|
|
virtual bool admits_definition() const override;
|
|
virtual bool admits_symbol() const override;
|
|
virtual bool admits_colon() const override;
|
|
virtual bool admits_semicolon() const override;
|
|
virtual bool admits_singleassign() const override;
|
|
virtual bool admits_leftparen() const override;
|
|
virtual bool admits_rightparen() const override;
|
|
|
|
// virtual void on_f64(..) override
|
|
virtual void on_expr(ref::brw<Expression> expr,
|
|
exprstatestack * p_stack,
|
|
rp<Expression> * p_emit_expr) override;
|
|
virtual void on_symbol(const std::string & symbol_name,
|
|
exprstatestack * p_stack,
|
|
rp<Expression> * p_emit_expr) override;
|
|
virtual void on_typedescr(TypeDescr td,
|
|
exprstatestack * /*p_stack*/,
|
|
rp<Expression> * /*p_emit_expr*/) override;
|
|
virtual void on_colon(exprstatestack * p_stack) override;
|
|
virtual void on_semicolon(exprstatestack * p_stack,
|
|
rp<Expression> * /*p_emit_expr*/) override;
|
|
|
|
private:
|
|
/**
|
|
* def foo : f64 = 1 ;
|
|
* ^ ^ ^ ^ ^ ^ ^ ^
|
|
* | | | | | | | (done)
|
|
* | | | | | | def_4:expect_rhs_expression:expr_progress
|
|
* | | | | | def_4:expect_rhs_expression
|
|
* | | | | def_3
|
|
* | | | def_2:expect_type
|
|
* | | def_1
|
|
* | def_0:expect_symbol
|
|
* expect_toplevel_expression_sequence
|
|
*
|
|
* def_0:expect_symbol: got 'def' keyword, symbol to follow
|
|
* def_1: got symbol name
|
|
* def_2:expect_symbol got (optional) colon, type name to follow
|
|
* def_3: got symbol type
|
|
* def_4:expect_rhs_expression got (optional) equal sign, value to follow
|
|
* (done): definition complete, pop exprstate from stack
|
|
*
|
|
**/
|
|
};
|
|
} /*namespace scm*/
|
|
} /*namespace xo*/
|
|
|
|
|
|
/** end define_xs.hpp **/
|