Fix visitors not started
This commit is contained in:
@ -109,7 +109,8 @@ public class SourceEditorController implements Initializable, SettingsOwner {
|
||||
codeEditorArea.richChanges()
|
||||
.filter(t -> !t.isIdentity())
|
||||
.successionEnds(AST_REFRESH_DELAY)
|
||||
// Refresh the AST anytime the text or the language version changes
|
||||
// Refresh the AST anytime the text, classloader, or language version changes
|
||||
.or(auxclasspathClassLoader.changes())
|
||||
.or(languageVersionProperty().changes())
|
||||
.subscribe(tick -> {
|
||||
// Discard the AST if the language version has changed
|
||||
@ -117,8 +118,6 @@ public class SourceEditorController implements Initializable, SettingsOwner {
|
||||
parent.refreshAST();
|
||||
});
|
||||
|
||||
auxclasspathClassLoader.changes().subscribe(t -> parent.refreshAST());
|
||||
|
||||
codeEditorArea.setParagraphGraphicFactory(LineNumberFactory.get(codeEditorArea));
|
||||
}
|
||||
|
||||
|
@ -107,13 +107,13 @@ public class ASTManager {
|
||||
designerRoot.getLogger().logEvent(new LogEntry(e, Category.SYMBOL_FACADE_EXCEPTION));
|
||||
}
|
||||
try {
|
||||
languageVersionHandler.getQualifiedNameResolutionFacade(classLoader);
|
||||
languageVersionHandler.getQualifiedNameResolutionFacade(classLoader).start(node);
|
||||
} catch (Exception e) {
|
||||
designerRoot.getLogger().logEvent(new LogEntry(e, Category.QUALIFIED_NAME_RESOLUTION_EXCEPTION));
|
||||
}
|
||||
|
||||
try {
|
||||
languageVersionHandler.getTypeResolutionFacade(classLoader);
|
||||
languageVersionHandler.getTypeResolutionFacade(classLoader).start(node);
|
||||
} catch (Exception e) {
|
||||
designerRoot.getLogger().logEvent(new LogEntry(e, Category.TYPERESOLUTION_EXCEPTION));
|
||||
}
|
||||
|
Reference in New Issue
Block a user