mirror of
https://gitflic.ru/project/openide/openide.git
synced 2026-09-27 10:03:11 +07:00
JavaLanguageLevelProvider can be fun interface
GitOrigin-RevId: 46e39d24d5650cbf5c9c9e7afbe2a9afc7788831
This commit is contained in:
committed by
intellij-monorepo-bot
parent
a79de38ccb
commit
a128feff2c
@@ -12,7 +12,7 @@ import org.jetbrains.annotations.ApiStatus
|
||||
* Implement this extension point to provide the custom language level for Java lazy parsers.
|
||||
*/
|
||||
@ApiStatus.OverrideOnly
|
||||
interface JavaLanguageLevelProvider {
|
||||
fun interface JavaLanguageLevelProvider {
|
||||
fun getLanguageLevel(node: SyntaxNode): LanguageLevel
|
||||
}
|
||||
|
||||
|
||||
Reference in New Issue
Block a user