source: libcfa/src/enum.cfa @ 236f133

Last change on this file since 236f133 was 236f133, checked in by JiadaL <j82liang@…>, 4 months ago

Remove quasi_void for enums. The idea of quasi_void from Mike was to get around some resolution problem that enum pick function defines for Bounded over CfaEnum/TypedEnum?. But it is not clear that how often this can happen, and cfa might change the cast function scheme in the future. (change cost comparison scheme) Deprecate quasi_void for now so that enum traits looks cleaner without the dummy type for opaque enums

  • Property mode set to 100644
File size: 2.3 KB
Line 
1#include "enum.hfa"
2#include "fstream.hfa"
3#include <stdlib.h>                                                                             // qsort
4#include <string.h>
5
6#pragma GCC visibility push(default)
7
8int scmp( const void * str1, const void * str2 ) {
9    return -strcmp( *(char **)str1, *(char **)str2 );   // dscending order
10} // scmp
11
12forall( istype & | istream( istype ), E | CfaEnum( E ) )
13istype & ?|?( istype & is, E & e ) {
14//      printf( "here0\n" );
15        if ( eof( is ) ) throwResume ExceptionInst( missing_data );
16
17        // Match input enumerator string to enumerator labels.
18        int len = -1;
19        const char * cpy[ 20 /*countof( E )*/ ];
20        int i = 0;
21        for ( s; E ) {
22                cpy[i] = label( s );
23                printf( "%s\n", cpy[i] );
24                i += 1;
25        }
26        printf( "%d\n", i );
27        qsort( cpy, i, sizeof(char*), scmp );
28        i = 0;
29        for ( s; E ) {
30                printf( "%s\n", cpy[i] );
31                i += 1;
32        }
33        int j = 0;
34  X : for ( s; E ) {
35                len = strlen( cpy[j] );
36                printf( "%s %d\n", cpy[j], len );
37                char fmtstr[len + 16];
38                fmtstr[0] = ' ';                                                                // optional leadig whitespace
39                strcpy( &fmtstr[1], cpy[j] );                                   // copy format and add %n
40                strcpy( &fmtstr[len + 1], "%n" );
41                printf( "%s\n", fmtstr );
42                len = -1;
43                // scanf cursor does not move if no match
44                fmt( is, fmtstr, &len );
45                printf( "%s %d %d\n", fmtstr, len, j );
46          if ( eof( is ) ) { break; }
47          if ( len != -1 ) {
48                  for ( s; E ) {
49                          if ( strcmp( label( s ), cpy[j] ) == 0 ) { e = s; break X; }
50                  }
51          }
52                j += 1;
53        } else {
54                //ExceptionInst( missing_data );
55        } // for
56        printf( "X %s %d\n", label( e ), len );
57        if ( ! eof( is ) && len == -1 ) throwResume ExceptionInst( missing_data );
58
59        // if ( eof( is ) ) throwResume ExceptionInst( missing_data );
60        // char val[256];
61        // int args = fmt( is, "%255s", val );
62        // if ( ! eof( is ) && args != 1 ) throwResume ExceptionInst( missing_data );
63        // for ( s; E ) {
64        //      if ( strcmp(val, label( s )) == 0 ) { e = s; break; }
65        // } else {
66        //      fprintf( stderr, "invalid enumeration constant\n" );
67        //      abort();                                                                        // cannot use abort stream
68        // } // for
69        return is;
70}
71
72// forall( ostype & | ostream( ostype ), E | CfaEnum( E, quasi_void ) ) {
73//      ostype & ?|?( ostype & os, E e ) {
74//              return os | label( e );
75//      }
76//      OSTYPE_VOID_IMPL( E )
77// }
78
79forall( ostype & | ostream( ostype ), E | CfaEnum( E ) ) {
80        ostype & ?|?( ostype & os, E e ) {
81                return os | label( e );
82        }
83        OSTYPE_VOID_IMPL( E )
84}
85
86//
Note: See TracBrowser for help on using the repository browser.