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
|
#pragma once
#include "Compiler/Type.h"
namespace storm {
STORM_PKG(core.lang);
/**
* Representations of types that are not properly known by Storm. The C++ preprocessor (in
* CppTypes/) will use these types to represent variables in value types that have no other
* proper representation in Storm. Storm needs to know about these variables to be able to
* generate accurate SrcDesc objects for function calls.
*/
/**
* Unknown variable.
*/
class UnknownType : public Type {
STORM_CLASS;
public:
UnknownType(Str *name, Size size, GcType *type);
protected:
virtual Bool STORM_FN loadAll();
virtual code::TypeDesc *STORM_FN createTypeDesc();
};
Type *createUnknownInt(Str *name, Size size, GcType *type);
Type *createUnknownGc(Str *name, Size size, GcType *type);
Type *createUnknownNoGc(Str *name, Size size, GcType *type);
}
|
