// Fig. 6.5: Time.java
// Time class definition
public class Time {
   private int hour;     // 0 - 23
   private int minute;   // 0 - 59
   private int second;   // 0 - 59

   // Time constructor initializes each instance variable
   // to zero. Ensures that Time object starts in a
   // consistent state.
   public Time() { setTime( 0, 0, 0 ); }

   // Time constructor: hour supplied, minute and second
   // defaulted to 0.
   public Time( int h ) { setTime( h, 0, 0 ); }

   // Time constructor: hour and minute supplied, second
   // defaulted to 0.
   public Time( int h, int m ) { setTime( h, m, 0 ); }

   // Time constructor: hour, minute and second supplied.
   public Time( int h, int m, int s ) { setTime( h, m, s ); }

   // Set Methods
   // Set a new Time value using military time. Perform
   // validity checks on the data. Set invalid values
   // to zero.
   public void setTime( int h, int m, int s )
   {
      setHour( h );    // set the hour
      setMinute( m );  // set the minute
      setSecond( s );  // set the second
   }

   // set the hour
   public void setHour( int h )
      { hour = ( ( h >= 0 && h < 24 ) ? h : 0 ); }

   // set the minute
   public void setMinute( int m )
      { minute = ( ( m >= 0 && m < 60 ) ? m : 0 ); }

   // set the second
   public void setSecond( int s )
      { second = ( ( s >= 0 && s < 60 ) ? s : 0 ); }

   // Get Methods
   // get the hour
   public int getHour() { return hour; }

   // get the minute
   public int getMinute() { return minute; }

   // get the second
   public int getSecond() { return second; }

   // Convert Time to String in military-time format
   public String toMilitaryString()
   {
      return ( hour < 10 ? "0" : "" ) + hour +
             ( minute < 10 ? "0" : "" ) + minute;
   }

   // Convert Time to String in standard-time format
   public String toString()
   {
      return ( ( hour == 12 || hour == 0 ) ? 12 : hour % 12 ) +
             ":" + ( minute < 10 ? "0" : "" ) + minute +
             ":" + ( second < 10 ? "0" : "" ) + second +
             ( hour < 12 ? " AM" : " PM" );
   }
}