Changes in / [f5e37a4:3e2e9b2]


Ignore:
Files:
3 edited

Legend:

Unmodified
Added
Removed
  • libcfa/prelude/builtins.c

    rf5e37a4 r3e2e9b2  
    160160static inline quasi_void ?=?(quasi_void &, quasi_void & _src) { return _src; }
    161161
     162forall( E ) trait Bounded {
     163        E lowerBound(void);
     164        E upperBound(void);
     165};
     166
     167forall( E | Bounded( E ) ) trait Serial {
     168        int fromInstance( E e );
     169        E fromInt_unsafe( int i );
     170        E succ_unsafe( E e );
     171        E pred_unsafe( E e );
     172};
     173
     174forall( E | Serial( E ) ) {
     175        E fromInt( int i );
     176        E succ( E e );
     177        E pred( E e );
     178        int Countof( E );
     179}
     180
     181
     182forall( E ) trait CfaEnum {
     183        const char * label( E e );
     184        int posn( E e );
     185};
     186
     187forall( E, V | CfaEnum( E ) ) trait TypedEnum {
     188        V value( E e );
     189};
     190
    162191// Local Variables: //
    163192// mode: c //
  • libcfa/src/enum.hfa

    rf5e37a4 r3e2e9b2  
    22
    33#include "iostream.hfa"
    4 
    5 forall( E ) trait Bounded {
    6         E lowerBound(void);
    7         E upperBound(void);
    8 };
    9 
    10 forall( E | Bounded( E ) ) trait Serial {
    11         int fromInstance( E e );
    12         E fromInt_unsafe( int i );
    13         E succ_unsafe( E e );
    14         E pred_unsafe( E e );
    15 };
    16 
    17 forall( E | Serial( E ) ) {
    18         E fromInt( int i );
    19         E succ( E e );
    20         E pred( E e );
    21         int Countof( E );
    22 }
    23 
    24 // forall( E | Bounded(E) ) trait SafeSerial {
    25 //       // unsigned fromInstance( E e );
    26 //       E fromInt_unsafe( unsigned i );
    27 //       // E succ_unsafe( E e );
    28 //       //E pred_unsafe( E e );
    29 
    30 //       unsigned fromInstance( E e );
    31 //       E fromInt( unsigned i );
    32 //       E succ( E e );
    33 //       E pred( E e );
    34 // };
    35 
    36 forall( E ) trait CfaEnum {
    37         const char * label( E e );
    38         int posn( E e );
    39 };
    40 
    41 forall( E, V | CfaEnum( E ) ) trait TypedEnum {
    42         V value( E e );
    43 };
    44 
    45 // I/O
    464
    475forall( istype & | istream( istype ), E | CfaEnum( E ) | Serial(E) )
  • src/AST/Decl.hpp

    rf5e37a4 r3e2e9b2  
    7474        bool isTypeFixed = false;
    7575        bool isHidden = false;
     76        bool isMember = false;
    7677
    7778        DeclWithType( const CodeLocation& loc, const std::string& name, Storage::Classes storage,
Note: See TracChangeset for help on using the changeset viewer.