if (file != null) {
try {
return new InputStreamReader(new FileInputStream(file
- .getFullPath().toString()), file.getCharset());
+ .getLocation().toString()), file.getCharset());
} catch (UnsupportedEncodingException e) {
// do nothing
} catch (FileNotFoundException e) {
StringBuffer hoverInfoBuffer = new StringBuffer();
String workspaceLocation;
if (fProject != null) {
- workspaceLocation = fProject.getFullPath()
+ workspaceLocation = fProject.getLocation()
.toString() + '/';
} else {
// should never happen?
workspaceLocation = PHPeclipsePlugin
.getWorkspace().getRoot()
- .getFullPath().toString();
+ .getLocation().toString();
}
// boolean foundPHPdoc = false;
for (int i = 0; i < list.size(); i++) {