|
TPTP 4.5.0 Platform Project Public API Specification |
||||||||
| PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||
| SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD | ||||||||
public static interface ResourceUtil.IGetFilesVisitor
Interface to define a visitor for the getFile(...) methods.
| Method Summary | |
|---|---|
java.lang.Object |
visit(org.eclipse.core.resources.IFile file)
This method is invoked before adding a file to a map. |
| Method Detail |
|---|
java.lang.Object visit(org.eclipse.core.resources.IFile file)
The object returned by this mapping is added to the map. If the
map returns null then the map is not changed.
file -
|
TPTP 4.5.0 Platform Project Public API Specification |
||||||||
| PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||
| SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD | ||||||||