SEGCallSiteArgumentSummaryNode.h

/*
 * SEGCallSiteArgumentSummaryNode.h
 *
 * This node is to model a summary node passed to a callee.
 *
 *  Created on: 2016.10.19
 *      Author: andyzhou
 */
 
#ifndef LIB_IR_SEG_SEGCALLSITEARGUMENTSUMMARYNODE_H
#define LIB_IR_SEG_SEGCALLSITEARGUMENTSUMMARYNODE_H
 
#include "IR/SEG/SymbolicExprGraph.h"
#include "Persistence/PersistenceBasis.h"
 
using namespace llvm;
 
class SEGCallSiteArgumentSummaryNode : public SEGOperandNode {
public:
  SEGCallSiteArgumentSummaryNode(PersistedSEGCallSiteArgumentSummaryNode *Node,
                                 SymbolicExprGraph *SEG);
 
  virtual void assembleSEGObject(std::map<int, SEGObject *> &FuncSEGObjMap) {
    SEGOperandNode::assembleSEGObject(FuncSEGObjMap);
  }
 
private:
  WrappedInstruction *WrappedCallsite = nullptr;
  Instruction *Callsite = nullptr;
  int APDepth;
  SEGCallSiteArgumentSummaryNode(Type *Ty, SymbolicExprGraph *SEG,
                                 BasicBlock *BB, Instruction *Callsite,
                                 int APDepth);
 
public:
  virtual ~SEGCallSiteArgumentSummaryNode();
 
  virtual PersistedSEGObject *createPersistedObject() const;
 
public:
  static bool classof(const SEGObject *N) {
    return N->getKind() == SEGOBJK_CallSiteSummaryArgument;
  }
 
  int getAPDepth() const { return APDepth; }
 
  Instruction *getCallSite() const { return Callsite; }
 
  WrappedInstruction *getWrappedCallSite() const { return WrappedCallsite; }
 
  friend class SymbolicExprGraph;
};
 
#endif /* LIB_IR_SEG_SEGCALLSITEARGUMENTSUMMARYNODE_H */