public override string ToString() { return name + ( attributes.Length > 0 ? "@" : "" ) + String.Join( "@", attributes ); }