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"
 
using namespace llvm;
 
class SEGCallSiteArgumentSummaryNode : public SEGOperandNode {
private:
  Instruction *Callsite = nullptr;
  int APDepth;
  SEGCallSiteArgumentSummaryNode(Type *Ty, SymbolicExprGraph *SEG,
                                 BasicBlock *BB, Instruction *Callsite,
                                 int APDepth, bool fromDisk);
 
public:
  virtual ~SEGCallSiteArgumentSummaryNode();
 
public:
  static bool classof(const SEGObject *N) {
    return N->getKind() == SEGOBJK_CallSiteSummaryArgument;
  }
 
  int getAPDepth() const { return APDepth; }
 
  Instruction *getCallSite() const { return Callsite; }
 
  friend class SymbolicExprGraph;
};
 
#endif /* LIB_IR_SEG_SEGCALLSITEARGUMENTSUMMARYNODE_H */