mirror of
https://gitflic.ru/project/openide/openide.git
synced 2026-09-27 10:03:11 +07:00
Merge remote-tracking branch 'remotes/origin/master' into upsource-master
This commit is contained in:
@@ -70,7 +70,7 @@ public class JavaCoreEnvironment extends CoreEnvironment {
|
||||
|
||||
myApplication.registerService(PsiPackageImplementationHelper.class, new CorePsiPackageImplementationHelper());
|
||||
|
||||
myFileManager = new CoreJavaFileManager(myPsiManager, getLocalFileSystem(), myJarFileSystem);
|
||||
myFileManager = createCoreFileManager();
|
||||
myProject.registerService(PsiElementFactory.class, new PsiElementFactoryImpl(myPsiManager));
|
||||
myProject.registerService(JavaPsiImplementationHelper.class, new CoreJavaPsiImplementationHelper());
|
||||
myProject.registerService(PsiResolveHelper.class, new PsiResolveHelperImpl(myPsiManager));
|
||||
@@ -92,6 +92,10 @@ public class JavaCoreEnvironment extends CoreEnvironment {
|
||||
myApplication.registerService(JavaVersionService.class, new JavaVersionService());
|
||||
}
|
||||
|
||||
protected CoreJavaFileManager createCoreFileManager() {
|
||||
return new CoreJavaFileManager(myPsiManager, getLocalFileSystem(), myJarFileSystem);
|
||||
}
|
||||
|
||||
public void addToClasspath(File path) {
|
||||
final VirtualFile root = path.isFile()
|
||||
? myJarFileSystem.findFileByPath(path + "!/")
|
||||
|
||||
Reference in New Issue
Block a user