2 |
|
|
3 |
public class DetailedListElement extends Element |
public class DetailedListElement extends Element |
4 |
{ |
{ |
5 |
public DetailedListElement(Parser p, Element parent, String name, String typeName) |
public DetailedListElement(Parser p, Element parent, String name, |
6 |
|
String typeName) |
7 |
{ |
{ |
8 |
super(p, parent, name); |
super(p, parent, name); |
|
|
|
9 |
ListDataElement plist = (ListDataElement) parent; |
ListDataElement plist = (ListDataElement) parent; |
|
|
|
10 |
plist.listData.put(typeName, this); |
plist.listData.put(typeName, this); |
11 |
} |
} |
12 |
|
|
14 |
{ |
{ |
15 |
return qualifiedName; |
return qualifiedName; |
16 |
} |
} |
17 |
} |
} |