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 */