public void printDate ( WriteStreamOld os ) throws IOException { os . print ( DAY_NAMES [ ( int ) ( _dayOfEpoch % 7 + 11 ) % 7 ] ) ; os . write ( ' ' ) ; os . write ( ' ' ) ; os . print ( ( _dayOfMonth + 1 ) / 10 ) ; os . print ( ( _dayOfMonth + 1 ) % 10 ) ; os . write ( ' ' ) ; os . print ( MONTH_NAMES [ ( int ) _month ] ) ; os . write ( ' ' ) ; os . print ( _year ) ; os . write ( ' ' ) ; os . print ( ( _timeOfDay / 36000000 ) % 10 ) ; os . print ( ( _timeOfDay / 3600000 ) % 10 ) ; os . write ( ' ' ) ; os . print ( ( _timeOfDay / 600000 ) % 6 ) ; os . print ( ( _timeOfDay / 60000 ) % 10 ) ; os . write ( ' ' ) ; os . print ( ( _timeOfDay / 10000 ) % 6 ) ; os . print ( ( _timeOfDay / 1000 ) % 10 ) ; if ( _zoneName == null ) { os . print ( " GMT" ) ; return ; } long offset = _zoneOffset ; if ( offset < 0 ) { os . write ( ' ' ) ; os . write ( ' ' ) ; offset = - offset ; } else { os . write ( ' ' ) ; os . write ( ' ' ) ; } os . print ( ( offset / 36000000 ) % 10 ) ; os . print ( ( offset / 3600000 ) % 10 ) ; os . print ( ( offset / 600000 ) % 6 ) ; os . print ( ( offset / 60000 ) % 10 ) ; os . write ( ' ' ) ; os . write ( ' ' ) ; os . print ( _zoneName ) ; os . write ( ' ' ) ; }
Prints the date to a stream .