blob: 2485d78bb59e08f43e9105fa9f486ccbad3739c3 (
plain)
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
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
|
/* Compiler implementation of the D programming language
* Copyright (C) 1999-2024 by The D Language Foundation, All Rights Reserved
* written by Walter Bright
* https://www.digitalmars.com
* Distributed under the Boost Software License, Version 1.0.
* https://www.boost.org/LICENSE_1_0.txt
* https://github.com/dlang/dmd/blob/master/src/dmd/init.h
*/
#pragma once
#include "ast_node.h"
#include "globals.h"
#include "arraytypes.h"
#include "visitor.h"
class Identifier;
class Expression;
class Type;
class ErrorInitializer;
class VoidInitializer;
class DefaultInitializer;
class StructInitializer;
class ArrayInitializer;
class ExpInitializer;
class CInitializer;
enum NeedInterpret { INITnointerpret, INITinterpret };
class Initializer : public ASTNode
{
public:
Loc loc;
unsigned char kind;
DYNCAST dyncast() const override { return DYNCAST_INITIALIZER; }
ErrorInitializer *isErrorInitializer();
VoidInitializer *isVoidInitializer();
DefaultInitializer *isDefaultInitializer();
StructInitializer *isStructInitializer();
ArrayInitializer *isArrayInitializer();
ExpInitializer *isExpInitializer();
CInitializer *isCInitializer();
void accept(Visitor *v) override { v->visit(this); }
};
class VoidInitializer final : public Initializer
{
public:
Type *type; // type that this will initialize to
void accept(Visitor *v) override { v->visit(this); }
};
class DefaultInitializer final : public Initializer
{
public:
Type *type; // type that this will initialize to
void accept(Visitor *v) override { v->visit(this); }
};
class ErrorInitializer final : public Initializer
{
public:
void accept(Visitor *v) override { v->visit(this); }
};
class StructInitializer final : public Initializer
{
public:
Identifiers field; // of Identifier *'s
Initializers value; // parallel array of Initializer *'s
void accept(Visitor *v) override { v->visit(this); }
};
class ArrayInitializer final : public Initializer
{
public:
Expressions index; // indices
Initializers value; // of Initializer *'s
unsigned dim; // length of array being initialized
Type *type; // type that array will be used to initialize
d_bool sem; // true if semantic() is run
d_bool isCarray; // C array semantics
bool isAssociativeArray() const;
void accept(Visitor *v) override { v->visit(this); }
};
class ExpInitializer final : public Initializer
{
public:
d_bool expandTuples;
Expression *exp;
void accept(Visitor *v) override { v->visit(this); }
};
struct Designator
{
Expression *exp;
Identifier *ident;
};
struct DesigInit
{
Designators *designatorList;
Initializer *initializer;
};
class CInitializer final : public Initializer
{
public:
DesigInits initializerList;
Type *type; // type that array will be used to initialize
d_bool sem; // true if semantic() is run
void accept(Visitor *v) override { v->visit(this); }
};
namespace dmd
{
Expression *initializerToExpression(Initializer *init, Type *t = NULL, const bool isCfile = false);
Initializer *initializerSemantic(Initializer *init, Scope *sc, Type *&tx, NeedInterpret needInterpret);
}
|
