Cat::UseOverloading – a helper category for domains using the conversion/overloading mechanism
Cat::UseOverloading is a helper category for domains using the conversion and overloading mechanisms of operators::overloaded.
Categories
Details:
Cat::UseOverloading is a technical category over Cat::BaseCategory to provide basic support for those domains that use the conversion and overloading mechanisms of the library operators::overloaded.
It redefines the constructor new and the methods convert and convert_to to use operators::overloaded::convert.
It also has a initDomain method to allow super domains and super categories to provide initialization code (recall that the initDomain method is a special method which is called automatically once by the system just after the creation of the domain). This method is used to declare new conversions and new signatures for overloaded operators.
initDomain – domain initialization
Cat::UseOverloading::initDomain()
Looks for the initDomainAdd methods in the domain itself and in all its super domains (as listed by allSuperDomains), and in all its categories (as listed by allCategories), and executes them one-by-one starting from the last one.
This method is not intended to be called directly by the user. In fact, it should not be called outside the creation of the domain.
initDomainAdd – extra domain initialization
Cat::UseOverloading::initDomainAdd()
Extra code to be executed by the system after the domain is created.
Note that this method does not follow the usual inheritance rules!