1/*
2 * Copyright (C) 2010 The Android Open Source Project
3 *
4 * Licensed under the Apache License, Version 2.0 (the "License");
5 * you may not use this file except in compliance with the License.
6 * You may obtain a copy of the License at
7 *
8 *      http://www.apache.org/licenses/LICENSE-2.0
9 *
10 * Unless required by applicable law or agreed to in writing, software
11 * distributed under the License is distributed on an "AS IS" BASIS,
12 * WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
13 * See the License for the specific language governing permissions and
14 * limitations under the License.
15 */
16#include <typeinfo>
17#include <cstdio>
18
19using namespace std;
20
21class Foo
22{
23public:
24  virtual ~Foo() { }
25  virtual void print()
26  {
27    std::printf("in Foo!\n");
28  }
29};
30
31class Bar: public Foo
32{
33  public:
34  void print()
35  {
36    std::printf("in Bar!\n");
37  }
38};
39
40struct Base {};
41struct Derived : Base {};
42struct Poly_Base {virtual void Member(){}};
43struct Poly_Derived: Poly_Base {};
44
45#define CHECK(cond)  \
46    do { \
47        if (!(cond)) { \
48            fprintf(stderr, "KO: Assertion failure: %s\n", #cond); \
49            fail++;\
50        }\
51    } while (0)
52
53int main()
54{
55    int  fail = 0;
56    Foo* foo = new Bar();
57    Bar* bar;
58
59    // built-in types:
60    int i;
61    int * pi;
62
63    CHECK(typeid(int) == typeid(i));
64    CHECK(typeid(int*) == typeid(pi));
65    CHECK(typeid(int) == typeid(*pi));
66
67    printf("int is: %s\n", typeid(int).name());
68    printf("  i is: %s\n", typeid(i).name());
69    printf(" pi is: %s\n", typeid(pi).name());
70    printf("*pi is: %s\n", typeid(*pi).name());
71
72    // non-polymorphic types:
73    Derived derived;
74    Base* pbase = &derived;
75
76    CHECK(typeid(derived) == typeid(Derived));
77    CHECK(typeid(pbase) == typeid(Base*));
78    CHECK(typeid(&derived) == typeid(Derived*));
79
80    printf("derived is: %s\n", typeid(derived).name());
81    printf(" *pbase is: %s\n", typeid(*pbase).name());
82
83    // polymorphic types:
84    Poly_Derived polyderived;
85    Poly_Base* ppolybase = &polyderived;
86
87    CHECK(typeid(polyderived) == typeid(Poly_Derived));
88    CHECK(typeid(ppolybase) == typeid(Poly_Base*));
89    CHECK(typeid(polyderived) == typeid(*ppolybase));
90
91    printf("polyderived is: %s\n", typeid(polyderived).name());
92    printf(" *ppolybase is: %s\n", typeid(*ppolybase).name());
93
94    bar = dynamic_cast<Bar*>(foo);
95    if (bar != NULL) {
96        printf("OK: 'foo' is pointing to a Bar class instance.\n");
97    } else {
98        fprintf(stderr, "KO: Could not dynamically cast 'foo' to a 'Bar*'\n");
99        fail++;
100    }
101
102    delete foo;
103
104    return (fail > 0);
105}
106