public String getAttributeType (String name, String aname) { Object attribute[] = getAttribute (name, aname); if (attribute == null) { return null; } else { return (String) attribute [0]; } }
public String getAttributeType(String name, String aname) { AttributeDecl attribute = getAttribute(name, aname); return (attribute == null) ? null : attribute.type; }
    public String getAttributeType (String name, String aname)    {	Object attribute[] = getAttribute (name, aname);	if (attribute == null) {	    return null;	} else {	    return (String) attribute [0];	}    }