Spring/spring-tools
1
0
Fork 0
Code Issues Packages Projects Releases Wiki Activity

Add process ID and name to live hover

Browse Source
This commit is contained in:
nsingh
2017-10-12 10:06:39 -07:00
parent 4d32d4849e
commit 825db31d88
1 changed files with 6 additions and 4 deletions
Download Patch File Download Diff File Expand all files Collapse all files

10
headless-services/boot-java-language-server/src/main/java/org/springframework/ide/vscode/boot/java/requestmapping/RequestMappingHoverProvider.java
View File

@@ -120,6 +120,8 @@ public class RequestMappingHoverProvider implements HoverProvider {
private void addHoverContent(AppMappings appMappings, List<Either<String, MarkedString>> hoverContent, Annotation annotation) throws Exception {
Iterator<String> keys = appMappings.mappings.keys();
String processId = appMappings.app.getProcessID();
String processName = appMappings.app.getProcessName();
while (keys.hasNext()) {
String key = keys.next();
if (doesMatch(annotation, key)) {
@@ -131,7 +133,7 @@ public class RequestMappingHoverProvider implements HoverProvider {
StringBuilder builder = new StringBuilder();
if (url != null) {
builder.append("Navigate to mapping: ");
builder.append("Path: ");
builder.append("[");
builder.append(path);
builder.append("]");
@@ -139,14 +141,14 @@ public class RequestMappingHoverProvider implements HoverProvider {
builder.append(url);
builder.append(")");
} else {
builder.append("Unable to resolve URL for path mapping: " + key);
builder.append("Unable to resolve URL for path: " + key);
}
hoverContent.add(Either.forLeft(builder.toString()));
// hoverContent.add(Either.forLeft(" PORT : " + port));
}
}
hoverContent.add(Either.forLeft("Process ID: " + processId));
hoverContent.add(Either.forLeft("Process Name: " + processName));
}
private boolean doesMatch(Annotation annotation, String key) {