2 // GROUPS passed nested-classes
7 static char output[1024];
13 virtual Dump& operator<<(char c) = 0;
14 virtual Dump& operator<<(int i) = 0;
15 virtual Dump& operator<<(double r) = 0;
18 class Dump1: public Dump {
20 Dump& operator<<(char c);
21 Dump& operator<<(int i);
22 Dump& operator<<(double r);
26 class Dump2: public BDDRetrace::Dump {
28 BDDRetrace::Dump& operator<<(char c);
29 BDDRetrace::Dump& operator<<(int i);
30 BDDRetrace::Dump& operator<<(double r);
34 BDDRetrace::Dump1::operator<<(char c)
36 std::sprintf(tempout, "%s%s%c", output, "1-", c);
37 std::strcpy(output, tempout);
42 BDDRetrace::Dump1::operator<<(int i)
44 std::sprintf (tempout, "%s%s%d", output, "1-", i);
45 std::strcpy (output, tempout);
49 BDDRetrace::Dump1::operator<<(double r)
51 std::sprintf (tempout, "%s%s%1.0f", output, "1-", r);
52 std::strcpy (output, tempout);
56 Dump2::operator<<(char c)
58 std::sprintf (tempout, "%s%s%c", output, "2-", c);
59 std::strcpy (output, tempout);
63 Dump2::operator<<(int i)
65 std::sprintf (tempout, "%s%s%d", output, "2-", i);
66 std::strcpy (output, tempout);
70 Dump2::operator<<(double r)
72 std::sprintf (tempout, "%s%s%1.0f", output, "2-", r);
73 std::strcpy (output, tempout);
81 std::sprintf (output, " ");
91 if (std::strcmp (output, " 1-a1-11-12-a2-12-1") == 0)
92 std::printf ("PASS\n");
94 { std::printf ("FAIL\n"); return 1; }