public void Add(pLaunchedPlatformType lau)
{
launched.Add(lau);
}
public override pLaunchedPlatformType pGetLaunchedPlatform()
{
pLaunchedPlatformType lau = new pLaunchedPlatformType();
try
{
reader.Read();
if ("ID" == reader.Name)
{
lau.LaunchedID = pGetString();
}
while ("Location" == reader.Name)
{
lau.Add(pGetLocation());
}
if ("InitialState" == reader.Name)
{
lau.InitialState = pGetString();
}
if ("InitialParameters" == reader.Name)
{
lau.Add(pGetParameters());
}
reader.Read();
}
catch (System.Exception e)
{
throw new ApplicationException("Error reading launched platform: ", e);
}
return lau;
}
