* */
| 1980 | * |
| 1981 | */ |
| 1982 | void |
| 1983 | Type::doFinalization(void) |
| 1984 | { |
| 1985 | vector<Type *>::iterator j; |
| 1986 | for(j = AllTypes.begin(); j != AllTypes.end(); ++j) |
| 1987 | delete (*j); |
| 1988 | AllTypes.clear(); |
| 1989 | |
| 1990 | for(j = derived_types.begin(); j != derived_types.end(); ++j) |
| 1991 | delete (*j); |
| 1992 | derived_types.clear(); |
| 1993 | } |
| 1994 | |
| 1995 | |
| 1996 | /////////////////////////////////////////////////////////////////////////////// |