mirrors/cdt
1
0
Fork 0
mirror of https://github.com/eclipse-cdt/cdt synced 2025-08-18 13:45:45 +02:00
Code Issues Wiki Activity

Bug 480579 - Put platform libs into proper categories.

Browse source 
I had created a category for platform libraries, but some of those
libraries actually belong to real categories. So, let's just use
them instead.

Change-Id: Ie94b546e4c21b2d6b545becc781ca0dc02f5379d
This commit is contained in:
Doug Schaefer 2015-10-25 20:20:07 -04:00
parent cf05b210bd
commit e61edf0d66
1 changed files with 25 additions and 32 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

57
toolchains/arduino/org.eclipse.cdt.arduino.ui/src/org/eclipse/cdt/arduino/ui/internal/project/LibrariesPropertyPage.java
View file

@ -2,7 +2,9 @@ package org.eclipse.cdt.arduino.ui.internal.project;
import java.util.ArrayList;
import java.util.Collection;
import java.util.HashSet;
import java.util.List;
import java.util.Set;
import org.eclipse.cdt.arduino.core.internal.board.ArduinoLibrary;
import org.eclipse.cdt.arduino.core.internal.board.ArduinoManager;
@ -50,16 +52,9 @@ public class LibrariesPropertyPage extends PropertyPage {
@Override
public boolean hasChildren(Object element) {
if (element instanceof LibraryIndex) {
return !index.getCategories().isEmpty();
return true;
} else if (element instanceof String) { // category
return !index.getLibraries((String) element).isEmpty();
} else if (element instanceof ArduinoPlatform) {
try {
return !((ArduinoPlatform) element).getLibraries().isEmpty();
} catch (CoreException e) {
Activator.log(e);
return false;
}
return true;
} else if (element instanceof ArduinoLibrary) {
return false;
} else {
@ -72,19 +67,7 @@ public class LibrariesPropertyPage extends PropertyPage {
if (element instanceof ArduinoLibrary) {
ArduinoLibrary lib = (ArduinoLibrary) element;
String category = lib.getCategory();
if (category != null) {
return category;
}
try {
ArduinoPlatform platform = getPlatform();
if (platform.getLibrary(lib.getName()) != null) {
return platform;
}
} catch (CoreException e) {
Activator.log(e);
}
return LibraryIndex.UNCATEGORIZED;
return category != null ? category : LibraryIndex.UNCATEGORIZED;
} else if (element instanceof String || element instanceof ArduinoPlatform) {
return index;
} else {
@ -94,30 +77,42 @@ public class LibrariesPropertyPage extends PropertyPage {
@Override
public Object[] getElements(Object inputElement) {
List<Object> categories = new ArrayList<>();
Set<String> categories = new HashSet<>();
categories.addAll(((LibraryIndex) inputElement).getCategories());
try {
ArduinoPlatform platform = getPlatform();
categories.add(platform);
for (ArduinoLibrary lib : getPlatform().getLibraries()) {
String category = lib.getCategory();
categories.add(category != null ? category : LibraryIndex.UNCATEGORIZED);
}
} catch (CoreException e) {
Activator.log(e);
}
categories.addAll(((LibraryIndex) inputElement).getCategories());
return categories.toArray();
}
@Override
public Object[] getChildren(Object parentElement) {
if (parentElement instanceof String) {
return index.getLibraries((String) parentElement).toArray(new ArduinoLibrary[0]);
} else if (parentElement instanceof ArduinoPlatform) {
String category = (String) parentElement;
List<ArduinoLibrary> libs = new ArrayList<>();
libs.addAll(index.getLibraries(category));
try {
return ((ArduinoPlatform) parentElement).getLibraries().toArray();
for (ArduinoLibrary lib : getPlatform().getLibraries()) {
String cat = lib.getCategory();
if (cat != null) {
if (cat.equals(category)) {
libs.add(lib);
}
} else if (category.equals(LibraryIndex.UNCATEGORIZED)) { // cat == null
libs.add(lib);
}
}
} catch (CoreException e) {
Activator.log(e);
return new Object[0];
}
return libs.toArray();
} else {
return new Object[0];
}
@ -134,8 +129,6 @@ public class LibrariesPropertyPage extends PropertyPage {
public String getColumnText(Object element, int columnIndex) {
if (element instanceof String) {
return columnIndex == 0 ? (String) element : null;
} else if (element instanceof ArduinoPlatform) {
return columnIndex == 0 ? ((ArduinoPlatform) element).getName() : null;
} else if (element instanceof ArduinoLibrary) {
switch (columnIndex) {
case 0: