public interface Sdk extends UserDataHolder
Modifier and Type | Method and Description |
---|---|
java.lang.Object |
clone() |
VirtualFile |
getHomeDirectory() |
java.lang.String |
getHomePath() |
java.lang.String |
getName() |
RootProvider |
getRootProvider() |
SdkAdditionalData |
getSdkAdditionalData() |
SdkModificator |
getSdkModificator() |
SdkTypeId |
getSdkType() |
java.lang.String |
getVersionString() |
getUserData, putUserData
SdkTypeId getSdkType()
java.lang.String getName()
java.lang.String getVersionString()
java.lang.String getHomePath()
VirtualFile getHomeDirectory()
RootProvider getRootProvider()
SdkModificator getSdkModificator()
SdkAdditionalData getSdkAdditionalData()
java.lang.Object clone() throws java.lang.CloneNotSupportedException
java.lang.CloneNotSupportedException