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"
 
using namespace llvm;
 
class SEGSimpleOperandNode : public SEGOperandNode {
private:
  SEGSimpleOperandNode(Type *Ty, SymbolicExprGraph *SEG, BasicBlock *BB,
                       bool fromDisk)
      : SEGOperandNode(SEGOBJK_SimpleOperand, Ty, SEG, BB, fromDisk) {}
 
  SEGSimpleOperandNode(Value *Val, Type *Ty, SymbolicExprGraph *SEG,
                       BasicBlock *BB, bool fromDisk)
      : SEGOperandNode(SEGOBJK_SimpleOperand, Val, Ty, SEG, BB, fromDisk) {}
 
  friend class SymbolicExprGraph;
 
public:
  ~SEGSimpleOperandNode() {}
 
  SEGSimpleOperandNode *copySimpleOperandNode() {
    return new SEGSimpleOperandNode(getLLVMDbgValue(), getLLVMType(),
                                    getParentGraph(), getParentBasicBlock(),
                                    false);
  }
 
public:
  static bool classof(const SEGObject *N) {
    return N->getKind() == SEGOBJK_SimpleOperand;
  }
};
 
#endif