TPTP 4.4.0 Platform Project
Public API Specification

Package org.eclipse.hyades.execution.core.file

Interface Summary
IFileLocater  
IFileLocation  
IFileManager  
IFileManagerExtended New and improved file manager interface that supports easier feature extension in the future.
IFileManagerExtended.FileIdentifierList.Filter Filter interface, indicates if an element should be filtered out from the list when creating a new one
 

Class Summary
IFileManagerExtended.Cookie Cookie class used for the sake of uniqueness when identifing a set of state on the file server.
IFileManagerExtended.FileIdentifierList A lightweight list class to use when passing one or many file identifier names into the file manager extended interface.
IFileManagerExtended.Option Type-safe enumeration class used for file manager operations, not final since enumeration values can be added in the future by classes in the local package-only.
 


TPTP 4.4.0 Platform Project
Public API Specification