215
223
// create a 'that' condition, i.e. the current object is an instance
216
224
// of a specific class that matches the argument of 'that'
217
228
void that (JPL_Class *in_class, const string &mangled_check) {
218
230
TI_Class *ti = (TI_Class*)in_class->transform_info();
220
232
Naming::type_check_func (cond_name, ti->class_info (), mangled_check.c_str ());