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