sail/Branch.h

/*
 * Branch.h
 *
 *  Created on: Jun 30, 2008
 *      Author: isil
 *
 *   We treat every branch as a multi-branch. This allows us to treat
 *   if-then-else and switch statements uniformly. In addition, we maintain
 *   the invariant that all conditions in a multibranch statement are
 *   muturally exclusive and add up to true.
 *
 *
 */

#ifndef BRANCH_H_
#define BRANCH_H_

#include "Instruction.h"

#include<string>
#include <vector>
using namespace std;

namespace il{class node;}

namespace sail {
class Variable;
class Label;
class Symbol;

class Branch: public Instruction  {
    friend class boost::serialization::access;

    template<class Archive>
    void serialize(Archive & ar, const unsigned int version)
    {
        ar & boost::serialization::base_object<sail::Instruction>(*this);
        ar & targets;
        ar & is_if;
    }

private:
        vector<pair<Symbol*, Label*> > *targets;
        bool is_if;

public:
        /*
         * Constructor for if
         */
        Branch(Symbol* if_var, Symbol* else_var, Label* then_label, Label* else_label,
                        il::node* original);

        /*
         * Constructor for switch
         */
        Branch(vector<pair<Symbol*, Label*> > *targets,
                                il::node* original);
        Branch(){targets = NULL;};
        virtual string to_string() const;
        virtual string to_string(bool pretty_print) const;

        bool is_if_statement();

        vector<pair<Symbol*, Label*> > * get_targets();

        Label* get_then_label();

        Label* get_else_label();

        Symbol* get_if_condition();

        Symbol* get_else_condition();
        virtual bool is_removable();
        virtual ~Branch();
};

}

#endif /* BRANCH_H_ */

---