Constructor
| 191 | public: |
| 192 | /// Constructor |
| 193 | CxtThread(const CallStrCxt& c, const ICFGNode* fork) : cxt(c), forksite(fork), inloop(false), incycle(false) |
| 194 | { |
| 195 | } |
| 196 | /// Copy constructor |
| 197 | CxtThread(const CxtThread& ct) : |
| 198 | cxt(ct.getContext()), forksite(ct.getThread()), inloop(ct.isInloop()), incycle(ct.isIncycle()) |