/**
 * Copyright (c) 1999 GEMPLUS group. All Rights Reserved.
 *------------------------------------------------------------------------------
 *  Project name:  PACAP  - cas d'étude -
 *
 *
 *  Platform    :  Java virtual machine
 *  Language    :  JAVA 1.1.x
 *  Devl tool   :  Symantec VisualCafe
 *
 *  Original author: Thierry Bressure
 *------------------------------------------------------------------------------
 */


package com.gemplus.pacap.utils;

public abstract class Mois extends Object{

	////////////////      ATTRIBUTS       ////////////////

	public static final byte JANVIER	= (byte)1;
	public static final byte FEVRIER	= (byte)2;
	public static final byte MARS		= (byte)3;
	public static final byte AVRIL		= (byte)4;
	public static final byte MAI		= (byte)5;
	public static final byte JUIN		= (byte)6;
	public static final byte JUILLET	= (byte)7;
	public static final byte AOUT		= (byte)8;
	public static final byte SEPTEMBRE	= (byte)9;
	public static final byte OCTOBRE	= (byte)10;
	public static final byte NOVEMBRE	= (byte)11;
	public static final byte DECEMBRE	= (byte)12;

	public static final byte MIN	= Mois.JANVIER;
	public static final byte MAX	= Mois.DECEMBRE;

	///////////////     CONSTRUCTEUR     ////////////////



	////////////////       METHODES      ///////////////
    /*@ 
      //modifies \nothing ;
      requires true ;
      ensures \result == ((j >= MIN && j <= MAX)) ;
      //exsures (RuntimeException) false ;
    */
	public static boolean check(byte j) {
		return ((j >= Mois.MIN) && (j <= Mois.MAX));
	}

}