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 );
}
