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
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
|
#include "stdafx.h"
#include "Content.h"
#include "Exception.h"
#include "Type.h"
#include "Engine.h"
#include "Class.h"
#include "Core/Str.h"
namespace storm {
namespace bs {
UseThreadDecl::UseThreadDecl(SrcName *name) : thread(name) {}
void UseThreadDecl::toS(StrBuf *to) const {
*to << L"use " << thread << L":";
}
Content::Content() {
types = new (this) Array<Type *>();
decls = new (this) Array<NamedDecl *>();
threads = new (this) Array<NamedThread *>();
templates = new (this) Array<Template *>();
defaultVisibility = engine().visibility(Engine::vPublic);
}
void Content::add(Type *t) {
update(t);
types->push(t);
}
void Content::add(NamedDecl *t) {
update(t);
decls->push(t);
}
void Content::add(NamedThread *t) {
update(t);
threads->push(t);
}
void Content::add(Template *t) {
templates->push(t);
}
void Content::add(Visibility *v) {
defaultVisibility = v;
}
void Content::add(UseThreadDecl *t) {
defaultThread = t->thread;
}
void Content::add(TObject *o) {
if (Type *t = as<Type>(o)) {
add(t);
} else if (NamedDecl *fn = as<NamedDecl>(o)) {
add(fn);
} else if (NamedThread *nt = as<NamedThread>(o)) {
add(nt);
} else if (Template *t = as<Template>(o)) {
add(t);
} else if (Visibility *v = as<Visibility>(o)) {
add(v);
} else if (UseThreadDecl *u = as<UseThreadDecl>(o)) {
add(u);
} else if (MultiDecl *a = as<MultiDecl>(o)) {
for (Nat i = 0; i < a->data->count(); i++)
add(a->data->at(i));
} else {
Str *msg = TO_S(engine(), S("add for Content does not expect ")
<< runtime::typeOf(o)->identifier()
<< S("."));
throw new (this) InternalError(msg);
}
}
void Content::update(Named *n) {
if (!n->visibility)
n->visibility = defaultVisibility;
if (defaultThread) {
if (Class *c = as<Class>(n)) {
c->defaultThread(defaultThread);
}
}
}
void Content::update(NamedDecl *fn) {
if (!fn->visibility)
fn->visibility = defaultVisibility;
if (!fn->thread)
fn->thread = defaultThread;
}
MultiDecl::MultiDecl() {
data = new (this) Array<TObject *>();
}
MultiDecl::MultiDecl(Array<TObject *> *data) : data(data) {}
void MultiDecl::push(TObject *v) {
data->push(v);
}
}
}
|
