1
0
mirror of https://github.com/arduino/Arduino.git synced 2025-02-26 20:54:22 +01:00

Added some more infos in CompletionDetails

This commit is contained in:
Cristian Maglie 2017-06-07 18:56:25 +02:00 committed by Martino Facchin
parent fae321cd99
commit f949c79f63

View File

@ -9,6 +9,7 @@ public class ArduinoCompletionsList extends ArrayList<ArduinoCompletion> {
class ArduinoCompletion {
ArduinoCompletionDetail completion;
String type;
String location;
public ArduinoCompletionDetail getCompletion() {
return completion;
@ -17,6 +18,10 @@ class ArduinoCompletion {
public String getType() {
return type;
}
public String getLocation() {
return location;
}
}
class ArduinoCompletionDetail {
@ -30,6 +35,22 @@ class ArduinoCompletionDetail {
public String getBrief() {
return brief;
}
public String getResultType() {
for (CompletionChunk c : chunks) {
if (c.res != null)
return c.res;
}
return null;
}
public String getTypedText() {
for (CompletionChunk c : chunks) {
if (c.typedtext != null)
return c.typedtext;
}
return null;
}
}
class CompletionChunk {
@ -37,6 +58,7 @@ class CompletionChunk {
String t;
String placeholder;
String res;
String info;
ArduinoCompletionDetail optional;
public String getTypedtext() {
@ -58,4 +80,8 @@ class CompletionChunk {
public ArduinoCompletionDetail getOptional() {
return optional;
}
public String getInfo() {
return info;
}
}