mirror of
https://github.com/arduino/Arduino.git
synced 2025-02-01 21:52:12 +01:00
Added deprecated field in index parsing
This commit is contained in:
parent
b68d4b64e6
commit
bf2f90dfff
@ -60,6 +60,7 @@ public class ContributedPlatform extends DownloadableContribution {
|
|||||||
private boolean builtIn;
|
private boolean builtIn;
|
||||||
private Map<ContributedToolReference, ContributedTool> resolvedToolReferences;
|
private Map<ContributedToolReference, ContributedTool> resolvedToolReferences;
|
||||||
private ContributedPackage parentPackage;
|
private ContributedPackage parentPackage;
|
||||||
|
private boolean deprecated;
|
||||||
|
|
||||||
@Override
|
@Override
|
||||||
public String getUrl() { return url; }
|
public String getUrl() { return url; }
|
||||||
@ -157,6 +158,14 @@ public class ContributedPlatform extends DownloadableContribution {
|
|||||||
this.parentPackage = parentPackage;
|
this.parentPackage = parentPackage;
|
||||||
}
|
}
|
||||||
|
|
||||||
|
public boolean isDeprecated() {
|
||||||
|
return deprecated;
|
||||||
|
}
|
||||||
|
|
||||||
|
public void setDeprecated(boolean deprecated) {
|
||||||
|
this.deprecated = deprecated;
|
||||||
|
}
|
||||||
|
|
||||||
@Override
|
@Override
|
||||||
public String toString() {
|
public String toString() {
|
||||||
return getParsedVersion();
|
return getParsedVersion();
|
||||||
|
Loading…
x
Reference in New Issue
Block a user