public void EndEventDef ()
{
if (event_list == null)
event_list = new ArrayList ();
event_list.Add (current_event);
current_event = null;
}
public void BeginEventDef (EventDef event_def)
{
if (current_event != null)
Report.Error ("An event definition was not closed.");
current_event = event_def;
}