blob: d28320350e70eda1f19237969a0607bf3d36edce (
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
|
// generated file, do not modify!
// 2016-03-21T15:32:17.924228000000Z
#ifndef HEADER_LambdaCube.TypeInfo_H
#define HEADER_LambdaCube.TypeInfo_H
#include "RT.hpp"
#include "LambdaCube.IR.hpp"
class Range {
public:
enum class tag {
Range
} tag;
};
namespace data {
class Range : public ::Range {
public:
Int startLine;
Int startColumn;
Int endLine;
Int endColumn;
Range() { tag = tag::Range; }
};
}
class TypeInfo {
public:
enum class tag {
TypeInfo
} tag;
};
namespace data {
class TypeInfo : public ::TypeInfo {
public:
std::shared_ptr<::Range> range;
String text;
TypeInfo() { tag = tag::TypeInfo; }
};
}
class CompileResult {
public:
enum class tag {
CompileError,
Compiled
} tag;
};
namespace data {
class CompileError : public ::CompileResult {
public:
std::vector<std::shared_ptr<::Range>> _0;
String _1;
std::vector<std::shared_ptr<::TypeInfo>> _2;
CompileError() { tag = tag::CompileError; }
};
class Compiled : public ::CompileResult {
public:
String _0;
String _1;
std::shared_ptr<::Pipeline> _2;
std::vector<std::shared_ptr<::TypeInfo>> _3;
Compiled() { tag = tag::Compiled; }
};
}
#endif
|
