equal
deleted
inserted
replaced
238 */ |
238 */ |
239 public static class Enum extends Attribute { |
239 public static class Enum extends Attribute { |
240 public VarSymbol value; |
240 public VarSymbol value; |
241 public Enum(Type type, VarSymbol value) { |
241 public Enum(Type type, VarSymbol value) { |
242 super(type); |
242 super(type); |
243 assert value != null; |
243 this.value = Assert.checkNonNull(value); |
244 this.value = value; |
|
245 } |
244 } |
246 public void accept(Visitor v) { v.visitEnum(this); } |
245 public void accept(Visitor v) { v.visitEnum(this); } |
247 public String toString() { |
246 public String toString() { |
248 return value.enclClass() + "." + value; // qualified name |
247 return value.enclClass() + "." + value; // qualified name |
249 } |
248 } |