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
|
#pragma once
#include "RootArray.h"
#include "TemplateList.h"
#include "Type.h"
#include "Core/Thread.h"
namespace storm {
class Url;
/**
* Holds data about a set of types accessible from C++. Each of the types and templates have
* their own unique id:s.
*/
class World : NoCopy {
public:
World(Gc &gc);
// All non-template types.
RootArray<Type> types;
// All template types.
RootArray<TemplateList> templates;
// All threads.
RootArray<Thread> threads;
// Instantiated 'NamedThread' objects.
RootArray<NamedThread> namedThreads;
// Instantiated Path-objects for the paths in the Source array.
RootArray<Url> sources;
// Clear all allocations.
void clear();
// For each named object:
typedef void (*NamedFn)(Named *);
void forNamed(NamedFn fn);
};
}
|
