Searched refs:d_type_ref (Results 1 – 2 of 2) sorted by relevance
230 TypeNode d_type_ref; variable
859 Assert( !d_type_ref.isNull() ); in getReferenceType()860 return d_type_ref; in getReferenceType()880 if (!d_type_ref.isNull()) { in ppNotifyAssertions()884 d_loc_to_data_type[d_type_ref] = d_type_data; in ppNotifyAssertions()1046 d_type_ref = tn1; in registerRefDataTypes()