Overview  Package   Class  Tree  Serialized  Deprecated  Index  Help 
TPTP 4.1.0 Platform Project
Public API Specification
 PREV CLASS   NEXT CLASS FRAMES    NO FRAMES    
SUMMARY: NESTED | FIELD | CONSTR | METHOD DETAIL: FIELD | CONSTR | METHOD

org.eclipse.tptp.platform.analysis.engine
Interface IAlgorithmExtension.IImportUpdater

Enclosing interface:
IAlgorithmExtension
public static interface IAlgorithmExtension.IImportUpdater

Method Summary
 void doUpdate(java.io.File fZip, java.io.File fBase)
           
 

Method Detail

doUpdate

public void doUpdate(java.io.File fZip,
                     java.io.File fBase)
Overview  Package   Class  Tree  Serialized  Deprecated  Index  Help 
TPTP 4.1.0 Platform Project
Public API Specification
 PREV CLASS   NEXT CLASS FRAMES    NO FRAMES    
SUMMARY: NESTED | FIELD | CONSTR | METHOD DETAIL: FIELD | CONSTR | METHOD