source: src/AST/Stmt.hpp @ 23f99e1

//
// Cforall Version 1.0.0 Copyright (C) 2015 University of Waterloo
//
// The contents of this file are covered under the licence agreement in the
// file "LICENCE" distributed with Cforall.
//
// Stmt.hpp --
//
// Author           : Aaron B. Moss
// Created On       : Wed May 8 13:00:00 2019
// Last Modified By : Aaron B. Moss
// Last Modified On : Wed May 8 13:00:00 2019
// Update Count     : 1
//

#pragma once

#include <list>
#include <utility>                // for move
#include <vector>

#include "Label.hpp"
#include "Node.hpp"               // for node, ptr
#include "ParseNode.hpp"
#include "Visitor.hpp"
#include "Common/CodeLocation.h"

namespace ast {

class Expr;

/// Base statement node
class Stmt : public ParseNode {
public:
        std::vector<Label> labels;

        Stmt( const CodeLocation& loc, std::vector<Label>&& labels = {} )
        : ParseNode(loc), labels(std::move(labels)) {}

        Stmt(const Stmt& o) : ParseNode(o), labels(o.labels) {}

        const Stmt* accept( Visitor& v ) const override = 0;
private:
        Stmt* clone() const override = 0;
};

/// Compound statement `{ ... }`
class CompoundStmt final : public Stmt {
public:
        std::list<ptr<Stmt>> kids;

        CompoundStmt(const CodeLocation& loc, std::list<ptr<Stmt>>&& ks = {} )
        : Stmt(loc), kids(std::move(ks)) {}

        CompoundStmt( const CompoundStmt& o );
        CompoundStmt( CompoundStmt&& o ) = default;

        void push_back( Stmt* s ) { kids.emplace_back( s ); }
        void push_front( Stmt* s ) { kids.emplace_front( s ); }

        const CompoundStmt* accept( Visitor& v ) const override { return v.visit( this ); }
private:
        CompoundStmt* clone() const override { return new CompoundStmt{ *this }; }
};

/// Empty statment `;`
class NullStmt final : public Stmt {
public:
        NullStmt( const CodeLocation& loc, std::vector<Label>&& labels = {} )
        : Stmt(loc, std::move(labels)) {}

        const NullStmt * accept( Visitor& v ) const override { return v.visit( this ); }
private:
        NullStmt * clone() const override { return new NullStmt{ *this }; }
};

/// Expression wrapped by statement
class ExprStmt final : public Stmt {
public:
        ptr<Expr> expr;

        ExprStmt( const CodeLocation& loc, Expr* e ) : Stmt(loc), expr(e) {}

        const Stmt * accept( Visitor& v ) const override { return v.visit( this ); }
private:
        ExprStmt * clone() const override { return new ExprStmt{ *this }; }
};



//=================================================================================================
/// This disgusting and giant piece of boiler-plate is here to solve a cyclic dependency
/// remove only if there is a better solution
/// The problem is that ast::ptr< ... > uses increment/decrement which won't work well with
/// forward declarations
inline void increment( const class Stmt * node, Node::ref_type ref ) { node->increment( ref ); }
inline void decrement( const class Stmt * node, Node::ref_type ref ) { node->decrement( ref ); }
inline void increment( const class CompoundStmt * node, Node::ref_type ref ) { node->increment( ref ); }
inline void decrement( const class CompoundStmt * node, Node::ref_type ref ) { node->decrement( ref ); }
inline void increment( const class ExprStmt * node, Node::ref_type ref ) { node->increment( ref ); }
inline void decrement( const class ExprStmt * node, Node::ref_type ref ) { node->decrement( ref ); }
// inline void increment( const class AsmStmt * node, Node::ref_type ref ) { node->increment( ref ); }
// inline void decrement( const class AsmStmt * node, Node::ref_type ref ) { node->decrement( ref ); }
// inline void increment( const class DirectiveStmt * node, Node::ref_type ref ) { node->increment( ref ); }
// inline void decrement( const class DirectiveStmt * node, Node::ref_type ref ) { node->decrement( ref ); }
// inline void increment( const class IfStmt * node, Node::ref_type ref ) { node->increment( ref ); }
// inline void decrement( const class IfStmt * node, Node::ref_type ref ) { node->decrement( ref ); }
// inline void increment( const class WhileStmt * node, Node::ref_type ref ) { node->increment( ref ); }
// inline void decrement( const class WhileStmt * node, Node::ref_type ref ) { node->decrement( ref ); }
// inline void increment( const class ForStmt * node, Node::ref_type ref ) { node->increment( ref ); }
// inline void decrement( const class ForStmt * node, Node::ref_type ref ) { node->decrement( ref ); }
// inline void increment( const class SwitchStmt * node, Node::ref_type ref ) { node->increment( ref ); }
// inline void decrement( const class SwitchStmt * node, Node::ref_type ref ) { node->decrement( ref ); }
// inline void increment( const class CaseStmt * node, Node::ref_type ref ) { node->increment( ref ); }
// inline void decrement( const class CaseStmt * node, Node::ref_type ref ) { node->decrement( ref ); }
// inline void increment( const class BranchStmt * node, Node::ref_type ref ) { node->increment( ref ); }
// inline void decrement( const class BranchStmt * node, Node::ref_type ref ) { node->decrement( ref ); }
// inline void increment( const class ReturnStmt * node, Node::ref_type ref ) { node->increment( ref ); }
// inline void decrement( const class ReturnStmt * node, Node::ref_type ref ) { node->decrement( ref ); }
// inline void increment( const class ThrowStmt * node, Node::ref_type ref ) { node->increment( ref ); }
// inline void decrement( const class ThrowStmt * node, Node::ref_type ref ) { node->decrement( ref ); }
// inline void increment( const class TryStmt * node, Node::ref_type ref ) { node->increment( ref ); }
// inline void decrement( const class TryStmt * node, Node::ref_type ref ) { node->decrement( ref ); }
// inline void increment( const class CatchStmt * node, Node::ref_type ref ) { node->increment( ref ); }
// inline void decrement( const class CatchStmt * node, Node::ref_type ref ) { node->decrement( ref ); }
// inline void increment( const class FinallyStmt * node, Node::ref_type ref ) { node->increment( ref ); }
// inline void decrement( const class FinallyStmt * node, Node::ref_type ref ) { node->decrement( ref ); }
// inline void increment( const class WaitForStmt * node, Node::ref_type ref ) { node->increment( ref ); }
// inline void decrement( const class WaitForStmt * node, Node::ref_type ref ) { node->decrement( ref ); }
// inline void increment( const class WithStmt * node, Node::ref_type ref ) { node->increment( ref ); }
// inline void decrement( const class WithStmt * node, Node::ref_type ref ) { node->decrement( ref ); }
// inline void increment( const class DeclStmt * node, Node::ref_type ref ) { node->increment( ref ); }
// inline void decrement( const class DeclStmt * node, Node::ref_type ref ) { node->decrement( ref ); }
inline void increment( const class NullStmt * node, Node::ref_type ref ) { node->increment( ref ); }
inline void decrement( const class NullStmt * node, Node::ref_type ref ) { node->decrement( ref ); }
// inline void increment( const class ImplicitCtorDtorStmt * node, Node::ref_type ref ) { node->increment( ref ); }
// inline void decrement( const class ImplicitCtorDtorStmt * node, Node::ref_type ref ) { node->decrement( ref ); }

}

// Local Variables: //
// tab-width: 4 //
// mode: c++ //
// compile-command: "make install" //
// End: //