/* This file was generated by Contract AspectJ v0.1 on Sat Nov 06 14:12:10 EST 2004 */
 /** CONAJ: Original packages **/
package jsim.queue;
 /** CONAJ: Imports needed by CONAJ  **/
 import org.aspectj.lang.*; 
 import java.util.*;
 /** CONAJ: Original imports **/



	 privileged aspect TemporalQueue_Contract {
	 declare parents : TemporalQueue implements Cloneable;
	public Object TemporalQueue.clone(){
		 try { 
			return super.clone();
				 } catch (Exception e){
					 System.out.println(" Error in cloning method");
					 e.printStackTrace();
					 return new Object(); 
				}
			}
		
		TemporalQueue old;
					 pointcut scope(): !within(TemporalQueue_Contract) && !cflow(withincode(* TemporalQueue_Contract.*(..)));
					 pointcut TemporalQueue_enqueue1(TemporalQueue trg_instance, Object item):call( public * TemporalQueue.enqueue(..))
							 && !call(public * (TemporalQueue+ && !TemporalQueue).enqueue(..)) && args(item) && target(trg_instance) && scope();

			 pointcut cast_TemporalQueue_enqueue1(TemporalQueue trg_instance, Object item):!(call( public * TemporalQueue.enqueue(..)))
							 && execution(public * TemporalQueue.enqueue(..)) && !execution( public * (TemporalQueue+ && !TemporalQueue).enqueue(..)) && args(item) && target(trg_instance) && scope();
			 pointcut TemporalQueue_enqueue2(TemporalQueue trg_instance, Object item,int priority):call( public * TemporalQueue.enqueue(..))
							 && !call(public * (TemporalQueue+ && !TemporalQueue).enqueue(..)) && args(item,priority) && target(trg_instance) && scope();

			 pointcut cast_TemporalQueue_enqueue2(TemporalQueue trg_instance, Object item,int priority):!(call( public * TemporalQueue.enqueue(..)))
							 && execution(public * TemporalQueue.enqueue(..)) && !execution( public * (TemporalQueue+ && !TemporalQueue).enqueue(..)) && args(item,priority) && target(trg_instance) && scope();
			 pointcut TemporalQueue_enqueue3(TemporalQueue trg_instance, Object item,double time,int priority):call( public * TemporalQueue.enqueue(..))
							 && !call(public * (TemporalQueue+ && !TemporalQueue).enqueue(..)) && args(item,time,priority) && target(trg_instance) && scope();

			 pointcut cast_TemporalQueue_enqueue3(TemporalQueue trg_instance, Object item,double time,int priority):!(call( public * TemporalQueue.enqueue(..)))
							 && execution(public * TemporalQueue.enqueue(..)) && !execution( public * (TemporalQueue+ && !TemporalQueue).enqueue(..)) && args(item,time,priority) && target(trg_instance) && scope();
			 pointcut TemporalQueue_splayForInsert1(TemporalQueue trg_instance, TQ_Node newNode):call( public * TemporalQueue.splayForInsert(..))
							 && !call(public * (TemporalQueue+ && !TemporalQueue).splayForInsert(..)) && args(newNode) && target(trg_instance) && scope();

			 pointcut cast_TemporalQueue_splayForInsert1(TemporalQueue trg_instance, TQ_Node newNode):!(call( public * TemporalQueue.splayForInsert(..)))
							 && execution(public * TemporalQueue.splayForInsert(..)) && !execution( public * (TemporalQueue+ && !TemporalQueue).splayForInsert(..)) && args(newNode) && target(trg_instance) && scope();

		
		before(TemporalQueue trg_instance , Object item ):
			TemporalQueue_enqueue1( trg_instance , item ){
				 boolean res = checkPre_enqueue( trg_instance , item);
				 boolean next =  checkPreHier_enqueue(trg_instance,item);
				 if (!res){
					System.out.println(" *** PRE CONDITION ERROR in  TemporalQueue in Method: enqueue");
					System.exit(1);
				}if (!next) { 
					System.out.println(" ***  PRE HIER ERROR in TemporalQueue in Method: enqueue");
					System.exit(1);
				}
			}
		before(TemporalQueue trg_instance , Object item ):
			cast_TemporalQueue_enqueue1( trg_instance, item ){
				String staticType = thisJoinPoint.getSignature().getDeclaringType().getName();
				String dynamicType = thisJoinPoint.getTarget().getClass().getName();
				
				 boolean hierResult = (PriorityQueue_Contract.aspectOf().checkPreHier_enqueue(trg_instance,item));
				
				 boolean res = checkPre_enqueue( trg_instance , item);
				
				if (hierResult && ! res){
					System.out.println(" **** CAST PRE HIER ERROR TemporalQueue in Method: enqueue");
					 System.out.println("[conaj-ERROR]: ***** staticType "+staticType+" **** dynamicType "+dynamicType+" SIG ==> "+ thisJoinPoint.getSignature().toLongString());System.exit(1);
				}
			}
			
			before(TemporalQueue trg_instance , Object item,int priority ):
				TemporalQueue_enqueue2( trg_instance , item,priority ){
					 boolean res = checkPre_enqueue( trg_instance , item,priority);
					 boolean next =  checkPreHier_enqueue(trg_instance,item,priority);
					 if (!res){
						System.out.println(" *** PRE CONDITION ERROR in  TemporalQueue in Method: enqueue");
						System.exit(1);
					}if (!next) { 
						System.out.println(" ***  PRE HIER ERROR in TemporalQueue in Method: enqueue");
						System.exit(1);
					}
				}
			before(TemporalQueue trg_instance , Object item,int priority ):
				cast_TemporalQueue_enqueue2( trg_instance, item,priority ){
					String staticType = thisJoinPoint.getSignature().getDeclaringType().getName();
					String dynamicType = thisJoinPoint.getTarget().getClass().getName();
					
					 boolean hierResult = (PriorityQueue_Contract.aspectOf().checkPreHier_enqueue(trg_instance,item,priority));
					
					 boolean res = checkPre_enqueue( trg_instance , item,priority);
					
					if (hierResult && ! res){
						System.out.println(" **** CAST PRE HIER ERROR TemporalQueue in Method: enqueue");
						 System.out.println("[conaj-ERROR]: ***** staticType "+staticType+" **** dynamicType "+dynamicType+" SIG ==> "+ thisJoinPoint.getSignature().toLongString());System.exit(1);
					}
				}
				
				before(TemporalQueue trg_instance , Object item,double time,int priority ):
					TemporalQueue_enqueue3( trg_instance , item,time,priority ){
						 boolean res = checkPre_enqueue( trg_instance , item,time,priority);
						 boolean next =  true ;
						 if (!res){
							System.out.println(" *** PRE CONDITION ERROR in  TemporalQueue in Method: enqueue");
							System.exit(1);
						}if (!next) { 
							System.out.println(" ***  PRE HIER ERROR in TemporalQueue in Method: enqueue");
							System.exit(1);
						}
					}
				before(TemporalQueue trg_instance , Object item,double time,int priority ):
					cast_TemporalQueue_enqueue3( trg_instance, item,time,priority ){
						String staticType = thisJoinPoint.getSignature().getDeclaringType().getName();
						String dynamicType = thisJoinPoint.getTarget().getClass().getName();
						
						 boolean hierResult = (true);
						
						 boolean res = checkPre_enqueue( trg_instance , item,time,priority);
						
						if (hierResult && ! res){
							System.out.println(" **** CAST PRE HIER ERROR TemporalQueue in Method: enqueue");
							 System.out.println("[conaj-ERROR]: ***** staticType "+staticType+" **** dynamicType "+dynamicType+" SIG ==> "+ thisJoinPoint.getSignature().toLongString());System.exit(1);
						}
					}
					
					before(TemporalQueue trg_instance , TQ_Node newNode ):
						TemporalQueue_splayForInsert1( trg_instance , newNode ){
							 boolean res = checkPre_splayForInsert( trg_instance , newNode);
							 boolean next =  true ;
							 if (!res){
								System.out.println(" *** PRE CONDITION ERROR in  TemporalQueue in Method: splayForInsert");
								System.exit(1);
							}if (!next) { 
								System.out.println(" ***  PRE HIER ERROR in TemporalQueue in Method: splayForInsert");
								System.exit(1);
							}
						}
					before(TemporalQueue trg_instance , TQ_Node newNode ):
						cast_TemporalQueue_splayForInsert1( trg_instance, newNode ){
							String staticType = thisJoinPoint.getSignature().getDeclaringType().getName();
							String dynamicType = thisJoinPoint.getTarget().getClass().getName();
							
							 boolean hierResult = (true);
							
							 boolean res = checkPre_splayForInsert( trg_instance , newNode);
							
							if (hierResult && ! res){
								System.out.println(" **** CAST PRE HIER ERROR TemporalQueue in Method: splayForInsert");
								 System.out.println("[conaj-ERROR]: ***** staticType "+staticType+" **** dynamicType "+dynamicType+" SIG ==> "+ thisJoinPoint.getSignature().toLongString());System.exit(1);
							}
						}
						
						public boolean checkPre_enqueue(TemporalQueue trg_instance,Object item){
							if(item!=null)
								return true;
							else
								return false;
							}
						public boolean checkPreHier_enqueue(TemporalQueue trg_instance,Object item){
							
								 boolean myPre = checkPre_enqueue( trg_instance , item);
								 boolean hierarchy  = (PriorityQueue_Contract.aspectOf().checkPreHier_enqueue(trg_instance,item));
								
								if (!hierarchy || myPre)
									 return myPre; 
								else
									 return false;
								}
								
								public boolean checkPre_enqueue(TemporalQueue trg_instance,Object item,int priority){
									if(trg_instance.size<trg_instance.capacity&&item!=null&&priority>=0)
										return true;
									else
										return false;
									}
								public boolean checkPreHier_enqueue(TemporalQueue trg_instance,Object item,int priority){
									
										 boolean myPre = checkPre_enqueue( trg_instance , item,priority);
										 boolean hierarchy  = (PriorityQueue_Contract.aspectOf().checkPreHier_enqueue(trg_instance,item,priority));
										
										if (!hierarchy || myPre)
											 return myPre; 
										else
											 return false;
										}
										
										public boolean checkPre_enqueue(TemporalQueue trg_instance,Object item,double time,int priority){
											if(trg_instance.size<trg_instance.capacity&&item!=null&&priority>=0)
												return true;
											else
												return false;
											}
										public boolean checkPreHier_enqueue(TemporalQueue trg_instance,Object item,double time,int priority){
											
												 boolean myPre = checkPre_enqueue( trg_instance , item,time,priority);
												 boolean hierarchy  = (true);
												
												if (!hierarchy || myPre)
													 return myPre; 
												else
													 return false;
												}
												
												public boolean checkPre_splayForInsert(TemporalQueue trg_instance,TQ_Node newNode){
													if(newNode!=null)
														return true;
													else
														return false;
													}
												public boolean checkPreHier_splayForInsert(TemporalQueue trg_instance,TQ_Node newNode){
													
														 boolean myPre = checkPre_splayForInsert( trg_instance , newNode);
														 boolean hierarchy  = (true);
														
														if (!hierarchy || myPre)
															 return myPre; 
														else
															 return false;
														}
														}