//  CalendarsMore.java  Copyright (c) 2006 Kari Laitinen

//  http://www.naturalprogramming.com

//  2006-02-16   File created.
//  2006-02-16   Last modification.

//  When this program is compiled, Date.java and DateDistance.java
//  must be in the same folder (directory) together with this file.

//  A solution to Exercise 12-4.

//  A GermanCalendar class is defined in this program.

import java.util.* ;

class  EnglishCalendar
{
   protected  int  this_month ;
   protected  int  this_year ;

   protected  String[]  names_of_months ;
   protected  String    week_description ;

   public EnglishCalendar() {}

   public EnglishCalendar( int given_month, int given_year )
   {
      String[]  english_names_of_months  =  

         { "January", "February", "March", "April",
           "May", "June", "July", "August",
           "September", "October", "November", "December" } ;

      String  english_week_description  =

          " Week   Mon  Tue  Wed  Thu  Fri  Sat  Sun" ;

      names_of_months   =  english_names_of_months ;

      week_description  =  english_week_description ;

      this_month  =  given_month ;
      this_year   =  given_year  ;
   }


   public void print()
   {
      Date a_day_in_this_month  =  new  Date( 1, this_month, this_year ) ;

      int day_of_week_index   =  0 ;

      int day_of_week_of_first_day  =
                          a_day_in_this_month.index_for_day_of_week() ;

      System.out.print(
            "\n\n   "  +  names_of_months[ this_month - 1 ]
         +  "  "  +  this_year  +  "\n\n"  +  week_description   +  "\n\n" );

      System.out.printf( "%4d  ",  a_day_in_this_month.get_week_number() ) ;

      // The first week of a month is often an incomplete week, 
      // i.e., the first part of week belongs to the previous
      // month. In place of the days that belong to the previous
      // month we print just spaces.

      while ( day_of_week_index != day_of_week_of_first_day )
      {
         System.out.print( "     " )  ;
         day_of_week_index  ++ ;
      }

      while ( this_month  ==  a_day_in_this_month.month() )
      {
         if ( day_of_week_index  >=  7 )
         {
            System.out.printf( "\n%4d  ",
                               a_day_in_this_month.get_week_number() ) ;

            day_of_week_index  =  0 ;
         }

         System.out.printf( "%5d", a_day_in_this_month.day() ) ;

         a_day_in_this_month.increment() ;

         day_of_week_index  ++  ;
      }

      System.out.print( "\n" ) ;
   }
}



class  SpanishCalendar  extends  EnglishCalendar
{
   public SpanishCalendar( int given_month, int given_year )
   {
      String[]  spanish_names_of_months  =


         { "Enero", "Febrero", "Marzo", "Abril",
           "Mayo", "Junio", "Julio", "Agosto",
           "Septiembre", "Octubre", "Noviembre", "Deciembre" } ;

      String   spanish_week_description  =

           "Semana  Lun  Mar  Mie  Jue  Vie  Sab  Dom" ;

      names_of_months   =  spanish_names_of_months ;
      week_description  =  spanish_week_description ;

      this_month  =  given_month ;
      this_year   =  given_year  ;
   }
}


class  GermanCalendar  extends  EnglishCalendar
{
   public GermanCalendar( int given_month, int given_year )
   {
      String[]  german_names_of_months  =

         { "Januar", "Februar", "Mrz", "April",
           "Mai", "Juni", "Juli", "August",
           "September", "Oktober", "November", "Dezember" } ;

      String   german_week_description  =

           "Woche   Mon  Die  Mit  Don  Fre  Sam  Son" ;

      names_of_months   =  german_names_of_months ;
      week_description  =  german_week_description ;

      this_month  =  given_month ;
      this_year   =  given_year  ;
   }
}


class  CalendarsMore
{
   public static void main( String[] not_in_use )
   {
      Scanner keyboard = new Scanner( System.in ) ;

      EnglishCalendar  an_english_calendar  =
                           new  EnglishCalendar( 5, 2005 ) ;

      an_english_calendar.print() ;

      SpanishCalendar  a_spanish_calendar  =
                           new  SpanishCalendar( 2, 2008 ) ;

      a_spanish_calendar.print() ;

      GermanCalendar  a_german_calendar  =
                           new  GermanCalendar( 2, 2006 ) ;

      a_german_calendar.print() ;
   }
}