blob: a6be28f2f7233321eefbf31becd1c5fa36bc19d0 (
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
|
// generated file, do not modify!
// 2016-11-10T15:07:11.972496000000Z
package LambdaCube.TypeInfo;
import java.util.ArrayList;
import java.util.HashMap;
import RT.*;
import LambdaCube.IR.*;
public class WarningInfo {
public enum Tag {
WarningInfo
}
public Tag tag;
public class WarningInfo_ extends WarningInfo {
public Range wRange;
public String wText;
public WarningInfo_() { tag = WarningInfo.Tag.WarningInfo; }
}
}
|