Subversion Repositories tendra.SVN

#   		 Crown Copyright (c) 1997

#   

#   This TenDRA(r) Computer Program is subject to Copyright

#   owned by the United Kingdom Secretary of State for Defence

#   acting through the Defence Evaluation and Research Agency

#   (DERA).  It is made available to Recipients with a

#   royalty-free licence for its use, reproduction, transfer

#   to other parties and amendment for any purpose not excluding

#   product development provided that any such use et cetera

#   shall be deemed to be acceptance of the following conditions:-

#   

#       (1) Its Recipients shall ensure that this Notice is

#       reproduced upon any copies or amended versions of it;

#   

#       (2) Any amended version of it shall be clearly marked to

#       show both the nature of and the organisation responsible

#       for the relevant amendment or amendments;

#   

#       (3) Its onward transfer from a recipient to another

#       party shall be deemed to be that party's acceptance of

#       these conditions;

#   

#       (4) DERA gives no warranty or assurance as to its

#       quality or suitability for any purpose and DERA accepts

#       no liability whatsoever in relation to any use to which

#       it may be put.

#

$LINKAGE = "C++" ;

$NAMESPACE = "std" ;

+USE "cpp", "exception", "except" ;

%%

// CLASS RETURNED BY TYPEID OPERATOR

class type_info {

    // Implementation dependent details

    class __base_info {} ;

    int __code ;

    const char *__name ;

    __base_info *__base ;

public :

    virtual ~type_info () ;

    bool operator== ( const type_info & ) const ;

    bool operator!= ( const type_info & ) const ;

    bool before ( const type_info & ) const ;

    const char *name () const ;

private :

    type_info ( const type_info & ) ;

    type_info &operator= ( const type_info & ) ;

} ;

// EXCEPTION THROWN BY BAD DYNAMIC_CAST

class bad_cast : public exception {

    // Implementation dependent details

public :

    bad_cast () throw () ;

    bad_cast ( const bad_cast & ) throw () ;

    bad_cast &operator= ( const bad_cast & ) throw () ;

    virtual ~bad_cast () throw () ;

    virtual const char *what () const throw () ;

} ;

// EXCEPTION THROWN BY BAD TYPEID

class bad_typeid : public exception {

    // Implementation dependent details

public :

    bad_typeid () throw () ;

    bad_typeid ( const bad_typeid & ) throw () ;

    bad_typeid &operator= ( const bad_typeid & ) throw () ;

    virtual ~bad_typeid () throw () ;

    virtual const char *what () const throw () ;

} ;

%%