JavaTX/Plugin_JCC
3
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

Cleanup

Browse Source
This commit is contained in:
Daniel Holle 2023-06-20 13:39:58 +02:00
parent d88cdc599b
commit 7cf1419cc4
4 changed files with 37 additions and 60 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

5
JavaCompilerPlugin/bundles/JavaCompilerPlugin.Plugin/plugin.xml
View File

@ -70,11 +70,6 @@
</extension>
<!-- ExtensionPoint für die QuickFixes der ReplaceMarker Quelle: http://wiki.eclipse.org/FAQ_How_do_I_implement_Quick_Fixes_for_my_own_language%3F -->
<extension point="org.eclipse.ui.ide.markerResolution">
<markerResolutionGenerator
markerType="typinferenzplugin.replacemarker"
class="typinferenzplugin.marker.QuickFixer"/>
</extension>
<extension
point="org.eclipse.ui.menus">
<menuContribution

56
JavaCompilerPlugin/bundles/JavaCompilerPlugin.Plugin/src/typinferenzplugin/editor/InsertTypeContribution.java
View File

@ -7,6 +7,8 @@ import org.eclipse.swt.events.SelectionListener;
import org.eclipse.swt.widgets.Menu;
import org.eclipse.swt.widgets.MenuItem;
import typinferenzplugin.TypeReplaceMarker;
public class InsertTypeContribution extends ContributionItem {
JavEditor editorContext;
@ -15,29 +17,45 @@ public class InsertTypeContribution extends ContributionItem {
this.editorContext = editorContext;
}
private final class SelectionHandler implements SelectionListener {
final TypeReplaceMarker marker;
SelectionHandler(TypeReplaceMarker marker) {
this.marker = marker;
}
@Override
public void widgetSelected(SelectionEvent e) {
editorContext.runReplaceMarker(marker);
}
@Override
public void widgetDefaultSelected(SelectionEvent e) {
// TODO Auto-generated method stub
}
}
@Override
public void fill(Menu menu, int index) {
new MenuItem(menu, SWT.SEPARATOR, 0);
var parent = new MenuItem(menu, SWT.CASCADE, 0);
parent.setText("Typ einsetzen");
var subMenu = new Menu(parent);
parent.setMenu(subMenu);
for (var marker : editorContext.currentMarkers) {
var item = new MenuItem(subMenu, SWT.PUSH);
item.setText(marker.getInsertPoint().getInsertString());
item.addSelectionListener(new SelectionListener() {
@Override
public void widgetSelected(SelectionEvent e) {
editorContext.runReplaceMarker(marker);
}
@Override
public void widgetDefaultSelected(SelectionEvent e) {
// TODO Auto-generated method stub
}
});
if (editorContext.currentMarkers.size() > 1) {
var parent = new MenuItem(menu, SWT.CASCADE, 0);
parent.setText("Typ einsetzen");
var subMenu = new Menu(parent);
parent.setMenu(subMenu);
for (var marker : editorContext.currentMarkers) {
var item = new MenuItem(subMenu, SWT.PUSH);
item.setText(marker.getInsertPoint().getInsertString());
item.addSelectionListener(new SelectionHandler(marker));
}
} else {
var marker = editorContext.currentMarkers.get(0);
var item = new MenuItem(menu, SWT.PUSH, 0);
item.setText(marker.getInsertPoint().getInsertString() + " einsetzen");
item.addSelectionListener(new SelectionHandler(marker));
}
}
@Override

19
JavaCompilerPlugin/bundles/JavaCompilerPlugin.Plugin/src/typinferenzplugin/marker/QuickFix.java
View File

@ -1,19 +0,0 @@
package typinferenzplugin.marker;
import org.eclipse.core.resources.IMarker;
import org.eclipse.jface.dialogs.MessageDialog;
import org.eclipse.ui.IMarkerResolution;
public class QuickFix implements IMarkerResolution {
String label;
QuickFix(String label) {
this.label = label;
}
public String getLabel() {
return label;
}
public void run(IMarker marker) {
MessageDialog.openInformation(null, "QuickFix Demo",
"This quick-fix is not yet implemented");
}
}

17
JavaCompilerPlugin/bundles/JavaCompilerPlugin.Plugin/src/typinferenzplugin/marker/QuickFixer.java
View File

@ -1,17 +0,0 @@
package typinferenzplugin.marker;
import org.eclipse.core.resources.IMarker;
import org.eclipse.core.runtime.CoreException;
import org.eclipse.ui.IMarkerResolution;
import org.eclipse.ui.IMarkerResolutionGenerator;
public class QuickFixer implements IMarkerResolutionGenerator {
public IMarkerResolution[] getResolutions(IMarker mk) {
return new IMarkerResolution[] {
new QuickFix("Fix #1 for ")
};
}
}