/* * Copyright 2003-2015 JetBrains s.r.o. * * Licensed under the Apache License, Version 2.0 (the "License"); * you may not use this file except in compliance with the License. * You may obtain a copy of the License at * * http://www.apache.org/licenses/LICENSE-2.0 * * Unless required by applicable law or agreed to in writing, software * distributed under the License is distributed on an "AS IS" BASIS, * WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied. * See the License for the specific language governing permissions and * limitations under the License. */ package jetbrains.mps.idea.core.editor; import com.intellij.openapi.fileEditor.FileEditor; import com.intellij.openapi.fileEditor.FileEditorPolicy; import com.intellij.openapi.fileEditor.FileEditorProvider; import com.intellij.openapi.fileEditor.FileEditorState; import com.intellij.openapi.project.Project; import com.intellij.openapi.util.Disposer; import com.intellij.openapi.vfs.VirtualFile; import jetbrains.mps.fileTypes.MPSFileTypeFactory; import org.jdom.Element; import org.jetbrains.annotations.NotNull; /** * Created by danilla on 20/11/15. */ public class ModelFileToRootDispatchingEditorProvider implements FileEditorProvider { @Override public boolean accept(@NotNull Project project, @NotNull VirtualFile file) { return file.getFileType() == MPSFileTypeFactory.MPS_FILE_TYPE; } @NotNull @Override public FileEditor createEditor(@NotNull Project project, @NotNull VirtualFile file) { return new ModelFileToRootDispatchingEditor(project, file); } @Override public void disposeEditor(@NotNull FileEditor editor) { Disposer.dispose(editor); } @NotNull @Override public FileEditorState readState(@NotNull Element sourceElement, @NotNull Project project, @NotNull VirtualFile file) { return FileEditorState.INSTANCE; } @Override public void writeState(@NotNull FileEditorState state, @NotNull Project project, @NotNull Element targetElement) { } @NotNull @Override public String getEditorTypeId() { return "ModelFileToRootDispatchingEditor"; } @NotNull @Override public FileEditorPolicy getPolicy() { return FileEditorPolicy.HIDE_DEFAULT_EDITOR; } }