public static class UpgradeXGAPP.UpgradePath extends Object
Modifier and Type | Class and Description |
---|---|
static class |
UpgradeXGAPP.UpgradePath.UpgradeStrategy |
Constructor and Description |
---|
UpgradePath(org.jdom.Element oldEntry,
String oldPath,
String groupID,
String artifactID,
org.eclipse.aether.resolution.VersionRangeResult versions,
org.eclipse.aether.version.Version current,
org.eclipse.aether.version.Version selected) |
Modifier and Type | Method and Description |
---|---|
String |
getArtifactID() |
org.eclipse.aether.version.Version |
getCurrentVersion() |
String |
getGroupID() |
protected org.jdom.Element |
getNewElement() |
String |
getNewPath() |
protected org.jdom.Element |
getOldElement() |
String |
getOldPath() |
org.eclipse.aether.version.Version |
getSelectedVersion() |
UpgradeXGAPP.UpgradePath.UpgradeStrategy |
getUpgradeStrategy() |
List<org.eclipse.aether.version.Version> |
getVersions() |
String |
newPathFor(String urlSuffix) |
void |
setArtifactID(String artifactID) |
void |
setGroupID(String groupID) |
void |
setSelectedVersion(org.eclipse.aether.version.Version version) |
void |
setUpgradeStrategy(UpgradeXGAPP.UpgradePath.UpgradeStrategy upgradeStrategy) |
void |
setVersionRangeResult(org.eclipse.aether.resolution.VersionRangeResult result) |
String |
toString() |
public void setSelectedVersion(org.eclipse.aether.version.Version version)
public org.eclipse.aether.version.Version getSelectedVersion()
public org.eclipse.aether.version.Version getCurrentVersion()
public String getNewPath()
public String getOldPath()
public String getGroupID()
public void setGroupID(String groupID)
public String getArtifactID()
public void setArtifactID(String artifactID)
public List<org.eclipse.aether.version.Version> getVersions()
public void setVersionRangeResult(org.eclipse.aether.resolution.VersionRangeResult result)
public UpgradeXGAPP.UpgradePath.UpgradeStrategy getUpgradeStrategy()
public void setUpgradeStrategy(UpgradeXGAPP.UpgradePath.UpgradeStrategy upgradeStrategy)
protected org.jdom.Element getNewElement()
protected org.jdom.Element getOldElement()
Copyright © 2024 GATE. All rights reserved.