#ifndef __JLANG__JSWITCH__ #define __JLANG__JSWITCH__ /** * \author mdejong */ namespace JLANG {} namespace JPP { using namespace JLANG; } namespace JLANG { /** * Template selection of type specifier. */ template class JSwitch { public: typedef B value_type; }; /** * Template specialisation of selection of type specifier. */ template class JSwitch { public: typedef A value_type; }; } #endif