1 // GROUPS passed nested-classes
6 static char output[1024];
12 virtual Dump& operator<<(char c) = 0;
13 virtual Dump& operator<<(int i) = 0;
14 virtual Dump& operator<<(double r) = 0;
17 class Dump1: public Dump {
19 Dump& operator<<(char c);
20 Dump& operator<<(int i);
21 Dump& operator<<(double r);
25 class Dump2: public BDDRetrace::Dump {
27 BDDRetrace::Dump& operator<<(char c);
28 BDDRetrace::Dump& operator<<(int i);
29 BDDRetrace::Dump& operator<<(double r);
33 BDDRetrace::Dump1::operator<<(char c)
35 sprintf (tempout, "%s%s%c", output, "1-", c);
36 strcpy (output, tempout);
41 BDDRetrace::Dump1::operator<<(int i)
43 sprintf (tempout, "%s%s%d", output, "1-", i);
44 strcpy (output, tempout);
48 BDDRetrace::Dump1::operator<<(double r)
50 sprintf (tempout, "%s%s%1.0f", output, "1-", r);
51 strcpy (output, tempout);
55 Dump2::operator<<(char c)
57 sprintf (tempout, "%s%s%c", output, "2-", c);
58 strcpy (output, tempout);
62 Dump2::operator<<(int i)
64 sprintf (tempout, "%s%s%d", output, "2-", i);
65 strcpy (output, tempout);
69 Dump2::operator<<(double r)
71 sprintf (tempout, "%s%s%1.0f", output, "2-", r);
72 strcpy (output, tempout);
80 sprintf (output, " ");
90 if (strcmp (output, " 1-a1-11-12-a2-12-1") == 0)