Compare commits
3 Commits
Author | SHA1 | Date | |
---|---|---|---|
|
ed26f869c3 | ||
|
ee0b51868c | ||
|
98b32fd418 |
Binary file not shown.
@@ -3,7 +3,7 @@
|
||||
"name": "java-tx-language-extension",
|
||||
"displayName": "Java-TX Language Extension",
|
||||
"description": "The Language Extension for Java-TX with Typehints and Syntax Checks",
|
||||
"version": "0.0.5",
|
||||
"version": "0.0.7",
|
||||
"engines": {
|
||||
"vscode": "^1.94.0"
|
||||
},
|
||||
|
BIN
LanguageServer/lib/JavaTXcompiler-0.1-jar-with-dependencies.jar
Normal file
BIN
LanguageServer/lib/JavaTXcompiler-0.1-jar-with-dependencies.jar
Normal file
Binary file not shown.
@@ -55,7 +55,7 @@ public class JavaTXTextDocumentService implements org.eclipse.lsp4j.services.Tex
|
||||
this.logService = new LogService(clientService);
|
||||
this.formattingHandler = new FormattingHandler(textDocumentService);
|
||||
this.parserService = new ParserService(conversionHelper, clientService, cacheService);
|
||||
this.codeActionHandler = new CodeActionHandler(textHelper, textDocumentService, cacheService, typeResolver, logService);
|
||||
this.codeActionHandler = new CodeActionHandler(textHelper, textDocumentService, cacheService, typeResolver, logService, conversionHelper);
|
||||
this.saveHandler = new SaveHandler(typeResolver, textDocumentService, logService, cacheService, conversionHelper, clientService, parserService);
|
||||
this.changeHandler = new ChangeHandler(textDocumentService, parserService, conversionHelper, clientService, typeResolver, cacheService, logService);
|
||||
}
|
||||
|
@@ -1,5 +1,6 @@
|
||||
package de.dhbw.handler;
|
||||
|
||||
import de.dhbw.helper.ConversionHelper;
|
||||
import de.dhbw.helper.TextHelper;
|
||||
import de.dhbw.helper.TypeResolver;
|
||||
import de.dhbw.service.CacheService;
|
||||
@@ -22,13 +23,15 @@ public class CodeActionHandler {
|
||||
private final CacheService cacheService;
|
||||
private final TypeResolver typeResolver;
|
||||
private final LogService logService;
|
||||
private final ConversionHelper conversionHelper;
|
||||
|
||||
public CodeActionHandler(TextHelper textHelper, TextDocumentService textDocumentService, CacheService cacheService, TypeResolver typeResolver, LogService logService) {
|
||||
public CodeActionHandler(TextHelper textHelper, TextDocumentService textDocumentService, CacheService cacheService, TypeResolver typeResolver, LogService logService, ConversionHelper conversionHelper) {
|
||||
this.textHelper = textHelper;
|
||||
this.textDocumentService = textDocumentService;
|
||||
this.cacheService = cacheService;
|
||||
this.typeResolver = typeResolver;
|
||||
this.logService = logService;
|
||||
this.conversionHelper = conversionHelper;
|
||||
}
|
||||
|
||||
public static Range wholeDocumentRange(String text) {
|
||||
@@ -103,7 +106,7 @@ public class CodeActionHandler {
|
||||
Range rangeOfInsert = params.getRange();
|
||||
|
||||
//All Diagnostics that are in range of the hover -> All Diagnostics of the selected Variable and thus all Types of the Variable
|
||||
Map<String, List<PlaceholderVariable>> typeInsertsOverlapping = getOverlapping(typeResolver.getInserts(), rangeOfInsert.getStart().getLine()+1, rangeOfInsert.getStart().getCharacter(), rangeOfInsert.getEnd().getCharacter());
|
||||
Map<String, List<PlaceholderVariable>> typeInsertsOverlapping = getOverlapping(typeResolver.getInserts(), rangeOfInsert.getStart().getLine() + 1, rangeOfInsert.getStart().getCharacter(), rangeOfInsert.getEnd().getCharacter());
|
||||
logService.log("Inserts are:");
|
||||
typeResolver.getInserts().forEach((key, value) -> logService.log(key));
|
||||
logService.log("Size is: " + typeInsertsOverlapping.size());
|
||||
@@ -113,6 +116,8 @@ public class CodeActionHandler {
|
||||
for (var typeInsertList : typeInsertsOverlapping.values()) {
|
||||
for (var typeInsert : typeInsertList) {
|
||||
try {
|
||||
logService.log("NEW TEXT OF FILE BEFORE INSERT IS:");
|
||||
logService.log(textDocumentService.getFileOfUri(documentUri));
|
||||
String typeWithReplacedVariable = typeInsert.insert(textDocumentService.getFileOfUri(documentUri));
|
||||
|
||||
ArrayList<TextEdit> listOfChanges = new ArrayList<>();
|
||||
@@ -127,7 +132,7 @@ public class CodeActionHandler {
|
||||
WorkspaceEdit edit = new WorkspaceEdit();
|
||||
edit.setChanges(changes);
|
||||
|
||||
CodeAction action = new CodeAction("Insert " + typeInsert.getInsertString());
|
||||
CodeAction action = new CodeAction("Insert " + conversionHelper.cleanType(typeInsert.getInsertString()));
|
||||
action.setKind(CodeActionKind.QuickFix);
|
||||
action.setEdit(edit);
|
||||
actions.add(Either.forRight(action));
|
||||
|
@@ -20,12 +20,16 @@ public class ConversionHelper {
|
||||
this.textDocumentService = textDocumentService;
|
||||
}
|
||||
|
||||
public String cleanType(String type){
|
||||
return type.replaceAll("java.lang.", "").replaceAll("java.util.", "");
|
||||
}
|
||||
|
||||
public InlayHint getInlayHint(LSPVariable variable) {
|
||||
InlayHint inlayHint = new InlayHint();
|
||||
|
||||
String typeDisplay = "";
|
||||
for (Type type : variable.getPossibleTypes()) {
|
||||
typeDisplay += " | " + type.getType().replaceAll("GTV ", "");
|
||||
typeDisplay += " | " + cleanType(type.getType().replaceAll("GTV ", ""));
|
||||
}
|
||||
|
||||
|
||||
@@ -45,7 +49,7 @@ public class ConversionHelper {
|
||||
Diagnostic diagnostic = new Diagnostic(
|
||||
errorRange,
|
||||
//TODO: REMOVE! Temporary Fix because GTV, like TPH can be thrown away in the TypeResolver
|
||||
type.getType().replaceAll("GTV ", ""),
|
||||
cleanType(type.getType().replaceAll("GTV ", "")),
|
||||
DiagnosticSeverity.Hint,
|
||||
"JavaTX Language Server"
|
||||
);
|
||||
@@ -62,7 +66,7 @@ public class ConversionHelper {
|
||||
Diagnostic diagnostic = new Diagnostic(
|
||||
errorRange,
|
||||
//TODO: REMOVE! Temporary Fix because GTV, like TPH can be thrown away in the TypeResolver
|
||||
type.getType().replaceAll("GTV ", ""),
|
||||
cleanType(type.getType().replaceAll("GTV ", "")),
|
||||
DiagnosticSeverity.Hint,
|
||||
"JavaTX Language Server"
|
||||
);
|
||||
@@ -71,7 +75,7 @@ public class ConversionHelper {
|
||||
return diagnostic;
|
||||
}
|
||||
|
||||
public List<Diagnostic> parseErrorToDiagnostic(List<ParserError> parserErrors){
|
||||
public List<Diagnostic> parseErrorToDiagnostic(List<ParserError> parserErrors) {
|
||||
return parserErrors.stream().map(el -> {
|
||||
Range errorRange = new Range(
|
||||
new Position(el.getLine() - 1, el.getCharPositionInLine()), // Startposition
|
||||
@@ -86,7 +90,7 @@ public class ConversionHelper {
|
||||
}).toList();
|
||||
}
|
||||
|
||||
public DiagnosticsAndTypehints variablesToDiagnosticsAndTypehints(ArrayList<LSPVariable> typesOfMethodAndParameters, String uri){
|
||||
public DiagnosticsAndTypehints variablesToDiagnosticsAndTypehints(ArrayList<LSPVariable> typesOfMethodAndParameters, String uri) {
|
||||
List<InlayHint> typeHint = new ArrayList<>();
|
||||
ArrayList<Diagnostic> diagnostics = new ArrayList<>();
|
||||
|
||||
@@ -103,7 +107,8 @@ public class ConversionHelper {
|
||||
|
||||
return new DiagnosticsAndTypehints(diagnostics, typeHint);
|
||||
}
|
||||
public DiagnosticsAndTypehints variablesToDiagnosticsAndTypehintsWithInput(ArrayList<LSPVariable> typesOfMethodAndParameters, String input){
|
||||
|
||||
public DiagnosticsAndTypehints variablesToDiagnosticsAndTypehintsWithInput(ArrayList<LSPVariable> typesOfMethodAndParameters, String input) {
|
||||
List<InlayHint> typeHint = new ArrayList<>();
|
||||
ArrayList<Diagnostic> diagnostics = new ArrayList<>();
|
||||
|
||||
|
@@ -19,6 +19,7 @@ public class PlaceholderPlacer extends AbstractASTWalker {
|
||||
this.genericsResult = genericsResult;
|
||||
pkgName = forSourceFile.getPkgName();
|
||||
forSourceFile.accept(this);
|
||||
inserts.forEach(el -> el.reducePackage());
|
||||
return inserts;
|
||||
}
|
||||
|
||||
|
@@ -143,38 +143,20 @@ public class TypeResolver {
|
||||
public ArrayList<LSPVariable> infereInput(String pathString, String input, boolean a) throws IOException, ClassNotFoundException, URISyntaxException {
|
||||
System.setOut(new PrintStream(OutputStream.nullOutputStream()));
|
||||
|
||||
var uri = new URI(pathString);
|
||||
var path = Path.of(uri);
|
||||
LanguageServerInterface languageServerInterface = new LanguageServerInterface();
|
||||
LanguageServerTransferObject lsTransfer = languageServerInterface.getResultSetAndAbstractSyntax(pathString);
|
||||
|
||||
logger.info("Path is for calculation: " + path.toString());
|
||||
var file = path.toFile();
|
||||
Files.createDirectories(path.getParent().resolve("out"));
|
||||
var compiler = new JavaTXCompiler(List.of(file), List.of(path.getParent().toFile()), path.getParent().resolve("out").toFile());
|
||||
|
||||
var parsedSource = compiler.sourceFiles.get(file);
|
||||
var tiResults = compiler.typeInference(file);
|
||||
var parsedSource = lsTransfer.getAst();
|
||||
var tiResults = lsTransfer.getResultSets();
|
||||
Set<PlaceholderVariable> tips = new HashSet<>();
|
||||
|
||||
// for (var sf : compiler.sourceFiles.values()) {
|
||||
// Map<JavaClassName, byte[]> bytecode = compiler.generateBytecode(sf, tiResults);
|
||||
// logger.info("Path for Class-File is: " + path.getParent().resolve("out").toFile());
|
||||
// Files.createDirectories(path.getParent().resolve("out"));
|
||||
// compiler.writeClassFile(bytecode, path.getParent().resolve("out").toFile(), false);
|
||||
//
|
||||
// }
|
||||
|
||||
Map<JavaClassName, byte[]> bytecode = compiler.generateBytecode(parsedSource, tiResults);
|
||||
logger.info("Path for Class-File is: " + path.getParent().resolve("out").toFile());
|
||||
Files.createDirectories(path.getParent().resolve("out"));
|
||||
compiler.writeClassFile(bytecode, path.getParent().resolve("out").toFile(), false);
|
||||
|
||||
generatedGenerics = compiler.getGeneratedGenerics().get(compiler.sourceFiles.get(file));
|
||||
generatedGenerics = lsTransfer.getGeneratedGenerics().get(lsTransfer.getAst());
|
||||
for (int i = 0; i < tiResults.size(); i++) {
|
||||
ResultSet tiResult = tiResults.get(i);
|
||||
tips.addAll(ASTTransformationHelper.createTypeInsertPoints(parsedSource, tiResult, compiler.getGeneratedGenerics().get(compiler.sourceFiles.get(file)).get(i)));
|
||||
tips.addAll(ASTTransformationHelper.createTypeInsertPoints(parsedSource, tiResult, lsTransfer.getGeneratedGenerics().get(lsTransfer.getAst()).get(i)));
|
||||
}
|
||||
System.setOut(System.out);
|
||||
this.current = new LanguageServerTransferObject(tiResults, parsedSource, "", compiler.getGeneratedGenerics());
|
||||
this.current = lsTransfer;
|
||||
|
||||
HashMap<String, List<PlaceholderVariable>> insertsOnLines = new HashMap<>();
|
||||
|
||||
|
@@ -12,6 +12,10 @@ public class PlaceholderPoint {
|
||||
private int extraOffset = 0;
|
||||
private PlaceholderType kind;
|
||||
|
||||
public void setInsertString(String insertString){
|
||||
this.insertString = insertString;
|
||||
}
|
||||
|
||||
public PlaceholderPoint(Token point, String toInsert, PlaceholderType kind){
|
||||
this.point = point;
|
||||
this.kind = kind;
|
||||
@@ -37,12 +41,7 @@ public class PlaceholderPoint {
|
||||
public int getPositionInCode() {
|
||||
return point.getStartIndex() + extraOffset;
|
||||
}
|
||||
|
||||
/* PL 2018-06-19
|
||||
* Zwei TypeInsertPoint's sind gleich, wenn ihre point's gleich sind
|
||||
* eingefuegt damit man TypeReplaceMarker vergleichen kann
|
||||
* @see java.lang.Object#equals(java.lang.Object)
|
||||
*/
|
||||
|
||||
public boolean equals(Object obj) {
|
||||
return this == obj;
|
||||
/*
|
||||
|
@@ -12,6 +12,8 @@ public class PlaceholderVariable {
|
||||
Set<PlaceholderPoint> inserts;
|
||||
ResultPair<?, ?> resultPair;
|
||||
|
||||
|
||||
|
||||
public PlaceholderVariable(PlaceholderPoint point, Set<PlaceholderPoint> additionalPoints, ResultPair<?, ?> resultPair) {
|
||||
this.point = point;
|
||||
inserts = additionalPoints;
|
||||
@@ -38,6 +40,9 @@ public class PlaceholderVariable {
|
||||
return point.getInsertString();
|
||||
}
|
||||
|
||||
public void reducePackage(){point.setInsertString(point.getInsertString().replaceAll("java\\.lang\\.", "").replaceAll("java\\.util\\.", ""));
|
||||
}
|
||||
|
||||
public ResultPair<?, ?> getResultPair() {
|
||||
return this.resultPair;
|
||||
}
|
||||
|
Reference in New Issue
Block a user