Problem types `object.toString()'s` end up in URIs; don't know what to do about this.

usethesource / clair

C Language Analysis in Rascal

BSD 2-Clause "Simplified" License

25 stars 12 forks source link

Problem types `object.toString()'s` end up in URIs; don't know what to do about this. #50

Open jurgenvinju opened 1 year ago

jurgenvinju commented 1 year ago

<|cpp+parameter:///Phonebook/searchByPhoneNumber(org.eclipse.cdt.internal.core.dom.parser.ProblemType@31e76a8d)/phoneNumber|,|project://clair/src/test/phonebook.cpp|(1100,11)>,

rodinaarssen commented 1 year ago

Duplicate of #25 (which has a misleading title). The toString originates from lang.cpp.BindingsResolver in the printType(IType) function.

Note that the underlying issue is that the type of the first argument of searchByPhoneNumber cannot be resolved by CDT.