public String getName() {if (params==null) {return name;}return new StringBuilder(name).append('(').append(params).append(')').toString();}

public virtual string GetName(){if (m_params == null){return name;}return new StringBuilder(name).Append('(').Append(m_params).Append(')').ToString();}
