char_set.sa
上传用户:afrynkmhm
上传日期:2007-01-06
资源大小:1262k
文件大小:0k
源码类别:

编译器/解释器

开发平台:

Others

  1. class CHAR_SET is
  2.    include ARRAY{BOOL};
  3.    create ( ba : ARRAY{BOOL} ) : SAME 
  4.       pre ~void(ba) is
  5.       res ::= new( ba.size );
  6.       -- copy: expensive
  7.       loop 
  8.  res.set!( ba.elt! );
  9.       end;
  10.       return res;
  11.    end;
  12.    member( c : CHAR ) : BOOL is
  13.       return aget( c.int );
  14.    end;
  15. end;