public void AddDataDef (DataDef datadef) { if (data_table [datadef.Name] != null) Report.Error ("Duplicate global label '" + datadef.Name + "'"); data_table [datadef.Name] = datadef; }