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