public void Deserialize(XElement element)
{
if (string.Compare(element.Name.ToString(), "devicemanager") == 0)
{
// Parse the speeds
XElement cached = element.Element("cached");
if (cached != null)
{
foreach (XElement cachedElement in cached.Elements())
{
ToolchainReference reference = new ToolchainReference();
reference.Deserialize(cachedElement);
CachedToolchains.Add(reference);
}
}
// Parse the manufacturers
XElement manufacturers = element.Element("manufacturers");
if (manufacturers != null)
{
foreach (XElement manufacturerElement in manufacturers.Elements())
{
DeviceManufacture manufacturer = new DeviceManufacture(this);
manufacturer.Deserialize(manufacturerElement);
Manufacturers.Add(manufacturer);
}
}
}
}