TPTP 4.1.0 Platform Project
Public API Specification

org.eclipse.tptp.platform.analysis.engine.ui.codereview
Interface QuickFixManager.IListener

Enclosing interface:
QuickFixManager

public static interface QuickFixManager.IListener

IListener


Method Summary
 void fixPerformed(IMatch match, ISolution solution)
          perform a fix.
 void matchesUpdated(IMatch[] matches)
          update the matches.
 void undoFixPerformed(IMatch match, ISolution solution)
          undo a fix.
 

Method Detail

fixPerformed

public void fixPerformed(IMatch match,
                         ISolution solution)
perform a fix.

Parameters:
match -
solution -

undoFixPerformed

public void undoFixPerformed(IMatch match,
                             ISolution solution)
undo a fix.

Parameters:
match -
solution -

matchesUpdated

public void matchesUpdated(IMatch[] matches)
update the matches.

Parameters:
matches -

TPTP 4.1.0 Platform Project
Public API Specification