[facets API] mark some interfaces in Facets API as NonExtendable
authornik <Nikolay.Chashnikov@jetbrains.com>
Fri, 13 Dec 2019 09:51:36 +0000 (12:51 +0300)
committerintellij-monorepo-bot <intellij-monorepo-bot-no-reply@jetbrains.com>
Fri, 13 Dec 2019 12:03:34 +0000 (12:03 +0000)
commitf0cc3c44e50e7c122a91b549a2dce22817389792
tree2ebe0854c3201775512637a4e0a092eec15ce04c
parente009b9abe80714c5996a3302911966afa6ed668b
[facets API] mark some interfaces in Facets API as NonExtendable

They aren't supposed to be overridden in plugins, and such overrides may cause problems when we provide alternative implementation of Facets API via the new workspace model.

GitOrigin-RevId: 2c4b8b01d684ca6453bacce923f171894417954f
13 files changed:
platform/lang-api/src/com/intellij/facet/FacetFinder.java
platform/lang-api/src/com/intellij/facet/FacetManager.java
platform/lang-api/src/com/intellij/facet/FacetModel.java
platform/lang-api/src/com/intellij/facet/FacetModificationTrackingService.java
platform/lang-api/src/com/intellij/facet/ModifiableFacetModel.java
platform/lang-api/src/com/intellij/facet/ProjectFacetManager.java
platform/lang-api/src/com/intellij/facet/ProjectWideFacetListenersRegistry.java
platform/lang-api/src/com/intellij/facet/pointers/FacetPointer.java
platform/lang-api/src/com/intellij/facet/pointers/FacetPointersManager.java
platform/lang-api/src/com/intellij/facet/ui/FacetEditor.java
platform/lang-api/src/com/intellij/facet/ui/FacetEditorContext.java
platform/lang-api/src/com/intellij/facet/ui/FacetValidatorsManager.java
platform/lang-api/src/com/intellij/facet/ui/MultipleFacetEditorHelper.java