public String getName()
        {
            if (m_decorations == null)
                {
                return m_token.m_value;
                }
            return m_token.m_value + m_decorations.getName();
        }