blob: 7b8362344943db566816c1763ef7a9d70112c59f (
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-10T16:02:38.361054000000Z
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; }
}
}
|