SEGSimpleOperandNode.h

/*
 * SEGSimpleOperandNode.h
 *
 * Qingkai
 *
 * This node is to model simple operand.
 */
 
#ifndef IR_SEG_SEGSIMPLEOPERANDNODE_H
#define IR_SEG_SEGSIMPLEOPERANDNODE_H
 
#include <llvm/IR/BasicBlock.h>
#include <llvm/IR/Value.h>
 
#include "IR/SEG/SymbolicExprGraph.h"
#include "Persistence/PersistenceBasis.h"
 
using namespace llvm;
 
class SEGSimpleOperandNode : public SEGOperandNode {
public:
  SEGSimpleOperandNode(PersistedSEGSimpleOperandNode *Node,
                       SymbolicExprGraph *SEG)
      : SEGOperandNode(Node, SEG) {}
 
  virtual void assembleSEGObject(std::map<int, SEGObject *> &FuncSEGObjMap) {
    SEGOperandNode::assembleSEGObject(FuncSEGObjMap);
  }
 
private:
  SEGSimpleOperandNode(Type *Ty, SymbolicExprGraph *SEG, BasicBlock *BB)
      : SEGOperandNode(SEGOBJK_SimpleOperand, Ty, SEG, BB) {}
 
  SEGSimpleOperandNode(Value *Val, Type *Ty, SymbolicExprGraph *SEG,
                       BasicBlock *BB)
      : SEGOperandNode(SEGOBJK_SimpleOperand, Val, Ty, SEG, BB) {}
 
  friend class SymbolicExprGraph;
 
public:
  ~SEGSimpleOperandNode() {}
 
  virtual PersistedSEGObject *createPersistedObject() const {
    PersistedSEGObject *PersistedObj = new PersistedSEGSimpleOperandNode;
    return PersistedObj;
  }
 
public:
  static bool classof(const SEGObject *N) {
    return N->getKind() == SEGOBJK_SimpleOperand;
  }
};
 
#endif