| 
            Last change
 on this file since 63a7394 was             82a5ea2, checked in by Andrew Beach <ajbeach@…>, 14 months ago           | 
        
        
          | 
             
Added checks for (and a test to check the checks) assertions we will not be able to adapt. Using an adapted version of Mike's error message. 
 
           | 
        
        
          
            
              - 
Property                 mode
 set to                 
100644
               
             
           | 
        
        
          | 
            File size:
            338 bytes
           | 
        
      
      
| Rev | Line |   | 
|---|
| [82a5ea2] | 1 | // Check for the use of var-args assertions.
 | 
|---|
 | 2 | 
 | 
|---|
 | 3 | forall(T | { T bad_format(const char * format, ...); })
 | 
|---|
 | 4 | trait example {
 | 
|---|
 | 5 |         void val_format(T, const char * format, ...);
 | 
|---|
 | 6 |         void ref_format(T &, const char * format, ...);
 | 
|---|
 | 7 | };
 | 
|---|
 | 8 | 
 | 
|---|
 | 9 | forall(T &, Us | { Us vaTuple(...); })
 | 
|---|
 | 10 | Us example(T &);
 | 
|---|
 | 11 | 
 | 
|---|
 | 12 | // Noop Main;
 | 
|---|
 | 13 | int main(int argc, char * argv[]) {
 | 
|---|
 | 14 |         return 0;
 | 
|---|
 | 15 | }
 | 
|---|
       
      
  Note:
 See   
TracBrowser
 for help on using the repository browser.