173 lines
4.0 KiB
C++
173 lines
4.0 KiB
C++
/*=============================================================================
|
|
Copyright (c) 2001-2011 Joel de Guzman
|
|
|
|
Distributed under the Boost Software License, Version 1.0. (See accompanying
|
|
file LICENSE_1_0.txt or copy at http://www.boost.org/LICENSE_1_0.txt)
|
|
=============================================================================*/
|
|
#if !defined(BOOST_SPIRIT_CALC8_AST_HPP)
|
|
#define BOOST_SPIRIT_CALC8_AST_HPP
|
|
|
|
#include <boost/config/warning_disable.hpp>
|
|
#include <boost/variant/recursive_variant.hpp>
|
|
#include <boost/fusion/include/adapt_struct.hpp>
|
|
#include <boost/fusion/include/io.hpp>
|
|
#include <boost/optional.hpp>
|
|
#include <list>
|
|
|
|
namespace client { namespace ast
|
|
{
|
|
///////////////////////////////////////////////////////////////////////////
|
|
// The AST
|
|
///////////////////////////////////////////////////////////////////////////
|
|
struct tagged
|
|
{
|
|
int id; // Used to annotate the AST with the iterator position.
|
|
// This id is used as a key to a map<int, Iterator>
|
|
// (not really part of the AST.)
|
|
};
|
|
|
|
struct nil {};
|
|
struct unary;
|
|
struct expression;
|
|
|
|
struct variable : tagged
|
|
{
|
|
variable(std::string const& name = "") : name(name) {}
|
|
std::string name;
|
|
};
|
|
|
|
typedef boost::variant<
|
|
nil
|
|
, bool
|
|
, unsigned int
|
|
, variable
|
|
, boost::recursive_wrapper<unary>
|
|
, boost::recursive_wrapper<expression>
|
|
>
|
|
operand;
|
|
|
|
enum optoken
|
|
{
|
|
op_plus,
|
|
op_minus,
|
|
op_times,
|
|
op_divide,
|
|
op_positive,
|
|
op_negative,
|
|
op_not,
|
|
op_equal,
|
|
op_not_equal,
|
|
op_less,
|
|
op_less_equal,
|
|
op_greater,
|
|
op_greater_equal,
|
|
op_and,
|
|
op_or
|
|
};
|
|
|
|
struct unary
|
|
{
|
|
optoken operator_;
|
|
operand operand_;
|
|
};
|
|
|
|
struct operation
|
|
{
|
|
optoken operator_;
|
|
operand operand_;
|
|
};
|
|
|
|
struct expression
|
|
{
|
|
operand first;
|
|
std::list<operation> rest;
|
|
};
|
|
|
|
struct assignment
|
|
{
|
|
variable lhs;
|
|
expression rhs;
|
|
};
|
|
|
|
struct variable_declaration
|
|
{
|
|
assignment assign;
|
|
};
|
|
|
|
struct if_statement;
|
|
struct while_statement;
|
|
struct statement_list;
|
|
|
|
typedef boost::variant<
|
|
variable_declaration
|
|
, assignment
|
|
, boost::recursive_wrapper<if_statement>
|
|
, boost::recursive_wrapper<while_statement>
|
|
, boost::recursive_wrapper<statement_list>
|
|
>
|
|
statement;
|
|
|
|
struct statement_list : std::list<statement> {};
|
|
|
|
struct if_statement
|
|
{
|
|
expression condition;
|
|
statement then;
|
|
boost::optional<statement> else_;
|
|
};
|
|
|
|
struct while_statement
|
|
{
|
|
expression condition;
|
|
statement body;
|
|
};
|
|
|
|
// print functions for debugging
|
|
inline std::ostream& operator<<(std::ostream& out, nil) { out << "nil"; return out; }
|
|
inline std::ostream& operator<<(std::ostream& out, variable const& var) { out << var.name; return out; }
|
|
}}
|
|
|
|
BOOST_FUSION_ADAPT_STRUCT(
|
|
client::ast::unary,
|
|
(client::ast::optoken, operator_)
|
|
(client::ast::operand, operand_)
|
|
)
|
|
|
|
BOOST_FUSION_ADAPT_STRUCT(
|
|
client::ast::operation,
|
|
(client::ast::optoken, operator_)
|
|
(client::ast::operand, operand_)
|
|
)
|
|
|
|
BOOST_FUSION_ADAPT_STRUCT(
|
|
client::ast::expression,
|
|
(client::ast::operand, first)
|
|
(std::list<client::ast::operation>, rest)
|
|
)
|
|
|
|
BOOST_FUSION_ADAPT_STRUCT(
|
|
client::ast::variable_declaration,
|
|
(client::ast::assignment, assign)
|
|
)
|
|
|
|
BOOST_FUSION_ADAPT_STRUCT(
|
|
client::ast::assignment,
|
|
(client::ast::variable, lhs)
|
|
(client::ast::expression, rhs)
|
|
)
|
|
|
|
BOOST_FUSION_ADAPT_STRUCT(
|
|
client::ast::if_statement,
|
|
(client::ast::expression, condition)
|
|
(client::ast::statement, then)
|
|
(boost::optional<client::ast::statement>, else_)
|
|
)
|
|
|
|
BOOST_FUSION_ADAPT_STRUCT(
|
|
client::ast::while_statement,
|
|
(client::ast::expression, condition)
|
|
(client::ast::statement, body)
|
|
)
|
|
|
|
#endif
|