klee
 All Classes Namespaces Files Functions Variables Typedefs Enumerations Enumerator Friends Macros Pages
ObjectHolder.h
Go to the documentation of this file.
1 //===-- ObjectHolder.h ------------------------------------------*- C++ -*-===//
2 //
3 // The KLEE Symbolic Virtual Machine
4 //
5 // This file is distributed under the University of Illinois Open Source
6 // License. See LICENSE.TXT for details.
7 //
8 //===----------------------------------------------------------------------===//
9 
10 #ifndef KLEE_OBJECTHOLDER_H
11 #define KLEE_OBJECTHOLDER_H
12 
13 namespace klee {
14  class ObjectState;
15 
16  class ObjectHolder {
18 
19  public:
20  ObjectHolder() : os(0) {}
22  ObjectHolder(const ObjectHolder &b);
23  ~ObjectHolder();
24 
26 
27  operator class ObjectState *() { return os; }
28  operator class ObjectState *() const { return (ObjectState*) os; }
29  };
30 }
31 
32 #endif
33 
ObjectHolder & operator=(const ObjectHolder &b)
Definition: Memory.cpp:61
ObjectState * os
Definition: ObjectHolder.h:17