zcov: / lib/Core/ObjectHolder.h

	Files: 1 Branches Taken: 0.0% 0 / 0 Generated: 2009-05-17 22:47 Branches Executed: 0.0% 0 / 0 Line Coverage: 100.0% 2 / 2

	Programs: 15 Runs 5565

       1                 : //===- ObjectHolder.h - --*- C++ -*-===//
       2                 : 
       3                 : #ifndef KLEE_OBJECTHOLDER_H
       4                 : #define KLEE_OBJECTHOLDER_H
       5                 : 
       6                 : namespace klee {
       7                 :   class ObjectState;
       8                 : 
       9                 :   class ObjectHolder {
      10                 :     ObjectState *os;
      11                 :     
      12                 :   public:
      13           464367:     ObjectHolder() : os(0) {}
      14                 :     ObjectHolder(ObjectState *_os);
      15                 :     ObjectHolder(const ObjectHolder &b);
      16                 :     ~ObjectHolder(); 
      17                 :     
      18                 :     ObjectHolder &operator=(const ObjectHolder &b);
      19                 : 
      20                 :     operator class ObjectState *() { return os; }
      21          3520245:     operator class ObjectState *() const { return (ObjectState*) os; }
      22                 :   };
      23                 : }
      24                 : 
      25                 : #endif
      26                 :