/**
* Returns the AttributeDecl associated with the given name
*
* @return the AttributeDecl associated with the given name, or null if no AttributeDecl with the
* given name was found.
*/
public AttributeDecl getAttributeDecl(String name) {
AttributeDecl result = _attributes.getAttribute(name);
return result;
} // -- getAttributeDecl
