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
|
#pragma once
#include "ValueArray.h"
#include "Type.h"
namespace storm {
STORM_PKG(core.lang);
class SerializeInfo;
/**
* Implements the template interface for the Array<> class in Storm.
*/
// Create types for unknown implementations.
Type *createArray(Str *name, ValueArray *params);
/**
* Type for arrays.
*/
class ArrayType : public Type {
STORM_CLASS;
public:
// Create.
STORM_CTOR ArrayType(Str *name, Type *contents);
// Late init.
virtual void lateInit();
// Parameter.
Value STORM_FN param() const;
// Contained type.
Type *STORM_FN containedType() const { return contents; }
// Notifications.
virtual void STORM_FN notifyAdded(NameSet *to, Named *added);
protected:
// Lazy loading.
virtual Bool STORM_FN loadAll();
private:
// Content type.
Type *contents;
// Added functions, to know when we can stop watching.
enum {
watchNone = 0x00,
watchLess = 0x01,
watchSerialization = 0x02,
watchEquality = 0x04,
};
Nat watchFor;
// Helpers.
void loadClassFns();
void loadValueFns();
// Add 'sort' without parameters.
void addSort();
// Add 'upperBound' and 'lowerBound' without parameters.
void addBinarySearch();
// Create 'upperBound' and 'lowerBound' from a template, with fn params.
MAYBE(Named *) CODECALL createUpperBound(Str *name, SimplePart *part);
MAYBE(Named *) CODECALL createLowerBound(Str *name, SimplePart *part);
// Add serialization functions.
void addSerialization(SerializeInfo *info);
// Add 'removeDuplicates'
void addRemoveDuplicates();
// Generate the 'write' function.
Function *writeFn(SerializedType *type, SerializeInfo *info);
// Generate the 'read' ctor.
Function *readCtor(SerializeInfo *info);
};
/**
* The array iterator type.
*/
class ArrayIterType : public Type {
STORM_CLASS;
public:
// Ctor.
ArrayIterType(Type *param);
protected:
// Lazy loading.
virtual Bool STORM_FN loadAll();
private:
// Content type.
Type *contents;
};
Bool STORM_FN isArray(Value v);
Value STORM_FN unwrapArray(Value v);
Value STORM_FN wrapArray(Value v);
}
|
