summaryrefslogtreecommitdiff
path: root/tiger-compiler/src/ast/var-dec.hh
diff options
context:
space:
mode:
Diffstat (limited to 'tiger-compiler/src/ast/var-dec.hh')
-rw-r--r--tiger-compiler/src/ast/var-dec.hh61
1 files changed, 61 insertions, 0 deletions
diff --git a/tiger-compiler/src/ast/var-dec.hh b/tiger-compiler/src/ast/var-dec.hh
new file mode 100644
index 0000000..fd15b7e
--- /dev/null
+++ b/tiger-compiler/src/ast/var-dec.hh
@@ -0,0 +1,61 @@
+/**
+ ** \file ast/var-dec.hh
+ ** \brief Declaration of ast::VarDec.
+ */
+
+#pragma once
+
+#include <ast/dec.hh>
+#include <ast/escapable.hh>
+#include <ast/exp.hh>
+#include <ast/name-ty.hh>
+
+namespace ast
+{
+ /// VarDec.
+ class VarDec
+ : public Dec
+ , public Escapable
+ {
+ public:
+ /** \name Ctor & dtor.
+ ** \{ */
+ /// Construct a VarDec node.
+ VarDec(const Location& location,
+ misc::symbol name,
+ NameTy* type_name,
+ Exp* init);
+ VarDec(const VarDec&) = delete;
+ VarDec& operator=(const VarDec&) = delete;
+ /// Destroy a VarDec node.
+ ~VarDec() override;
+ /** \} */
+
+ /// \name Visitors entry point.
+ /// \{ */
+ /// Accept a const visitor \a v.
+ void accept(ConstVisitor& v) const override;
+ /// Accept a non-const visitor \a v.
+ void accept(Visitor& v) override;
+ /// \}
+
+ /** \name Accessors.
+ ** \{ */
+ /// Return optional type of the declared variable.
+ const NameTy* type_name_get() const;
+ /// Return optional type of the declared variable.
+ NameTy* type_name_get();
+ /// Return the initial value (expression) assigned to the variable.
+ const Exp* init_get() const;
+ /// Return the initial value (expression) assigned to the variable.
+ Exp* init_get();
+ /** \} */
+
+ protected:
+ /// Optional type of the declared variable.
+ NameTy* type_name_;
+ /// The initial value (expression) assigned to the variable.
+ Exp* init_;
+ };
+} // namespace ast
+#include <ast/var-dec.hxx>