Jelzőmegoldások közreadása

A bedolgozók jelzőmegoldásokat is megadhatnak, így a problémajelzők résztvehetnek a munkaterület Gyorsjavítás szolgáltatásában. A felhasználók a jelzőhöz kiválaszthatnak egy problémajelzőt és egy Gyorsjavítást a biztosított javítások listáját tartalmazó előugrómenüből.

Gyorsjavításjelző menü

A jelzőmegoldások az org.eclipse.ui.ide.markerResolution kiterjesztési pont segítségével kerülnek közreadásra. Ezen kiterjesztési pont segítségével a bedolgozók egy IMarkerResolutionGenerator elemet megvalósító osztályt rendelhetnek egy adott típusú jelzőhöz.  A jelző minősíthető csak a jelzőtípussal, vagy tovább minősíthető néhány attribútum értékével. A JDT egy jelzőmegoldást biztosít a Java problémákhoz:

<extension
	point="org.eclipse.ui.ide.markerResolution">
	<markerResolutionGenerator
		markerType="org.eclipse.jdt.core.problem"
		class="org.eclipse.jdt.internal.ui.text.correction.CorrectionMarkerResolutionGenerator">
	</markerResolutionGenerator>
   </extension>

A jelzőmegoldás-előállító a jelzőmegoldások tömbjének (IMarkerResolution) visszaadásáért felelős, amelyek a Gyorsjavítás előugrómenüben jelennek meg. A megoldás futni fog (run()), ha a felhasználó kiválasztja az egyik javítást.

Jelzőmegoldások