string compute_fullname() { string rank_specifier; if (Rank == 1) rank_specifier = "[]"; else rank_specifier = "[" + new String (',', Rank-1) + "]"; return element_type.Name + rank_specifier; }