public void WriteNameChoice (RelaxngNameChoice c) { WriteNames (c.Children, false); }
internal override void WriteRnc (RncWriter writer) { writer.WriteNameChoice (this); }