public void InsertPlugin(ConfigurationPlugIn plugin, int priority) { int i; for (i = 0; i < plugins.Count; i++) { ALIB.ASSERT_ERROR(plugins[i].prio != priority, "Configuration.InsertPlugin(): Plug-in with same priority exists"); if (plugins[i].prio < priority) { break; } } PluginAndPrio pap = new PluginAndPrio(); pap.plugIn = plugin; pap.prio = priority; plugins.Insert(i, pap); plugin.Parent = this; }
public void InsertPlugin( ConfigurationPlugin plugin, int priority ) { int i; for ( i= 0; i < plugins.Count; i++ ) { ALIB.ASSERT_ERROR( plugins[i].prio != priority, "Configuration.InsertPlugin(): Plug-in with same priority exists" ); if ( plugins[i].prio < priority ) break; } PluginAndPrio ppp= new PluginAndPrio(); ppp.plugin= plugin; ppp.prio= priority; plugins.Insert( i, ppp ); }