package org.eclipse.jdt.internal.compiler.impl;

/*
 * (c) Copyright IBM Corp. 2000, 2001.
 * All Rights Reserved.
 */
import org.eclipse.jdt.internal.compiler.ast.*;
import org.eclipse.jdt.internal.compiler.lookup.*;
import org.eclipse.jdt.internal.compiler.problem.*;
import org.eclipse.jdt.internal.compiler.util.*;

public abstract class Constant implements TypeIds, OperatorIds {
	public static final Constant NotAConstant = new DoubleConstant(Double.NaN);

	public static final IntConstant Zero = new IntConstant(0);
	public static final IntConstant Two = new IntConstant(2);
	public static final IntConstant One = new IntConstant(1);
public boolean booleanValue() {
	throw new ShouldNotImplement(Util.bind("constant.cannotCastedInto"/*nonNLS*/,typeName(),"boolean"/*nonNLS*/));
}
public byte byteValue() {
	throw new ShouldNotImplement(Util.bind("constant.cannotCastedInto"/*nonNLS*/,typeName(),"byte"/*nonNLS*/));
}
public final Constant castTo(int conversionToTargetType){
	//the cast is an int of the form
	// (castId<<4)+typeId (in order to follow the
	//user written style (cast)expression ....
	//This method assumes that the TC is done (correctly :-)

	if (this == NotAConstant) return NotAConstant ;
	switch(conversionToTargetType){
		case T_undefined : 						return this;
//	    case (T_undefined<<4)+T_undefined  	 : return NotAConstant ;  
//	    case (T_undefined<<4)+T_byte  		 : return NotAConstant ;   
//	    case (T_undefined<<4)+T_long  		 : return NotAConstant ;   
//	    case (T_undefined<<4)+T_short  		 : return NotAConstant ;   
//	    case (T_undefined<<4)+T_void  		 : return NotAConstant ;   
//	    case (T_undefined<<4)+T_String  	 : return NotAConstant ;   
//	    case (T_undefined<<4)+T_Object  	 : return NotAConstant ;   
//	    case (T_undefined<<4)+T_double  	 : return NotAConstant ;   
//	    case (T_undefined<<4)+T_float  		 : return NotAConstant ;   
//	    case (T_undefined<<4)+T_boolean 	 : return NotAConstant ;   
//	    case (T_undefined<<4)+T_char  		 : return NotAConstant ;   
//	    case (T_undefined<<4)+T_int  		 : return NotAConstant ;   
//	    case (T_undefined<<4)+T_null  		 : return NotAConstant ;   
	
//	    case (T_byte<<4)+T_undefined  	 : return NotAConstant ;   
	    case (T_byte<<4)+T_byte  		 : return this ;  
	    case (T_byte<<4)+T_long  		 : return Constant.fromValue((byte)this.longValue()) ; 
	    case (T_byte<<4)+T_short  		 : return Constant.fromValue((byte)this.shortValue());    
//	    case (T_byte<<4)+T_void  		 : return NotAConstant ;   
//	    case (T_byte<<4)+T_String  	 	 : return NotAConstant ;   
//	    case (T_byte<<4)+T_Object  	 	 : return NotAConstant ;   
	    case (T_byte<<4)+T_double  	 	 : return Constant.fromValue((byte)this.doubleValue());    
	    case (T_byte<<4)+T_float  		 : return Constant.fromValue((byte)this.floatValue());    
//	    case (T_byte<<4)+T_boolean  	 : return NotAConstant ;   
	    case (T_byte<<4)+T_char  		 : return Constant.fromValue((byte)this.charValue());    
	    case (T_byte<<4)+T_int  		 : return Constant.fromValue((byte)this.intValue());    
//	    case (T_byte<<4)+T_null  		 : return NotAConstant ;   

//	    case (T_long<<4)+T_undefined  	 : return NotAConstant ;   
	    case (T_long<<4)+T_byte  		 : return Constant.fromValue((long)this.byteValue()); 
	    case (T_long<<4)+T_long  		 : return this ; 
	    case (T_long<<4)+T_short  		 : return Constant.fromValue((long)this.shortValue()); 
//	    case (T_long<<4)+T_void  		 : return NotAConstant ;   
//	    case (T_long<<4)+T_String  		 : return NotAConstant ;   
//	    case (T_long<<4)+T_Object  		 : return NotAConstant ;   
	    case (T_long<<4)+T_double  		 : return Constant.fromValue((long)this.doubleValue());   
	    case (T_long<<4)+T_float  		 : return Constant.fromValue((long)this.floatValue());   
//	    case (T_long<<4)+T_boolean  	 : return NotAConstant ;   
	    case (T_long<<4)+T_char  		 : return Constant.fromValue((long)this.charValue());  
	    case (T_long<<4)+T_int  		 : return Constant.fromValue((long)this.intValue());  
//	    case (T_long<<4)+T_null  		 : return NotAConstant ;   

//	    case (T_short<<4)+T_undefined  	 : return NotAConstant ;   
	    case (T_short<<4)+T_byte  		 : return Constant.fromValue((short)this.byteValue());  
	    case (T_short<<4)+T_long  		 : return Constant.fromValue((short)this.longValue());   
	    case (T_short<<4)+T_short  		 : return this ;  
//	    case (T_short<<4)+T_void  		 : return NotAConstant ;   
//	    case (T_short<<4)+T_String  	 : return NotAConstant ;   
//	    case (T_short<<4)+T_Object  	 : return NotAConstant ;   
	    case (T_short<<4)+T_double  	 : return Constant.fromValue((short)this.doubleValue()) ;   
	    case (T_short<<4)+T_float  		 : return Constant.fromValue((short)this.floatValue()) ;   
//	    case (T_short<<4)+T_boolean 	 : return NotAConstant ;   
	    case (T_short<<4)+T_char  		 : return Constant.fromValue((short)this.charValue()) ;  
	    case (T_short<<4)+T_int  		 : return Constant.fromValue((short)this.intValue()) ;  
//	    case (T_short<<4)+T_null  		 : return NotAConstant ;   

//	    case (T_void<<4)+T_undefined  	 : return NotAConstant ;   
//	    case (T_void<<4)+T_byte  		 : return NotAConstant ;   
//	    case (T_void<<4)+T_long  		 : return NotAConstant ;   
//	    case (T_void<<4)+T_short  		 : return NotAConstant ;   
//	    case (T_void<<4)+T_void  		 : return NotAConstant ;   
//	    case (T_void<<4)+T_String  	 	 : return NotAConstant ;   
//	    case (T_void<<4)+T_Object  	 	 : return NotAConstant ;   
//	    case (T_void<<4)+T_double  	 	 : return NotAConstant ;   
//	    case (T_void<<4)+T_float  		 : return NotAConstant ;   
//	    case (T_void<<4)+T_boolean  	 : return NotAConstant ;   
//	    case (T_void<<4)+T_char  		 : return NotAConstant ;   
//	    case (T_void<<4)+T_int  		 : return NotAConstant ;   
//	    case (T_void<<4)+T_null  		 : return NotAConstant ;   

//	    case (T_String<<4)+T_undefined   : return NotAConstant ;   
//	    case (T_String<<4)+T_byte  		 : return NotAConstant ;   
//	    case (T_String<<4)+T_long  		 : return NotAConstant ;   
//	    case (T_String<<4)+T_short  	 : return NotAConstant ;   
//	    case (T_String<<4)+T_void  		 : return NotAConstant ;   
	    case (T_String<<4)+T_String  	 : return this ;   
//	    case (T_String<<4)+T_Object  	 : return NotAConstant ;   
//	    case (T_String<<4)+T_double  	 : return NotAConstant ;   
//	    case (T_String<<4)+T_float  	 : return NotAConstant ;   
//	    case (T_String<<4)+T_boolean 	 : return NotAConstant ;   
//	    case (T_String<<4)+T_char  		 : return NotAConstant ;   
//	    case (T_String<<4)+T_int  		 : return NotAConstant ;   
//	    case (T_String<<4)+T_null  		 : return NotAConstant ;   

//	    case (T_Object<<4)+T_undefined   	: return NotAConstant ;   
//	    case (T_Object<<4)+T_byte  		 	: return NotAConstant ;   
//	    case (T_Object<<4)+T_long  		 	: return NotAConstant ;   
//	    case (T_Object<<4)+T_short 		 	: return NotAConstant ;   
//	    case (T_Object<<4)+T_void  		 	: return NotAConstant ;   
//	    case (T_Object<<4)+T_String  		: return NotAConstant ;   
//	    case (T_Object<<4)+T_Object  		: return NotAConstant ;   
//	    case (T_Object<<4)+T_double  		: return NotAConstant ;   
//	    case (T_Object<<4)+T_float  		: return NotAConstant ;   
//	    case (T_Object<<4)+T_boolean 		: return NotAConstant ;   
//	    case (T_Object<<4)+T_char  		 	: return NotAConstant ;   
//	    case (T_Object<<4)+T_int  			: return NotAConstant ;   
	    case (T_Object<<4)+T_null  		 	: return this ;   

//	    case (T_double<<4)+T_undefined  	: return NotAConstant ;   
	    case (T_double<<4)+T_byte  		 	: return Constant.fromValue((double)this.byteValue()) ;   
	    case (T_double<<4)+T_long  		 	: return Constant.fromValue((double)this.longValue()) ;   
	    case (T_double<<4)+T_short  		: return Constant.fromValue((double)this.shortValue()) ;   
//	    case (T_double<<4)+T_void  		 	: return NotAConstant ;   
//	    case (T_double<<4)+T_String  		: return NotAConstant ;   
//	    case (T_double<<4)+T_Object  		: return NotAConstant ;   
	    case (T_double<<4)+T_double  		: return this ;   
	    case (T_double<<4)+T_float  		: return Constant.fromValue((double)this.floatValue()) ;   
//	    case (T_double<<4)+T_boolean  		: return NotAConstant ;   
	    case (T_double<<4)+T_char  		 	: return Constant.fromValue((double)this.charValue()) ;   
	    case (T_double<<4)+T_int  			: return Constant.fromValue((double)this.intValue());  
//	    case (T_double<<4)+T_null  		 	: return NotAConstant ;   

//	    case (T_float<<4)+T_undefined  	 : return NotAConstant ;   
	    case (T_float<<4)+T_byte  		 : return Constant.fromValue((float)this.byteValue()) ;   
	    case (T_float<<4)+T_long  		 : return Constant.fromValue((float)this.longValue())  ;   
	    case (T_float<<4)+T_short  		 : return Constant.fromValue((float)this.shortValue())  ;   
//	    case (T_float<<4)+T_void  		 : return NotAConstant ;   
//	    case (T_float<<4)+T_String  	 : return NotAConstant ;   
//	    case (T_float<<4)+T_Object  	 : return NotAConstant ;   
	    case (T_float<<4)+T_double  	 : return Constant.fromValue((float)this.doubleValue())  ;   
	    case (T_float<<4)+T_float  		 : return this ;   
//	    case (T_float<<4)+T_boolean 	 : return NotAConstant ;   
	    case (T_float<<4)+T_char  		 : return Constant.fromValue((float)this.charValue())  ;   
	    case (T_float<<4)+T_int  		 : return Constant.fromValue((float)this.intValue())  ;   
//	    case (T_float<<4)+T_null  		 : return NotAConstant ;   

//	    case (T_boolean<<4)+T_undefined  		 : return NotAConstant ;   
//	    case (T_boolean<<4)+T_byte  			 : return NotAConstant ;   
//	    case (T_boolean<<4)+T_long  			 : return NotAConstant ;   
//	    case (T_boolean<<4)+T_short  			 : return NotAConstant ;   
//	    case (T_boolean<<4)+T_void  			 : return NotAConstant ;   
//	    case (T_boolean<<4)+T_String  			 : return NotAConstant ;   
//	    case (T_boolean<<4)+T_Object  			 : return NotAConstant ;   
//	    case (T_boolean<<4)+T_double  			 : return NotAConstant ;   
//	    case (T_boolean<<4)+T_float  			 : return NotAConstant ;   
	    case (T_boolean<<4)+T_boolean  			 : return this ;  
//	    case (T_boolean<<4)+T_char  			 : return NotAConstant ;   
//	    case (T_boolean<<4)+T_int  				 : return NotAConstant ;   
//	    case (T_boolean<<4)+T_null  			 : return NotAConstant ;   
	
//	    case (T_char<<4)+T_undefined  	 : return NotAConstant ;   
	    case (T_char<<4)+T_byte  		 : return Constant.fromValue((char)this.byteValue())  ;  
	    case (T_char<<4)+T_long  		 : return Constant.fromValue((char)this.longValue())  ;  
	    case (T_char<<4)+T_short  		 : return Constant.fromValue((char)this.shortValue()) ;  
//	    case (T_char<<4)+T_void  		 : return NotAConstant ;   
//	    case (T_char<<4)+T_String  		 : return NotAConstant ;   
//	    case (T_char<<4)+T_Object  		 : return NotAConstant ;   
	    case (T_char<<4)+T_double  		 : return Constant.fromValue((char)this.doubleValue()) ;   
	    case (T_char<<4)+T_float  		 : return Constant.fromValue((char)this.floatValue()) ;   
//	    case (T_char<<4)+T_boolean  	 : return NotAConstant ;   
	    case (T_char<<4)+T_char  		 : return this ;  
	    case (T_char<<4)+T_int  		 : return Constant.fromValue((char)this.intValue()) ;  
//	    case (T_char<<4)+T_null  		 : return NotAConstant ;   
	
//	    case (T_int<<4)+T_undefined  	 : return NotAConstant ;   
	    case (T_int<<4)+T_byte  		 : return Constant.fromValue((int)this.byteValue()) ;  
	    case (T_int<<4)+T_long  		 : return Constant.fromValue((int)this.longValue())  ;  
	    case (T_int<<4)+T_short  		 : return Constant.fromValue((int)this.shortValue())  ;  
//	    case (T_int<<4)+T_void  		 : return NotAConstant ;   
//	    case (T_int<<4)+T_String  		 : return NotAConstant ;   
//	    case (T_int<<4)+T_Object  		 : return NotAConstant ;   
	    case (T_int<<4)+T_double  		 : return Constant.fromValue((int)this.doubleValue())  ;   
	    case (T_int<<4)+T_float  		 : return Constant.fromValue((int)this.floatValue())  ;   
//	    case (T_int<<4)+T_boolean  	 	 : return NotAConstant ;   
	    case (T_int<<4)+T_char  		 : return Constant.fromValue((int)this.charValue()) ;  
	    case (T_int<<4)+T_int  		 	 : return this ;  
//	    case (T_int<<4)+T_null  		 : return NotAConstant ;   

//	    case (T_null<<4)+T_undefined  		 : return NotAConstant ;   
//	    case (T_null<<4)+T_byte  			 : return NotAConstant ;   
//	    case (T_null<<4)+T_long  			 : return NotAConstant ;   
//	    case (T_null<<4)+T_short  			 : return NotAConstant ;   
//	    case (T_null<<4)+T_void  			 : return NotAConstant ;   
//	    case (T_null<<4)+T_String  		 	 : return NotAConstant ;   
//	    case (T_null<<4)+T_Object  			 : return NotAConstant ;   
//	    case (T_null<<4)+T_double  		 	 : return NotAConstant ;   
//	    case (T_null<<4)+T_float  			 : return NotAConstant ;   
//	    case (T_null<<4)+T_boolean  		 : return NotAConstant ;   
//	    case (T_null<<4)+T_char  			 : return NotAConstant ;   
//	    case (T_null<<4)+T_int  			 : return NotAConstant ;   
	    case (T_null<<4)+T_null  			 : return this ;
	}

	

	return NotAConstant ;
}
public char charValue() {
	throw new ShouldNotImplement(Util.bind("constant.cannotCastedInto"/*nonNLS*/,typeName(),"char"/*nonNLS*/));
}
public static final Constant computeConstantOperation(Constant cst, int id, int operator) {
	//this method  assumes that the TC has been done . 
	//the result should be availbale with not runtime error

	switch (operator) {
		case NOT	: 	if ( cst.booleanValue() == true ) return Constant.fromValue(false);
						return Constant.fromValue(true);
		case PLUS	:	return cst ; //apriori we do not need to clone it
		case MINUS	:	//the two special -9223372036854775808L and -2147483648 are inlined at parseTime
						switch (id){
							case T_float  :	float f ;
											if ( (f= cst.floatValue()) == 0.0f)
											{ //positive and negative 0....
												if (Float.floatToIntBits(f) == 0)
													return Constant.fromValue(-0.0f);
												else
													return Constant.fromValue(0.0f);}
											break; //default case
							case T_double : double d ;
											if ( (d= cst.doubleValue()) == 0.0d)
											{ //positive and negative 0....
												if (Double.doubleToLongBits(d) == 0)
													return Constant.fromValue(-0.0d);
												else
													return Constant.fromValue(0.0d);}
											break; //default case
						}
						return computeConstantOperationMINUS(Zero,T_int,operator,cst,id);
		case TWIDDLE:	
			switch (id){
				case T_char :	return Constant.fromValue(~ cst.charValue()) ;
				case T_byte:	return Constant.fromValue(~ cst.byteValue()) ;
				case T_short:	return Constant.fromValue(~ cst.shortValue()) ;
				case T_int:		return Constant.fromValue(~ cst.intValue()) ;
				case T_long:	return Constant.fromValue(~ cst.longValue()) ;
				default : return NotAConstant;} //should not occur.....(conservative code)
		default : return NotAConstant ;}} //should not occur....(conservative code)
public static final Constant computeConstantOperation(Constant left, int leftId, int operator, Constant right, int rightId) {
	//this method  assumes that the TC has been done . So (except for divide by zero)
	//the result should be availbale with not runtime error

	switch (operator) {
		case AND		: return computeConstantOperationAND		(left,leftId,operator,right,rightId) ;
		case AND_AND	: return computeConstantOperationAND_AND	(left,leftId,operator,right,rightId) ;
		case DIVIDE 	: return computeConstantOperationDIVIDE		(left,leftId,operator,right,rightId) ;
		case GREATER	: return computeConstantOperationGREATER	(left,leftId,operator,right,rightId) ;
		case GREATER_EQUAL	: return computeConstantOperationGREATER_EQUAL(left,leftId,operator,right,rightId) ;
		case LEFT_SHIFT	: return computeConstantOperationLEFT_SHIFT	(left,leftId,operator,right,rightId) ;
		case LESS		: return computeConstantOperationLESS		(left,leftId,operator,right,rightId) ;
		case LESS_EQUAL	: return computeConstantOperationLESS_EQUAL	(left,leftId,operator,right,rightId) ;
		case MINUS		: return computeConstantOperationMINUS		(left,leftId,operator,right,rightId) ;
		case MULTIPLY	: return computeConstantOperationMULTIPLY	(left,leftId,operator,right,rightId) ;
		case OR			: return computeConstantOperationOR			(left,leftId,operator,right,rightId) ;
		case OR_OR		: return computeConstantOperationOR_OR		(left,leftId,operator,right,rightId) ;
		case PLUS		: return computeConstantOperationPLUS		(left,leftId,operator,right,rightId) ;
		case REMAINDER	: return computeConstantOperationREMAINDER	(left,leftId,operator,right,rightId) ;
		case RIGHT_SHIFT: return computeConstantOperationRIGHT_SHIFT(left,leftId,operator,right,rightId) ;
		case UNSIGNED_RIGHT_SHIFT: return computeConstantOperationUNSIGNED_RIGHT_SHIFT(left,leftId,operator,right,rightId) ;
		case XOR		: return computeConstantOperationXOR		(left,leftId,operator,right,rightId) ;

		default : return NotAConstant ;}} //should not occurs....(conservative code)
public static final Constant computeConstantOperationAND(Constant left, int leftId, int operator, Constant right, int rightId) {
	//this method  assumes that the TC has been done . 
	
	switch (leftId){
		case T_boolean :		return Constant.fromValue(left.booleanValue() & right.booleanValue()) ;
		case T_char :
			switch (rightId){
				case T_char :	return Constant.fromValue(left.charValue() & right.charValue()) ;
				case T_byte:	return Constant.fromValue(left.charValue() & right.byteValue()) ;
				case T_short:	return Constant.fromValue(left.charValue() & right.shortValue()) ;
				case T_int:		return Constant.fromValue(left.charValue() & right.intValue()) ;
				case T_long:	return Constant.fromValue(left.charValue() & right.longValue()) ;}
		break ;
		case T_byte :
			switch (rightId){
				case T_char :	return Constant.fromValue(left.byteValue() & right.charValue()) ;
				case T_byte:	return Constant.fromValue(left.byteValue() & right.byteValue()) ;
				case T_short:	return Constant.fromValue(left.byteValue() & right.shortValue()) ;
				case T_int:		return Constant.fromValue(left.byteValue() & right.intValue()) ;
				case T_long:	return Constant.fromValue(left.byteValue() & right.longValue()) ;}
		break;
		case T_short :
			switch (rightId){
				case T_char :	return Constant.fromValue(left.shortValue() & right.charValue()) ;
				case T_byte:	return Constant.fromValue(left.shortValue() & right.byteValue()) ;
				case T_short:	return Constant.fromValue(left.shortValue() & right.shortValue()) ;
				case T_int:		return Constant.fromValue(left.shortValue() & right.intValue()) ;
				case T_long:	return Constant.fromValue(left.shortValue() & right.longValue()) ;}
		break;
		case T_int :
			switch (rightId){
				case T_char :	return Constant.fromValue(left.intValue() & right.charValue()) ;
				case T_byte:	return Constant.fromValue(left.intValue() & right.byteValue()) ;
				case T_short:	return Constant.fromValue(left.intValue() & right.shortValue()) ;
				case T_int:		return Constant.fromValue(left.intValue() & right.intValue()) ;
				case T_long:	return Constant.fromValue(left.intValue() & right.longValue()) ;}
		break;
		case T_long :
			switch (rightId){
				case T_char :	return Constant.fromValue(left.longValue() & right.charValue()) ;
				case T_byte:	return Constant.fromValue(left.longValue() & right.byteValue()) ;
				case T_short:	return Constant.fromValue(left.longValue() & right.shortValue()) ;
				case T_int:		return Constant.fromValue(left.longValue() & right.intValue()) ;
				case T_long:	return Constant.fromValue(left.longValue() & right.longValue()) ;}

		}
	

	return NotAConstant ;}  // should not get here 
public static final Constant computeConstantOperationAND_AND(Constant left, int leftId, int operator, Constant right, int rightId) {
	//this method  assumes that the TC has been done . 

	return Constant.fromValue(left.booleanValue() && right.booleanValue()) ;}
public static final Constant computeConstantOperationDIVIDE(Constant left, int leftId, int operator, Constant right, int rightId) {
	//this method  assumes that the TC has been done . 
	// the /0 must be handled outside this method (error reporting)

	switch (leftId){
		case T_char :
			switch (rightId){
				case T_char :	return Constant.fromValue(left.charValue() / right.charValue()) ;
				case T_float:	return Constant.fromValue(left.charValue() / right.floatValue()) ;
				case T_double:	return Constant.fromValue(left.charValue() / right.doubleValue()) ;
				case T_byte:	return Constant.fromValue(left.charValue() / right.byteValue()) ;
				case T_short:	return Constant.fromValue(left.charValue() / right.shortValue()) ;
				case T_int:		return Constant.fromValue(left.charValue() / right.intValue()) ;
				case T_long:	return Constant.fromValue(left.charValue() / right.longValue()) ;}
		break;
		case T_float :
			switch (rightId){
				case T_char :	return Constant.fromValue(left.floatValue() / right.charValue()) ;
				case T_float:	return Constant.fromValue(left.floatValue() / right.floatValue()) ;
				case T_double:	return Constant.fromValue(left.floatValue() / right.doubleValue()) ;
				case T_byte:	return Constant.fromValue(left.floatValue() / right.byteValue()) ;
				case T_short:	return Constant.fromValue(left.floatValue() / right.shortValue()) ;
				case T_int:		return Constant.fromValue(left.floatValue() / right.intValue()) ;
				case T_long:	return Constant.fromValue(left.floatValue() / right.longValue()) ;}
		break;
		case T_double :
			switch (rightId){
				case T_char :	return Constant.fromValue(left.doubleValue() / right.charValue()) ;
				case T_float:	return Constant.fromValue(left.doubleValue() / right.floatValue()) ;
				case T_double:	return Constant.fromValue(left.doubleValue() / right.doubleValue()) ;
				case T_byte:	return Constant.fromValue(left.doubleValue() / right.byteValue()) ;
				case T_short:	return Constant.fromValue(left.doubleValue() / right.shortValue()) ;
				case T_int:		return Constant.fromValue(left.doubleValue() / right.intValue()) ;
				case T_long:	return Constant.fromValue(left.doubleValue() / right.longValue()) ;}
		break;
		case T_byte :
			switch (rightId){
				case T_char :	return Constant.fromValue(left.byteValue() / right.charValue()) ;
				case T_float:	return Constant.fromValue(left.byteValue() / right.floatValue()) ;
				case T_double:	return Constant.fromValue(left.byteValue() / right.doubleValue()) ;
				case T_byte:	return Constant.fromValue(left.byteValue() / right.byteValue()) ;
				case T_short:	return Constant.fromValue(left.byteValue() / right.shortValue()) ;
				case T_int:		return Constant.fromValue(left.byteValue() / right.intValue()) ;
				case T_long:	return Constant.fromValue(left.byteValue() / right.longValue()) ;}
		break;
		case T_short :
			switch (rightId){
				case T_char :	return Constant.fromValue(left.shortValue() / right.charValue()) ;
				case T_float:	return Constant.fromValue(left.shortValue() / right.floatValue()) ;
				case T_double:	return Constant.fromValue(left.shortValue() / right.doubleValue()) ;
				case T_byte:	return Constant.fromValue(left.shortValue() / right.byteValue()) ;
				case T_short:	return Constant.fromValue(left.shortValue() / right.shortValue()) ;
				case T_int:		return Constant.fromValue(left.shortValue() / right.intValue()) ;
				case T_long:	return Constant.fromValue(left.shortValue() / right.longValue()) ;}
		break;
		case T_int :
			switch (rightId){
				case T_char :	return Constant.fromValue(left.intValue() / right.charValue()) ;
				case T_float:	return Constant.fromValue(left.intValue() / right.floatValue()) ;
				case T_double:	return Constant.fromValue(left.intValue() / right.doubleValue()) ;
				case T_byte:	return Constant.fromValue(left.intValue() / right.byteValue()) ;
				case T_short:	return Constant.fromValue(left.intValue() / right.shortValue()) ;
				case T_int:		return Constant.fromValue(left.intValue() / right.intValue()) ;
				case T_long:	return Constant.fromValue(left.intValue() / right.longValue()) ;}
		break;
		case T_long :
			switch (rightId){
				case T_char :	return Constant.fromValue(left.longValue() / right.charValue()) ;
				case T_float:	return Constant.fromValue(left.longValue() / right.floatValue()) ;
				case T_double:	return Constant.fromValue(left.longValue() / right.doubleValue()) ;
				case T_byte:	return Constant.fromValue(left.longValue() / right.byteValue()) ;
				case T_short:	return Constant.fromValue(left.longValue() / right.shortValue()) ;
				case T_int:		return Constant.fromValue(left.longValue() / right.intValue()) ;
				case T_long:	return Constant.fromValue(left.longValue() / right.longValue()) ;}

		}
	

	return NotAConstant ;}  //should not get here 
public static final Constant computeConstantOperationEQUAL_EQUAL(Constant left, int leftId, int operator, Constant right, int rightId) {
	//this method  assumes that the TC has been done . 
	
	switch (leftId){
		case T_boolean :
			if (rightId == T_boolean) {
				return Constant.fromValue(left.booleanValue() == right.booleanValue()) ;
			}
		break ;
		case T_char :
			switch (rightId){
				case T_char :	return Constant.fromValue(left.charValue() == right.charValue()) ;
				case T_float:	return Constant.fromValue(left.charValue() == right.floatValue()) ;
				case T_double:	return Constant.fromValue(left.charValue() == right.doubleValue()) ;
				case T_byte:	return Constant.fromValue(left.charValue() == right.byteValue()) ;
				case T_short:	return Constant.fromValue(left.charValue() == right.shortValue()) ;
				case T_int:		return Constant.fromValue(left.charValue() == right.intValue()) ;
				case T_long:	return Constant.fromValue(left.charValue() == right.longValue()) ;}
		break;
		case T_float :
			switch (rightId){
				case T_char :	return Constant.fromValue(left.floatValue() == right.charValue()) ;
				case T_float:	return Constant.fromValue(left.floatValue() == right.floatValue()) ;
				case T_double:	return Constant.fromValue(left.floatValue() == right.doubleValue()) ;
				case T_byte:	return Constant.fromValue(left.floatValue() == right.byteValue()) ;
				case T_short:	return Constant.fromValue(left.floatValue() == right.shortValue()) ;
				case T_int:		return Constant.fromValue(left.floatValue() == right.intValue()) ;
				case T_long:	return Constant.fromValue(left.floatValue() == right.longValue()) ;}
		break;
		case T_double :
			switch (rightId){
				case T_char :	return Constant.fromValue(left.doubleValue() == right.charValue()) ;
				case T_float:	return Constant.fromValue(left.doubleValue() == right.floatValue()) ;
				case T_double:	return Constant.fromValue(left.doubleValue() == right.doubleValue()) ;
				case T_byte:	return Constant.fromValue(left.doubleValue() == right.byteValue()) ;
				case T_short:	return Constant.fromValue(left.doubleValue() == right.shortValue()) ;
				case T_int:		return Constant.fromValue(left.doubleValue() == right.intValue()) ;
				case T_long:	return Constant.fromValue(left.doubleValue() == right.longValue()) ;}
		break;
		case T_byte :
			switch (rightId){
				case T_char :	return Constant.fromValue(left.byteValue() == right.charValue()) ;
				case T_float:	return Constant.fromValue(left.byteValue() == right.floatValue()) ;
				case T_double:	return Constant.fromValue(left.byteValue() == right.doubleValue()) ;
				case T_byte:	return Constant.fromValue(left.byteValue() == right.byteValue()) ;
				case T_short:	return Constant.fromValue(left.byteValue() == right.shortValue()) ;
				case T_int:		return Constant.fromValue(left.byteValue() == right.intValue()) ;
				case T_long:	return Constant.fromValue(left.byteValue() == right.longValue()) ;}
		break;			
		case T_short :
			switch (rightId){
				case T_char :	return Constant.fromValue(left.shortValue() == right.charValue()) ;
				case T_float:	return Constant.fromValue(left.shortValue() == right.floatValue()) ;
				case T_double:	return Constant.fromValue(left.shortValue() == right.doubleValue()) ;
				case T_byte:	return Constant.fromValue(left.shortValue() == right.byteValue()) ;
				case T_short:	return Constant.fromValue(left.shortValue() == right.shortValue()) ;
				case T_int:		return Constant.fromValue(left.shortValue() == right.intValue()) ;
				case T_long:	return Constant.fromValue(left.shortValue() == right.longValue()) ;}
		break;
		case T_int :
			switch (rightId){
				case T_char :	return Constant.fromValue(left.intValue() == right.charValue()) ;
				case T_float:	return Constant.fromValue(left.intValue() == right.floatValue()) ;
				case T_double:	return Constant.fromValue(left.intValue() == right.doubleValue()) ;
				case T_byte:	return Constant.fromValue(left.intValue() == right.byteValue()) ;
				case T_short:	return Constant.fromValue(left.intValue() == right.shortValue()) ;
				case T_int:		return Constant.fromValue(left.intValue() == right.intValue()) ;
				case T_long:	return Constant.fromValue(left.intValue() == right.longValue()) ;}
		break;		
		case T_long :
			switch (rightId){
				case T_char :	return Constant.fromValue(left.longValue() == right.charValue()) ;
				case T_float:	return Constant.fromValue(left.longValue() == right.floatValue()) ;
				case T_double:	return Constant.fromValue(left.longValue() == right.doubleValue()) ;
				case T_byte:	return Constant.fromValue(left.longValue() == right.byteValue()) ;
				case T_short:	return Constant.fromValue(left.longValue() == right.shortValue()) ;
				case T_int:		return Constant.fromValue(left.longValue() == right.intValue()) ;
				case T_long:	return Constant.fromValue(left.longValue() == right.longValue()) ;}
		break;
		case T_String :
			if (rightId == T_String) {
				//String are intermed in th compiler==>thus if two string constant
				//get to be compared, it is an equal on the vale which is done
				return Constant.fromValue(((StringConstant)left).compileTimeEqual((StringConstant)right)) ;
			}
		break;	
		case T_null :
			if (rightId == T_String) { 
				return Constant.fromValue(false);
			} else {
				if (rightId == T_null) { 
					return Constant.fromValue(true) ;
				}
			}
		}
	
	return Constant.fromValue(false)  ;}
public static final Constant computeConstantOperationGREATER(Constant left, int leftId, int operator, Constant right, int rightId) {
	//this method  assumes that the TC has been done . 
	
	switch (leftId){
		case T_char : 
			switch (rightId){
				case T_char :	return Constant.fromValue(left.charValue() > right.charValue()) ;
				case T_float:	return Constant.fromValue(left.charValue() > right.floatValue()) ;
				case T_double:	return Constant.fromValue(left.charValue() > right.doubleValue()) ;
				case T_byte:	return Constant.fromValue(left.charValue() > right.byteValue()) ;
				case T_short:	return Constant.fromValue(left.charValue() > right.shortValue()) ;
				case T_int:		return Constant.fromValue(left.charValue() > right.intValue()) ;
				case T_long:	return Constant.fromValue(left.charValue() > right.longValue()) ;}
		break;
		case T_float :
			switch (rightId){
				case T_char :	return Constant.fromValue(left.floatValue() > right.charValue()) ;
				case T_float:	return Constant.fromValue(left.floatValue() > right.floatValue()) ;
				case T_double:	return Constant.fromValue(left.floatValue() > right.doubleValue()) ;
				case T_byte:	return Constant.fromValue(left.floatValue() > right.byteValue()) ;
				case T_short:	return Constant.fromValue(left.floatValue() > right.shortValue()) ;
				case T_int:		return Constant.fromValue(left.floatValue() > right.intValue()) ;
				case T_long:	return Constant.fromValue(left.floatValue() > right.longValue()) ;}
		break;
		case T_double :
			switch (rightId){
				case T_char :	return Constant.fromValue(left.doubleValue() > right.charValue()) ;
				case T_float:	return Constant.fromValue(left.doubleValue() > right.floatValue()) ;
				case T_double:	return Constant.fromValue(left.doubleValue() > right.doubleValue()) ;
				case T_byte:	return Constant.fromValue(left.doubleValue() > right.byteValue()) ;
				case T_short:	return Constant.fromValue(left.doubleValue() > right.shortValue()) ;
				case T_int:		return Constant.fromValue(left.doubleValue() > right.intValue()) ;
				case T_long:	return Constant.fromValue(left.doubleValue() > right.longValue()) ;}
		break;
		case T_byte :
			switch (rightId){
				case T_char :	return Constant.fromValue(left.byteValue() > right.charValue()) ;
				case T_float:	return Constant.fromValue(left.byteValue() > right.floatValue()) ;
				case T_double:	return Constant.fromValue(left.byteValue() > right.doubleValue()) ;
				case T_byte:	return Constant.fromValue(left.byteValue() > right.byteValue()) ;
				case T_short:	return Constant.fromValue(left.byteValue() > right.shortValue()) ;
				case T_int:		return Constant.fromValue(left.byteValue() > right.intValue()) ;
				case T_long:	return Constant.fromValue(left.byteValue() > right.longValue()) ;}
		break;			
		case T_short :
			switch (rightId){
				case T_char :	return Constant.fromValue(left.shortValue() > right.charValue()) ;
				case T_float:	return Constant.fromValue(left.shortValue() > right.floatValue()) ;
				case T_double:	return Constant.fromValue(left.shortValue() > right.doubleValue()) ;
				case T_byte:	return Constant.fromValue(left.shortValue() > right.byteValue()) ;
				case T_short:	return Constant.fromValue(left.shortValue() > right.shortValue()) ;
				case T_int:		return Constant.fromValue(left.shortValue() > right.intValue()) ;
				case T_long:	return Constant.fromValue(left.shortValue() > right.longValue()) ;}
		break;
		case T_int :
			switch (rightId){
				case T_char :	return Constant.fromValue(left.intValue() > right.charValue()) ;
				case T_float:	return Constant.fromValue(left.intValue() > right.floatValue()) ;
				case T_double:	return Constant.fromValue(left.intValue() > right.doubleValue()) ;
				case T_byte:	return Constant.fromValue(left.intValue() > right.byteValue()) ;
				case T_short:	return Constant.fromValue(left.intValue() > right.shortValue()) ;
				case T_int:		return Constant.fromValue(left.intValue() > right.intValue()) ;
				case T_long:	return Constant.fromValue(left.intValue() > right.longValue()) ;}
		break;		
		case T_long :
			switch (rightId){
				case T_char :	return Constant.fromValue(left.longValue() > right.charValue()) ;
				case T_float:	return Constant.fromValue(left.longValue() > right.floatValue()) ;
				case T_double:	return Constant.fromValue(left.longValue() > right.doubleValue()) ;
				case T_byte:	return Constant.fromValue(left.longValue() > right.byteValue()) ;
				case T_short:	return Constant.fromValue(left.longValue() > right.shortValue()) ;
				case T_int:		return Constant.fromValue(left.longValue() > right.intValue()) ;
				case T_long:	return Constant.fromValue(left.longValue() > right.longValue()) ;}
			
		}
	
	return NotAConstant ;}  //should not get here 
public static final Constant computeConstantOperationGREATER_EQUAL(Constant left, int leftId, int operator, Constant right, int rightId) {
	//this method  assumes that the TC has been done . 
	
	switch (leftId){
		case T_char : 
			switch (rightId){
				case T_char :	return Constant.fromValue(left.charValue() >= right.charValue()) ;
				case T_float:	return Constant.fromValue(left.charValue() >= right.floatValue()) ;
				case T_double:	return Constant.fromValue(left.charValue() >= right.doubleValue()) ;
				case T_byte:	return Constant.fromValue(left.charValue() >= right.byteValue()) ;
				case T_short:	return Constant.fromValue(left.charValue() >= right.shortValue()) ;
				case T_int:		return Constant.fromValue(left.charValue() >= right.intValue()) ;
				case T_long:	return Constant.fromValue(left.charValue() >= right.longValue()) ;}
		break;
		case T_float :
			switch (rightId){
				case T_char :	return Constant.fromValue(left.floatValue() >= right.charValue()) ;
				case T_float:	return Constant.fromValue(left.floatValue() >= right.floatValue()) ;
				case T_double:	return Constant.fromValue(left.floatValue() >= right.doubleValue()) ;
				case T_byte:	return Constant.fromValue(left.floatValue() >= right.byteValue()) ;
				case T_short:	return Constant.fromValue(left.floatValue() >= right.shortValue()) ;
				case T_int:		return Constant.fromValue(left.floatValue() >= right.intValue()) ;
				case T_long:	return Constant.fromValue(left.floatValue() >= right.longValue()) ;}
		break;
		case T_double :
			switch (rightId){
				case T_char :	return Constant.fromValue(left.doubleValue() >= right.charValue()) ;
				case T_float:	return Constant.fromValue(left.doubleValue() >= right.floatValue()) ;
				case T_double:	return Constant.fromValue(left.doubleValue() >= right.doubleValue()) ;
				case T_byte:	return Constant.fromValue(left.doubleValue() >= right.byteValue()) ;
				case T_short:	return Constant.fromValue(left.doubleValue() >= right.shortValue()) ;
				case T_int:		return Constant.fromValue(left.doubleValue() >= right.intValue()) ;
				case T_long:	return Constant.fromValue(left.doubleValue() >= right.longValue()) ;}
		break;
		case T_byte :
			switch (rightId){
				case T_char :	return Constant.fromValue(left.byteValue() >= right.charValue()) ;
				case T_float:	return Constant.fromValue(left.byteValue() >= right.floatValue()) ;
				case T_double:	return Constant.fromValue(left.byteValue() >= right.doubleValue()) ;
				case T_byte:	return Constant.fromValue(left.byteValue() >= right.byteValue()) ;
				case T_short:	return Constant.fromValue(left.byteValue() >= right.shortValue()) ;
				case T_int:		return Constant.fromValue(left.byteValue() >= right.intValue()) ;
				case T_long:	return Constant.fromValue(left.byteValue() >= right.longValue()) ;}
		break;			
		case T_short :
			switch (rightId){
				case T_char :	return Constant.fromValue(left.shortValue() >= right.charValue()) ;
				case T_float:	return Constant.fromValue(left.shortValue() >= right.floatValue()) ;
				case T_double:	return Constant.fromValue(left.shortValue() >= right.doubleValue()) ;
				case T_byte:	return Constant.fromValue(left.shortValue() >= right.byteValue()) ;
				case T_short:	return Constant.fromValue(left.shortValue() >= right.shortValue()) ;
				case T_int:		return Constant.fromValue(left.shortValue() >= right.intValue()) ;
				case T_long:	return Constant.fromValue(left.shortValue() >= right.longValue()) ;}
		break;
		case T_int :
			switch (rightId){
				case T_char :	return Constant.fromValue(left.intValue() >= right.charValue()) ;
				case T_float:	return Constant.fromValue(left.intValue() >= right.floatValue()) ;
				case T_double:	return Constant.fromValue(left.intValue() >= right.doubleValue()) ;
				case T_byte:	return Constant.fromValue(left.intValue() >= right.byteValue()) ;
				case T_short:	return Constant.fromValue(left.intValue() >= right.shortValue()) ;
				case T_int:		return Constant.fromValue(left.intValue() >= right.intValue()) ;
				case T_long:	return Constant.fromValue(left.intValue() >= right.longValue()) ;}
		break;		
		case T_long :
			switch (rightId){
				case T_char :	return Constant.fromValue(left.longValue() >= right.charValue()) ;
				case T_float:	return Constant.fromValue(left.longValue() >= right.floatValue()) ;
				case T_double:	return Constant.fromValue(left.longValue() >= right.doubleValue()) ;
				case T_byte:	return Constant.fromValue(left.longValue() >= right.byteValue()) ;
				case T_short:	return Constant.fromValue(left.longValue() >= right.shortValue()) ;
				case T_int:		return Constant.fromValue(left.longValue() >= right.intValue()) ;
				case T_long:	return Constant.fromValue(left.longValue() >= right.longValue()) ;}
			
		}
	
	return NotAConstant ;}  //should not get here 
public static final Constant computeConstantOperationLEFT_SHIFT(Constant left, int leftId, int operator, Constant right, int rightId) {
	//this method  assumes that the TC has been done . 
	
	switch (leftId){
		case T_char :
			switch (rightId){
				case T_char :	return Constant.fromValue(left.charValue() << right.charValue()) ;
				case T_byte:	return Constant.fromValue(left.charValue() << right.byteValue()) ;
				case T_short:	return Constant.fromValue(left.charValue() << right.shortValue()) ;
				case T_int:		return Constant.fromValue(left.charValue() << right.intValue()) ;
				case T_long:	return Constant.fromValue(left.charValue() << right.longValue()) ;}
		break ;
		case T_byte :
			switch (rightId){
				case T_char :	return Constant.fromValue(left.byteValue() << right.charValue()) ;
				case T_byte:	return Constant.fromValue(left.byteValue() << right.byteValue()) ;
				case T_short:	return Constant.fromValue(left.byteValue() << right.shortValue()) ;
				case T_int:		return Constant.fromValue(left.byteValue() << right.intValue()) ;
				case T_long:	return Constant.fromValue(left.byteValue() << right.longValue()) ;}
		break;
		case T_short :
			switch (rightId){
				case T_char :	return Constant.fromValue(left.shortValue() << right.charValue()) ;
				case T_byte:	return Constant.fromValue(left.shortValue() << right.byteValue()) ;
				case T_short:	return Constant.fromValue(left.shortValue() << right.shortValue()) ;
				case T_int:		return Constant.fromValue(left.shortValue() << right.intValue()) ;
				case T_long:	return Constant.fromValue(left.shortValue() << right.longValue()) ;}
		break;
		case T_int :
			switch (rightId){
				case T_char :	return Constant.fromValue(left.intValue() << right.charValue()) ;
				case T_byte:	return Constant.fromValue(left.intValue() << right.byteValue()) ;
				case T_short:	return Constant.fromValue(left.intValue() << right.shortValue()) ;
				case T_int:		return Constant.fromValue(left.intValue() << right.intValue()) ;
				case T_long:	return Constant.fromValue(left.intValue() << right.longValue()) ;}
		break;
		case T_long :
			switch (rightId){
				case T_char :	return Constant.fromValue(left.longValue() << right.charValue()) ;
				case T_byte:	return Constant.fromValue(left.longValue() << right.byteValue()) ;
				case T_short:	return Constant.fromValue(left.longValue() << right.shortValue()) ;
				case T_int:		return Constant.fromValue(left.longValue() << right.intValue()) ;
				case T_long:	return Constant.fromValue(left.longValue() << right.longValue()) ;}

		}
	

	return NotAConstant ;}  // should not get here 
public static final Constant computeConstantOperationLESS(Constant left, int leftId, int operator, Constant right, int rightId) {
	//this method  assumes that the TC has been done . 
	
	switch (leftId){
		case T_char : 
			switch (rightId){
				case T_char :	return Constant.fromValue(left.charValue() < right.charValue()) ;
				case T_float:	return Constant.fromValue(left.charValue() < right.floatValue()) ;
				case T_double:	return Constant.fromValue(left.charValue() < right.doubleValue()) ;
				case T_byte:	return Constant.fromValue(left.charValue() < right.byteValue()) ;
				case T_short:	return Constant.fromValue(left.charValue() < right.shortValue()) ;
				case T_int:		return Constant.fromValue(left.charValue() < right.intValue()) ;
				case T_long:	return Constant.fromValue(left.charValue() < right.longValue()) ;}
		break;
		case T_float :
			switch (rightId){
				case T_char :	return Constant.fromValue(left.floatValue() < right.charValue()) ;
				case T_float:	return Constant.fromValue(left.floatValue() < right.floatValue()) ;
				case T_double:	return Constant.fromValue(left.floatValue() < right.doubleValue()) ;
				case T_byte:	return Constant.fromValue(left.floatValue() < right.byteValue()) ;
				case T_short:	return Constant.fromValue(left.floatValue() < right.shortValue()) ;
				case T_int:		return Constant.fromValue(left.floatValue() < right.intValue()) ;
				case T_long:	return Constant.fromValue(left.floatValue() < right.longValue()) ;}
		break;
		case T_double :
			switch (rightId){
				case T_char :	return Constant.fromValue(left.doubleValue() < right.charValue()) ;
				case T_float:	return Constant.fromValue(left.doubleValue() < right.floatValue()) ;
				case T_double:	return Constant.fromValue(left.doubleValue() < right.doubleValue()) ;
				case T_byte:	return Constant.fromValue(left.doubleValue() < right.byteValue()) ;
				case T_short:	return Constant.fromValue(left.doubleValue() < right.shortValue()) ;
				case T_int:		return Constant.fromValue(left.doubleValue() < right.intValue()) ;
				case T_long:	return Constant.fromValue(left.doubleValue() < right.longValue()) ;}
		break;
		case T_byte :
			switch (rightId){
				case T_char :	return Constant.fromValue(left.byteValue() < right.charValue()) ;
				case T_float:	return Constant.fromValue(left.byteValue() < right.floatValue()) ;
				case T_double:	return Constant.fromValue(left.byteValue() < right.doubleValue()) ;
				case T_byte:	return Constant.fromValue(left.byteValue() < right.byteValue()) ;
				case T_short:	return Constant.fromValue(left.byteValue() < right.shortValue()) ;
				case T_int:		return Constant.fromValue(left.byteValue() < right.intValue()) ;
				case T_long:	return Constant.fromValue(left.byteValue() < right.longValue()) ;}
		break;			
		case T_short :
			switch (rightId){
				case T_char :	return Constant.fromValue(left.shortValue() < right.charValue()) ;
				case T_float:	return Constant.fromValue(left.shortValue() < right.floatValue()) ;
				case T_double:	return Constant.fromValue(left.shortValue() < right.doubleValue()) ;
				case T_byte:	return Constant.fromValue(left.shortValue() < right.byteValue()) ;
				case T_short:	return Constant.fromValue(left.shortValue() < right.shortValue()) ;
				case T_int:		return Constant.fromValue(left.shortValue() < right.intValue()) ;
				case T_long:	return Constant.fromValue(left.shortValue() < right.longValue()) ;}
		break;
		case T_int :
			switch (rightId){
				case T_char :	return Constant.fromValue(left.intValue() < right.charValue()) ;
				case T_float:	return Constant.fromValue(left.intValue() < right.floatValue()) ;
				case T_double:	return Constant.fromValue(left.intValue() < right.doubleValue()) ;
				case T_byte:	return Constant.fromValue(left.intValue() < right.byteValue()) ;
				case T_short:	return Constant.fromValue(left.intValue() < right.shortValue()) ;
				case T_int:		return Constant.fromValue(left.intValue() < right.intValue()) ;
				case T_long:	return Constant.fromValue(left.intValue() < right.longValue()) ;}
		break;		
		case T_long :
			switch (rightId){
				case T_char :	return Constant.fromValue(left.longValue() < right.charValue()) ;
				case T_float:	return Constant.fromValue(left.longValue() < right.floatValue()) ;
				case T_double:	return Constant.fromValue(left.longValue() < right.doubleValue()) ;
				case T_byte:	return Constant.fromValue(left.longValue() < right.byteValue()) ;
				case T_short:	return Constant.fromValue(left.longValue() < right.shortValue()) ;
				case T_int:		return Constant.fromValue(left.longValue() < right.intValue()) ;
				case T_long:	return Constant.fromValue(left.longValue() < right.longValue()) ;}
			
		}
	
	return NotAConstant ;}  //should not get here 
public static final Constant computeConstantOperationLESS_EQUAL(Constant left, int leftId, int operator, Constant right, int rightId) {
	//this method  assumes that the TC has been done . 
	
	switch (leftId){
		case T_char : 
			switch (rightId){
				case T_char :	return Constant.fromValue(left.charValue() <= right.charValue()) ;
				case T_float:	return Constant.fromValue(left.charValue() <= right.floatValue()) ;
				case T_double:	return Constant.fromValue(left.charValue() <= right.doubleValue()) ;
				case T_byte:	return Constant.fromValue(left.charValue() <= right.byteValue()) ;
				case T_short:	return Constant.fromValue(left.charValue() <= right.shortValue()) ;
				case T_int:		return Constant.fromValue(left.charValue() <= right.intValue()) ;
				case T_long:	return Constant.fromValue(left.charValue() <= right.longValue()) ;}
		break;
		case T_float :
			switch (rightId){
				case T_char :	return Constant.fromValue(left.floatValue() <= right.charValue()) ;
				case T_float:	return Constant.fromValue(left.floatValue() <= right.floatValue()) ;
				case T_double:	return Constant.fromValue(left.floatValue() <= right.doubleValue()) ;
				case T_byte:	return Constant.fromValue(left.floatValue() <= right.byteValue()) ;
				case T_short:	return Constant.fromValue(left.floatValue() <= right.shortValue()) ;
				case T_int:		return Constant.fromValue(left.floatValue() <= right.intValue()) ;
				case T_long:	return Constant.fromValue(left.floatValue() <= right.longValue()) ;}
		break;
		case T_double :
			switch (rightId){
				case T_char :	return Constant.fromValue(left.doubleValue() <= right.charValue()) ;
				case T_float:	return Constant.fromValue(left.doubleValue() <= right.floatValue()) ;
				case T_double:	return Constant.fromValue(left.doubleValue() <= right.doubleValue()) ;
				case T_byte:	return Constant.fromValue(left.doubleValue() <= right.byteValue()) ;
				case T_short:	return Constant.fromValue(left.doubleValue() <= right.shortValue()) ;
				case T_int:		return Constant.fromValue(left.doubleValue() <= right.intValue()) ;
				case T_long:	return Constant.fromValue(left.doubleValue() <= right.longValue()) ;}
		break;
		case T_byte :
			switch (rightId){
				case T_char :	return Constant.fromValue(left.byteValue() <= right.charValue()) ;
				case T_float:	return Constant.fromValue(left.byteValue() <= right.floatValue()) ;
				case T_double:	return Constant.fromValue(left.byteValue() <= right.doubleValue()) ;
				case T_byte:	return Constant.fromValue(left.byteValue() <= right.byteValue()) ;
				case T_short:	return Constant.fromValue(left.byteValue() <= right.shortValue()) ;
				case T_int:		return Constant.fromValue(left.byteValue() <= right.intValue()) ;
				case T_long:	return Constant.fromValue(left.byteValue() <= right.longValue()) ;}
		break;			
		case T_short :
			switch (rightId){
				case T_char :	return Constant.fromValue(left.shortValue() <= right.charValue()) ;
				case T_float:	return Constant.fromValue(left.shortValue() <= right.floatValue()) ;
				case T_double:	return Constant.fromValue(left.shortValue() <= right.doubleValue()) ;
				case T_byte:	return Constant.fromValue(left.shortValue() <= right.byteValue()) ;
				case T_short:	return Constant.fromValue(left.shortValue() <= right.shortValue()) ;
				case T_int:		return Constant.fromValue(left.shortValue() <= right.intValue()) ;
				case T_long:	return Constant.fromValue(left.shortValue() <= right.longValue()) ;}
		break;
		case T_int :
			switch (rightId){
				case T_char :	return Constant.fromValue(left.intValue() <= right.charValue()) ;
				case T_float:	return Constant.fromValue(left.intValue() <= right.floatValue()) ;
				case T_double:	return Constant.fromValue(left.intValue() <= right.doubleValue()) ;
				case T_byte:	return Constant.fromValue(left.intValue() <= right.byteValue()) ;
				case T_short:	return Constant.fromValue(left.intValue() <= right.shortValue()) ;
				case T_int:		return Constant.fromValue(left.intValue() <= right.intValue()) ;
				case T_long:	return Constant.fromValue(left.intValue() <= right.longValue()) ;}
		break;		
		case T_long :
			switch (rightId){
				case T_char :	return Constant.fromValue(left.longValue() <= right.charValue()) ;
				case T_float:	return Constant.fromValue(left.longValue() <= right.floatValue()) ;
				case T_double:	return Constant.fromValue(left.longValue() <= right.doubleValue()) ;
				case T_byte:	return Constant.fromValue(left.longValue() <= right.byteValue()) ;
				case T_short:	return Constant.fromValue(left.longValue() <= right.shortValue()) ;
				case T_int:		return Constant.fromValue(left.longValue() <= right.intValue()) ;
				case T_long:	return Constant.fromValue(left.longValue() <= right.longValue()) ;}
			
		}
	
	return NotAConstant ;}  //should not get here 
public static final Constant computeConstantOperationMINUS(Constant left, int leftId, int operator, Constant right, int rightId) {
	//this method  assumes that the TC has been done . 
	
	switch (leftId){
		case T_char : 
			switch (rightId){
				case T_char :	return Constant.fromValue(left.charValue() - right.charValue()) ;
				case T_float:	return Constant.fromValue(left.charValue() - right.floatValue()) ;
				case T_double:	return Constant.fromValue(left.charValue() - right.doubleValue()) ;
				case T_byte:	return Constant.fromValue(left.charValue() - right.byteValue()) ;
				case T_short:	return Constant.fromValue(left.charValue() - right.shortValue()) ;
				case T_int:		return Constant.fromValue(left.charValue() - right.intValue()) ;
				case T_long:	return Constant.fromValue(left.charValue() - right.longValue()) ;}
		break;
		case T_float :
			switch (rightId){
				case T_char :	return Constant.fromValue(left.floatValue() - right.charValue()) ;
				case T_float:	return Constant.fromValue(left.floatValue() - right.floatValue()) ;
				case T_double:	return Constant.fromValue(left.floatValue() - right.doubleValue()) ;
				case T_byte:	return Constant.fromValue(left.floatValue() - right.byteValue()) ;
				case T_short:	return Constant.fromValue(left.floatValue() - right.shortValue()) ;
				case T_int:		return Constant.fromValue(left.floatValue() - right.intValue()) ;
				case T_long:	return Constant.fromValue(left.floatValue() - right.longValue()) ;}
		break;
		case T_double :
			switch (rightId){
				case T_char :	return Constant.fromValue(left.doubleValue() - right.charValue()) ;
				case T_float:	return Constant.fromValue(left.doubleValue() - right.floatValue()) ;
				case T_double:	return Constant.fromValue(left.doubleValue() - right.doubleValue()) ;
				case T_byte:	return Constant.fromValue(left.doubleValue() - right.byteValue()) ;
				case T_short:	return Constant.fromValue(left.doubleValue() - right.shortValue()) ;
				case T_int:		return Constant.fromValue(left.doubleValue() - right.intValue()) ;
				case T_long:	return Constant.fromValue(left.doubleValue() - right.longValue()) ;}
		break;
		case T_byte :
			switch (rightId){
				case T_char :	return Constant.fromValue(left.byteValue() - right.charValue()) ;
				case T_float:	return Constant.fromValue(left.byteValue() - right.floatValue()) ;
				case T_double:	return Constant.fromValue(left.byteValue() - right.doubleValue()) ;
				case T_byte:	return Constant.fromValue(left.byteValue() - right.byteValue()) ;
				case T_short:	return Constant.fromValue(left.byteValue() - right.shortValue()) ;
				case T_int:		return Constant.fromValue(left.byteValue() - right.intValue()) ;
				case T_long:	return Constant.fromValue(left.byteValue() - right.longValue()) ;}
		break;			
		case T_short :
			switch (rightId){
				case T_char :	return Constant.fromValue(left.shortValue() - right.charValue()) ;
				case T_float:	return Constant.fromValue(left.shortValue() - right.floatValue()) ;
				case T_double:	return Constant.fromValue(left.shortValue() - right.doubleValue()) ;
				case T_byte:	return Constant.fromValue(left.shortValue() - right.byteValue()) ;
				case T_short:	return Constant.fromValue(left.shortValue() - right.shortValue()) ;
				case T_int:		return Constant.fromValue(left.shortValue() - right.intValue()) ;
				case T_long:	return Constant.fromValue(left.shortValue() - right.longValue()) ;}
		break;
		case T_int :
			switch (rightId){
				case T_char :	return Constant.fromValue(left.intValue() - right.charValue()) ;
				case T_float:	return Constant.fromValue(left.intValue() - right.floatValue()) ;
				case T_double:	return Constant.fromValue(left.intValue() - right.doubleValue()) ;
				case T_byte:	return Constant.fromValue(left.intValue() - right.byteValue()) ;
				case T_short:	return Constant.fromValue(left.intValue() - right.shortValue()) ;
				case T_int:		return Constant.fromValue(left.intValue() - right.intValue()) ;
				case T_long:	return Constant.fromValue(left.intValue() - right.longValue()) ;}
		break;		
		case T_long :
			switch (rightId){
				case T_char :	return Constant.fromValue(left.longValue() - right.charValue()) ;
				case T_float:	return Constant.fromValue(left.longValue() - right.floatValue()) ;
				case T_double:	return Constant.fromValue(left.longValue() - right.doubleValue()) ;
				case T_byte:	return Constant.fromValue(left.longValue() - right.byteValue()) ;
				case T_short:	return Constant.fromValue(left.longValue() - right.shortValue()) ;
				case T_int:		return Constant.fromValue(left.longValue() - right.intValue()) ;
				case T_long:	return Constant.fromValue(left.longValue() - right.longValue()) ;}
			
		}
	
	return NotAConstant ;}  //should not get here 
public static final Constant computeConstantOperationMULTIPLY(Constant left, int leftId, int operator, Constant right, int rightId) {
	//this method  assumes that the TC has been done . 

	switch (leftId){
		case T_char :
			switch (rightId){
				case T_char :	return Constant.fromValue(left.charValue() * right.charValue()) ;
				case T_float:	return Constant.fromValue(left.charValue() * right.floatValue()) ;
				case T_double:	return Constant.fromValue(left.charValue() * right.doubleValue()) ;
				case T_byte:	return Constant.fromValue(left.charValue() * right.byteValue()) ;
				case T_short:	return Constant.fromValue(left.charValue() * right.shortValue()) ;
				case T_int:		return Constant.fromValue(left.charValue() * right.intValue()) ;
				case T_long:	return Constant.fromValue(left.charValue() * right.longValue()) ;}
		break;
		case T_float :
			switch (rightId){
				case T_char :	return Constant.fromValue(left.floatValue() * right.charValue()) ;
				case T_float:	return Constant.fromValue(left.floatValue() * right.floatValue()) ;
				case T_double:	return Constant.fromValue(left.floatValue() * right.doubleValue()) ;
				case T_byte:	return Constant.fromValue(left.floatValue() * right.byteValue()) ;
				case T_short:	return Constant.fromValue(left.floatValue() * right.shortValue()) ;
				case T_int:		return Constant.fromValue(left.floatValue() * right.intValue()) ;
				case T_long:	return Constant.fromValue(left.floatValue() * right.longValue()) ;}
		break;
		case T_double :
			switch (rightId){
				case T_char :	return Constant.fromValue(left.doubleValue() * right.charValue()) ;
				case T_float:	return Constant.fromValue(left.doubleValue() * right.floatValue()) ;
				case T_double:	return Constant.fromValue(left.doubleValue() * right.doubleValue()) ;
				case T_byte:	return Constant.fromValue(left.doubleValue() * right.byteValue()) ;
				case T_short:	return Constant.fromValue(left.doubleValue() * right.shortValue()) ;
				case T_int:		return Constant.fromValue(left.doubleValue() * right.intValue()) ;
				case T_long:	return Constant.fromValue(left.doubleValue() * right.longValue()) ;}
		break;
		case T_byte :
			switch (rightId){
				case T_char :	return Constant.fromValue(left.byteValue() * right.charValue()) ;
				case T_float:	return Constant.fromValue(left.byteValue() * right.floatValue()) ;
				case T_double:	return Constant.fromValue(left.byteValue() * right.doubleValue()) ;
				case T_byte:	return Constant.fromValue(left.byteValue() * right.byteValue()) ;
				case T_short:	return Constant.fromValue(left.byteValue() * right.shortValue()) ;
				case T_int:		return Constant.fromValue(left.byteValue() * right.intValue()) ;
				case T_long:	return Constant.fromValue(left.byteValue() * right.longValue()) ;}
		break;
		case T_short :
			switch (rightId){
				case T_char :	return Constant.fromValue(left.shortValue() * right.charValue()) ;
				case T_float:	return Constant.fromValue(left.shortValue() * right.floatValue()) ;
				case T_double:	return Constant.fromValue(left.shortValue() * right.doubleValue()) ;
				case T_byte:	return Constant.fromValue(left.shortValue() * right.byteValue()) ;
				case T_short:	return Constant.fromValue(left.shortValue() * right.shortValue()) ;
				case T_int:		return Constant.fromValue(left.shortValue() * right.intValue()) ;
				case T_long:	return Constant.fromValue(left.shortValue() * right.longValue()) ;}
		break;
		case T_int :
			switch (rightId){
				case T_char :	return Constant.fromValue(left.intValue() * right.charValue()) ;
				case T_float:	return Constant.fromValue(left.intValue() * right.floatValue()) ;
				case T_double:	return Constant.fromValue(left.intValue() * right.doubleValue()) ;
				case T_byte:	return Constant.fromValue(left.intValue() * right.byteValue()) ;
				case T_short:	return Constant.fromValue(left.intValue() * right.shortValue()) ;
				case T_int:		return Constant.fromValue(left.intValue() * right.intValue()) ;
				case T_long:	return Constant.fromValue(left.intValue() * right.longValue()) ;}
		break;
		case T_long :
			switch (rightId){
				case T_char :	return Constant.fromValue(left.longValue() * right.charValue()) ;
				case T_float:	return Constant.fromValue(left.longValue() * right.floatValue()) ;
				case T_double:	return Constant.fromValue(left.longValue() * right.doubleValue()) ;
				case T_byte:	return Constant.fromValue(left.longValue() * right.byteValue()) ;
				case T_short:	return Constant.fromValue(left.longValue() * right.shortValue()) ;
				case T_int:		return Constant.fromValue(left.longValue() * right.intValue()) ;
				case T_long:	return Constant.fromValue(left.longValue() * right.longValue()) ;}

		}
	

	return NotAConstant ;}  //should not get here 
public static final Constant computeConstantOperationOR(Constant left, int leftId, int operator, Constant right, int rightId) {
	//this method  assumes that the TC has been done . 
	
	switch (leftId){
		case T_boolean :		return Constant.fromValue(left.booleanValue() | right.booleanValue()) ;
		case T_char :
			switch (rightId){
				case T_char :	return Constant.fromValue(left.charValue() | right.charValue()) ;
				case T_byte:	return Constant.fromValue(left.charValue() | right.byteValue()) ;
				case T_short:	return Constant.fromValue(left.charValue() | right.shortValue()) ;
				case T_int:		return Constant.fromValue(left.charValue() | right.intValue()) ;
				case T_long:	return Constant.fromValue(left.charValue() | right.longValue()) ;}
		break;
		case T_byte :
			switch (rightId){
				case T_char :	return Constant.fromValue(left.byteValue() | right.charValue()) ;
				case T_byte:	return Constant.fromValue(left.byteValue() | right.byteValue()) ;
				case T_short:	return Constant.fromValue(left.byteValue() | right.shortValue()) ;
				case T_int:		return Constant.fromValue(left.byteValue() | right.intValue()) ;
				case T_long:	return Constant.fromValue(left.byteValue() | right.longValue()) ;}
		break;
		case T_short :
			switch (rightId){
				case T_char :	return Constant.fromValue(left.shortValue() | right.charValue()) ;
				case T_byte:	return Constant.fromValue(left.shortValue() | right.byteValue()) ;
				case T_short:	return Constant.fromValue(left.shortValue() | right.shortValue()) ;
				case T_int:		return Constant.fromValue(left.shortValue() | right.intValue()) ;
				case T_long:	return Constant.fromValue(left.shortValue() | right.longValue()) ;}
		break;
		case T_int :
			switch (rightId){
				case T_char :	return Constant.fromValue(left.intValue() | right.charValue()) ;
				case T_byte:	return Constant.fromValue(left.intValue() | right.byteValue()) ;
				case T_short:	return Constant.fromValue(left.intValue() | right.shortValue()) ;
				case T_int:		return Constant.fromValue(left.intValue() | right.intValue()) ;
				case T_long:	return Constant.fromValue(left.intValue() | right.longValue()) ;}
		break;
		case T_long :
			switch (rightId){
				case T_char :	return Constant.fromValue(left.longValue() | right.charValue()) ;
				case T_byte:	return Constant.fromValue(left.longValue() | right.byteValue()) ;
				case T_short:	return Constant.fromValue(left.longValue() | right.shortValue()) ;
				case T_int:		return Constant.fromValue(left.longValue() | right.intValue()) ;
				case T_long:	return Constant.fromValue(left.longValue() | right.longValue()) ;}

		}
	

	return NotAConstant ;}  // should not get here 
public static final Constant computeConstantOperationOR_OR(Constant left, int leftId, int operator, Constant right, int rightId) {
	//this method  assumes that the TC has been done . 

	return Constant.fromValue(left.booleanValue() || right.booleanValue()) ;}
public static final Constant computeConstantOperationPLUS(Constant left, int leftId, int operator, Constant right, int rightId) {
	//this method  assumes that the TC has been done . 
	
	switch (leftId){
		case T_Object :
			if (rightId == T_String) {
				return Constant.fromValue(left.stringValue() + right.stringValue());
			}
		case T_boolean :
			if (rightId == T_String) {
				return Constant.fromValue(left.stringValue() + right.stringValue());
			}
		break ;
		case T_char :
			switch (rightId){
				case T_char :	return Constant.fromValue(left.charValue() + right.charValue()) ;
				case T_float:	return Constant.fromValue(left.charValue() + right.floatValue()) ;
				case T_double:	return Constant.fromValue(left.charValue() + right.doubleValue()) ;
				case T_byte:	return Constant.fromValue(left.charValue() + right.byteValue()) ;
				case T_short:	return Constant.fromValue(left.charValue() + right.shortValue()) ;
				case T_int:		return Constant.fromValue(left.charValue() + right.intValue()) ;
				case T_long:	return Constant.fromValue(left.charValue() + right.longValue()) ;
				case T_String:	return Constant.fromValue(left.stringValue() + right.stringValue()) ;}
		break;
		case T_float :
			switch (rightId){
				case T_char :	return Constant.fromValue(left.floatValue() + right.charValue()) ;
				case T_float:	return Constant.fromValue(left.floatValue() + right.floatValue()) ;
				case T_double:	return Constant.fromValue(left.floatValue() + right.doubleValue()) ;
				case T_byte:	return Constant.fromValue(left.floatValue() + right.byteValue()) ;
				case T_short:	return Constant.fromValue(left.floatValue() + right.shortValue()) ;
				case T_int:		return Constant.fromValue(left.floatValue() + right.intValue()) ;
				case T_long:	return Constant.fromValue(left.floatValue() + right.longValue()) ;
				case T_String:	return Constant.fromValue(left.stringValue() + right.stringValue()) ; }
		break;
		case T_double :
			switch (rightId){
				case T_char :	return Constant.fromValue(left.doubleValue() + right.charValue()) ;
				case T_float:	return Constant.fromValue(left.doubleValue() + right.floatValue()) ;
				case T_double:	return Constant.fromValue(left.doubleValue() + right.doubleValue()) ;
				case T_byte:	return Constant.fromValue(left.doubleValue() + right.byteValue()) ;
				case T_short:	return Constant.fromValue(left.doubleValue() + right.shortValue()) ;
				case T_int:		return Constant.fromValue(left.doubleValue() + right.intValue()) ;
				case T_long:	return Constant.fromValue(left.doubleValue() + right.longValue()) ;
				case T_String:	return Constant.fromValue(left.stringValue() + right.stringValue()) ;}
		break;
		case T_byte :
			switch (rightId){
				case T_char :	return Constant.fromValue(left.byteValue() + right.charValue()) ;
				case T_float:	return Constant.fromValue(left.byteValue() + right.floatValue()) ;
				case T_double:	return Constant.fromValue(left.byteValue() + right.doubleValue()) ;
				case T_byte:	return Constant.fromValue(left.byteValue() + right.byteValue()) ;
				case T_short:	return Constant.fromValue(left.byteValue() + right.shortValue()) ;
				case T_int:		return Constant.fromValue(left.byteValue() + right.intValue()) ;
				case T_long:	return Constant.fromValue(left.byteValue() + right.longValue()) ;
				case T_String:	return Constant.fromValue(left.stringValue() + right.stringValue()) ; }

		break;			
		case T_short :
			switch (rightId){
				case T_char :	return Constant.fromValue(left.shortValue() + right.charValue()) ;
				case T_float:	return Constant.fromValue(left.shortValue() + right.floatValue()) ;
				case T_double:	return Constant.fromValue(left.shortValue() + right.doubleValue()) ;
				case T_byte:	return Constant.fromValue(left.shortValue() + right.byteValue()) ;
				case T_short:	return Constant.fromValue(left.shortValue() + right.shortValue()) ;
				case T_int:		return Constant.fromValue(left.shortValue() + right.intValue()) ;
				case T_long:	return Constant.fromValue(left.shortValue() + right.longValue()) ;
				case T_String:	return Constant.fromValue(left.stringValue() + right.stringValue()) ;}
		break;
		case T_int :
			switch (rightId){
				case T_char :	return Constant.fromValue(left.intValue() + right.charValue()) ;
				case T_float:	return Constant.fromValue(left.intValue() + right.floatValue()) ;
				case T_double:	return Constant.fromValue(left.intValue() + right.doubleValue()) ;
				case T_byte:	return Constant.fromValue(left.intValue() + right.byteValue()) ;
				case T_short:	return Constant.fromValue(left.intValue() + right.shortValue()) ;
				case T_int:		return Constant.fromValue(left.intValue() + right.intValue()) ;
				case T_long:	return Constant.fromValue(left.intValue() + right.longValue()) ;
				case T_String:	return Constant.fromValue(left.stringValue() + right.stringValue()) ;}
		break;		
		case T_long :
			switch (rightId){
				case T_char :	return Constant.fromValue(left.longValue() + right.charValue()) ;
				case T_float:	return Constant.fromValue(left.longValue() + right.floatValue()) ;
				case T_double:	return Constant.fromValue(left.longValue() + right.doubleValue()) ;
				case T_byte:	return Constant.fromValue(left.longValue() + right.byteValue()) ;
				case T_short:	return Constant.fromValue(left.longValue() + right.shortValue()) ;
				case T_int:		return Constant.fromValue(left.longValue() + right.intValue()) ;
				case T_long:	return Constant.fromValue(left.longValue() + right.longValue()) ;
				case T_String:	return Constant.fromValue(left.stringValue() + right.stringValue()) ; }
		break;
		case T_String :
			switch (rightId){
				case T_char :	return Constant.fromValue(left.stringValue() + right.stringValue()) ;
				case T_float:	return Constant.fromValue(left.stringValue() + right.stringValue()) ;
				case T_double:	return Constant.fromValue(left.stringValue() + right.stringValue()) ;
				case T_byte:	return Constant.fromValue(left.stringValue() + right.stringValue()) ;
				case T_short:	return Constant.fromValue(left.stringValue() + right.stringValue()) ;
				case T_int:		return Constant.fromValue(left.stringValue() + right.stringValue()) ;
				case T_long:	return Constant.fromValue(left.stringValue() + right.stringValue()) ;
				case T_String:	return Constant.fromValue(left.stringValue() + right.stringValue()) ; 
				case T_null:	return Constant.fromValue(left.stringValue() + right.stringValue()) ; 
				case T_boolean:	return Constant.fromValue(left.stringValue() + right.stringValue()) ;}
		break;	
		case T_null :
			switch (rightId){
				case T_char :	return Constant.fromValue(left.stringValue() + right.stringValue()) ;
				case T_float:	return Constant.fromValue(left.stringValue() + right.stringValue()) ;
				case T_double:	return Constant.fromValue(left.stringValue() + right.stringValue()) ;
				case T_byte:	return Constant.fromValue(left.stringValue() + right.stringValue()) ;
				case T_short:	return Constant.fromValue(left.stringValue() + right.stringValue()) ;
				case T_int:		return Constant.fromValue(left.stringValue() + right.stringValue()) ;
				case T_long:	return Constant.fromValue(left.stringValue() + right.stringValue()) ;
				case T_String:	return Constant.fromValue(left.stringValue() + right.stringValue()) ; 
				case T_null:	return Constant.fromValue(left.stringValue() + right.stringValue()) ; }
			
		}
	
	return NotAConstant ;}  //should not get here 
public static final Constant computeConstantOperationREMAINDER(Constant left, int leftId, int operator, Constant right, int rightId) {
	//this method  assumes that the TC has been done . 
	
	switch (leftId){
		case T_char : 
			switch (rightId){
				case T_char :	return Constant.fromValue(left.charValue() % right.charValue()) ;
				case T_float:	return Constant.fromValue(left.charValue() % right.floatValue()) ;
				case T_double:	return Constant.fromValue(left.charValue() % right.doubleValue()) ;
				case T_byte:	return Constant.fromValue(left.charValue() % right.byteValue()) ;
				case T_short:	return Constant.fromValue(left.charValue() % right.shortValue()) ;
				case T_int:		return Constant.fromValue(left.charValue() % right.intValue()) ;
				case T_long:	return Constant.fromValue(left.charValue() % right.longValue()) ;}
		break;
		case T_float :
			switch (rightId){
				case T_char :	return Constant.fromValue(left.floatValue() % right.charValue()) ;
				case T_float:	return Constant.fromValue(left.floatValue() % right.floatValue()) ;
				case T_double:	return Constant.fromValue(left.floatValue() % right.doubleValue()) ;
				case T_byte:	return Constant.fromValue(left.floatValue() % right.byteValue()) ;
				case T_short:	return Constant.fromValue(left.floatValue() % right.shortValue()) ;
				case T_int:		return Constant.fromValue(left.floatValue() % right.intValue()) ;
				case T_long:	return Constant.fromValue(left.floatValue() % right.longValue()) ;}
		break;
		case T_double :
			switch (rightId){
				case T_char :	return Constant.fromValue(left.doubleValue() % right.charValue()) ;
				case T_float:	return Constant.fromValue(left.doubleValue() % right.floatValue()) ;
				case T_double:	return Constant.fromValue(left.doubleValue() % right.doubleValue()) ;
				case T_byte:	return Constant.fromValue(left.doubleValue() % right.byteValue()) ;
				case T_short:	return Constant.fromValue(left.doubleValue() % right.shortValue()) ;
				case T_int:		return Constant.fromValue(left.doubleValue() % right.intValue()) ;
				case T_long:	return Constant.fromValue(left.doubleValue() % right.longValue()) ;}
		break;
		case T_byte :
			switch (rightId){
				case T_char :	return Constant.fromValue(left.byteValue() % right.charValue()) ;
				case T_float:	return Constant.fromValue(left.byteValue() % right.floatValue()) ;
				case T_double:	return Constant.fromValue(left.byteValue() % right.doubleValue()) ;
				case T_byte:	return Constant.fromValue(left.byteValue() % right.byteValue()) ;
				case T_short:	return Constant.fromValue(left.byteValue() % right.shortValue()) ;
				case T_int:		return Constant.fromValue(left.byteValue() % right.intValue()) ;
				case T_long:	return Constant.fromValue(left.byteValue() % right.longValue()) ;}
		break;			
		case T_short :
			switch (rightId){
				case T_char :	return Constant.fromValue(left.shortValue() % right.charValue()) ;
				case T_float:	return Constant.fromValue(left.shortValue() % right.floatValue()) ;
				case T_double:	return Constant.fromValue(left.shortValue() % right.doubleValue()) ;
				case T_byte:	return Constant.fromValue(left.shortValue() % right.byteValue()) ;
				case T_short:	return Constant.fromValue(left.shortValue() % right.shortValue()) ;
				case T_int:		return Constant.fromValue(left.shortValue() % right.intValue()) ;
				case T_long:	return Constant.fromValue(left.shortValue() % right.longValue()) ;}
		break;
		case T_int :
			switch (rightId){
				case T_char :	return Constant.fromValue(left.intValue() % right.charValue()) ;
				case T_float:	return Constant.fromValue(left.intValue() % right.floatValue()) ;
				case T_double:	return Constant.fromValue(left.intValue() % right.doubleValue()) ;
				case T_byte:	return Constant.fromValue(left.intValue() % right.byteValue()) ;
				case T_short:	return Constant.fromValue(left.intValue() % right.shortValue()) ;
				case T_int:		return Constant.fromValue(left.intValue() % right.intValue()) ;
				case T_long:	return Constant.fromValue(left.intValue() % right.longValue()) ;}
		break;		
		case T_long :
			switch (rightId){
				case T_char :	return Constant.fromValue(left.longValue() % right.charValue()) ;
				case T_float:	return Constant.fromValue(left.longValue() % right.floatValue()) ;
				case T_double:	return Constant.fromValue(left.longValue() % right.doubleValue()) ;
				case T_byte:	return Constant.fromValue(left.longValue() % right.byteValue()) ;
				case T_short:	return Constant.fromValue(left.longValue() % right.shortValue()) ;
				case T_int:		return Constant.fromValue(left.longValue() % right.intValue()) ;
				case T_long:	return Constant.fromValue(left.longValue() % right.longValue()) ;}
			
		}
	
	return NotAConstant ;}  //should not get here 
public static final Constant computeConstantOperationRIGHT_SHIFT(Constant left, int leftId, int operator, Constant right, int rightId) {
	//this method  assumes that the TC has been done . 
	
	switch (leftId){
		case T_char :
			switch (rightId){
				case T_char :	return Constant.fromValue(left.charValue() >> right.charValue()) ;
				case T_byte:	return Constant.fromValue(left.charValue() >> right.byteValue()) ;
				case T_short:	return Constant.fromValue(left.charValue() >> right.shortValue()) ;
				case T_int:		return Constant.fromValue(left.charValue() >> right.intValue()) ;
				case T_long:	return Constant.fromValue(left.charValue() >> right.longValue()) ;}
		break ;
		case T_byte :
			switch (rightId){
				case T_char :	return Constant.fromValue(left.byteValue() >> right.charValue()) ;
				case T_byte:	return Constant.fromValue(left.byteValue() >> right.byteValue()) ;
				case T_short:	return Constant.fromValue(left.byteValue() >> right.shortValue()) ;
				case T_int:		return Constant.fromValue(left.byteValue() >> right.intValue()) ;
				case T_long:	return Constant.fromValue(left.byteValue() >> right.longValue()) ;}
		break;
		case T_short :
			switch (rightId){
				case T_char :	return Constant.fromValue(left.shortValue() >> right.charValue()) ;
				case T_byte:	return Constant.fromValue(left.shortValue() >> right.byteValue()) ;
				case T_short:	return Constant.fromValue(left.shortValue() >> right.shortValue()) ;
				case T_int:		return Constant.fromValue(left.shortValue() >> right.intValue()) ;
				case T_long:	return Constant.fromValue(left.shortValue() >> right.longValue()) ;}
		break;
		case T_int :
			switch (rightId){
				case T_char :	return Constant.fromValue(left.intValue() >> right.charValue()) ;
				case T_byte:	return Constant.fromValue(left.intValue() >> right.byteValue()) ;
				case T_short:	return Constant.fromValue(left.intValue() >> right.shortValue()) ;
				case T_int:		return Constant.fromValue(left.intValue() >> right.intValue()) ;
				case T_long:	return Constant.fromValue(left.intValue() >> right.longValue()) ;}
		break;
		case T_long :
			switch (rightId){
				case T_char :	return Constant.fromValue(left.longValue() >> right.charValue()) ;
				case T_byte:	return Constant.fromValue(left.longValue() >> right.byteValue()) ;
				case T_short:	return Constant.fromValue(left.longValue() >> right.shortValue()) ;
				case T_int:		return Constant.fromValue(left.longValue() >> right.intValue()) ;
				case T_long:	return Constant.fromValue(left.longValue() >> right.longValue()) ;}

		}
	

	return NotAConstant ;}  // should not get here 
public static final Constant computeConstantOperationUNSIGNED_RIGHT_SHIFT(Constant left, int leftId, int operator, Constant right, int rightId) {
	//this method  assumes that the TC has been done . 
	
	switch (leftId){
		case T_char :
			switch (rightId){
				case T_char :	return Constant.fromValue(left.charValue() >>> right.charValue()) ;
				case T_byte:	return Constant.fromValue(left.charValue() >>> right.byteValue()) ;
				case T_short:	return Constant.fromValue(left.charValue() >>> right.shortValue()) ;
				case T_int:		return Constant.fromValue(left.charValue() >>> right.intValue()) ;
				case T_long:	return Constant.fromValue(left.charValue() >>> right.longValue()) ;}
		break ;
		case T_byte :
			switch (rightId){
				case T_char :	return Constant.fromValue(left.byteValue() >>> right.charValue()) ;
				case T_byte:	return Constant.fromValue(left.byteValue() >>> right.byteValue()) ;
				case T_short:	return Constant.fromValue(left.byteValue() >>> right.shortValue()) ;
				case T_int:		return Constant.fromValue(left.byteValue() >>> right.intValue()) ;
				case T_long:	return Constant.fromValue(left.byteValue() >>> right.longValue()) ;}
		break;
		case T_short :
			switch (rightId){
				case T_char :	return Constant.fromValue(left.shortValue() >>> right.charValue()) ;
				case T_byte:	return Constant.fromValue(left.shortValue() >>> right.byteValue()) ;
				case T_short:	return Constant.fromValue(left.shortValue() >>> right.shortValue()) ;
				case T_int:		return Constant.fromValue(left.shortValue() >>> right.intValue()) ;
				case T_long:	return Constant.fromValue(left.shortValue() >>> right.longValue()) ;}
		break;
		case T_int :
			switch (rightId){
				case T_char :	return Constant.fromValue(left.intValue() >>> right.charValue()) ;
				case T_byte:	return Constant.fromValue(left.intValue() >>> right.byteValue()) ;
				case T_short:	return Constant.fromValue(left.intValue() >>> right.shortValue()) ;
				case T_int:		return Constant.fromValue(left.intValue() >>> right.intValue()) ;
				case T_long:	return Constant.fromValue(left.intValue() >>> right.longValue()) ;}
		break;
		case T_long :
			switch (rightId){
				case T_char :	return Constant.fromValue(left.longValue() >>> right.charValue()) ;
				case T_byte:	return Constant.fromValue(left.longValue() >>> right.byteValue()) ;
				case T_short:	return Constant.fromValue(left.longValue() >>> right.shortValue()) ;
				case T_int:		return Constant.fromValue(left.longValue() >>> right.intValue()) ;
				case T_long:	return Constant.fromValue(left.longValue() >>> right.longValue()) ;}

		}
	

	return NotAConstant ;}  // should not get here 
public static final Constant computeConstantOperationXOR(Constant left, int leftId, int operator, Constant right, int rightId) {
	//this method  assumes that the TC has been done . 
	
	switch (leftId){
		case T_boolean :		return Constant.fromValue(left.booleanValue() ^ right.booleanValue()) ;
		case T_char :
			switch (rightId){
				case T_char :	return Constant.fromValue(left.charValue() ^ right.charValue()) ;
				case T_byte:	return Constant.fromValue(left.charValue() ^ right.byteValue()) ;
				case T_short:	return Constant.fromValue(left.charValue() ^ right.shortValue()) ;
				case T_int:		return Constant.fromValue(left.charValue() ^ right.intValue()) ;
				case T_long:	return Constant.fromValue(left.charValue() ^ right.longValue()) ;}
		break ;
		case T_byte :
			switch (rightId){
				case T_char :	return Constant.fromValue(left.byteValue() ^ right.charValue()) ;
				case T_byte:	return Constant.fromValue(left.byteValue() ^ right.byteValue()) ;
				case T_short:	return Constant.fromValue(left.byteValue() ^ right.shortValue()) ;
				case T_int:		return Constant.fromValue(left.byteValue() ^ right.intValue()) ;
				case T_long:	return Constant.fromValue(left.byteValue() ^ right.longValue()) ;}
		break;
		case T_short :
			switch (rightId){
				case T_char :	return Constant.fromValue(left.shortValue() ^ right.charValue()) ;
				case T_byte:	return Constant.fromValue(left.shortValue() ^ right.byteValue()) ;
				case T_short:	return Constant.fromValue(left.shortValue() ^ right.shortValue()) ;
				case T_int:		return Constant.fromValue(left.shortValue() ^ right.intValue()) ;
				case T_long:	return Constant.fromValue(left.shortValue() ^ right.longValue()) ;}
		break;
		case T_int :
			switch (rightId){
				case T_char :	return Constant.fromValue(left.intValue() ^ right.charValue()) ;
				case T_byte:	return Constant.fromValue(left.intValue() ^ right.byteValue()) ;
				case T_short:	return Constant.fromValue(left.intValue() ^ right.shortValue()) ;
				case T_int:		return Constant.fromValue(left.intValue() ^ right.intValue()) ;
				case T_long:	return Constant.fromValue(left.intValue() ^ right.longValue()) ;}
		break;
		case T_long :
			switch (rightId){
				case T_char :	return Constant.fromValue(left.longValue() ^ right.charValue()) ;
				case T_byte:	return Constant.fromValue(left.longValue() ^ right.byteValue()) ;
				case T_short:	return Constant.fromValue(left.longValue() ^ right.shortValue()) ;
				case T_int:		return Constant.fromValue(left.longValue() ^ right.intValue()) ;
				case T_long:	return Constant.fromValue(left.longValue() ^ right.longValue()) ;}

		}
	

	return NotAConstant ;}  // should not get here 
public double doubleValue() {
	throw new ShouldNotImplement(Util.bind("constant.cannotCastedInto"/*nonNLS*/,typeName(),"double"/*nonNLS*/));
}
public float floatValue() {
	throw new ShouldNotImplement(Util.bind("constant.cannotCastedInto"/*nonNLS*/,typeName(),"float"/*nonNLS*/));
}
public static Constant fromValue(byte value) {
	return new ByteConstant(value);
}
public static Constant fromValue(char value) {
	return new CharConstant(value);
}
public static Constant fromValue(double value) {
	return new DoubleConstant(value);
}
public static Constant fromValue(float value) {
	return new FloatConstant(value);
}
public static Constant fromValue(int value) {
	return new IntConstant(value);
}
public static Constant fromValue(long value) {
	return new LongConstant(value);
}
public static Constant fromValue(String value) {
	if (value == null) return NullConstant.Default;
	return new StringConstant(value);
}
public static Constant fromValue(short value) {
	return new ShortConstant(value);
}
public static Constant fromValue(boolean value) {
	return new BooleanConstant(value);
}
public int intValue() {
	throw new ShouldNotImplement(Util.bind("constant.cannotCastedInto"/*nonNLS*/,typeName(),"int"/*nonNLS*/));
}
public long longValue() {
	throw new ShouldNotImplement(Util.bind("constant.cannotCastedInto"/*nonNLS*/,typeName(),"long"/*nonNLS*/));
}
public short shortValue() {
	throw new ShouldNotImplement(Util.bind("constant.cannotConvertedTo"/*nonNLS*/,typeName(),"short"/*nonNLS*/));
}
/** Deprecated
*/
public String stringValue() {
	throw new ShouldNotImplement(Util.bind("constant.cannotConvertedTo"/*nonNLS*/,typeName(),"String"/*nonNLS*/));
}
public String toString(){

	if (this == NotAConstant) return "(Constant) NotAConstant"/*nonNLS*/ ;
	return super.toString(); }
public abstract int typeID();
public String typeName() {
	switch (typeID()) {
		case T_int : return "int"/*nonNLS*/;
		case T_byte : return "byte"/*nonNLS*/;
		case T_short : return "short"/*nonNLS*/;
		case T_char : return "char"/*nonNLS*/;
		case T_float : return "float"/*nonNLS*/;
		case T_double : return "double"/*nonNLS*/;
		case T_boolean : return "boolean"/*nonNLS*/;
		case T_String : return "java.lang.String"/*nonNLS*/;
		case T_null : return "null"/*nonNLS*/;	
		default: return "unknown"/*nonNLS*/;
	}
}
}