* @param def The value if the attribute is not specified.
*/
protected SVGAnimatedEnumeration
getAnimatedEnumerationAttribute(String ns, String ln,
String[] val, short def) {
SVGAnimatedEnumeration result =
(SVGAnimatedEnumeration)getLiveAttributeValue(ns, ln);
if (result == null) {
result = new SVGOMAnimatedEnumeration(this, ns, ln, val, def);
putLiveAttributeValue(ns, ln, (LiveAttributeValue)result);
}