/*
 * ProviderListEntry.java
 *
 * Copyright 2013 John W Dawson
 *
 * This code is distributed under the terms of the GNU General Public License, version 3
 *
 * This class represents an entry in the list of providers as a tool bar
 *
 */

import java.util.*;
public class ProviderListEntry extends ConfigurationListEntry
{

  private ExtensionSelector extensionSelector;

  public ProviderListEntry (ConfigurationRecord provider, ProviderListForm providerList, 
                            ExtensionSelector extensionSelector)
  {
    super ("provider", provider, providerList);
    this.extensionSelector = extensionSelector;
        
  }
    
  protected void deleteActions ()
  {
    // Remove all provider's extensions from selector
    java.util.List<ConfigurationRecord> extensions = record.getElementRecords ("extension");
    for (ConfigurationRecord extension : extensions)
    {
      extensionSelector.remove (extension);
    }
      
  }
  
}