Uses of Class
gate.Gate.DirectoryInfo

Packages that use Gate.DirectoryInfo

gate	This package contains the public interface to the GATE Java API.

Uses of Gate.DirectoryInfo in gate

Fields in gate with type parameters of type Gate.DirectoryInfo

protected static Map<URL,Gate.DirectoryInfo>

Gate.pluginData Map from URL of directory to Gate.DirectoryInfo.

Methods in gate that return Gate.DirectoryInfo

static Gate.DirectoryInfo

Gate.getDirectoryInfo(URL directory) Gets the information about a known directory.