public void Add(pDockedPlatformType d)
{
docked.Add(d);
}
public override pDockedPlatformType pGetDockedPlatform()
{
pDockedPlatformType p;
try
{
reader.Read();
int count = pGetInt();
p = new pDockedPlatformType(count);
reader.Read();
}
catch (System.Exception e)
{
throw new ApplicationException("Error reading Docked platform: ", e);
}
return p;
}
