mirror of
https://gitflic.ru/project/openide/openide.git
synced 2026-09-27 10:03:11 +07:00
notnull
GitOrigin-RevId: cf3c497c5c3a60bf9e0cb12ff800b3ff487c5bcd
This commit is contained in:
committed by
intellij-monorepo-bot
parent
8b0f70b40b
commit
759448610a
@@ -15,6 +15,7 @@
|
||||
*/
|
||||
package org.jetbrains.jps.model.library.sdk;
|
||||
|
||||
import org.jetbrains.annotations.NotNull;
|
||||
import org.jetbrains.jps.model.JpsElement;
|
||||
import org.jetbrains.jps.model.JpsElementReference;
|
||||
import org.jetbrains.jps.model.library.JpsTypedLibrary;
|
||||
@@ -23,5 +24,6 @@ import org.jetbrains.jps.model.library.JpsTypedLibrary;
|
||||
* @author nik
|
||||
*/
|
||||
public interface JpsSdkReference<P extends JpsElement> extends JpsElementReference<JpsTypedLibrary<JpsSdk<P>>> {
|
||||
@NotNull
|
||||
String getSdkName();
|
||||
}
|
||||
|
||||
@@ -30,6 +30,7 @@ public abstract class JpsNamedElementReferenceBase<S extends JpsNamedElement, T
|
||||
extends JpsCompositeElementBase<Self> implements JpsElementReference<T> {
|
||||
private static final JpsElementChildRole<JpsElementReference<? extends JpsCompositeElement>> PARENT_REFERENCE_ROLE = JpsElementChildRoleBase
|
||||
.create("parent");
|
||||
@NotNull
|
||||
protected final String myElementName;
|
||||
|
||||
protected JpsNamedElementReferenceBase(@NotNull String elementName, @NotNull JpsElementReference<? extends JpsCompositeElement> parentReference) {
|
||||
|
||||
+1
@@ -53,6 +53,7 @@ public class JpsWrappedJavaSdkReferenceImpl extends JpsCompositeElementBase<JpsW
|
||||
return new JpsWrappedJavaSdkReferenceImpl(this);
|
||||
}
|
||||
|
||||
@NotNull
|
||||
@Override
|
||||
public String getSdkName() {
|
||||
JpsTypedLibrary<JpsSdk<JpsDummyElement>> sdk = resolve();
|
||||
|
||||
Reference in New Issue
Block a user