public void EndPropertyDef ()
{
if (property_list == null)
property_list = new ArrayList ();
property_list.Add (current_property);
current_property = null;
}
public void BeginPropertyDef (PropertyDef property_def)
{
if (current_property != null)
Report.Error ("A property definition was not closed.");
current_property = property_def;
}