public interface end_pause_watch
   
     
     
    
     
     
     
  
  
  
   Module Procedures
   
    
  
  
private subroutine end_pause_watch_aa(watch, clock, err)
    
    
   
  
       
    
    
    Arguments
    
      
      
| Type | 
Intent | Optional | 
Attributes |  | Name |  | 
  
  
  
  
  
  | type(watchtype), | 
  intent(in), | 
   | 
  
  dimension(:) | :: | 
  watch |  | 
  
  
  
  
  
  
  | character(len=*), | 
  intent(in), | 
   | 
  
  dimension(:) | :: | 
  clock |  | 
  
  
  
  
  
  
  | integer, | 
  intent(out), | 
  optional | 
  
   | :: | 
  err |  | 
  
      
    
    
   
   
   
    
  
  
private subroutine end_pause_watch_as(watch, clock, err)
    
    
   
  
       
    
    
    Arguments
    
      
      
| Type | 
Intent | Optional | 
Attributes |  | Name |  | 
  
  
  
  
  
  | type(watchtype), | 
  intent(in), | 
   | 
  
  dimension(:) | :: | 
  watch |  | 
  
  
  
  
  
  
  | character(len=*), | 
  intent(in), | 
  optional | 
  
   | :: | 
  clock |  | 
  
  
  
  
  
  
  | integer, | 
  intent(out), | 
  optional | 
  
   | :: | 
  err |  | 
  
      
    
    
   
   
   
    
  
  
private subroutine end_pause_watch_sa(watch, clock, err)
    
    
   
  
       
    
    
    Arguments
    
      
      
| Type | 
Intent | Optional | 
Attributes |  | Name |  | 
  
  
  
  
  
  | type(watchtype), | 
  intent(in) | 
   | 
  
   | :: | 
  watch |  | 
  
  
  
  
  
  
  | character(len=*), | 
  intent(in), | 
   | 
  
  dimension(:) | :: | 
  clock |  | 
  
  
  
  
  
  
  | integer, | 
  intent(out), | 
  optional | 
  
   | :: | 
  err |  | 
  
      
    
    
   
   
   
    
  
  
private subroutine end_pause_watch_ss(watch, clock, err)
    
    
   
  
       
    
    
    Arguments
    
      
      
| Type | 
Intent | Optional | 
Attributes |  | Name |  | 
  
  
  
  
  
  | type(watchtype), | 
  intent(in) | 
   | 
  
   | :: | 
  watch |  | 
  
  
  
  
  
  
  | character(len=*), | 
  intent(in), | 
  optional | 
  
   | :: | 
  clock |  | 
  
  
  
  
  
  
  | integer, | 
  intent(out), | 
  optional | 
  
   | :: | 
  err |  | 
  
      
    
    
   
   
   
    
  
  
private subroutine end_pause_watch_ga(watch, clock, err)
    
    
   
  
       
    
    
    Arguments
    
      
      
| Type | 
Intent | Optional | 
Attributes |  | Name |  | 
  
  
  
  
  
  | type(watchgroup), | 
  intent(in) | 
   | 
  
   | :: | 
  watch |  | 
  
  
  
  
  
  
  | character(len=*), | 
  intent(in), | 
   | 
  
  dimension(:) | :: | 
  clock |  | 
  
  
  
  
  
  
  | integer, | 
  intent(out), | 
  optional | 
  
   | :: | 
  err |  | 
  
      
    
    
   
   
   
    
  
  
private subroutine end_pause_watch_gs(watch, clock, err)
    
    
   
  
       
    
    
    Arguments
    
      
      
| Type | 
Intent | Optional | 
Attributes |  | Name |  | 
  
  
  
  
  
  | type(watchgroup), | 
  intent(in) | 
   | 
  
   | :: | 
  watch |  | 
  
  
  
  
  
  
  | character(len=*), | 
  intent(in), | 
  optional | 
  
   | :: | 
  clock |  | 
  
  
  
  
  
  
  | integer, | 
  intent(out), | 
  optional | 
  
   | :: | 
  err |  |