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