progress
[prop.git] / lib-src / contain / variset.cc
blobf4851b142f61fe0f40f163f5b2c4dccde23bc4d6
1 //////////////////////////////////////////////////////////////////////////////
2 // NOTICE:
3 //
4 // ADLib, Prop and their related set of tools and documentation are in the
5 // public domain. The author(s) of this software reserve no copyrights on
6 // the source code and any code generated using the tools. You are encouraged
7 // to use ADLib and Prop to develop software, in both academic and commercial
8 // settings, and are free to incorporate any part of ADLib and Prop into
9 // your programs.
11 // Although you are under no obligation to do so, we strongly recommend that
12 // you give away all software developed using our tools.
14 // We also ask that credit be given to us when ADLib and/or Prop are used in
15 // your programs, and that this notice be preserved intact in all the source
16 // code.
18 // This software is still under development and we welcome any suggestions
19 // and help from the users.
21 // Allen Leung
22 // 1994
23 //////////////////////////////////////////////////////////////////////////////
25 #include <string.h>
26 #include <stdlib.h>
27 #include <iostream>
28 #include <AD/contain/variset.h>
30 VarIntSet::VarIntSet(size_t init_size, size_t g)
31 { limit = (init_size + sizeof(Glob) * 8 - 1) / (sizeof(Glob) * 8);
32 growth = g;
33 array = new Glob [limit];
34 memset(array,0,limit * sizeof(Glob));
36 VarIntSet::~VarIntSet() { delete [] array; }
38 void VarIntSet::grow(size_t new_limit)
39 { if (new_limit >= 8*1024*1024)
40 { std::cerr << "Limit exceeded in VarIntSet::grow(): " << new_limit << '\n';
41 exit(1);
43 Glob * a = new Glob [ new_limit ];
44 memcpy(a,array,limit * sizeof(Glob));
45 memset(a+limit, 0, (new_limit - limit) * sizeof(Glob));
46 delete [] array;
47 array = a;
48 limit = new_limit;