Ignore:
File:
1 edited

Legend:

Unmodified
Added
Removed
  • src/libcfa/prelude.cf

    rf1e012b r784deab  
    1 //                               -*- Mode: C -*-
    2 //
     1//                               -*- Mode: C -*- 
     2// 
    33// Copyright (C) Glen Ditchfield 1994, 1999
    4 //
     4// 
    55// prelude.cf -- Standard Cforall Preample for C99
    6 //
     6// 
    77// Author           : Glen Ditchfield
    88// Created On       : Sat Nov 29 07:23:41 2014
     
    116116forall( ftype FT ) lvalue FT             *?( FT * );
    117117
    118 _Bool                   +?( _Bool ),                    -?( _Bool ),                    ~?( _Bool );
    119 signed int              +?( signed int ),               -?( signed int ),               ~?( signed int );
    120 unsigned int            +?( unsigned int ),             -?( unsigned int ),             ~?( unsigned int );
    121 signed long int         +?( signed long int ),          -?( signed long int ),          ~?( signed long int );
    122 unsigned long int       +?( unsigned long int ),        -?( unsigned long int ),        ~?( unsigned long int );
    123 signed long long int    +?( signed long long int ),     -?( signed long long int ),     ~?( signed long long int );
    124 unsigned long long int  +?( unsigned long long int ),   -?( unsigned long long int ),   ~?( unsigned long long int );
     118_Bool                   +?( _Bool ),                    -?( _Bool ),                    ~?( _Bool );         
     119signed int              +?( signed int ),               -?( signed int ),               ~?( signed int );           
     120unsigned int            +?( unsigned int ),             -?( unsigned int ),             ~?( unsigned int );         
     121signed long int         +?( signed long int ),          -?( signed long int ),          ~?( signed long int );       
     122unsigned long int       +?( unsigned long int ),        -?( unsigned long int ),        ~?( unsigned long int );             
     123signed long long int    +?( signed long long int ),     -?( signed long long int ),     ~?( signed long long int );   
     124unsigned long long int  +?( unsigned long long int ),   -?( unsigned long long int ),   ~?( unsigned long long int ); 
    125125float                   +?( float ),                    -?( float );
    126126double                  +?( double ),                   -?( double );
     
    626626                        ?+=?( long double _Complex *, long double _Complex ), ?+=?( volatile long double _Complex *, long double _Complex ),
    627627                        ?-=?( long double _Complex *, long double _Complex ), ?-=?( volatile long double _Complex *, long double _Complex );
    628 
    629 
    630 
    631 
    632 
    633 // ------------------------------------------------------------
    634 //
    635 // Section ??? Constructors and Destructors
    636 //
    637 // ------------------------------------------------------------
    638 
    639 // default ctor
    640 void    ?{}( _Bool * ),                         ?{}( volatile _Bool * );
    641 void    ?{}( unsigned char * ),                 ?{}( volatile unsigned char * );
    642 void    ?{}( signed int * ),                    ?{}( volatile signed int * );
    643 void    ?{}( unsigned int * ),                  ?{}( volatile unsigned int * );
    644 void    ?{}( signed long int * ),               ?{}( volatile signed long int * );
    645 void    ?{}( unsigned long int * ),             ?{}( volatile unsigned long int * );
    646 void    ?{}( signed long long int * ),          ?{}( volatile signed long long int * );
    647 void    ?{}( unsigned long long int * ),        ?{}( volatile unsigned long long int * );
    648 void    ?{}( float * ),                         ?{}( volatile float * );
    649 void    ?{}( double * ),                        ?{}( volatile double * );
    650 void    ?{}( long double * ),                   ?{}( volatile long double * );
    651 void    ?{}( float _Complex * ),                ?{}( volatile float _Complex * );
    652 void    ?{}( double _Complex * ),               ?{}( volatile double _Complex * );
    653 void    ?{}( long double _Complex * ),          ?{}( volatile long double _Complex * );
    654 
    655 // copy ctor
    656 void    ?{}( _Bool *, _Bool ),                                  ?{}( volatile _Bool *, _Bool );
    657 void    ?{}( unsigned char *, unsigned char ),                  ?{}( volatile unsigned char *, unsigned char );
    658 void    ?{}( signed int *, signed int),                         ?{}( volatile signed int *, signed int );
    659 void    ?{}( unsigned int *, unsigned int),                     ?{}( volatile unsigned int *, unsigned int );
    660 void    ?{}( signed long int *, signed long int),               ?{}( volatile signed long int *, signed long int );
    661 void    ?{}( unsigned long int *, unsigned long int),           ?{}( volatile unsigned long int *, unsigned long int );
    662 void    ?{}( signed long long int *, signed long long int),     ?{}( volatile signed long long int *, signed long long int );
    663 void    ?{}( unsigned long long int *, unsigned long long int), ?{}( volatile unsigned long long int *, unsigned long long int );
    664 void    ?{}( float *, float),                                   ?{}( volatile float *, float );
    665 void    ?{}( double *, double),                                 ?{}( volatile double *, double );
    666 void    ?{}( long double *, long double),                       ?{}( volatile long double *, long double );
    667 void    ?{}( float _Complex *, float _Complex),                 ?{}( volatile float _Complex *, float _Complex );
    668 void    ?{}( double _Complex *, double _Complex),               ?{}( volatile double _Complex *, double _Complex );
    669 void    ?{}( long double _Complex *, long double _Complex),     ?{}( volatile long double _Complex *, long double _Complex );
    670 
    671 // dtor
    672 void    ^?{}( _Bool * ),                        ^?{}( volatile _Bool * );
    673 void    ^?{}( signed int * ),                   ^?{}( volatile signed int * );
    674 void    ^?{}( unsigned int * ),                 ^?{}( volatile unsigned int * );
    675 void    ^?{}( signed long int * ),              ^?{}( volatile signed long int * );
    676 void    ^?{}( unsigned long int * ),            ^?{}( volatile unsigned long int * );
    677 void    ^?{}( signed long long int * ),         ^?{}( volatile signed long long int * );
    678 void    ^?{}( unsigned long long int * ),       ^?{}( volatile unsigned long long int * );
    679 void    ^?{}( float * ),                        ^?{}( volatile float * );
    680 void    ^?{}( double * ),                       ^?{}( volatile double * );
    681 void    ^?{}( long double * ),                  ^?{}( volatile long double * );
    682 void    ^?{}( float _Complex * ),               ^?{}( volatile float _Complex * );
    683 void    ^?{}( double _Complex * ),              ^?{}( volatile double _Complex * );
    684 void    ^?{}( long double _Complex * ),         ^?{}( volatile long double _Complex * );
    685 
    686 // // default ctor
    687 // forall( dtype DT ) void       ?{}(                DT ** );
    688 // forall( dtype DT ) void       ?{}( const          DT ** );
    689 // forall( dtype DT ) void       ?{}(       volatile DT ** );
    690 // forall( dtype DT ) void       ?{}( const volatile DT ** );
    691 
    692 // // copy ctor
    693 // forall( dtype DT ) void       ?{}(                DT **, DT* );
    694 // forall( dtype DT ) void       ?{}( const          DT **, DT* );
    695 // forall( dtype DT ) void       ?{}(       volatile DT **, DT* );
    696 // forall( dtype DT ) void       ?{}( const volatile DT **, DT* );
    697 
    698 // // dtor
    699 // forall( dtype DT ) void      ^?{}(                DT ** );
    700 // forall( dtype DT ) void      ^?{}( const          DT ** );
    701 // forall( dtype DT ) void      ^?{}(       volatile DT ** );
    702 // forall( dtype DT ) void      ^?{}( const volatile DT ** );
    703 
    704 // copied from assignment section
    705 // copy constructors
    706 forall( ftype FT ) void ?{}( FT **, FT * );
    707 forall( ftype FT ) void ?{}( FT * volatile *, FT * );
    708 
    709 forall( dtype DT ) void ?{}(                 DT *          *,                   DT * );
    710 forall( dtype DT ) void ?{}(                 DT * volatile *,                   DT * );
    711 forall( dtype DT ) void ?{}( const           DT *          *,                   DT * );
    712 forall( dtype DT ) void ?{}( const           DT * volatile *,                   DT * );
    713 forall( dtype DT ) void ?{}( const           DT *          *, const             DT * );
    714 forall( dtype DT ) void ?{}( const           DT * volatile *, const             DT * );
    715 forall( dtype DT ) void ?{}(       volatile  DT *          *,                   DT * );
    716 forall( dtype DT ) void ?{}(       volatile  DT * volatile *,                   DT * );
    717 forall( dtype DT ) void ?{}(       volatile  DT *          *,       volatile    DT * );
    718 forall( dtype DT ) void ?{}(       volatile  DT * volatile *,       volatile    DT * );
    719 
    720 forall( dtype DT ) void ?{}( const volatile  DT *          *,                   DT * );
    721 forall( dtype DT ) void ?{}( const volatile  DT * volatile *,                   DT * );
    722 forall( dtype DT ) void ?{}( const volatile  DT *          *, const             DT * );
    723 forall( dtype DT ) void ?{}( const volatile  DT * volatile *, const             DT * );
    724 forall( dtype DT ) void ?{}( const volatile  DT *          *,       volatile    DT * );
    725 forall( dtype DT ) void ?{}( const volatile  DT * volatile *,       volatile    DT * );
    726 forall( dtype DT ) void ?{}( const volatile  DT *          *, const volatile    DT * );
    727 forall( dtype DT ) void ?{}( const volatile  DT * volatile *, const volatile    DT * );
    728 
    729 forall( dtype DT ) void ?{}(                 DT *          *,                   void * );
    730 forall( dtype DT ) void ?{}(                 DT * volatile *,                   void * );
    731 forall( dtype DT ) void ?{}( const           DT *          *,                   void * );
    732 forall( dtype DT ) void ?{}( const           DT * volatile *,                   void * );
    733 forall( dtype DT ) void ?{}( const           DT *          *, const             void * );
    734 forall( dtype DT ) void ?{}( const           DT * volatile *, const             void * );
    735 forall( dtype DT ) void ?{}(       volatile  DT *          *,                   void * );
    736 forall( dtype DT ) void ?{}(       volatile  DT * volatile *,                   void * );
    737 forall( dtype DT ) void ?{}(       volatile  DT *          *,       volatile    void * );
    738 forall( dtype DT ) void ?{}(       volatile  DT * volatile *,       volatile    void * );
    739 
    740 forall( dtype DT ) void ?{}( const volatile  DT *          *,                   void * );
    741 forall( dtype DT ) void ?{}( const volatile  DT * volatile *,                   void * );
    742 forall( dtype DT ) void ?{}( const volatile  DT *          *, const             void * );
    743 forall( dtype DT ) void ?{}( const volatile  DT * volatile *, const             void * );
    744 forall( dtype DT ) void ?{}( const volatile  DT *          *,       volatile    void * );
    745 forall( dtype DT ) void ?{}( const volatile  DT * volatile *,       volatile    void * );
    746 forall( dtype DT ) void ?{}( const volatile  DT *          *, const volatile    void * );
    747 forall( dtype DT ) void ?{}( const volatile  DT * volatile *, const volatile    void * );
    748 
    749 forall( dtype DT ) void ?{}(                 void *          *,                 DT * );
    750 forall( dtype DT ) void ?{}(                 void * volatile *,                 DT * );
    751 forall( dtype DT ) void ?{}( const           void *          *,                 DT * );
    752 forall( dtype DT ) void ?{}( const           void * volatile *,                 DT * );
    753 forall( dtype DT ) void ?{}( const           void *          *, const           DT * );
    754 forall( dtype DT ) void ?{}( const           void * volatile *, const           DT * );
    755 forall( dtype DT ) void ?{}(        volatile void *          *,                 DT * );
    756 forall( dtype DT ) void ?{}(        volatile void * volatile *,                 DT * );
    757 forall( dtype DT ) void ?{}(        volatile void *          *,       volatile  DT * );
    758 forall( dtype DT ) void ?{}(        volatile void * volatile *,       volatile  DT * );
    759 forall( dtype DT ) void ?{}( const volatile void *           *,                 DT * );
    760 forall( dtype DT ) void ?{}( const volatile void * volatile *,                  DT * );
    761 forall( dtype DT ) void ?{}( const volatile void *           *, const           DT * );
    762 forall( dtype DT ) void ?{}( const volatile void * volatile *, const            DT * );
    763 forall( dtype DT ) void ?{}( const volatile void *           *,       volatile  DT * );
    764 forall( dtype DT ) void ?{}( const volatile void * volatile *,        volatile  DT * );
    765 forall( dtype DT ) void ?{}( const volatile void *           *, const volatile  DT * );
    766 forall( dtype DT ) void ?{}( const volatile void * volatile *, const volatile   DT * );
    767 
    768 void    ?{}(                void *          *,                void * );
    769 void    ?{}(                void * volatile *,                void * );
    770 void    ?{}( const          void *          *,                void * );
    771 void    ?{}( const          void * volatile *,                void * );
    772 void    ?{}( const          void *          *, const          void * );
    773 void    ?{}( const          void * volatile *, const          void * );
    774 void    ?{}(       volatile void *          *,                void * );
    775 void    ?{}(       volatile void * volatile *,                void * );
    776 void    ?{}(       volatile void *          *,       volatile void * );
    777 void    ?{}(       volatile void * volatile *,       volatile void * );
    778 void    ?{}( const volatile void *          *,                void * );
    779 void    ?{}( const volatile void * volatile *,                void * );
    780 void    ?{}( const volatile void *          *, const          void * );
    781 void    ?{}( const volatile void * volatile *, const          void * );
    782 void    ?{}( const volatile void *          *,       volatile void * );
    783 void    ?{}( const volatile void * volatile *,       volatile void * );
    784 void    ?{}( const volatile void *          *, const volatile void * );
    785 void    ?{}( const volatile void * volatile *, const volatile void * );
    786 
    787 //forall( dtype DT ) void ?{}(              DT *          *, forall( dtype DT2 ) const DT2 * );
    788 //forall( dtype DT ) void ?{}(              DT * volatile *, forall( dtype DT2 ) const DT2 * );
    789 forall( dtype DT ) void ?{}( const          DT *          *, forall( dtype DT2 ) const DT2 * );
    790 forall( dtype DT ) void ?{}( const          DT * volatile *, forall( dtype DT2 ) const DT2 * );
    791 //forall( dtype DT ) void ?{}( volatile     DT *          *, forall( dtype DT2 ) const DT2 * );
    792 //forall( dtype DT ) void ?{}( volatile     DT * volatile *, forall( dtype DT2 ) const DT2 * );
    793 forall( dtype DT ) void ?{}( const volatile DT *          *, forall( dtype DT2 ) const DT2 * );
    794 forall( dtype DT ) void ?{}( const volatile DT * volatile *, forall( dtype DT2 ) const DT2 * );
    795 
    796 forall( ftype FT ) void ?{}( FT *          *, forall( ftype FT2 ) FT2 * );
    797 forall( ftype FT ) void ?{}( FT * volatile *, forall( ftype FT2 ) FT2 * );
    798 
    799 // default ctors
    800 forall( ftype FT ) void ?{}( FT *          * );
    801 forall( ftype FT ) void ?{}( FT * volatile * );
    802 
    803 forall( dtype DT ) void ?{}(                 DT *          *);
    804 forall( dtype DT ) void ?{}(                 DT * volatile *);
    805 forall( dtype DT ) void ?{}( const           DT *          *);
    806 forall( dtype DT ) void ?{}( const           DT * volatile *);
    807 forall( dtype DT ) void ?{}(       volatile  DT *          *);
    808 forall( dtype DT ) void ?{}(       volatile  DT * volatile *);
    809 forall( dtype DT ) void ?{}( const volatile  DT *          *);
    810 forall( dtype DT ) void ?{}( const volatile  DT * volatile *);
    811 
    812 void    ?{}(                void *          *);
    813 void    ?{}(                void * volatile *);
    814 void    ?{}( const          void *          *);
    815 void    ?{}( const          void * volatile *);
    816 void    ?{}(       volatile void *          *);
    817 void    ?{}(       volatile void * volatile *);
    818 void    ?{}( const volatile void *          *);
    819 void    ?{}( const volatile void * volatile *);
    820 
    821 // dtors
    822 forall( ftype FT ) void ^?{}( FT *         * );
    823 forall( ftype FT ) void ^?{}( FT * volatile * );
    824 
    825 forall( dtype DT ) void ^?{}(                DT *          *);
    826 forall( dtype DT ) void ^?{}(                DT * volatile *);
    827 forall( dtype DT ) void ^?{}( const          DT *          *);
    828 forall( dtype DT ) void ^?{}( const          DT * volatile *);
    829 forall( dtype DT ) void ^?{}(      volatile  DT *          *);
    830 forall( dtype DT ) void ^?{}(      volatile  DT * volatile *);
    831 forall( dtype DT ) void ^?{}( const volatile  DT *         *);
    832 forall( dtype DT ) void ^?{}( const volatile  DT * volatile *);
    833 
    834 void    ^?{}(               void *          *);
    835 void    ^?{}(               void * volatile *);
    836 void    ^?{}( const         void *          *);
    837 void    ^?{}( const         void * volatile *);
    838 void    ^?{}(      volatile void *          *);
    839 void    ^?{}(      volatile void * volatile *);
    840 void    ^?{}( const volatile void *         *);
    841 void    ^?{}( const volatile void * volatile *);
Note: See TracChangeset for help on using the changeset viewer.