blob: cd6c62817968c5c0fb0f36c5caf950378f92d958 (
plain) (
blame)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
|
//===-- ObjectHolder.h ------------------------------------------*- C++ -*-===//
//
// The KLEE Symbolic Virtual Machine
//
// This file is distributed under the University of Illinois Open Source
// License. See LICENSE.TXT for details.
//
//===----------------------------------------------------------------------===//
#ifndef KLEE_OBJECTHOLDER_H
#define KLEE_OBJECTHOLDER_H
namespace klee {
class ObjectState;
class ObjectHolder {
ObjectState *os;
public:
ObjectHolder() : os(0) {}
ObjectHolder(ObjectState *_os);
ObjectHolder(const ObjectHolder &b);
~ObjectHolder();
ObjectHolder &operator=(const ObjectHolder &b);
operator class ObjectState *() { return os; }
operator class ObjectState *() const { return (ObjectState*) os; }
};
}
#endif /* KLEE_OBJECTHOLDER_H */
|
