public Alert Check4Problem()
{
return(AlertExtensions.GetMaximumSeverity(
StructuralElement.CheckElements4Alert(Elements),
CheckOxygen4Alert(),
CheckBattery4Alert()));
}
public static Alert CheckElements4Alert(IEnumerable <StructuralElement> elements)
{
// A spacestation with 0 structural elements would not exist at all and therefore cannot be
Contract.Requires(elements != null && elements.Count() > 0);
return(AlertExtensions.GetMaximumSeverity(
CheckIntegrity4Alert(elements),
CheckTemperature4Alert(elements)));
}