blob: 72928fd33eac10bedaa3a433130848487bbfd42d (
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
|
// generated file, do not modify!
// 2016-11-10T16:02:38.361054000000Z
#ifndef HEADER_LambdaCube.TypeInfo_H
#define HEADER_LambdaCube.TypeInfo_H
#include "RT.hpp"
#include "LambdaCube.IR.hpp"
namespace data {
class Range {
public:
Int startLine;
Int startColumn;
Int endLine;
Int endColumn;
};
}
class Range {
public:
enum class tag {
Range
} tag;
std::shared_ptr<data::Range> Range;
};
namespace data {
class TypeInfo {
public:
std::shared_ptr<::Range> range;
String text;
};
}
class TypeInfo {
public:
enum class tag {
TypeInfo
} tag;
std::shared_ptr<data::TypeInfo> TypeInfo;
};
namespace data {
class WarningInfo {
public:
std::shared_ptr<::Range> wRange;
String wText;
};
}
class WarningInfo {
public:
enum class tag {
WarningInfo
} tag;
std::shared_ptr<data::WarningInfo> WarningInfo;
};
namespace data {
class ErrorInfo {
public:
std::shared_ptr<::Range> eRange;
String eText;
};
}
class ErrorInfo {
public:
enum class tag {
ErrorInfo
} tag;
std::shared_ptr<data::ErrorInfo> ErrorInfo;
};
namespace data {
class CompileError {
public:
String _0;
std::vector<std::shared_ptr<::TypeInfo>> _1;
std::vector<std::shared_ptr<::WarningInfo>> _2;
std::vector<std::shared_ptr<::ErrorInfo>> _3;
};
class Compiled {
public:
String _0;
String _1;
std::shared_ptr<::Pipeline> _2;
std::vector<std::shared_ptr<::TypeInfo>> _3;
std::vector<std::shared_ptr<::WarningInfo>> _4;
};
}
class CompileResult {
public:
enum class tag {
CompileError,
Compiled
} tag;
std::shared_ptr<data::CompileError> CompileError;
std::shared_ptr<data::Compiled> Compiled;
};
#endif
|
