| 
            Last change
 on this file since bdf40650 was             c3b9d639, checked in by Andrew Beach <ajbeach@…>, 3 years ago           | 
        
        
          | 
             
Clean-up the exception interface. It should be slightly more like the final - non-macro - interface. 
 
           | 
        
        
          
            
              - 
Property                 mode
 set to                 
100644
               
             
           | 
        
        
          | 
            File size:
            1.4 KB
           | 
        
      
      
| Line |   | 
|---|
| 1 | //
 | 
|---|
| 2 | // Cforall Version 1.0.0 Copyright (C) 2016 University of Waterloo
 | 
|---|
| 3 | //
 | 
|---|
| 4 | // The contents of this file are covered under the licence agreement in the
 | 
|---|
| 5 | // file "LICENCE" distributed with Cforall.
 | 
|---|
| 6 | //
 | 
|---|
| 7 | // exception.hfa -- User facing tools for working with exceptions.
 | 
|---|
| 8 | //
 | 
|---|
| 9 | // Author           : Andrew Beach
 | 
|---|
| 10 | // Created On       : Thu Apr  7 10:25:00 2020
 | 
|---|
| 11 | // Last Modified By : Andrew Beach
 | 
|---|
| 12 | // Last Modified On : Wed May 25 17:20:00 2022
 | 
|---|
| 13 | // Update Count     : 5
 | 
|---|
| 14 | //
 | 
|---|
| 15 | 
 | 
|---|
| 16 | // Everything below this line should be considered a patch while the exception
 | 
|---|
| 17 | // objects themselves are designed and  created and should be removed in time.
 | 
|---|
| 18 | // -----------------------------------------------------------------------------------------------
 | 
|---|
| 19 | 
 | 
|---|
| 20 | // EHM_DEFAULT_VTABLE(exception_type)
 | 
|---|
| 21 | // Create a declaration for a (possibly polymorphic) default vtable.
 | 
|---|
| 22 | // Mostly used by and for the currency module.
 | 
|---|
| 23 | #define EHM_DEFAULT_VTABLE(type) vtable(type) & const _default_vtable
 | 
|---|
| 24 | 
 | 
|---|
| 25 | // IS_EXCEPTION(exception_type)
 | 
|---|
| 26 | // IS_RESUMPTION_EXCEPTION(exception_type)
 | 
|---|
| 27 | // IS_TERMINATION_EXCEPTION(exception_type)
 | 
|---|
| 28 | // Create an assertion that exception_type is the given kind of exception.
 | 
|---|
| 29 | // This is used to mimic associated types so the vtable type is unmentioned.
 | 
|---|
| 30 | #define IS_EXCEPTION(type) is_exception(type, vtable(type))
 | 
|---|
| 31 | #define IS_RESUMPTION_EXCEPTION(type) is_resumption_exception(type, vtable(type))
 | 
|---|
| 32 | #define IS_TERMINATION_EXCEPTION(type) is_termination_exception(type, vtable(type))
 | 
|---|
       
      
  Note:
 See   
TracBrowser
 for help on using the repository browser.