forked from mozart/mozart2
-
Notifications
You must be signed in to change notification settings - Fork 0
/
type.hh
87 lines (70 loc) · 2.51 KB
/
type.hh
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
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
// Copyright © 2011, Université catholique de Louvain
// All rights reserved.
//
// Redistribution and use in source and binary forms, with or without
// modification, are permitted provided that the following conditions are met:
//
// * Redistributions of source code must retain the above copyright notice,
// this list of conditions and the following disclaimer.
// * Redistributions in binary form must reproduce the above copyright notice,
// this list of conditions and the following disclaimer in the documentation
// and/or other materials provided with the distribution.
//
// THIS SOFTWARE IS PROVIDED BY THE COPYRIGHT HOLDERS AND CONTRIBUTORS "AS IS"
// AND ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED TO, THE
// IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR PURPOSE
// ARE DISCLAIMED. IN NO EVENT SHALL THE COPYRIGHT HOLDER OR CONTRIBUTORS BE
// LIABLE FOR ANY DIRECT, INDIRECT, INCIDENTAL, SPECIAL, EXEMPLARY, OR
// CONSEQUENTIAL DAMAGES (INCLUDING, BUT NOT LIMITED TO, PROCUREMENT OF
// SUBSTITUTE GOODS OR SERVICES; LOSS OF USE, DATA, OR PROFITS; OR BUSINESS
// INTERRUPTION) HOWEVER CAUSED AND ON ANY THEORY OF LIABILITY, WHETHER IN
// CONTRACT, STRICT LIABILITY, OR TORT (INCLUDING NEGLIGENCE OR OTHERWISE)
// ARISING IN ANY WAY OUT OF THE USE OF THIS SOFTWARE, EVEN IF ADVISED OF THE
// POSSIBILITY OF SUCH DAMAGE.
#ifndef __TYPE_H
#define __TYPE_H
#include <string>
#include "core-forward-decl.hh"
#include "store-decl.hh"
namespace mozart {
class Type {
public:
Type(std::string name, bool copiable = false, bool transient = false) :
_name(name), _copiable(copiable), _transient(transient) {
}
const std::string& getName() const { return _name; }
virtual void* getInterface(void* intfID) {
// TODO
return nullptr;
}
bool isCopiable() const { return _copiable; }
bool isTransient() const { return _transient; }
virtual void gCollect(GC gc, RichNode from, StableNode& to) const = 0;
virtual void gCollect(GC gc, RichNode from, UnstableNode& to) const = 0;
private:
const std::string _name;
const bool _copiable;
const bool _transient;
};
template <class T>
struct RawType {
static const T rawType;
};
template <class T>
const T RawType<T>::rawType;
template<class T>
struct Interface;
template<class...>
struct ImplementedBy{};
struct NoAutoWait{};
struct Copiable{};
struct Transient{};
template<class>
struct StoredAs{};
template<class>
struct StoredWithArrayOf{};
template<class>
struct BasedOn{};
struct NoAutoGCollect{};
}
#endif // __TYPE_H