122 |
* null, if this parameter was not specified. |
* null, if this parameter was not specified. |
123 |
* Values, defined in DTD, are case insensitive. |
* Values, defined in DTD, are case insensitive. |
124 |
*/ |
*/ |
125 |
public Vector values; |
public Vector<?> values; |
126 |
|
|
127 |
/** |
/** |
128 |
* The modifier of this attribute. This field contains one of the |
* The modifier of this attribute. This field contains one of the |
176 |
* Equals to null for the last attribute definition. |
* Equals to null for the last attribute definition. |
177 |
*/ |
*/ |
178 |
public AttributeList(String a_name, int a_type, int a_modifier, |
public AttributeList(String a_name, int a_type, int a_modifier, |
179 |
String a_default, Vector allowed_values, |
String a_default, Vector<?> allowed_values, |
180 |
AttributeList a_next |
AttributeList a_next |
181 |
) |
) |
182 |
{ |
{ |
251 |
/** |
/** |
252 |
* Get the allowed values of this attribute. |
* Get the allowed values of this attribute. |
253 |
*/ |
*/ |
254 |
public Enumeration getValues() |
public Enumeration<?> getValues() |
255 |
{ |
{ |
256 |
return values.elements(); |
return values.elements(); |
257 |
} |
} |