public void WriteEmpty (RelaxngEmpty empty) { w.Write ("empty "); }
internal override void WriteRnc (RncWriter writer) { writer.WriteEmpty (this); }