mirror of
https://gitflic.ru/project/openide/openide.git
synced 2026-09-27 10:03:11 +07:00
unused interface removed
This commit is contained in:
@@ -5,7 +5,7 @@ import org.jetbrains.annotations.NotNull;
|
||||
/**
|
||||
* @author nik
|
||||
*/
|
||||
public interface JpsCompositeElement extends JpsParentElement {
|
||||
public interface JpsCompositeElement extends JpsElement {
|
||||
@NotNull
|
||||
JpsElementContainer getContainer();
|
||||
}
|
||||
|
||||
@@ -7,7 +7,7 @@ import java.util.List;
|
||||
/**
|
||||
* @author nik
|
||||
*/
|
||||
public interface JpsElementCollection<E extends JpsElement> extends JpsParentElement {
|
||||
public interface JpsElementCollection<E extends JpsElement> extends JpsElement {
|
||||
List<E> getElements();
|
||||
|
||||
@NotNull
|
||||
|
||||
@@ -1,7 +0,0 @@
|
||||
package org.jetbrains.jps.model;
|
||||
|
||||
/**
|
||||
* @author nik
|
||||
*/
|
||||
public interface JpsParentElement extends JpsElement {
|
||||
}
|
||||
Reference in New Issue
Block a user