private RelaxngList ReadListPattern()
{
RelaxngList list = new RelaxngList();
FillLocation(list);
expect("list");
Read();
ReadPatterns(list);
expectEnd("list");
return(list);
}
private RelaxngList ReadListPattern ()
{
RelaxngList list = new RelaxngList ();
FillLocation (list);
expect ("list");
Read ();
ReadPatterns (list);
expectEnd ("list");
return list;
}
public void WriteList (RelaxngList p)
{
w.Write ("list {");
WritePatterns (p.Patterns, false);
w.Write ("}");
}